Metrics for (tan (* (PI) (* x 2)))

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze85.0ms (0.2%)

Memory

-51.5MiB live, 28.3MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	100%	0%	0%	0%	0%	3
25%	25%	75%	0%	0%	0%	0%	4
37.5%	37.5%	62.5%	0%	0%	0%	0%	5
43.8%	43.7%	56.2%	0%	0%	0%	0%	6
46.9%	46.9%	53.1%	0%	0%	0%	0%	7
48.4%	48.4%	51.5%	0%	0%	0%	0%	8
49.2%	49.2%	50.8%	0%	0%	0%	0%	9
49.6%	49.6%	50.4%	0%	0%	0%	0%	10
49.8%	49.8%	50.2%	0%	0%	0%	0%	11
49.8%	49.8%	50.2%	0%	0%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample743.0ms (1.3%)

Memory

1.0MiB live, 299.6MiB allocated

Samples

452.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 297.0ms

ival-tanu: 206.0ms (69.5% of total)

ival-mult: 75.0ms (25.3% of total)

ival-true: 7.0ms (2.4% of total)

exact: 5.0ms (1.7% of total)

ival-assert: 3.0ms (1% of total)

Bogosity

explain79.0ms (0.1%)

Memory

61.1MiB live, 61.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
129	-	-	`(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))`
0	-	-	`(*.f64 x #s(literal 2 binary64))`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
0	-	-	`(PI.f64)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`tan.f64`	`(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))`	sensitivity	129	0

Confusion

	Predicted +	Predicted -
+	129	0
-	0	127

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	129	0	0
-	0	0	127

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	127
1	129

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

35.0ms

512×

valid

Compiler

Compiled 44 to 22 computations (50% saved)

Precisions

Click to see histograms. Total time spent on operations: 22.0ms

ival-tanu: 12.0ms (55.8% of total)

ival-mult: 7.0ms (32.5% of total)

ival-pi: 2.0ms (9.3% of total)

ival-true: 1.0ms (4.6% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess18.0ms (0%)

Memory

5.5MiB live, 5.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	20	13
2	48	13
3	115	12
4	145	12
5	175	12
6	215	12
7	229	12
8	234	12
9	247	12
10	249	12
0	6	6
0	10	6
1	14	6
2	21	6
3	23	6
0	23	6

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))

Outputs
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(tan.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))

Symmetry

(negabs x)

Compiler

Compiled 6 to 6 computations (0% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	51.2%	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))

Compiler

Compiled 6 to 6 computations (0% saved)

simplify3.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 x #s(literal 2 binary64))
cost-diff	0	(PI.f64)
cost-diff	0	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
cost-diff	0	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	17
0	10	17
1	14	17
2	21	17
3	23	17
0	23	17

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
(PI.f64)
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)

Outputs
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(tan.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(PI.f64)
(*.f64 x #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
x
#s(literal 2 binary64)

localize23.0ms (0%)

Memory

7.7MiB live, 7.7MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x #s(literal 2 binary64))
accuracy	0.0	(PI.f64)
accuracy	0.25	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
accuracy	31.13296279049631	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))

Samples

17.0ms

256×

valid

Compiler

Compiled 19 to 8 computations (57.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 10.0ms

ival-tanu: 5.0ms (49.3% of total)

ival-mult: 3.0ms (29.6% of total)

ival-pi: 1.0ms (9.9% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series6.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Counts

4 → 6

Calls

Call 1

Inputs
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
(PI.f64)
(*.f64 x #s(literal 2 binary64))

Outputs
(* 2 (* x (PI)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (+ (* 4/15 (pow (PI) 5)) (* (pow x 2) (- (* -8/315 (pow (PI) 7)) (+ (* -2 (* (pow (PI) 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (+ (* -8/45 (pow (PI) 7)) (* 2/3 (* (pow (PI) 4) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3)))))))))) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(* 2 x)
(/ (sin (* 2 (* x (PI)))) (cos (* 2 (* x (PI)))))

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	((tan (* (PI) (* x 2))) (* (PI) (* x 2)) (PI) (* x 2))
2.0ms	x	@	-inf	((tan (* (PI) (* x 2))) (* (PI) (* x 2)) (PI) (* x 2))
1.0ms	x	@	inf	((tan (* (PI) (* x 2))) (* (PI) (* x 2)) (PI) (* x 2))

simplify210.0ms (0.4%)

Memory

-15.5MiB live, 59.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	192
1	153	180
2	485	154
3	2432	136
0	8245	125

Stop Event

1×	iter limit
1×	node limit

Counts

6 → 6

Calls

Call 1

Inputs
(* 2 (* x (PI)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (+ (* 4/15 (pow (PI) 5)) (* (pow x 2) (- (* -8/315 (pow (PI) 7)) (+ (* -2 (* (pow (PI) 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (+ (* -8/45 (pow (PI) 7)) (* 2/3 (* (pow (PI) 4) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3)))))))))) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(* 2 x)
(/ (sin (* 2 (* x (PI)))) (cos (* 2 (* x (PI)))))

Outputs
(* 2 (* x (PI)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))))
(fma.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 8/3 binary64)) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal 16/3 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64))) (.f64 x x))) (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (+ (* 4/15 (pow (PI) 5)) (* (pow x 2) (- (* -8/315 (pow (PI) 7)) (+ (* -2 (* (pow (PI) 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (+ (* -8/45 (pow (PI) 7)) (* 2/3 (* (pow (PI) 4) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3)))))))))) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(.f64 (fma.f64 (fma.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (fma.f64 (fma.f64 (.f64 #s(literal 2 binary64) (.f64 (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal 16/3 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64))) (PI.f64))) (PI.f64) (fma.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) #s(literal 16/105 binary64) (.f64 (.f64 #s(literal -16/9 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (PI.f64) #s(literal 4 binary64))))) (.f64 x x) (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal 16/3 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64)))) (.f64 x x))) (.f64 x x) (.f64 (PI.f64) #s(literal 2 binary64))) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(/ (sin (* 2 (* x (PI)))) (cos (* 2 (* x (PI)))))
(/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))

rewrite61.0ms (0.1%)

Memory

14.1MiB live, 14.1MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	6	15
0	10	13
1	32	13
2	148	13
3	933	11
4	6525	11
0	8124	11

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 73

Calls

Call 1

Inputs
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
(PI.f64)
(*.f64 x #s(literal 2 binary64))

Outputs
(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1/2 binary64)) (PI.f64)) (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))))
(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (/.f64 #s(literal -2 binary64) (cos.f64 (+.f64 x x))) (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) (+.f64 (cos.f64 x) (sin.f64 x))) (/.f64 (neg.f64 (sin.f64 (.f64 #s(literal 2 binary64) x))) (-.f64 (cos.f64 x) (sin.f64 x))))
(.f64 (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) (+.f64 (cos.f64 x) (sin.f64 x))) (/.f64 #s(literal 2 binary64) (-.f64 (cos.f64 x) (sin.f64 x))))
(.f64 (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) (neg.f64 (cos.f64 (+.f64 x x)))))
(.f64 (/.f64 (PI.f64) (+.f64 (cos.f64 x) (sin.f64 x))) (/.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (-.f64 (cos.f64 x) (sin.f64 x))))
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (+.f64 (cos.f64 x) (sin.f64 x))) (/.f64 (PI.f64) (-.f64 (cos.f64 x) (sin.f64 x))))
(.f64 (/.f64 #s(literal 2 binary64) (+.f64 (cos.f64 x) (sin.f64 x))) (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) (-.f64 (cos.f64 x) (sin.f64 x))))
(.f64 (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) (PI.f64)) (/.f64 #s(literal 2 binary64) (cos.f64 (+.f64 x x))))
(.f64 (/.f64 #s(literal 2 binary64) (cos.f64 (+.f64 x x))) (/.f64 (neg.f64 (.f64 (cos.f64 x) (sin.f64 x))) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal 2 binary64) (cos.f64 (+.f64 x x))) (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) (PI.f64)))
(.f64 (pow.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1/2 binary64)))
(.f64 (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) (cos.f64 (+.f64 x x))) #s(literal 2 binary64))
(.f64 (neg.f64 (.f64 (tan.f64 x) #s(literal 2 binary64))) (/.f64 (PI.f64) (neg.f64 (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))))))
(.f64 #s(literal -2 binary64) (/.f64 (neg.f64 (.f64 (cos.f64 x) (sin.f64 x))) (cos.f64 (+.f64 x x))))
(.f64 (neg.f64 (tan.f64 (.f64 #s(literal 2 binary64) x))) #s(literal -1 binary64))
(.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (+.f64 x x))) (neg.f64 (sin.f64 (.f64 #s(literal 2 binary64) x))))
(.f64 #s(literal -1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (+.f64 x x))) (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))))
(.f64 #s(literal -1 binary64) (neg.f64 (tan.f64 (.f64 #s(literal 2 binary64) x))))
(.f64 (.f64 (tan.f64 x) #s(literal 2 binary64)) (pow.f64 (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (neg.f64 (sin.f64 (.f64 #s(literal 2 binary64) x))) (/.f64 #s(literal -1 binary64) (cos.f64 (+.f64 x x))))
(.f64 (PI.f64) (tan.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)))
(.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) (PI.f64))
(*.f64 #s(literal 2 binary64) (/.f64 (tan.f64 x) (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64)))))
(.f64 #s(literal 2 binary64) (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) (cos.f64 (+.f64 x x))))
(pow.f64 (exp.f64 (neg.f64 (log.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x))))) #s(literal -1 binary64))
(pow.f64 (.f64 (pow.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) #s(literal -1 binary64))
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (neg.f64 (tan.f64 (.f64 #s(literal 2 binary64) x))) (neg.f64 (tan.f64 (.f64 #s(literal 2 binary64) x))))) (neg.f64 (tan.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (neg.f64 (tan.f64 (.f64 #s(literal 2 binary64) x))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (neg.f64 (tan.f64 (.f64 #s(literal 2 binary64) x))) (neg.f64 (tan.f64 (.f64 #s(literal 2 binary64) x))) (.f64 #s(literal 0 binary64) (neg.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (tan.f64 x) #s(literal 2 binary64)))) (neg.f64 (neg.f64 (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))))))
(/.f64 (.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))) (.f64 (cos.f64 (+.f64 x x)) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64)))) (.f64 (cos.f64 (+.f64 x x)) (+.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (.f64 (PI.f64) (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))) (.f64 (neg.f64 (cos.f64 (+.f64 x x))) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (.f64 (PI.f64) (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64)))) (.f64 (neg.f64 (cos.f64 (+.f64 x x))) (+.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) #s(literal -1 binary64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (+.f64 x x))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x)))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64))) #s(literal -1 binary64)) (.f64 (+.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) #s(literal 0 binary64)) (cos.f64 (+.f64 x x))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64))) (PI.f64)) (.f64 (+.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) #s(literal 0 binary64)) (neg.f64 (cos.f64 (+.f64 x x)))))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (tan.f64 (.f64 #s(literal 2 binary64) x)))) (neg.f64 (cos.f64 (+.f64 x x)))) (.f64 (neg.f64 (cos.f64 (+.f64 x x))) (/.f64 #s(literal -1 binary64) (tan.f64 (.f64 #s(literal 2 binary64) x)))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (neg.f64 (cos.f64 (+.f64 x x))) (neg.f64 (sin.f64 (.f64 #s(literal 2 binary64) x))))) (*.f64 (neg.f64 (cos.f64 (+.f64 x x))) (cos.f64 (+.f64 x x))))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (neg.f64 (cos.f64 (+.f64 x x)))) (.f64 (neg.f64 (cos.f64 (+.f64 x x))) (sin.f64 (*.f64 #s(literal 2 binary64) x)))) (pow.f64 (cos.f64 (+.f64 x x)) #s(literal 2 binary64)))
(/.f64 (neg.f64 (*.f64 (tan.f64 x) #s(literal 2 binary64))) (neg.f64 (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (+.f64 x x))) (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (tan.f64 (*.f64 #s(literal 2 binary64) x))))
(/.f64 (*.f64 (tan.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))))
(/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(/.f64 (neg.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x))) (neg.f64 (cos.f64 (+.f64 x x))))
(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(/.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) (cos.f64 (+.f64 x x)))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
(neg.f64 (neg.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x))))
(tan.f64 (*.f64 #s(literal 2 binary64) x))
(-.f64 #s(literal 0 binary64) (/.f64 (neg.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x))) (PI.f64)))
(-.f64 #s(literal 0 binary64) (neg.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x))))
(exp.f64 (.f64 (neg.f64 (log.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)))) #s(literal -1 binary64)))
(+.f64 #s(literal 0 binary64) (tan.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(PI.f64)
#s(literal 1 binary64)
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))

eval8.0ms (0%)

Memory: 6.7MiB live, 6.7MiB allocated
Compiler: Compiled 1 074 to 229 computations (78.7% saved)

prune23.0ms (0%)

Memory

-70.0MiB live, 8.4MiB allocated

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	62	13	75
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	62	14	76

Accuracy

51.3%

Counts

76 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	4.1%	(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
	9.6%	(/.f64 (*.f64 (tan.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))))
	16.6%	(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64))) (PI.f64)) (.f64 (+.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) #s(literal 0 binary64)) (neg.f64 (cos.f64 (+.f64 x x)))))
▶	22.3%	(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x)))))
	9.5%	(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
	49.9%	(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
▶	9.5%	(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
	9.5%	(.f64 (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) (PI.f64)) (/.f64 #s(literal 2 binary64) (cos.f64 (+.f64 x x))))
	9.6%	(.f64 (.f64 (tan.f64 x) #s(literal 2 binary64)) (pow.f64 (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
✓	51.2%	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
	10.3%	(tan.f64 (*.f64 x #s(literal 2 binary64)))
▶	51.2%	#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))
	49.8%	#s(approx (tan (* (PI) (* x 2))) (.f64 (fma.f64 (fma.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (fma.f64 (fma.f64 (.f64 #s(literal 2 binary64) (.f64 (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal 16/3 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64))) (PI.f64))) (PI.f64) (fma.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) #s(literal 16/105 binary64) (.f64 (.f64 #s(literal -16/9 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (PI.f64) #s(literal 4 binary64))))) (.f64 x x) (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal 16/3 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64)))) (.f64 x x))) (.f64 x x) (.f64 (PI.f64) #s(literal 2 binary64))) x))
▶	49.6%	#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))

Compiler

Compiled 446 to 318 computations (28.7% saved)

simplify192.0ms (0.3%)

Memory

35.9MiB live, 35.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 20 expressions of interest:

New	Metric	Score
cost-diff	0	(neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
cost-diff	0	(.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64))
cost-diff	1	(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x))))
cost-diff	8	(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x)))))
cost-diff	0	(cos.f64 (+.f64 x x))
cost-diff	0	(pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64))
cost-diff	0	(/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64))
cost-diff	2	(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
cost-diff	0	(PI.f64)
cost-diff	0	(*.f64 #s(literal 2 binary64) x)
cost-diff	0	(tan.f64 (*.f64 #s(literal 2 binary64) x))
cost-diff	0	(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
cost-diff	0	(PI.f64)
cost-diff	0	(*.f64 #s(literal 2 binary64) x)
cost-diff	0	(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
cost-diff	0	#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
cost-diff	0	(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
cost-diff	0	(sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
cost-diff	0	(/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))
cost-diff	0	#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))

Iterations

Useful iterations: 10 (0.0ms)

Iter	Nodes	Cost
0	29	214
0	49	214
1	81	214
2	167	212
3	581	203
4	2507	203
5	3638	203
6	4512	203
7	5211	203
8	5634	203
9	6007	203
10	6308	202
0	8498	202

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))
(/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))
(sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(PI.f64)
(cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(PI.f64)
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
(tan.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(PI.f64)
(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64))
(pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64))
(cos.f64 (+.f64 x x))
(+.f64 x x)
x
#s(literal -1 binary64)
(PI.f64)
(sin.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x)))))
(.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64))
(neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(sin.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(PI.f64)
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x))))
(neg.f64 (cos.f64 (+.f64 x x)))
(cos.f64 (+.f64 x x))
(+.f64 x x)

Outputs
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))) (cos.f64 (.f64 #s(literal -2 binary64) (.f64 (PI.f64) x)))))
(/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))
(/.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))) (cos.f64 (.f64 #s(literal -2 binary64) (.f64 (PI.f64) x))))
(sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(PI.f64)
(cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(cos.f64 (.f64 #s(literal -2 binary64) (.f64 (PI.f64) x)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(PI.f64)
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
(tan.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(PI.f64)
(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (/.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (PI.f64)) (cos.f64 (.f64 #s(literal -2 binary64) x)))
(/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64))
(/.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64))
(pow.f64 (cos.f64 (*.f64 #s(literal -2 binary64) x)) #s(literal -1 binary64))
(cos.f64 (+.f64 x x))
(cos.f64 (*.f64 #s(literal -2 binary64) x))
(+.f64 x x)
(*.f64 #s(literal 2 binary64) x)
x
#s(literal -1 binary64)
(PI.f64)
(sin.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x)))))
(/.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (PI.f64)) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64))
(.f64 (neg.f64 (PI.f64)) (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(sin.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(PI.f64)
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x))))
(.f64 (sin.f64 (.f64 #s(literal -2 binary64) x)) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(neg.f64 (cos.f64 (+.f64 x x)))
(neg.f64 (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(cos.f64 (+.f64 x x))
(cos.f64 (*.f64 #s(literal -2 binary64) x))
(+.f64 x x)
(*.f64 #s(literal 2 binary64) x)

localize193.0ms (0.3%)

Memory

-23.4MiB live, 54.7MiB allocated

Localize:

Found 20 expressions of interest:

New	Metric	Score
accuracy	0.15625	(pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
accuracy	0.16015625	(.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64))
accuracy	15.015259438585579	(PI.f64)
accuracy	17.887124277756175	(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x)))))
accuracy	0.06640625	(pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64))
accuracy	0.09765625	(/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64))
accuracy	0.24609375	(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
accuracy	15.015259438585579	(PI.f64)
accuracy	0.0	(*.f64 #s(literal 2 binary64) x)
accuracy	0.0	(tan.f64 (*.f64 #s(literal 2 binary64) x))
accuracy	1.1461248712969083	(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
accuracy	15.015259438585579	(PI.f64)
accuracy	0.0	(*.f64 #s(literal 2 binary64) x)
accuracy	0.19921875	(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
accuracy	15.015259438585579	(PI.f64)
accuracy	17.023494099768374	#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
accuracy	0.19921875	(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
accuracy	14.996796864914707	(cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
accuracy	15.015259438585579	(PI.f64)
accuracy	16.233680422421877	(sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))

Samples

109.0ms	62×	5	exit
58.0ms	194×	0	valid

Compiler

Compiled 196 to 27 computations (86.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 103.0ms

ival-pow: 20.0ms (19.5% of total)

ival-mult: 14.0ms (13.7% of total)

adjust: 12.0ms (11.7% of total)

ival-div: 8.0ms (7.8% of total)

ival-tan: 8.0ms (7.8% of total)

ival-cos: 7.0ms (6.8% of total)

ival-tanu: 7.0ms (6.8% of total)

ival-sin: 7.0ms (6.8% of total)

ival-sinu: 5.0ms (4.9% of total)

ival-cosu: 5.0ms (4.9% of total)

ival-pow2: 3.0ms (2.9% of total)

ival-pi: 2.0ms (2% of total)

ival-neg: 2.0ms (2% of total)

ival-add: 1.0ms (1% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

series66.0ms (0.1%)

Memory

22.4MiB live, 22.4MiB allocated

Counts

19 → 72

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))
(/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))
(sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(*.f64 #s(literal 2 binary64) x)
(PI.f64)
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
(tan.f64 (*.f64 #s(literal 2 binary64) x))
(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64))
(pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64))
(cos.f64 (+.f64 x x))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x)))))
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x))))
(.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64))
(neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))

Outputs
(* 2 (* x (PI)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (+ (* 4/15 (pow (PI) 5)) (* (pow x 2) (- (* -8/315 (pow (PI) 7)) (+ (* -2 (* (pow (PI) 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (+ (* -8/45 (pow (PI) 7)) (* 2/3 (* (pow (PI) 4) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3)))))))))) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(* x (+ (* -4/3 (* (pow x 2) (pow (PI) 3))) (* 2 (PI))))
(* x (+ (* 2 (PI)) (* (pow x 2) (+ (* -4/3 (pow (PI) 3)) (* 4/15 (* (pow x 2) (pow (PI) 5)))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (+ (* -8/315 (* (pow x 2) (pow (PI) 7))) (* 4/15 (pow (PI) 5))))))))
(* 2 x)
(exp (* (PI) (+ (log 2) (log x))))
(+ (exp (* (PI) (+ (log 2) (log x)))) (* 4/3 (* (pow x 2) (* (PI) (exp (* (PI) (+ (log 2) (log x))))))))
(+ (exp (* (PI) (+ (log 2) (log x)))) (* (pow x 2) (+ (* 4/3 (* (PI) (exp (* (PI) (+ (log 2) (log x)))))) (* (pow x 2) (* (exp (* (PI) (+ (log 2) (log x)))) (+ (* 8/9 (pow (PI) 2)) (* 56/45 (PI))))))))
(+ (exp (* (PI) (+ (log 2) (log x)))) (* (pow x 2) (+ (* 4/3 (* (PI) (exp (* (PI) (+ (log 2) (log x)))))) (* (pow x 2) (+ (* (exp (* (PI) (+ (log 2) (log x)))) (+ (* 8/9 (pow (PI) 2)) (* 56/45 (PI)))) (* (pow x 2) (* (exp (* (PI) (+ (log 2) (log x)))) (+ (* 32/81 (pow (PI) 3)) (+ (* 3968/2835 (PI)) (* 224/135 (pow (PI) 2)))))))))))
(* x (+ 2 (* 8/3 (pow x 2))))
(* x (+ 2 (* (pow x 2) (+ 8/3 (* 64/15 (pow x 2))))))
(* x (+ 2 (* (pow x 2) (+ 8/3 (* (pow x 2) (+ 64/15 (* 2176/315 (pow x 2))))))))
(* 2 (/ x (PI)))
(* x (+ (* 8/3 (/ (pow x 2) (PI))) (* 2 (/ 1 (PI)))))
(* x (+ (* (pow x 2) (+ (* 64/15 (/ (pow x 2) (PI))) (* 8/3 (/ 1 (PI))))) (* 2 (/ 1 (PI)))))
(* x (+ (* (pow x 2) (+ (* (pow x 2) (+ (* 2176/315 (/ (pow x 2) (PI))) (* 64/15 (/ 1 (PI))))) (* 8/3 (/ 1 (PI))))) (* 2 (/ 1 (PI)))))
(/ 1 (PI))
(+ (* 2 (/ (pow x 2) (PI))) (/ 1 (PI)))
(+ (* (pow x 2) (+ (* 10/3 (/ (pow x 2) (PI))) (* 2 (/ 1 (PI))))) (/ 1 (PI)))
(+ (* (pow x 2) (+ (* (pow x 2) (+ (* 244/45 (/ (pow x 2) (PI))) (* 10/3 (/ 1 (PI))))) (* 2 (/ 1 (PI))))) (/ 1 (PI)))
1
(+ 1 (* 2 (pow x 2)))
(+ 1 (* (pow x 2) (+ 2 (* 10/3 (pow x 2)))))
(+ 1 (* (pow x 2) (+ 2 (* (pow x 2) (+ 10/3 (* 244/45 (pow x 2)))))))
(+ 1 (* -2 (pow x 2)))
(+ 1 (* (pow x 2) (- (* 2/3 (pow x 2)) 2)))
(+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/3 (* -4/45 (pow x 2)))) 2)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (* -4/3 (PI)) (* -4 (PI))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (PI)) (* (pow x 2) (- (* 4/15 (PI)) (+ (* -2 (- (* -4/3 (PI)) (* -4 (PI)))) (* 4/3 (PI)))))) (* -4 (PI))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (PI)) (* (pow x 2) (- (+ (* 4/15 (PI)) (* (pow x 2) (- (* -8/315 (PI)) (+ (* -2 (- (* 4/15 (PI)) (+ (* -2 (- (* -4/3 (PI)) (* -4 (PI)))) (* 4/3 (PI))))) (+ (* -8/45 (PI)) (* 2/3 (- (* -4/3 (PI)) (* -4 (PI))))))))) (+ (* -2 (- (* -4/3 (PI)) (* -4 (PI)))) (* 4/3 (PI)))))) (* -4 (PI))))))
(* -2 x)
(* x (- (* 16/3 (pow x 2)) 2))
(* x (- (* (pow x 2) (+ 16/3 (* -64/15 (pow x 2)))) 2))
(* x (- (* (pow x 2) (+ 16/3 (* (pow x 2) (- (* 512/315 (pow x 2)) 64/15)))) 2))
(* -4 (* (pow x 2) (PI)))
(* (pow x 2) (+ (* -4 (PI)) (* 16/3 (* (pow x 2) (PI)))))
(* (pow x 2) (+ (* -4 (PI)) (* (pow x 2) (+ (* -128/45 (* (pow x 2) (PI))) (* 16/3 (PI))))))
(* (pow x 2) (+ (* -4 (PI)) (* (pow x 2) (+ (* 16/3 (PI)) (* (pow x 2) (+ (* -128/45 (PI)) (* 256/315 (* (pow x 2) (PI)))))))))
(* -4 (pow x 2))
(* (pow x 2) (- (* 16/3 (pow x 2)) 4))
(* (pow x 2) (- (* (pow x 2) (+ 16/3 (* -128/45 (pow x 2)))) 4))
(* (pow x 2) (- (* (pow x 2) (+ 16/3 (* (pow x 2) (- (* 256/315 (pow x 2)) 128/45)))) 4))
(+ 1 (* -2 (* (pow x 2) (pow (PI) 2))))
(+ 1 (* (pow x 2) (+ (* -2 (pow (PI) 2)) (* 2/3 (* (pow x 2) (pow (PI) 4))))))
(+ 1 (* (pow x 2) (+ (* -2 (pow (PI) 2)) (* (pow x 2) (+ (* -4/45 (* (pow x 2) (pow (PI) 6))) (* 2/3 (pow (PI) 4)))))))
(* 4 (pow x 2))
(* (pow x 2) (+ 4 (* -16/3 (pow x 2))))
(* (pow x 2) (+ 4 (* (pow x 2) (- (* 128/45 (pow x 2)) 16/3))))
(* (pow x 2) (+ 4 (* (pow x 2) (- (* (pow x 2) (+ 128/45 (* -256/315 (pow x 2)))) 16/3))))
(/ (sin (* 2 (* x (PI)))) (cos (* 2 (* x (PI)))))
(sin (* 2 (* x (PI))))
(pow (/ (sin (* 2 x)) (cos (* 2 x))) (PI))
(/ (sin (* 2 x)) (cos (* 2 x)))
(/ (sin (* 2 x)) (* (PI) (cos (* 2 x))))
(/ 1 (* (PI) (cos (* 2 x))))
(/ 1 (cos (* 2 x)))
(cos (* 2 x))
(/ (* (PI) (sin (* 2 x))) (cos (* 2 x)))
(* -1 (* (cos (* 2 x)) (sin (* 2 x))))
(* -1 (* (PI) (pow (sin (* 2 x)) 2)))
(* -1 (pow (sin (* 2 x)) 2))
(cos (* 2 (* x (PI))))
(pow (sin (* 2 x)) 2)
(/ (sin (* 2 x)) (* (PI) (cos (neg (* -2 x)))))
(/ 1 (* (PI) (cos (neg (* -2 x)))))
(/ 1 (cos (neg (* -2 x))))
(cos (neg (* -2 x)))
(/ (* (PI) (sin (* 2 x))) (cos (neg (* -2 x))))
(* -1 (* (cos (neg (* -2 x))) (sin (* 2 x))))

Calls

3 calls:

Time	Variable		Point	Expression
32.0ms	x	@	inf	((tan (* (PI) (* x 2))) (/ (sin (* (* 2 x) (PI))) (cos (* (* 2 x) (PI)))) (sin (* (* 2 x) (PI))) (* (* 2 x) (PI)) (tan (* (PI) (* x 2))) (* 2 x) (PI) (pow (tan (* 2 x)) (PI)) (tan (* 2 x)) (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (/ (pow (cos (+ x x)) -1) (PI)) (pow (cos (+ x x)) -1) (cos (+ x x)) (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (* (sin (* 2 x)) (neg (cos (+ x x)))) (* (neg (pow (sin (* 2 x)) 2)) (PI)) (neg (pow (sin (* 2 x)) 2)) (cos (* (* 2 x) (PI))) (pow (sin (* 2 x)) 2))
26.0ms	x	@	-inf	((tan (* (PI) (* x 2))) (/ (sin (* (* 2 x) (PI))) (cos (* (* 2 x) (PI)))) (sin (* (* 2 x) (PI))) (* (* 2 x) (PI)) (tan (* (PI) (* x 2))) (* 2 x) (PI) (pow (tan (* 2 x)) (PI)) (tan (* 2 x)) (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (/ (pow (cos (+ x x)) -1) (PI)) (pow (cos (+ x x)) -1) (cos (+ x x)) (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (* (sin (* 2 x)) (neg (cos (+ x x)))) (* (neg (pow (sin (* 2 x)) 2)) (PI)) (neg (pow (sin (* 2 x)) 2)) (cos (* (* 2 x) (PI))) (pow (sin (* 2 x)) 2))
7.0ms	x	@	0	((tan (* (PI) (* x 2))) (/ (sin (* (* 2 x) (PI))) (cos (* (* 2 x) (PI)))) (sin (* (* 2 x) (PI))) (* (* 2 x) (PI)) (tan (* (PI) (* x 2))) (* 2 x) (PI) (pow (tan (* 2 x)) (PI)) (tan (* 2 x)) (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (/ (pow (cos (+ x x)) -1) (PI)) (pow (cos (+ x x)) -1) (cos (+ x x)) (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (* (sin (* 2 x)) (neg (cos (+ x x)))) (* (neg (pow (sin (* 2 x)) 2)) (PI)) (neg (pow (sin (* 2 x)) 2)) (cos (* (* 2 x) (PI))) (pow (sin (* 2 x)) 2))

Time

Variable

Point

Expression

32.0ms

inf

((tan (* (PI) (* x 2))) (/ (sin (* (* 2 x) (PI))) (cos (* (* 2 x) (PI)))) (sin (* (* 2 x) (PI))) (* (* 2 x) (PI)) (tan (* (PI) (* x 2))) (* 2 x) (PI) (pow (tan (* 2 x)) (PI)) (tan (* 2 x)) (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (/ (pow (cos (+ x x)) -1) (PI)) (pow (cos (+ x x)) -1) (cos (+ x x)) (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (* (sin (* 2 x)) (neg (cos (+ x x)))) (* (neg (pow (sin (* 2 x)) 2)) (PI)) (neg (pow (sin (* 2 x)) 2)) (cos (* (* 2 x) (PI))) (pow (sin (* 2 x)) 2))

26.0ms

-inf

((tan (* (PI) (* x 2))) (/ (sin (* (* 2 x) (PI))) (cos (* (* 2 x) (PI)))) (sin (* (* 2 x) (PI))) (* (* 2 x) (PI)) (tan (* (PI) (* x 2))) (* 2 x) (PI) (pow (tan (* 2 x)) (PI)) (tan (* 2 x)) (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (/ (pow (cos (+ x x)) -1) (PI)) (pow (cos (+ x x)) -1) (cos (+ x x)) (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (* (sin (* 2 x)) (neg (cos (+ x x)))) (* (neg (pow (sin (* 2 x)) 2)) (PI)) (neg (pow (sin (* 2 x)) 2)) (cos (* (* 2 x) (PI))) (pow (sin (* 2 x)) 2))

7.0ms

((tan (* (PI) (* x 2))) (/ (sin (* (* 2 x) (PI))) (cos (* (* 2 x) (PI)))) (sin (* (* 2 x) (PI))) (* (* 2 x) (PI)) (tan (* (PI) (* x 2))) (* 2 x) (PI) (pow (tan (* 2 x)) (PI)) (tan (* 2 x)) (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (/ (pow (cos (+ x x)) -1) (PI)) (pow (cos (+ x x)) -1) (cos (+ x x)) (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (* (sin (* 2 x)) (neg (cos (+ x x)))) (* (neg (pow (sin (* 2 x)) 2)) (PI)) (neg (pow (sin (* 2 x)) 2)) (cos (* (* 2 x) (PI))) (pow (sin (* 2 x)) 2))

simplify266.0ms (0.5%)

Memory

-37.4MiB live, 49.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	350	1247
1	1026	1213
2	3234	1121
3	7400	1109
0	8028	1012

Stop Event

1×	iter limit
1×	node limit

Counts

72 → 72

Calls

Call 1

Inputs
(* 2 (* x (PI)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (+ (* 4/15 (pow (PI) 5)) (* (pow x 2) (- (* -8/315 (pow (PI) 7)) (+ (* -2 (* (pow (PI) 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (+ (* -8/45 (pow (PI) 7)) (* 2/3 (* (pow (PI) 4) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3)))))))))) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(* x (+ (* -4/3 (* (pow x 2) (pow (PI) 3))) (* 2 (PI))))
(* x (+ (* 2 (PI)) (* (pow x 2) (+ (* -4/3 (pow (PI) 3)) (* 4/15 (* (pow x 2) (pow (PI) 5)))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (+ (* -8/315 (* (pow x 2) (pow (PI) 7))) (* 4/15 (pow (PI) 5))))))))
(* 2 x)
(exp (* (PI) (+ (log 2) (log x))))
(+ (exp (* (PI) (+ (log 2) (log x)))) (* 4/3 (* (pow x 2) (* (PI) (exp (* (PI) (+ (log 2) (log x))))))))
(+ (exp (* (PI) (+ (log 2) (log x)))) (* (pow x 2) (+ (* 4/3 (* (PI) (exp (* (PI) (+ (log 2) (log x)))))) (* (pow x 2) (* (exp (* (PI) (+ (log 2) (log x)))) (+ (* 8/9 (pow (PI) 2)) (* 56/45 (PI))))))))
(+ (exp (* (PI) (+ (log 2) (log x)))) (* (pow x 2) (+ (* 4/3 (* (PI) (exp (* (PI) (+ (log 2) (log x)))))) (* (pow x 2) (+ (* (exp (* (PI) (+ (log 2) (log x)))) (+ (* 8/9 (pow (PI) 2)) (* 56/45 (PI)))) (* (pow x 2) (* (exp (* (PI) (+ (log 2) (log x)))) (+ (* 32/81 (pow (PI) 3)) (+ (* 3968/2835 (PI)) (* 224/135 (pow (PI) 2)))))))))))
(* x (+ 2 (* 8/3 (pow x 2))))
(* x (+ 2 (* (pow x 2) (+ 8/3 (* 64/15 (pow x 2))))))
(* x (+ 2 (* (pow x 2) (+ 8/3 (* (pow x 2) (+ 64/15 (* 2176/315 (pow x 2))))))))
(* 2 (/ x (PI)))
(* x (+ (* 8/3 (/ (pow x 2) (PI))) (* 2 (/ 1 (PI)))))
(* x (+ (* (pow x 2) (+ (* 64/15 (/ (pow x 2) (PI))) (* 8/3 (/ 1 (PI))))) (* 2 (/ 1 (PI)))))
(* x (+ (* (pow x 2) (+ (* (pow x 2) (+ (* 2176/315 (/ (pow x 2) (PI))) (* 64/15 (/ 1 (PI))))) (* 8/3 (/ 1 (PI))))) (* 2 (/ 1 (PI)))))
(/ 1 (PI))
(+ (* 2 (/ (pow x 2) (PI))) (/ 1 (PI)))
(+ (* (pow x 2) (+ (* 10/3 (/ (pow x 2) (PI))) (* 2 (/ 1 (PI))))) (/ 1 (PI)))
(+ (* (pow x 2) (+ (* (pow x 2) (+ (* 244/45 (/ (pow x 2) (PI))) (* 10/3 (/ 1 (PI))))) (* 2 (/ 1 (PI))))) (/ 1 (PI)))
1
(+ 1 (* 2 (pow x 2)))
(+ 1 (* (pow x 2) (+ 2 (* 10/3 (pow x 2)))))
(+ 1 (* (pow x 2) (+ 2 (* (pow x 2) (+ 10/3 (* 244/45 (pow x 2)))))))
(+ 1 (* -2 (pow x 2)))
(+ 1 (* (pow x 2) (- (* 2/3 (pow x 2)) 2)))
(+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/3 (* -4/45 (pow x 2)))) 2)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (* -4/3 (PI)) (* -4 (PI))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (PI)) (* (pow x 2) (- (* 4/15 (PI)) (+ (* -2 (- (* -4/3 (PI)) (* -4 (PI)))) (* 4/3 (PI)))))) (* -4 (PI))))))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (PI)) (* (pow x 2) (- (+ (* 4/15 (PI)) (* (pow x 2) (- (* -8/315 (PI)) (+ (* -2 (- (* 4/15 (PI)) (+ (* -2 (- (* -4/3 (PI)) (* -4 (PI)))) (* 4/3 (PI))))) (+ (* -8/45 (PI)) (* 2/3 (- (* -4/3 (PI)) (* -4 (PI))))))))) (+ (* -2 (- (* -4/3 (PI)) (* -4 (PI)))) (* 4/3 (PI)))))) (* -4 (PI))))))
(* -2 x)
(* x (- (* 16/3 (pow x 2)) 2))
(* x (- (* (pow x 2) (+ 16/3 (* -64/15 (pow x 2)))) 2))
(* x (- (* (pow x 2) (+ 16/3 (* (pow x 2) (- (* 512/315 (pow x 2)) 64/15)))) 2))
(* -4 (* (pow x 2) (PI)))
(* (pow x 2) (+ (* -4 (PI)) (* 16/3 (* (pow x 2) (PI)))))
(* (pow x 2) (+ (* -4 (PI)) (* (pow x 2) (+ (* -128/45 (* (pow x 2) (PI))) (* 16/3 (PI))))))
(* (pow x 2) (+ (* -4 (PI)) (* (pow x 2) (+ (* 16/3 (PI)) (* (pow x 2) (+ (* -128/45 (PI)) (* 256/315 (* (pow x 2) (PI)))))))))
(* -4 (pow x 2))
(* (pow x 2) (- (* 16/3 (pow x 2)) 4))
(* (pow x 2) (- (* (pow x 2) (+ 16/3 (* -128/45 (pow x 2)))) 4))
(* (pow x 2) (- (* (pow x 2) (+ 16/3 (* (pow x 2) (- (* 256/315 (pow x 2)) 128/45)))) 4))
(+ 1 (* -2 (* (pow x 2) (pow (PI) 2))))
(+ 1 (* (pow x 2) (+ (* -2 (pow (PI) 2)) (* 2/3 (* (pow x 2) (pow (PI) 4))))))
(+ 1 (* (pow x 2) (+ (* -2 (pow (PI) 2)) (* (pow x 2) (+ (* -4/45 (* (pow x 2) (pow (PI) 6))) (* 2/3 (pow (PI) 4)))))))
(* 4 (pow x 2))
(* (pow x 2) (+ 4 (* -16/3 (pow x 2))))
(* (pow x 2) (+ 4 (* (pow x 2) (- (* 128/45 (pow x 2)) 16/3))))
(* (pow x 2) (+ 4 (* (pow x 2) (- (* (pow x 2) (+ 128/45 (* -256/315 (pow x 2)))) 16/3))))
(/ (sin (* 2 (* x (PI)))) (cos (* 2 (* x (PI)))))
(sin (* 2 (* x (PI))))
(pow (/ (sin (* 2 x)) (cos (* 2 x))) (PI))
(/ (sin (* 2 x)) (cos (* 2 x)))
(/ (sin (* 2 x)) (* (PI) (cos (* 2 x))))
(/ 1 (* (PI) (cos (* 2 x))))
(/ 1 (cos (* 2 x)))
(cos (* 2 x))
(/ (* (PI) (sin (* 2 x))) (cos (* 2 x)))
(* -1 (* (cos (* 2 x)) (sin (* 2 x))))
(* -1 (* (PI) (pow (sin (* 2 x)) 2)))
(* -1 (pow (sin (* 2 x)) 2))
(cos (* 2 (* x (PI))))
(pow (sin (* 2 x)) 2)
(/ (sin (* 2 x)) (* (PI) (cos (neg (* -2 x)))))
(/ 1 (* (PI) (cos (neg (* -2 x)))))
(/ 1 (cos (neg (* -2 x))))
(cos (neg (* -2 x)))
(/ (* (PI) (sin (* 2 x))) (cos (neg (* -2 x))))
(* -1 (* (cos (neg (* -2 x))) (sin (* 2 x))))

Outputs
(* 2 (* x (PI)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(.f64 (fma.f64 (fma.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64) (.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64)) (.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (.f64 x x))) (.f64 x x) (*.f64 #s(literal 2 binary64) (PI.f64))) x)
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (- (+ (* 4/15 (pow (PI) 5)) (* (pow x 2) (- (* -8/315 (pow (PI) 7)) (+ (* -2 (* (pow (PI) 2) (- (* 4/15 (pow (PI) 5)) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (+ (* -8/45 (pow (PI) 7)) (* 2/3 (* (pow (PI) 4) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3)))))))))) (+ (* -2 (* (pow (PI) 2) (- (* -4/3 (pow (PI) 3)) (* -4 (pow (PI) 3))))) (* 4/3 (pow (PI) 5)))))) (* -4 (pow (PI) 3))))))
(.f64 (fma.f64 (fma.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (fma.f64 (-.f64 (.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) #s(literal -8/315 binary64)) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64) (.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64)) (.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))))) (fma.f64 (.f64 #s(literal 2/3 binary64) (.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)))) (pow.f64 (PI.f64) #s(literal 4 binary64)) (.f64 #s(literal -8/45 binary64) (pow.f64 (PI.f64) #s(literal 7 binary64)))))) (.f64 x x) (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64) (.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64)) (.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)))))) (.f64 x x))) (.f64 x x) (.f64 #s(literal 2 binary64) (PI.f64))) x)
(* x (+ (* -4/3 (* (pow x 2) (pow (PI) 3))) (* 2 (PI))))
(.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal -4/3 binary64) (.f64 x x)) (*.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64))) x)
(* x (+ (* 2 (PI)) (* (pow x 2) (+ (* -4/3 (pow (PI) 3)) (* 4/15 (* (pow x 2) (pow (PI) 5)))))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal 4/15 binary64)) x) x (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal -4/3 binary64))) (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))
(* x (+ (* 2 (PI)) (* (pow x 2) (+ (* -4/3 (pow (PI) 3)) (* (pow x 2) (+ (* -8/315 (* (pow x 2) (pow (PI) 7))) (* 4/15 (pow (PI) 5))))))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 (.f64 #s(literal -8/315 binary64) (.f64 x x)) (pow.f64 (PI.f64) #s(literal 7 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal 4/15 binary64))) (.f64 x x) (.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal -4/3 binary64))) (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(exp (* (PI) (+ (log 2) (log x))))
(pow.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64))
(+ (exp (* (PI) (+ (log 2) (log x)))) (* 4/3 (* (pow x 2) (* (PI) (exp (* (PI) (+ (log 2) (log x))))))))
(.f64 (fma.f64 (.f64 x x) (.f64 #s(literal 4/3 binary64) (PI.f64)) #s(literal 1 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(+ (exp (* (PI) (+ (log 2) (log x)))) (* (pow x 2) (+ (* 4/3 (* (PI) (exp (* (PI) (+ (log 2) (log x)))))) (* (pow x 2) (* (exp (* (PI) (+ (log 2) (log x)))) (+ (* 8/9 (pow (PI) 2)) (* 56/45 (PI))))))))
(fma.f64 (.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)) (fma.f64 (.f64 x x) (.f64 (PI.f64) (fma.f64 #s(literal 8/9 binary64) (PI.f64) #s(literal 56/45 binary64))) (.f64 #s(literal 4/3 binary64) (PI.f64)))) (.f64 x x) (pow.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))
(+ (exp (* (PI) (+ (log 2) (log x)))) (* (pow x 2) (+ (* 4/3 (* (PI) (exp (* (PI) (+ (log 2) (log x)))))) (* (pow x 2) (+ (* (exp (* (PI) (+ (log 2) (log x)))) (+ (* 8/9 (pow (PI) 2)) (* 56/45 (PI)))) (* (pow x 2) (* (exp (* (PI) (+ (log 2) (log x)))) (+ (* 32/81 (pow (PI) 3)) (+ (* 3968/2835 (PI)) (* 224/135 (pow (PI) 2)))))))))))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)) (fma.f64 (.f64 x x) (fma.f64 #s(literal 32/81 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (PI.f64) (fma.f64 #s(literal 224/135 binary64) (PI.f64) #s(literal 3968/2835 binary64)))) (.f64 (PI.f64) (fma.f64 #s(literal 8/9 binary64) (PI.f64) #s(literal 56/45 binary64))))) (.f64 (fma.f64 (.f64 x x) (.f64 #s(literal 4/3 binary64) (PI.f64)) #s(literal 1 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64))))
(* x (+ 2 (* 8/3 (pow x 2))))
(.f64 (fma.f64 #s(literal 8/3 binary64) (.f64 x x) #s(literal 2 binary64)) x)
(* x (+ 2 (* (pow x 2) (+ 8/3 (* 64/15 (pow x 2))))))
(.f64 (fma.f64 (fma.f64 #s(literal 64/15 binary64) (.f64 x x) #s(literal 8/3 binary64)) (*.f64 x x) #s(literal 2 binary64)) x)
(* x (+ 2 (* (pow x 2) (+ 8/3 (* (pow x 2) (+ 64/15 (* 2176/315 (pow x 2))))))))
(.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 2176/315 binary64) (.f64 x x) #s(literal 64/15 binary64)) (.f64 x x) #s(literal 8/3 binary64)) (.f64 x x) #s(literal 2 binary64)) x)
(* 2 (/ x (PI)))
(*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x)
(* x (+ (* 8/3 (/ (pow x 2) (PI))) (* 2 (/ 1 (PI)))))
(.f64 (fma.f64 (.f64 x (/.f64 x (PI.f64))) #s(literal 8/3 binary64) (/.f64 #s(literal 2 binary64) (PI.f64))) x)
(* x (+ (* (pow x 2) (+ (* 64/15 (/ (pow x 2) (PI))) (* 8/3 (/ 1 (PI))))) (* 2 (/ 1 (PI)))))
(.f64 (fma.f64 (.f64 x (/.f64 x (PI.f64))) (fma.f64 #s(literal 64/15 binary64) (*.f64 x x) #s(literal 8/3 binary64)) (/.f64 #s(literal 2 binary64) (PI.f64))) x)
(* x (+ (* (pow x 2) (+ (* (pow x 2) (+ (* 2176/315 (/ (pow x 2) (PI))) (* 64/15 (/ 1 (PI))))) (* 8/3 (/ 1 (PI))))) (* 2 (/ 1 (PI)))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 x (/.f64 x (PI.f64))) (fma.f64 #s(literal 2176/315 binary64) (.f64 x x) #s(literal 64/15 binary64)) (/.f64 #s(literal 8/3 binary64) (PI.f64))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
(/ 1 (PI))
(/.f64 #s(literal 1 binary64) (PI.f64))
(+ (* 2 (/ (pow x 2) (PI))) (/ 1 (PI)))
(fma.f64 (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x) x (/.f64 #s(literal 1 binary64) (PI.f64)))
(+ (* (pow x 2) (+ (* 10/3 (/ (pow x 2) (PI))) (* 2 (/ 1 (PI))))) (/ 1 (PI)))
(fma.f64 (.f64 x (/.f64 x (PI.f64))) (fma.f64 #s(literal 10/3 binary64) (.f64 x x) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (PI.f64)))
(+ (* (pow x 2) (+ (* (pow x 2) (+ (* 244/45 (/ (pow x 2) (PI))) (* 10/3 (/ 1 (PI))))) (* 2 (/ 1 (PI))))) (/ 1 (PI)))
(fma.f64 (fma.f64 (.f64 x (/.f64 x (PI.f64))) (fma.f64 #s(literal 244/45 binary64) (.f64 x x) #s(literal 10/3 binary64)) (/.f64 #s(literal 2 binary64) (PI.f64))) (*.f64 x x) (/.f64 #s(literal 1 binary64) (PI.f64)))
1
#s(literal 1 binary64)
(+ 1 (* 2 (pow x 2)))
(fma.f64 (*.f64 #s(literal 2 binary64) x) x #s(literal 1 binary64))
(+ 1 (* (pow x 2) (+ 2 (* 10/3 (pow x 2)))))
(fma.f64 (fma.f64 #s(literal 10/3 binary64) (.f64 x x) #s(literal 2 binary64)) (.f64 x x) #s(literal 1 binary64))
(+ 1 (* (pow x 2) (+ 2 (* (pow x 2) (+ 10/3 (* 244/45 (pow x 2)))))))
(fma.f64 (fma.f64 (fma.f64 #s(literal 244/45 binary64) (.f64 x x) #s(literal 10/3 binary64)) (.f64 x x) #s(literal 2 binary64)) (*.f64 x x) #s(literal 1 binary64))
(+ 1 (* -2 (pow x 2)))
(fma.f64 #s(literal -2 binary64) (*.f64 x x) #s(literal 1 binary64))
(+ 1 (* (pow x 2) (- (* 2/3 (pow x 2)) 2)))
(fma.f64 (fma.f64 #s(literal 2/3 binary64) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))
(+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/3 (* -4/45 (pow x 2)))) 2)))
(fma.f64 (fma.f64 (fma.f64 #s(literal -4/45 binary64) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (* -4/3 (PI)) (* -4 (PI))))))
(.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x)
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (PI)) (* (pow x 2) (- (* 4/15 (PI)) (+ (* -2 (- (* -4/3 (PI)) (* -4 (PI)))) (* 4/3 (PI)))))) (* -4 (PI))))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 (fma.f64 #s(literal 4 binary64) (PI.f64) (.f64 #s(literal 4/15 binary64) (PI.f64))) x) x (.f64 #s(literal 8/3 binary64) (PI.f64))) (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))
(* x (+ (* 2 (PI)) (* (pow x 2) (- (+ (* -4/3 (PI)) (* (pow x 2) (- (+ (* 4/15 (PI)) (* (pow x 2) (- (* -8/315 (PI)) (+ (* -2 (- (* 4/15 (PI)) (+ (* -2 (- (* -4/3 (PI)) (* -4 (PI)))) (* 4/3 (PI))))) (+ (* -8/45 (PI)) (* 2/3 (- (* -4/3 (PI)) (* -4 (PI))))))))) (+ (* -2 (- (* -4/3 (PI)) (* -4 (PI)))) (* 4/3 (PI)))))) (* -4 (PI))))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 (-.f64 (fma.f64 (fma.f64 #s(literal 4 binary64) (PI.f64) (.f64 #s(literal 4/15 binary64) (PI.f64))) #s(literal 2 binary64) (.f64 #s(literal -8/315 binary64) (PI.f64))) (.f64 (PI.f64) #s(literal 8/5 binary64))) (.f64 x x) (fma.f64 #s(literal 4 binary64) (PI.f64) (.f64 #s(literal 4/15 binary64) (PI.f64)))) (.f64 x x) (.f64 #s(literal 8/3 binary64) (PI.f64))) (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))
(* -2 x)
(*.f64 #s(literal -2 binary64) x)
(* x (- (* 16/3 (pow x 2)) 2))
(.f64 (fma.f64 #s(literal 16/3 binary64) (.f64 x x) #s(literal -2 binary64)) x)
(* x (- (* (pow x 2) (+ 16/3 (* -64/15 (pow x 2)))) 2))
(.f64 (fma.f64 (fma.f64 #s(literal -64/15 binary64) (.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x)
(* x (- (* (pow x 2) (+ 16/3 (* (pow x 2) (- (* 512/315 (pow x 2)) 64/15)))) 2))
(.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 512/315 binary64) (.f64 x x) #s(literal -64/15 binary64)) (.f64 x x) #s(literal 16/3 binary64)) (.f64 x x) #s(literal -2 binary64)) x)
(* -4 (* (pow x 2) (PI)))
(.f64 (.f64 #s(literal -4 binary64) (*.f64 x x)) (PI.f64))
(* (pow x 2) (+ (* -4 (PI)) (* 16/3 (* (pow x 2) (PI)))))
(.f64 (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 16/3 binary64) (.f64 x x) #s(literal -4 binary64))) x) x)
(* (pow x 2) (+ (* -4 (PI)) (* (pow x 2) (+ (* -128/45 (* (pow x 2) (PI))) (* 16/3 (PI))))))
(.f64 (fma.f64 (.f64 (PI.f64) (fma.f64 #s(literal -128/45 binary64) (.f64 x x) #s(literal 16/3 binary64))) (.f64 x x) (.f64 #s(literal -4 binary64) (PI.f64))) (.f64 x x))
(* (pow x 2) (+ (* -4 (PI)) (* (pow x 2) (+ (* 16/3 (PI)) (* (pow x 2) (+ (* -128/45 (PI)) (* 256/315 (* (pow x 2) (PI)))))))))
(.f64 (fma.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 (PI.f64) (fma.f64 #s(literal 256/315 binary64) (.f64 x x) #s(literal -128/45 binary64))) (.f64 (PI.f64) (fma.f64 #s(literal 16/3 binary64) (.f64 x x) #s(literal -4 binary64)))) (.f64 x x))
(* -4 (pow x 2))
(.f64 #s(literal -4 binary64) (.f64 x x))
(* (pow x 2) (- (* 16/3 (pow x 2)) 4))
(.f64 (.f64 (fma.f64 #s(literal 16/3 binary64) (*.f64 x x) #s(literal -4 binary64)) x) x)
(* (pow x 2) (- (* (pow x 2) (+ 16/3 (* -128/45 (pow x 2)))) 4))
(.f64 (.f64 (fma.f64 (fma.f64 #s(literal -128/45 binary64) (.f64 x x) #s(literal 16/3 binary64)) (.f64 x x) #s(literal -4 binary64)) x) x)
(* (pow x 2) (- (* (pow x 2) (+ 16/3 (* (pow x 2) (- (* 256/315 (pow x 2)) 128/45)))) 4))
(.f64 (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 256/315 binary64) (.f64 x x) #s(literal -128/45 binary64)) (.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -4 binary64)) x) x)
(+ 1 (* -2 (* (pow x 2) (pow (PI) 2))))
(fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64))
(+ 1 (* (pow x 2) (+ (* -2 (pow (PI) 2)) (* 2/3 (* (pow x 2) (pow (PI) 4))))))
(fma.f64 (fma.f64 (.f64 (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) #s(literal 2/3 binary64)) x) x (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64))) (*.f64 x x) #s(literal 1 binary64))
(+ 1 (* (pow x 2) (+ (* -2 (pow (PI) 2)) (* (pow x 2) (+ (* -4/45 (* (pow x 2) (pow (PI) 6))) (* 2/3 (pow (PI) 4)))))))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) (fma.f64 (.f64 #s(literal -4/45 binary64) (pow.f64 (PI.f64) #s(literal 6 binary64))) (.f64 x x) (.f64 (pow.f64 (PI.f64) #s(literal 4 binary64)) #s(literal 2/3 binary64))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64)))
(* 4 (pow x 2))
(.f64 #s(literal 4 binary64) (.f64 x x))
(* (pow x 2) (+ 4 (* -16/3 (pow x 2))))
(.f64 (.f64 (fma.f64 #s(literal -16/3 binary64) (*.f64 x x) #s(literal 4 binary64)) x) x)
(* (pow x 2) (+ 4 (* (pow x 2) (- (* 128/45 (pow x 2)) 16/3))))
(.f64 (.f64 (fma.f64 (fma.f64 #s(literal 128/45 binary64) (.f64 x x) #s(literal -16/3 binary64)) (.f64 x x) #s(literal 4 binary64)) x) x)
(* (pow x 2) (+ 4 (* (pow x 2) (- (* (pow x 2) (+ 128/45 (* -256/315 (pow x 2)))) 16/3))))
(.f64 (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -256/315 binary64) (.f64 x x) #s(literal 128/45 binary64)) (.f64 x x) #s(literal -16/3 binary64)) (*.f64 x x) #s(literal 4 binary64)) x) x)
(/ (sin (* 2 (* x (PI)))) (cos (* 2 (* x (PI)))))
(/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (PI.f64) (.f64 #s(literal -2 binary64) x))))
(sin (* 2 (* x (PI))))
(sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(pow (/ (sin (* 2 x)) (cos (* 2 x))) (PI))
(pow.f64 (/.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal -2 binary64) x))) (PI.f64))
(/ (sin (* 2 x)) (cos (* 2 x)))
(/.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal -2 binary64) x)))
(/ (sin (* 2 x)) (* (PI) (cos (* 2 x))))
(/.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (cos.f64 (*.f64 #s(literal -2 binary64) x)) (PI.f64)))
(/ 1 (* (PI) (cos (* 2 x))))
(/.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(/ 1 (cos (* 2 x)))
(/.f64 #s(literal 1 binary64) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(cos (* 2 x))
(cos.f64 (*.f64 #s(literal -2 binary64) x))
(/ (* (PI) (sin (* 2 x))) (cos (* 2 x)))
(/.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (PI.f64)) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(* -1 (* (cos (* 2 x)) (sin (* 2 x))))
(.f64 (sin.f64 (.f64 #s(literal -2 binary64) x)) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(* -1 (* (PI) (pow (sin (* 2 x)) 2)))
(.f64 (neg.f64 (PI.f64)) (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(* -1 (pow (sin (* 2 x)) 2))
(neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(cos (* 2 (* x (PI))))
(cos.f64 (.f64 (PI.f64) (.f64 #s(literal -2 binary64) x)))
(pow (sin (* 2 x)) 2)
(pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(/ (sin (* 2 x)) (* (PI) (cos (neg (* -2 x)))))
(/.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (cos.f64 (*.f64 #s(literal -2 binary64) x)) (PI.f64)))
(/ 1 (* (PI) (cos (neg (* -2 x)))))
(/.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(/ 1 (cos (neg (* -2 x))))
(/.f64 #s(literal 1 binary64) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(cos (neg (* -2 x)))
(cos.f64 (*.f64 #s(literal -2 binary64) x))
(/ (* (PI) (sin (* 2 x))) (cos (neg (* -2 x))))
(/.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (PI.f64)) (cos.f64 (*.f64 #s(literal -2 binary64) x)))
(* -1 (* (cos (neg (* -2 x))) (sin (* 2 x))))
(.f64 (sin.f64 (.f64 #s(literal -2 binary64) x)) (cos.f64 (*.f64 #s(literal -2 binary64) x)))

rewrite59.0ms (0.1%)

Memory

12.1MiB live, 12.1MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	159
0	49	145
1	163	136
0	981	136

Stop Event

1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Counts

19 → 247

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))
(/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))
(sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(*.f64 #s(literal 2 binary64) x)
(PI.f64)
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
(tan.f64 (*.f64 #s(literal 2 binary64) x))
(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64))
(pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64))
(cos.f64 (+.f64 x x))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x)))))
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x))))
(.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64))
(neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))

Outputs
#s(approx (tan (* (PI) (* x 2))) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))
(.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))) #s(literal -1 binary64)) (sin.f64 (.f64 (PI.f64) (*.f64 #s(literal 2 binary64) x))))
(.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))) (/.f64 #s(literal 1 binary64) (neg.f64 (cos.f64 (.f64 (PI.f64) (*.f64 #s(literal 2 binary64) x))))))
(.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (*.f64 #s(literal 2 binary64) x))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))) (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 #s(literal 2 binary64) x))) #s(literal -1 binary64)))
(pow.f64 (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))) #s(literal -1 binary64))
(/.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))) #s(literal 1 binary64)) (cos.f64 (.f64 (PI.f64) (*.f64 #s(literal 2 binary64) x))))
(/.f64 (neg.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))) (neg.f64 (neg.f64 (cos.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
(/.f64 (.f64 #s(literal 2 binary64) (tan.f64 (.f64 (PI.f64) x))) (-.f64 #s(literal 1 binary64) (.f64 (tan.f64 (.f64 (PI.f64) x)) (tan.f64 (*.f64 (PI.f64) x)))))
(/.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))) (neg.f64 (cos.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
(/.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))) (cos.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))
(neg.f64 (/.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))) (cos.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))))
(neg.f64 (/.f64 (sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))) (neg.f64 (cos.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
(tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))
(.f64 #s(literal 2 binary64) (.f64 (sin.f64 (.f64 (PI.f64) x)) (cos.f64 (.f64 (PI.f64) x))))
(sin.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))
(.f64 (.f64 (PI.f64) #s(literal 2 binary64)) x)
(.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))
(.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)))
(.f64 (.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1 binary64)) (PI.f64))
(.f64 (.f64 (PI.f64) x) #s(literal 2 binary64))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (*.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (PI.f64)) (*.f64 #s(literal 2 binary64) x)))
(.f64 #s(literal 1 binary64) (.f64 (PI.f64) (*.f64 #s(literal 2 binary64) x)))
(.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))
(.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))
(.f64 #s(literal 2 binary64) (.f64 (PI.f64) x))
(.f64 x (.f64 #s(literal 2 binary64) (PI.f64)))
(/.f64 (*.f64 #s(literal 0 binary64) (PI.f64)) #s(literal 0 binary64))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (*.f64 (PI.f64) #s(literal 0 binary64)) #s(literal 0 binary64))
(/.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x #s(literal 0 binary64)))
(fma.f64 (.f64 x (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)) (.f64 (PI.f64) x))
(fma.f64 (.f64 x (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)) (.f64 (PI.f64) x))
(fma.f64 (.f64 x #s(literal 1 binary64)) (PI.f64) (.f64 (PI.f64) x))
(fma.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) x) (.f64 (PI.f64) x))
(fma.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (PI.f64)) x) (.f64 (PI.f64) x))
(fma.f64 #s(literal 1 binary64) (.f64 (PI.f64) x) (.f64 (PI.f64) x))
(fma.f64 (PI.f64) x (*.f64 (PI.f64) x))
(fma.f64 x (PI.f64) (*.f64 (PI.f64) x))
(+.f64 (.f64 (PI.f64) x) (.f64 (PI.f64) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal 0 binary64))))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x #s(literal 0 binary64)) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))
(-.f64 (/.f64 (.f64 x x) #s(literal 0 binary64)) (/.f64 (.f64 x x) #s(literal 0 binary64)))
(+.f64 x x)
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (sqrt.f64 (PI.f64)) #s(literal 1 binary64)) (pow.f64 (sqrt.f64 (PI.f64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) #s(literal 1 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (PI.f64)))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)))
(*.f64 #s(literal 1 binary64) (PI.f64))
(*.f64 (PI.f64) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 (PI.f64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 3 binary64))
(pow.f64 (PI.f64) #s(literal 1 binary64))
(cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))
(sqrt.f64 (*.f64 (PI.f64) (PI.f64)))
(exp.f64 (*.f64 (log.f64 (PI.f64)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (PI.f64)))
(log.f64 (exp.f64 (PI.f64)))
(PI.f64)
(.f64 (pow.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (PI.f64) #s(literal 1/2 binary64))) (pow.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) (*.f64 (PI.f64) #s(literal 1/2 binary64))))
(pow.f64 (exp.f64 (log.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)))) (PI.f64))
(pow.f64 (.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) (tan.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (PI.f64) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))
(pow.f64 (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)))
(pow.f64 (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (PI.f64))
(pow.f64 (pow.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (PI.f64) #s(literal 1/2 binary64))) #s(literal 2 binary64))
(pow.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) (.f64 #s(literal 2 binary64) (*.f64 (PI.f64) #s(literal 1/2 binary64))))
(pow.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) (fma.f64 (PI.f64) #s(literal 1/2 binary64) (.f64 (PI.f64) #s(literal 1/2 binary64))))
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
(exp.f64 (.f64 (log.f64 (tan.f64 (.f64 #s(literal 2 binary64) x))) (PI.f64)))
(.f64 (.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) #s(literal 2 binary64)) (.f64 (sin.f64 x) (cos.f64 x)))
(.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (sin.f64 (*.f64 #s(literal 2 binary64) x))))
(.f64 (.f64 (tan.f64 x) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (tan.f64 x) #s(literal 2 binary64)))))
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (sin.f64 (*.f64 #s(literal 2 binary64) x)))
(*.f64 #s(literal 2 binary64) (/.f64 (tan.f64 x) (-.f64 #s(literal 1 binary64) (pow.f64 (tan.f64 x) #s(literal 2 binary64)))))
(.f64 #s(literal 2 binary64) (/.f64 (.f64 (sin.f64 x) (cos.f64 x)) (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(/.f64 (.f64 #s(literal 1 binary64) (sin.f64 (.f64 #s(literal 2 binary64) x))) (cos.f64 (*.f64 #s(literal 2 binary64) x)))
(/.f64 (neg.f64 (*.f64 (tan.f64 x) #s(literal 2 binary64))) (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (tan.f64 x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (sin.f64 (.f64 #s(literal 2 binary64) x))) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (+.f64 (tan.f64 x) (tan.f64 x)) (-.f64 #s(literal 1 binary64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))) (*.f64 (tan.f64 x) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (*.f64 (tan.f64 x) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))))
(/.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal 2 binary64) x)))
(tan.f64 (*.f64 #s(literal 2 binary64) x))
(.f64 (.f64 (/.f64 (pow.f64 (PI.f64) #s(literal -1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x))) #s(literal 2 binary64)) (.f64 (sin.f64 x) (cos.f64 x)))
(.f64 (/.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (sqrt.f64 (PI.f64))) (/.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) (sqrt.f64 (PI.f64))))
(.f64 (/.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (/.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) (cbrt.f64 (PI.f64))))
(.f64 (/.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) #s(literal 1 binary64)) (/.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64)))
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (/.f64 (pow.f64 (PI.f64) #s(literal -1 binary64)) (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(.f64 (/.f64 (pow.f64 (PI.f64) #s(literal -1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (.f64 (pow.f64 (PI.f64) #s(literal -1 binary64)) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (/.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64)))
(.f64 (tan.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (PI.f64) #s(literal -1 binary64)))
(.f64 #s(literal 2 binary64) (.f64 (.f64 (sin.f64 x) (cos.f64 x)) (/.f64 (pow.f64 (PI.f64) #s(literal -1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x)))))
(/.f64 (/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))
(/.f64 (/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)))
(/.f64 (/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (PI.f64))
(/.f64 (.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x))) (neg.f64 (PI.f64)))
(/.f64 (.f64 #s(literal 1 binary64) (sin.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (/.f64 (PI.f64) #s(literal 1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal -1 binary64) (cos.f64 (*.f64 #s(literal 2 binary64) x)))) (neg.f64 (PI.f64)))
(/.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (.f64 (/.f64 (PI.f64) #s(literal 1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (neg.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x))) (neg.f64 (PI.f64)))
(/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) (tan.f64 (*.f64 #s(literal 2 binary64) x))))
(/.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (/.f64 (PI.f64) #s(literal 1 binary64)) (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
(.f64 (/.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (sqrt.f64 (PI.f64))) (/.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (sqrt.f64 (PI.f64))))
(.f64 (/.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (/.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (cbrt.f64 (PI.f64))))
(.f64 (/.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (/.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (PI.f64)))
(.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (pow.f64 (PI.f64) #s(literal -1 binary64))))
(.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (/.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (PI.f64)))
(.f64 (pow.f64 (PI.f64) #s(literal -1 binary64)) (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (.f64 #s(literal 2 binary64) x))) (/.f64 #s(literal 1 binary64) (neg.f64 (PI.f64))))
(.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (PI.f64) #s(literal -1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x))))
(.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (pow.f64 (PI.f64) #s(literal -1 binary64)))
(pow.f64 (.f64 (/.f64 (PI.f64) #s(literal 1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x))) #s(literal -1 binary64))
(/.f64 (.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) #s(literal 1 binary64)) (PI.f64))
(/.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))
(/.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)))
(/.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) #s(literal 1 binary64)) (PI.f64))
(/.f64 (neg.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (*.f64 #s(literal 2 binary64) x)))) (neg.f64 (neg.f64 (PI.f64))))
(/.f64 (pow.f64 (PI.f64) #s(literal -1 binary64)) (cos.f64 (*.f64 #s(literal 2 binary64) x)))
(/.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (*.f64 #s(literal 2 binary64) x))) (neg.f64 (PI.f64)))
(/.f64 #s(literal 1 binary64) (.f64 (PI.f64) (cos.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 (PI.f64) #s(literal 1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (PI.f64)))
(/.f64 #s(literal 1 binary64) (.f64 (/.f64 (PI.f64) #s(literal 1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (PI.f64))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x)))))
(neg.f64 (/.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (*.f64 #s(literal 2 binary64) x))) (PI.f64)))
(neg.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (neg.f64 (PI.f64))))
(exp.f64 (-.f64 (.f64 (log.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))) #s(literal -1 binary64)) (log.f64 (PI.f64))))
(.f64 (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)))
(.f64 #s(literal 1 binary64) (pow.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(pow.f64 (exp.f64 (log.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)))) #s(literal -1 binary64))
(pow.f64 (.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (*.f64 #s(literal 2 binary64) x))) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (cos.f64 (*.f64 #s(literal 2 binary64) x)))
(/.f64 #s(literal -1 binary64) (neg.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(exp.f64 (.f64 (log.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))) #s(literal -1 binary64)))
(*.f64 (+.f64 (cos.f64 x) (sin.f64 x)) (-.f64 (cos.f64 x) (sin.f64 x)))
(/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (pow.f64 (cos.f64 x) #s(literal 2 binary64))) (.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (pow.f64 (sin.f64 x) #s(literal 2 binary64)))) (fma.f64 (cos.f64 x) (cos.f64 x) (pow.f64 (sin.f64 x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (fma.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (pow.f64 (sin.f64 x) #s(literal 2 binary64)) (*.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (pow.f64 (sin.f64 x) #s(literal 2 binary64))))))
(fma.f64 (cos.f64 x) (cos.f64 x) (*.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(fma.f64 (cos.f64 x) (cos.f64 x) (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))))
(-.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (pow.f64 (sin.f64 x) #s(literal 2 binary64)))
(cos.f64 (*.f64 #s(literal 2 binary64) x))
(+.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (*.f64 (neg.f64 (sin.f64 x)) (sin.f64 x)))
(+.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (neg.f64 (pow.f64 (sin.f64 x) #s(literal 2 binary64))))
(.f64 (/.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))) (/.f64 (PI.f64) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(.f64 (/.f64 (PI.f64) (sin.f64 (.f64 #s(literal 2 binary64) x))) (/.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))))
(.f64 (/.f64 (/.f64 (PI.f64) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))) (sin.f64 (.f64 #s(literal 2 binary64) x))) (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))))
(.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (/.f64 (PI.f64) (sin.f64 (.f64 #s(literal 2 binary64) x)))) (/.f64 #s(literal -1 binary64) (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(.f64 (/.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (neg.f64 (PI.f64))))
(.f64 (/.f64 (PI.f64) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))) (neg.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))))
(.f64 (neg.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))) (/.f64 (PI.f64) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))))
(.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)) (/.f64 #s(literal 1 binary64) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal 2 binary64) x)))))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal 2 binary64) x)))))
(.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (neg.f64 (PI.f64))) (/.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x))))
(.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (/.f64 (/.f64 (PI.f64) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(.f64 #s(literal -1 binary64) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (/.f64 (/.f64 (PI.f64) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))) (sin.f64 (*.f64 #s(literal 2 binary64) x)))))
(.f64 (PI.f64) (/.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (.f64 (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x)))))
(.f64 (PI.f64) (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (/.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x)))))
(pow.f64 (/.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64))) #s(literal -1 binary64))
(/.f64 (/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (/.f64 (PI.f64) (sin.f64 (.f64 #s(literal 2 binary64) x)))) #s(literal -1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (neg.f64 (PI.f64))) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (/.f64 (PI.f64) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))))) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (.f64 (neg.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))) (PI.f64)) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (neg.f64 (PI.f64))) #s(literal 1 binary64)) (.f64 (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (neg.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (/.f64 (PI.f64) (sin.f64 (.f64 #s(literal 2 binary64) x))))) (neg.f64 (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (/.f64 (PI.f64) (sin.f64 (.f64 #s(literal 2 binary64) x)))) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(/.f64 #s(literal 1 binary64) (/.f64 (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (/.f64 (PI.f64) (sin.f64 (.f64 #s(literal 2 binary64) x))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64))))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (neg.f64 (PI.f64))) (.f64 (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal 2 binary64) x))) (.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)))))
(neg.f64 (/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (/.f64 (PI.f64) (sin.f64 (.f64 #s(literal 2 binary64) x)))) (cos.f64 (.f64 #s(literal 2 binary64) x))))
(neg.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (neg.f64 (PI.f64))) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (*.f64 #s(literal 2 binary64) x)))))
(neg.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)) (.f64 (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x)))))
(neg.f64 (.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)) (/.f64 (/.f64 #s(literal -1 binary64) (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x)))))
(neg.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (/.f64 (/.f64 (PI.f64) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))) (sin.f64 (.f64 #s(literal 2 binary64) x)))))
(.f64 (.f64 (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))) #s(literal 2 binary64)) (.f64 (sin.f64 x) (cos.f64 x)))
(.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)) (cos.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (neg.f64 (sin.f64 (.f64 #s(literal 2 binary64) x))) (cos.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(.f64 #s(literal -1 binary64) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (.f64 #s(literal 2 binary64) x))))
(.f64 #s(literal 2 binary64) (.f64 (.f64 (sin.f64 x) (cos.f64 x)) (neg.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)))))
(neg.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(-.f64 #s(literal 0 binary64) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))
(.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64))) (cbrt.f64 (PI.f64)))
(.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) #s(literal 1 binary64)) (PI.f64))
(.f64 (.f64 (PI.f64) #s(literal -1 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))))
(.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (PI.f64)) (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))))
(.f64 #s(literal 1 binary64) (.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (neg.f64 (PI.f64))))
(.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (neg.f64 (PI.f64)))
(.f64 #s(literal -1 binary64) (.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)))
(.f64 (PI.f64) (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))))
(neg.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)))
(-.f64 #s(literal 0 binary64) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)))
(.f64 (.f64 #s(literal -1 binary64) (sin.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (neg.f64 (sin.f64 (.f64 #s(literal 2 binary64) x))) (sin.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) #s(literal -1 binary64))
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x))))
(.f64 #s(literal -1 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))) (+.f64 #s(literal 0 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (.f64 #s(literal 0 binary64) (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))))))
(neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(-.f64 #s(literal 0 binary64) (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)))
(+.f64 #s(literal 0 binary64) (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))))
(-.f64 (.f64 (cos.f64 (.f64 (PI.f64) x)) (cos.f64 (.f64 (PI.f64) x))) (.f64 (sin.f64 (.f64 (PI.f64) x)) (sin.f64 (.f64 (PI.f64) x))))
(cos.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x)))
(.f64 (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (.f64 (sin.f64 x) (cos.f64 x)))
(.f64 (exp.f64 (log.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)))) (exp.f64 (log.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)))))
(.f64 #s(literal 4 binary64) (.f64 (.f64 (sin.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (cos.f64 x))))
(.f64 #s(literal 4 binary64) (pow.f64 (.f64 (sin.f64 x) (cos.f64 x)) #s(literal 2 binary64)))
(.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (sin.f64 (*.f64 #s(literal 2 binary64) x)))
(.f64 #s(literal 2 binary64) (.f64 (.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(pow.f64 (exp.f64 (log.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 2 binary64) x) (.f64 #s(literal 2 binary64) x))) (cos.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) x)))) #s(literal 2 binary64))
(-.f64 #s(literal 1/2 binary64) (.f64 #s(literal 1/2 binary64) (cos.f64 (.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) x)))))
(-.f64 #s(literal 1 binary64) (.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (cos.f64 (*.f64 #s(literal 2 binary64) x))))
(exp.f64 (.f64 (log.f64 (sin.f64 (.f64 #s(literal 2 binary64) x))) #s(literal 2 binary64)))

eval57.0ms (0.1%)

Memory: 45.9MiB live, 45.9MiB allocated
Compiler: Compiled 11 239 to 1 660 computations (85.2% saved)

prune39.0ms (0.1%)

Memory

-51.3MiB live, 29.7MiB allocated

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	521	17	538
Fresh	7	1	8
Picked	5	0	5
Done	0	1	1
Total	533	19	552

Accuracy

92.9%

Counts

552 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
	33.9%	(pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))) (PI.f64))
	63.8%	(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 512/315 binary64) (.f64 x x) #s(literal -64/15 binary64)) (.f64 x x) #s(literal 16/3 binary64)) (.f64 x x) #s(literal -2 binary64)) x)))
	60.8%	(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 #s(literal -64/15 binary64) (.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x)))
	23.3%	(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (*.f64 #s(literal -2 binary64) x)))
	49.9%	(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
	49.2%	(.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 (fma.f64 #s(literal -4/45 binary64) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (*.f64 #s(literal 2 binary64) x)))
	45.5%	(.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 #s(literal 2/3 binary64) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
✓	51.2%	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
	49.3%	#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
	9.2%	#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
	15.7%	#s(approx (tan (* (PI) (* x 2))) (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64))))
	51.2%	#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
	51.2%	#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (PI.f64)))))))
	71.9%	#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
	49.7%	#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(approx (sin (* (* 2 x) (PI))) (.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal -4/3 binary64) (.f64 x x)) (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64))) x)) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
	51.2%	#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
	4.4%	#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
	49.6%	#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
	49.2%	#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))))

Compiler

Compiled 1 034 to 501 computations (51.5% saved)

regimes28.0ms (0.1%)

Memory

17.4MiB live, 17.4MiB allocated

Counts

31 → 2

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
(tan.f64 (*.f64 x #s(literal 2 binary64)))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(approx (sin (* (* 2 x) (PI))) (.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal -4/3 binary64) (.f64 x x)) (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64))) x)) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))))
(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (*.f64 #s(literal -2 binary64) x)))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))
(.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 #s(literal 2/3 binary64) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 #s(literal -64/15 binary64) (.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x)))
(.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 (fma.f64 #s(literal -4/45 binary64) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (*.f64 #s(literal 2 binary64) x)))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (PI.f64)))))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 512/315 binary64) (.f64 x x) #s(literal -64/15 binary64)) (.f64 x x) #s(literal 16/3 binary64)) (.f64 x x) #s(literal -2 binary64)) x)))
(/.f64 (*.f64 (tan.f64 x) #s(literal 2 binary64)) (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))))
(.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (/.f64 (.f64 (cos.f64 x) (sin.f64 x)) (PI.f64)) (/.f64 #s(literal 2 binary64) (cos.f64 (+.f64 x x))))
(.f64 (.f64 (tan.f64 x) #s(literal 2 binary64)) (pow.f64 (-.f64 (PI.f64) (pow.f64 (tan.f64 x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) (.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) (neg.f64 (cos.f64 (+.f64 x x)))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 3 binary64))) (PI.f64)) (.f64 (+.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) #s(literal 0 binary64)) (neg.f64 (cos.f64 (+.f64 x x)))))
#s(approx (tan (* (PI) (* x 2))) (.f64 (fma.f64 (fma.f64 #s(literal 8/3 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64)) (.f64 (fma.f64 (fma.f64 (.f64 #s(literal 2 binary64) (.f64 (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal 16/3 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64))) (PI.f64))) (PI.f64) (fma.f64 (pow.f64 (PI.f64) #s(literal 7 binary64)) #s(literal 16/105 binary64) (.f64 (.f64 #s(literal -16/9 binary64) (pow.f64 (PI.f64) #s(literal 3 binary64))) (pow.f64 (PI.f64) #s(literal 4 binary64))))) (.f64 x x) (fma.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal 16/3 binary64) (.f64 (pow.f64 (PI.f64) #s(literal 5 binary64)) #s(literal -16/15 binary64)))) (.f64 x x))) (.f64 x x) (.f64 (PI.f64) #s(literal 2 binary64))) x))

Outputs

#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (*.f64 (+.f64 x x) (PI.f64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))

(/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (*.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 512/315 binary64) (*.f64 x x) #s(literal -64/15 binary64)) (*.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x)))

Calls

4 calls:

7.0ms	(*.f64 x #s(literal 2 binary64))
7.0ms	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
6.0ms	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
6.0ms	x

Results

Accuracy	Segments	Branch
92.7%	2	`x`
91.9%	3	`(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))`
92.7%	2	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
92.7%	2	`(*.f64 x #s(literal 2 binary64))`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes17.0ms (0%)

Memory

11.0MiB live, 11.0MiB allocated

Counts

23 → 2

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
(tan.f64 (*.f64 x #s(literal 2 binary64)))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(approx (sin (* (* 2 x) (PI))) (.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal -4/3 binary64) (.f64 x x)) (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64))) x)) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))))
(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (*.f64 #s(literal -2 binary64) x)))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))
(.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 #s(literal 2/3 binary64) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 #s(literal -64/15 binary64) (.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x)))
(.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 (fma.f64 #s(literal -4/45 binary64) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (*.f64 #s(literal 2 binary64) x)))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (PI.f64)))))))

Outputs

#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (*.f64 (+.f64 x x) (PI.f64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))

(*.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 (fma.f64 #s(literal -4/45 binary64) (*.f64 x x) #s(literal 2/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (*.f64 #s(literal 2 binary64) x)))

Calls

3 calls:

5.0ms	(*.f64 x #s(literal 2 binary64))
5.0ms	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
5.0ms	x

Results

Accuracy	Segments	Branch
90.8%	2	`x`
90.8%	2	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
90.8%	2	`(*.f64 x #s(literal 2 binary64))`

Compiler

Compiled 9 to 9 computations (0% saved)

regimes20.0ms (0%)

Memory

13.6MiB live, 13.6MiB allocated

Counts

21 → 2

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
(tan.f64 (*.f64 x #s(literal 2 binary64)))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(approx (sin (* (* 2 x) (PI))) (.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal -4/3 binary64) (.f64 x x)) (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64))) x)) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))))
(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (*.f64 #s(literal -2 binary64) x)))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))
(.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 #s(literal 2/3 binary64) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 #s(literal -64/15 binary64) (.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x)))

Outputs

#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (*.f64 (+.f64 x x) (PI.f64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))

(/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (*.f64 (fma.f64 (fma.f64 #s(literal -64/15 binary64) (*.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x)))

Calls

4 calls:

5.0ms	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
5.0ms	(*.f64 x #s(literal 2 binary64))
5.0ms	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
5.0ms	x

Results

Accuracy	Segments	Branch
88.9%	3	`(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))`
89.7%	2	`x`
89.7%	2	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
89.7%	2	`(*.f64 x #s(literal 2 binary64))`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes19.0ms (0%)

Memory

13.2MiB live, 13.2MiB allocated

Counts

20 → 2

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
(tan.f64 (*.f64 x #s(literal 2 binary64)))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(approx (sin (* (* 2 x) (PI))) (.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal -4/3 binary64) (.f64 x x)) (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64))) x)) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))))
(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (*.f64 #s(literal -2 binary64) x)))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))
(.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 #s(literal 2/3 binary64) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x)))

Outputs

#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (*.f64 (+.f64 x x) (PI.f64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))

(*.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 #s(literal 2/3 binary64) (*.f64 x x) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (*.f64 #s(literal 2 binary64) x)))

Calls

4 calls:

5.0ms	(*.f64 x #s(literal 2 binary64))
5.0ms	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
4.0ms	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
4.0ms	x

Results

Accuracy	Segments	Branch
86.3%	3	`(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))`
87.1%	2	`x`
87.1%	2	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
87.1%	2	`(*.f64 x #s(literal 2 binary64))`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes20.0ms (0%)

Memory

-66.7MiB live, 12.8MiB allocated

Counts

19 → 2

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
(tan.f64 (*.f64 x #s(literal 2 binary64)))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(approx (sin (* (* 2 x) (PI))) (.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal -4/3 binary64) (.f64 x x)) (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64))) x)) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))))
(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx (* (sin (* 2 x)) (neg (cos (+ x x)))) (*.f64 #s(literal -2 binary64) x)))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))))

Outputs

#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (*.f64 (+.f64 x x) (PI.f64))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))

(pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))) (PI.f64))

Calls

4 calls:

6.0ms	x
4.0ms	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
4.0ms	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
4.0ms	(*.f64 x #s(literal 2 binary64))

Results

Accuracy	Segments	Branch
81.6%	3	`(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))`
82.4%	2	`x`
82.4%	2	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
82.4%	2	`(*.f64 x #s(literal 2 binary64))`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes12.0ms (0%)

Memory

9.0MiB live, 9.0MiB allocated

Counts

16 → 2

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
(tan.f64 (*.f64 x #s(literal 2 binary64)))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(approx (sin (* (* 2 x) (PI))) (.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal -4/3 binary64) (.f64 x x)) (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64))) x)) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))))
(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))
(pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))) (PI.f64))

Outputs
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) x))) (PI.f64))

Calls

3 calls:

4.0ms	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
4.0ms	(*.f64 x #s(literal 2 binary64))
4.0ms	x

Results

Accuracy	Segments	Branch
82.4%	2	`x`
82.4%	2	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
82.4%	2	`(*.f64 x #s(literal 2 binary64))`

Compiler

Compiled 9 to 9 computations (0% saved)

regimes15.0ms (0%)

Memory

11.3MiB live, 11.3MiB allocated

Counts

15 → 1

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
(tan.f64 (*.f64 x #s(literal 2 binary64)))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(approx (sin (* (* 2 x) (PI))) (.f64 (.f64 (PI.f64) (fma.f64 (.f64 #s(literal -4/3 binary64) (.f64 x x)) (.f64 (PI.f64) (PI.f64)) #s(literal 2 binary64))) x)) (cos.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64)))))
(pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 3 binary64)))))
(/.f64 (PI.f64) (pow.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal -1 binary64)))

Outputs

#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))

Calls

4 calls:

4.0ms	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
4.0ms	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
4.0ms	(*.f64 x #s(literal 2 binary64))
3.0ms	x

Results

Accuracy	Segments	Branch
71.9%	1	`(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))`
71.9%	1	`x`
71.9%	1	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
71.9%	1	`(*.f64 x #s(literal 2 binary64))`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes12.0ms (0%)

Memory

9.5MiB live, 9.5MiB allocated

Counts

10 → 1

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
(tan.f64 (*.f64 x #s(literal 2 binary64)))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
(/.f64 (tan.f64 (*.f64 #s(literal 2 binary64) x)) (PI.f64))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (PI.f64)) (fma.f64 x x #s(literal 0 binary64))))
#s(approx (tan (* (PI) (* x 2))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (tan.f64 (.f64 (PI.f64) (.f64 #s(literal 2 binary64) x))))))

Outputs
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))

Calls

4 calls:

3.0ms	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
3.0ms	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
3.0ms	(*.f64 x #s(literal 2 binary64))
3.0ms	x

Results

Accuracy	Segments	Branch
51.2%	1	`x`
51.2%	1	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
51.2%	1	`(*.f64 x #s(literal 2 binary64))`
51.2%	1	`(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes9.0ms (0%)

Memory

7.9MiB live, 7.9MiB allocated

Accuracy

Total -30.0b remaining (-92.9%)

Threshold costs -30b (-92.9%)

Counts

6 → 1

Calls

Call 1

Inputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64)))
#s(approx (* (/ (pow (cos (+ x x)) -1) (PI)) (sin (* 2 x))) (*.f64 (/.f64 #s(literal 2 binary64) (PI.f64)) x))
#s(approx (tan (* (PI) (* x 2))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x)) (PI.f64)))
#s(approx (/ (* (neg (pow (sin (* 2 x)) 2)) (PI)) (* (sin (* 2 x)) (neg (cos (+ x x))))) (.f64 (.f64 (PI.f64) (fma.f64 #s(literal 8/3 binary64) (*.f64 x x) #s(literal 2 binary64))) x))
(tan.f64 (*.f64 x #s(literal 2 binary64)))

Outputs
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))

Calls

4 calls:

2.0ms	(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
2.0ms	(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))
2.0ms	(*.f64 x #s(literal 2 binary64))
2.0ms	x

Results

Accuracy	Segments	Branch
49.6%	1	`(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))`
49.6%	1	`x`
49.6%	1	`(.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))`
49.6%	1	`(*.f64 x #s(literal 2 binary64))`

Compiler

Compiled 15 to 15 computations (0% saved)

bsearch1.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4044792815.1967325	369378896014052800.0

Compiler

Compiled 9 to 8 computations (11.1% saved)

bsearch0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4044792815.1967325	369378896014052800.0

Compiler

Compiled 9 to 8 computations (11.1% saved)

bsearch0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4044792815.1967325	369378896014052800.0

Compiler

Compiled 9 to 8 computations (11.1% saved)

bsearch0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4044792815.1967325	369378896014052800.0

Compiler

Compiled 9 to 8 computations (11.1% saved)

bsearch0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4044792815.1967325	369378896014052800.0

Compiler

Compiled 9 to 8 computations (11.1% saved)

bsearch0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4044792815.1967325	369378896014052800.0

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify101.0ms (0.2%)

Memory

15.8MiB live, 15.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	82	335
1	102	335
2	132	335
3	168	335
4	193	335
5	251	335
6	894	335
7	2241	335
8	4648	335

Stop Event

1×	node limit

Calls

Call 1

Inputs
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx ( (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 512/315 binary64) (.f64 x x) #s(literal -64/15 binary64)) (.f64 x x) #s(literal 16/3 binary64)) (.f64 x x) #s(literal -2 binary64)) x))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 (fma.f64 #s(literal -4/45 binary64) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx ( (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 #s(literal -64/15 binary64) (.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 #s(literal 2/3 binary64) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (*.f64 #s(literal 2 binary64) x))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x))) (PI.f64)))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) (tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))) (pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x))) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))

Outputs
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx ( (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 512/315 binary64) (.f64 x x) #s(literal -64/15 binary64)) (.f64 x x) #s(literal 16/3 binary64)) (.f64 x x) #s(literal -2 binary64)) x))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)) (neg.f64 #s(approx ( (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 512/315 binary64) (.f64 x x) #s(literal -64/15 binary64)) (.f64 x x) #s(literal 16/3 binary64)) (.f64 x x) #s(literal -2 binary64)) x)))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 (fma.f64 #s(literal -4/45 binary64) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (.f64 #s(literal 2 binary64) x))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (/.f64 (.f64 (neg.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64))) (PI.f64)) #s(approx ( (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 #s(literal -64/15 binary64) (.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 2 binary64)) (PI.f64)) (neg.f64 #s(approx ( (sin (* 2 x)) (neg (cos (+ x x)))) (.f64 (fma.f64 (fma.f64 #s(literal -64/15 binary64) (.f64 x x) #s(literal 16/3 binary64)) (*.f64 x x) #s(literal -2 binary64)) x)))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (.f64 (/.f64 (pow.f64 #s(approx (cos (+ x x)) (fma.f64 (fma.f64 #s(literal 2/3 binary64) (.f64 x x) #s(literal -2 binary64)) (.f64 x x) #s(literal 1 binary64))) #s(literal -1 binary64)) (PI.f64)) (sin.f64 (*.f64 #s(literal 2 binary64) x))))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x))) (PI.f64)))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) #s(approx (tan ( (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (+.f64 x x) (PI.f64))) (cos.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))))) (pow.f64 (tan.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal -1 binary64))) (PI.f64)))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) (tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))) (pow.f64 (tan.f64 (/.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) x))) (PI.f64)))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 5000000000 binary64)) (tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64)))) (pow.f64 (tan.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal -1 binary64))) (PI.f64)))
#s(approx (tan (* (PI) (* x 2))) (/.f64 (sin.f64 (.f64 (.f64 #s(literal 2 binary64) x) (PI.f64))) #s(approx (cos (* (* 2 x) (PI))) (fma.f64 (.f64 (.f64 (PI.f64) (PI.f64)) #s(literal -2 binary64)) (*.f64 x x) #s(literal 1 binary64)))))
(tan.f64 (.f64 (PI.f64) (.f64 x #s(literal 2 binary64))))
#s(approx (tan (* (PI) (* x 2))) (*.f64 (+.f64 x x) (PI.f64)))

soundness52.7s (95.5%)

Memory

428.5MiB live, 535.6MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	6	15
0	10	13
1	32	13
2	148	13
3	933	11
4	6525	11
0	8124	11
0	350	1247
1	1026	1213
2	3234	1121
3	7400	1109
0	8028	1012
0	64	192
1	153	180
2	485	154
3	2432	136
0	8245	125
0	29	159
0	49	145
1	163	136
0	981	136

Stop Event

1×	fuel
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	node limit
1×	iter limit
1×	node limit
1×	iter limit

Compiler

Compiled 626 to 288 computations (54% saved)

preprocess98.0ms (0.2%)

Memory: 44.0MiB live, 44.0MiB allocated
Compiler: Compiled 942 to 344 computations (63.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	8	15
1	20	13
2	48	13
3	115	12
4	145	12
5	175	12
6	215	12
7	229	12
8	234	12
9	247	12
10	249	12
0	6	6
0	10	6
1	14	6
2	21	6
3	23	6
0	23	6

Iter	Nodes	Cost
0	8	15
1	20	13
2	48	13
3	115	12
4	145	12
5	175	12
6	215	12
7	229	12
8	234	12
9	247	12
10	249	12
0	6	6
0	10	6
1	14	6
2	21	6
3	23	6
0	23	6

start0.0ms (0%)

analyze85.0ms (0.2%)

sample743.0ms (1.3%)

explain79.0ms (0.1%)

preprocess18.0ms (0%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0%)

localize23.0ms (0%)

series6.0ms (0%)

simplify210.0ms (0.4%)

rewrite61.0ms (0.1%)

eval8.0ms (0%)

prune23.0ms (0%)

simplify192.0ms (0.3%)

localize193.0ms (0.3%)

series66.0ms (0.1%)

simplify266.0ms (0.5%)

rewrite59.0ms (0.1%)

eval57.0ms (0.1%)

prune39.0ms (0.1%)

regimes28.0ms (0.1%)

regimes17.0ms (0%)

regimes20.0ms (0%)

regimes19.0ms (0%)

regimes20.0ms (0%)

regimes12.0ms (0%)

regimes15.0ms (0%)

regimes12.0ms (0%)

regimes9.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify101.0ms (0.2%)

soundness52.7s (95.5%)

preprocess98.0ms (0.2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	8	15
1	20	13
2	48	13
3	115	12
4	145	12
5	175	12
6	215	12
7	229	12
8	234	12
9	247	12
10	249	12
0	6	6
0	10	6
1	14	6
2	21	6
3	23	6
0	23	6