Metrics for mixedcos

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze177.0ms (5.2%)

Memory

-2.5MiB live, 139.7MiB allocated; 36ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	4
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	5
28.1%	28.1%	71.8%	0.1%	0%	0%	0%	6
42.2%	42.1%	57.7%	0.1%	0%	0%	0%	7
49.2%	49.1%	50.7%	0.1%	0%	0%	0%	8
57.4%	57.3%	42.5%	0.1%	0%	0%	0%	9
67%	66.9%	33%	0.1%	0%	0%	0%	10
71.8%	71.7%	28.2%	0.1%	0%	0%	0%	11
76.9%	76.8%	23.1%	0.1%	0%	0%	0%	12

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample1.1s (33.2%)

Memory

36.8MiB live, 1 384.9MiB allocated; 230ms collecting garbage

Samples

817.0ms	8 255×	0	valid
0.0ms	1×	1	valid

Precisions

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

ival-cos: 267.0ms (43.7% of total)

ival-pow2: 156.0ms (25.6% of total)

ival-mult!: 149.0ms (24.4% of total)

ival-div!: 38.0ms (6.2% of total)

adjust: 2.0ms (0.3% of total)

Bogosity

preprocess29.0ms (0.9%)

Memory

22.6MiB live, 22.6MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	49	169
1	209	163
2	1077	143

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	66.3%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))

Symmetry

(abs x)

(abs c)

(abs s)

(sort c s)

Compiler

Compiled 32 to 24 computations (25% saved)

series104.0ms (3.1%)

Memory

-37.9MiB live, 59.8MiB allocated; 13ms collecting garbage

Counts

12 → 19

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(cos.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))
(pow.f64 c #s(literal 2 binary64))
c
(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)
(*.f64 x (pow.f64 s #s(literal 2 binary64)))
(pow.f64 s #s(literal 2 binary64))
s

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

Calls

9 calls:

Time	Variable	Point
9.0ms	c	inf
3.0ms	x	inf
3.0ms	x	0
2.0ms	x	-inf
2.0ms	s	inf

rewrite121.0ms (3.6%)

Memory

18.4MiB live, 64.4MiB allocated; 4ms collecting garbage

Counts

12 → 28

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(cos.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))
(pow.f64 c #s(literal 2 binary64))
c
(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)
(*.f64 x (pow.f64 s #s(literal 2 binary64)))
(pow.f64 s #s(literal 2 binary64))
s

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

eval3.0ms (0.1%)

Memory: 4.6MiB live, 4.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 918 to 172 computations (81.3% saved)

prune6.0ms (0.2%)

Memory

7.3MiB live, 7.3MiB allocated; 0ms collecting garbage

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	31	9	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	10	41

Accuracy

68.3%

Counts

41 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	65.6%	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 x (.f64 s s)) x))
	66.3%	(/.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x))) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
	66.3%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x (.f64 s s)) x) (*.f64 c c)))
✓	66.3%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
	60.3%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) #s(approx (* (* x (pow s 2)) x) (*.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))))
▶	67.5%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
▶	59.1%	(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
	66.3%	(.f64 (cos.f64 (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x (.f64 s s)) x) (.f64 c c))))
▶	18.5%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))) (pow.f64 x #s(literal 2 binary64))))
▶	55.2%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))))

Compiler

Compiled 424 to 290 computations (31.6% saved)

series124.0ms (3.7%)

Memory

9.4MiB live, 101.7MiB allocated; 24ms collecting garbage

Counts

37 → 41

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(cos.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.f64 (.f64 (.f64 c c) (.f64 x (*.f64 s s))) x)
(.f64 (.f64 c c) (.f64 x (.f64 s s)))
(*.f64 c c)
c
(.f64 x (.f64 s s))
(*.f64 s s)
s
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
#s(approx (cos (* 2 x)) #s(literal 1 binary64))
#s(literal 1 binary64)
(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))
(pow.f64 c #s(literal 2 binary64))
(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)
(*.f64 x (pow.f64 s #s(literal 2 binary64)))
(pow.f64 s #s(literal 2 binary64))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 x (.f64 s s)) x))
(/.f64 (cos.f64 (+.f64 x x)) (*.f64 c c))
(cos.f64 (+.f64 x x))
(+.f64 x x)
(.f64 (.f64 x (*.f64 s s)) x)
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))))
(/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))))
(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(*.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(pow.f64 x #s(literal 2 binary64))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))) (pow.f64 x #s(literal 2 binary64)))
(fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))))
#s(literal -2 binary64)
(/.f64 (pow.f64 x #s(literal 2 binary64)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))
(*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))

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

Calls

9 calls:

Time	Variable	Point
9.0ms	c	0
5.0ms	x	-inf
4.0ms	x	inf
4.0ms	s	inf
4.0ms	c	inf

rewrite142.0ms (4.2%)

Memory

6.1MiB live, 94.2MiB allocated; 27ms collecting garbage

Counts

37 → 125

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(cos.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.f64 (.f64 (.f64 c c) (.f64 x (*.f64 s s))) x)
(.f64 (.f64 c c) (.f64 x (.f64 s s)))
(*.f64 c c)
c
(.f64 x (.f64 s s))
(*.f64 s s)
s
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
#s(approx (cos (* 2 x)) #s(literal 1 binary64))
#s(literal 1 binary64)
(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))
(pow.f64 c #s(literal 2 binary64))
(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)
(*.f64 x (pow.f64 s #s(literal 2 binary64)))
(pow.f64 s #s(literal 2 binary64))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 x (.f64 s s)) x))
(/.f64 (cos.f64 (+.f64 x x)) (*.f64 c c))
(cos.f64 (+.f64 x x))
(+.f64 x x)
(.f64 (.f64 x (*.f64 s s)) x)
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))))
(/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))))
(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))
(*.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(pow.f64 x #s(literal 2 binary64))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))) (pow.f64 x #s(literal 2 binary64))))
(/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))) (pow.f64 x #s(literal 2 binary64)))
(fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))))
#s(literal -2 binary64)
(/.f64 (pow.f64 x #s(literal 2 binary64)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))
(*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))

Outputs
(.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (*.f64 s s)) x)))
(.f64 (cos.f64 (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) x) (.f64 s s)) x)))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 x (.f64 s s)) x))
(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 x (*.f64 s s))) x)
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) x) (.f64 s s))) x)
(/.f64 (neg.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c))) (neg.f64 (.f64 (.f64 x (.f64 s s)) x)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 (neg.f64 (cos.f64 (+.f64 x x))) (neg.f64 (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x)))
(-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x)))
(cos.f64 (+.f64 x x))
(cos.f64 (fabs.f64 (+.f64 x x)))
(cos.f64 (neg.f64 (+.f64 x x)))
(sin.f64 (fma.f64 #s(literal 2 binary64) x (/.f64 (PI.f64) #s(literal 2 binary64))))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(+.f64 x x)
(-.f64 x (neg.f64 x))
#s(literal 2 binary64)
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
x
(.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x)
(.f64 (.f64 (.f64 x (.f64 s s)) x) (*.f64 c c))
(.f64 x (.f64 (.f64 (.f64 c c) x) (*.f64 s s)))
(.f64 (.f64 c c) (.f64 (.f64 x (*.f64 s s)) x))
(.f64 (.f64 (.f64 c c) x) (.f64 s s))
(.f64 (.f64 x (.f64 s s)) (.f64 c c))
(.f64 (.f64 c c) (.f64 x (.f64 s s)))
(.f64 c (.f64 c (.f64 x (.f64 s s))))
(*.f64 c c)
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 (neg.f64 c) (neg.f64 c))
(pow.f64 c #s(literal 2 binary64))
c
(.f64 x (.f64 s s))
(.f64 (.f64 s s) x)
(.f64 (.f64 x s) s)
(*.f64 s s)
(*.f64 (fabs.f64 s) (fabs.f64 s))
(*.f64 (neg.f64 s) (neg.f64 s))
(pow.f64 s #s(literal 2 binary64))
s
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
#s(approx (cos (* 2 x)) #s(literal 1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x)
(.f64 (.f64 (.f64 x (.f64 s s)) x) (*.f64 c c))
(.f64 x (.f64 (.f64 (.f64 c c) x) (*.f64 s s)))
(.f64 (.f64 c c) (.f64 (.f64 x (*.f64 s s)) x))
(*.f64 c c)
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 (neg.f64 c) (neg.f64 c))
(pow.f64 c #s(literal 2 binary64))
(.f64 (.f64 x (*.f64 s s)) x)
(.f64 x (.f64 x (*.f64 s s)))
(.f64 x (.f64 s s))
(.f64 (.f64 s s) x)
(.f64 (.f64 x s) s)
(*.f64 s s)
(*.f64 (fabs.f64 s) (fabs.f64 s))
(*.f64 (neg.f64 s) (neg.f64 s))
(pow.f64 s #s(literal 2 binary64))
(.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (*.f64 s s)) x)))
(.f64 (cos.f64 (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) x) (.f64 s s)) x)))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 x (.f64 s s)) x))
(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 x (*.f64 s s))) x)
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) x) (.f64 s s))) x)
(/.f64 (neg.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c))) (neg.f64 (.f64 (.f64 x (.f64 s s)) x)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 (neg.f64 (cos.f64 (+.f64 x x))) (neg.f64 (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x)))
(.f64 (cos.f64 (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (*.f64 c c))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) c) c)
(/.f64 (neg.f64 (cos.f64 (+.f64 x x))) (neg.f64 (*.f64 c c)))
(-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x)))
(cos.f64 (+.f64 x x))
(cos.f64 (fabs.f64 (+.f64 x x)))
(cos.f64 (neg.f64 (+.f64 x x)))
(sin.f64 (fma.f64 #s(literal 2 binary64) x (/.f64 (PI.f64) #s(literal 2 binary64))))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(+.f64 x x)
(-.f64 x (neg.f64 x))
(.f64 (.f64 x (*.f64 s s)) x)
(.f64 x (.f64 x (*.f64 s s)))
#s(approx (/ (cos (* 2 x)) (* (* (* c c) (* x (* s s))) x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (.f64 c c))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x)))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
(pow.f64 (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)) #s(literal -1 binary64))
(.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))
(.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))
(.f64 (.f64 c c) (.f64 (.f64 s s) (*.f64 x x)))
(.f64 (.f64 s s) (*.f64 x x))
(.f64 (.f64 x x) (*.f64 s s))
(pow.f64 (*.f64 s x) #s(literal 2 binary64))
(*.f64 x x)
(pow.f64 x #s(literal 2 binary64))
#s(approx (/ (cos (* 2 x)) (* (* (* c c) (* x (* s s))) x)) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 x x) (.f64 (.f64 c c) (.f64 s s))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s)))) (.f64 x x)))
(.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 x x) (.f64 (.f64 c c) (.f64 s s))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s)))) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(+.f64 (/.f64 (/.f64 (.f64 #s(literal -2 binary64) (.f64 x x)) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
(/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 x x) (.f64 (.f64 c c) (.f64 s s))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s)))) (.f64 x x))
(/.f64 (neg.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 x x) (.f64 (.f64 c c) (.f64 s s))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))))) (neg.f64 (.f64 x x)))
(+.f64 (/.f64 (.f64 #s(literal -2 binary64) (.f64 x x)) (.f64 (.f64 c c) (.f64 s s))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))))
(+.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (/.f64 (.f64 #s(literal -2 binary64) (.f64 x x)) (.f64 (.f64 c c) (.f64 s s))))
(-.f64 (/.f64 (.f64 #s(literal -2 binary64) (.f64 x x)) (.f64 (.f64 c c) (.f64 s s))) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s)))))
(/.f64 (fma.f64 (/.f64 (.f64 #s(literal -2 binary64) (.f64 x x)) (.f64 (.f64 c c) (.f64 s s))) (.f64 (.f64 c c) (.f64 s s)) #s(literal 1 binary64)) (.f64 (.f64 c c) (*.f64 s s)))
(fma.f64 #s(literal -2 binary64) (/.f64 (.f64 x x) (.f64 (.f64 c c) (.f64 s s))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (*.f64 s s))))
(fma.f64 (/.f64 (.f64 x x) (.f64 (.f64 c c) (.f64 s s))) #s(literal -2 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (*.f64 s s))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (/.f64 (.f64 #s(literal -2 binary64) (.f64 x x)) (.f64 (.f64 c c) (.f64 s s))))
#s(literal -2 binary64)
(.f64 (.f64 x x) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (*.f64 s s))))
(/.f64 (.f64 x x) (.f64 (.f64 c c) (.f64 s s)))
(/.f64 (/.f64 (.f64 x x) (.f64 c c)) (*.f64 s s))
(/.f64 (neg.f64 (.f64 x x)) (neg.f64 (.f64 (.f64 c c) (.f64 s s))))
(.f64 (.f64 c c) (*.f64 s s))
(.f64 (.f64 s s) (*.f64 c c))
(pow.f64 (*.f64 c s) #s(literal 2 binary64))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (*.f64 s s)))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s s))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 c c) (*.f64 s s))))
(pow.f64 (.f64 (.f64 c c) (*.f64 s s)) #s(literal -1 binary64))

eval18.0ms (0.5%)

Memory: -25.8MiB live, 18.8MiB allocated; 9ms collecting garbage
Compiler: Compiled 4 654 to 591 computations (87.3% saved)

prune9.0ms (0.3%)

Memory

15.1MiB live, 15.1MiB allocated; 0ms collecting garbage

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	134	14	148
Fresh	3	1	4
Picked	5	0	5
Done	1	0	1
Total	143	15	158

Accuracy

90.5%

Counts

158 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
	67.8%	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) x) (.f64 s s))) x)
	73.7%	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 (.f64 x s) s) x))
▶	67.8%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
	66.3%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x (.f64 s s)) x) (*.f64 c c)))
	75.5%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 c c) (.f64 (.f64 x s) s)) x))
▶	76.1%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
▶	42.9%	(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
	59.1%	(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (.f64 s s)) x)))
	58.9%	(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
	29.1%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 c s) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (.f64 c s) #s(literal 2 binary64)))) (pow.f64 x #s(literal 2 binary64))))
▶	54.8%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
	70.3%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
	55.2%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
▶	54.3%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
	24.2%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(approx (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2)) (/.f64 #s(literal -2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))))

Compiler

Compiled 734 to 496 computations (32.4% saved)

series201.0ms (6%)

Memory

-64.0MiB live, 87.7MiB allocated; 159ms collecting garbage

Counts

37 → 29

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(cos.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x)
(.f64 c (.f64 c (.f64 x (.f64 s s))))
c
(.f64 c (.f64 x (*.f64 s s)))
(.f64 x (.f64 s s))
(*.f64 s s)
s
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x)))
#s(literal 1 binary64)
(.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))
(.f64 (.f64 c c) (*.f64 s s))
(*.f64 c c)
(*.f64 x x)
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x)))
(/.f64 #s(literal 1 binary64) (*.f64 c c))
(.f64 (.f64 s s) (*.f64 x x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
#s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64)))))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))
(*.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal -2 binary64)
(pow.f64 x #s(literal 2 binary64))
(.f64 (.f64 (.f64 c c) (.f64 x (*.f64 s s))) x)
(.f64 (.f64 c c) (.f64 x (.f64 s s)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(cos.f64 (+.f64 x x))
(+.f64 x x)
(.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x)
(.f64 (.f64 (.f64 c c) x) (.f64 s s))
(.f64 (.f64 c c) x)

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

Calls

9 calls:

Time	Variable	Point
84.0ms	c	-inf
4.0ms	x	-inf
4.0ms	x	inf
3.0ms	s	inf
3.0ms	s	-inf

rewrite144.0ms (4.3%)

Memory

22.3MiB live, 68.9MiB allocated; 4ms collecting garbage

Counts

37 → 166

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(cos.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x)
(.f64 c (.f64 c (.f64 x (.f64 s s))))
c
(.f64 c (.f64 x (*.f64 s s)))
(.f64 x (.f64 s s))
(*.f64 s s)
s
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x)))
#s(literal 1 binary64)
(.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))
(.f64 (.f64 c c) (*.f64 s s))
(*.f64 c c)
(*.f64 x x)
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x)))
(/.f64 #s(literal 1 binary64) (*.f64 c c))
(.f64 (.f64 s s) (*.f64 x x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
#s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64)))))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))
(*.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal -2 binary64)
(pow.f64 x #s(literal 2 binary64))
(.f64 (.f64 (.f64 c c) (.f64 x (*.f64 s s))) x)
(.f64 (.f64 c c) (.f64 x (.f64 s s)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(cos.f64 (+.f64 x x))
(+.f64 x x)
(.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x)
(.f64 (.f64 (.f64 c c) x) (.f64 s s))
(.f64 (.f64 c c) x)

Outputs
(.f64 (cos.f64 (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (.f64 c c))))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x)))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (.f64 c x) (.f64 s s)))) x)
(/.f64 (neg.f64 (cos.f64 (+.f64 x x))) (neg.f64 (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
(-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x)))
(cos.f64 (+.f64 x x))
(cos.f64 (fabs.f64 (+.f64 x x)))
(cos.f64 (neg.f64 (+.f64 x x)))
(sin.f64 (fma.f64 #s(literal 2 binary64) x (/.f64 (PI.f64) #s(literal 2 binary64))))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(+.f64 x x)
(-.f64 x (neg.f64 x))
#s(literal 2 binary64)
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(neg.f64 #s(literal -2 binary64))
x
(.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))
(.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))
(.f64 (.f64 (.f64 c c) x) (.f64 x (*.f64 s s)))
(.f64 (.f64 c c) (.f64 (.f64 s s) (*.f64 x x)))
(.f64 (.f64 x x) (.f64 (.f64 c c) (*.f64 s s)))
(.f64 (.f64 c (.f64 (.f64 c x) (*.f64 s s))) x)
(.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)
(.f64 c (.f64 (.f64 (.f64 c x) (*.f64 s s)) x))
(.f64 x (.f64 c (.f64 (.f64 c x) (*.f64 s s))))
(.f64 c (.f64 (.f64 c x) (.f64 s s)))
(.f64 (.f64 (.f64 c x) (.f64 s s)) c)
(.f64 (.f64 (.f64 c c) x) (.f64 s s))
(.f64 (.f64 x (.f64 s s)) (.f64 c c))
(.f64 (.f64 s s) (.f64 (.f64 c c) x))
(.f64 (.f64 c c) (.f64 x (.f64 s s)))
(.f64 (.f64 (.f64 (.f64 c c) x) s) s)
c
(.f64 (.f64 c x) (*.f64 s s))
(.f64 (.f64 x (*.f64 s s)) c)
(.f64 c (.f64 x (*.f64 s s)))
(.f64 x (.f64 s s))
(.f64 (.f64 s s) x)
(.f64 (.f64 x s) s)
(*.f64 s s)
(*.f64 (fabs.f64 s) (fabs.f64 s))
(*.f64 (neg.f64 s) (neg.f64 s))
(pow.f64 s #s(literal 2 binary64))
s
#s(approx (/ (cos (* 2 x)) (* (* (* (* c c) x) (* s s)) x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (.f64 c c))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x)))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 c c))) (neg.f64 (.f64 (.f64 s s) (.f64 x x))))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s s)) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
(pow.f64 (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)) #s(literal -1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))
(.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))
(.f64 (.f64 (.f64 c c) x) (.f64 x (*.f64 s s)))
(.f64 (.f64 c c) (.f64 (.f64 s s) (*.f64 x x)))
(.f64 (.f64 x x) (.f64 (.f64 c c) (*.f64 s s)))
(.f64 (.f64 c (.f64 (.f64 c x) (*.f64 s s))) x)
(.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)
(.f64 c (.f64 (.f64 (.f64 c x) (*.f64 s s)) x))
(.f64 x (.f64 c (.f64 (.f64 c x) (*.f64 s s))))
(.f64 (.f64 c c) (*.f64 s s))
(.f64 (.f64 s s) (*.f64 c c))
(.f64 (.f64 c s) (*.f64 c s))
(.f64 (.f64 (*.f64 c c) s) s)
(.f64 c (.f64 c (*.f64 s s)))
(*.f64 c c)
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 (neg.f64 c) (neg.f64 c))
(pow.f64 c #s(literal 2 binary64))
(*.f64 x x)
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
(pow.f64 x #s(literal 2 binary64))
#s(approx (/ (cos (* 2 x)) (* (* (* (* c c) x) (* s s)) x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (.f64 c c))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x)))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 c c))) (neg.f64 (.f64 (.f64 s s) (.f64 x x))))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s s)) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
(pow.f64 (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)) #s(literal -1 binary64))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 c c)))
(/.f64 #s(literal 1 binary64) (*.f64 c c))
(/.f64 (/.f64 #s(literal 1 binary64) c) c)
(/.f64 #s(literal -1 binary64) (neg.f64 (*.f64 c c)))
(pow.f64 (*.f64 c c) #s(literal -1 binary64))
(.f64 (.f64 s s) (*.f64 x x))
(.f64 (.f64 x x) (*.f64 s s))
(.f64 (.f64 s x) (*.f64 s x))
(.f64 (.f64 x (*.f64 s s)) x)
(.f64 x (.f64 x (*.f64 s s)))
(.f64 s (.f64 s (*.f64 x x)))
(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 s s) (.f64 x x)) (.f64 c c)))
#s(approx (cos (* 2 x)) (fma.f64 (*.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64)))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (.f64 x x)))
(+.f64 (.f64 #s(literal -2 binary64) (.f64 x x)) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (.f64 x x)))
(-.f64 #s(literal 1 binary64) (neg.f64 (.f64 #s(literal -2 binary64) (.f64 x x))))
(fma.f64 (*.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) (*.f64 x x) #s(literal 1 binary64))
(.f64 #s(literal -2 binary64) (.f64 x x))
(.f64 (.f64 x x) #s(literal -2 binary64))
#s(literal -2 binary64)
(*.f64 x x)
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
(pow.f64 x #s(literal 2 binary64))
(.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))
(.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))
(.f64 (.f64 (.f64 c c) x) (.f64 x (*.f64 s s)))
(.f64 (.f64 c c) (.f64 (.f64 s s) (*.f64 x x)))
(.f64 (.f64 x x) (.f64 (.f64 c c) (*.f64 s s)))
(.f64 (.f64 c (.f64 (.f64 c x) (*.f64 s s))) x)
(.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)
(.f64 c (.f64 (.f64 (.f64 c x) (*.f64 s s)) x))
(.f64 x (.f64 c (.f64 (.f64 c x) (*.f64 s s))))
(.f64 c (.f64 (.f64 c x) (.f64 s s)))
(.f64 (.f64 (.f64 c x) (.f64 s s)) c)
(.f64 (.f64 (.f64 c c) x) (.f64 s s))
(.f64 (.f64 x (.f64 s s)) (.f64 c c))
(.f64 (.f64 s s) (.f64 (.f64 c c) x))
(.f64 (.f64 c c) (.f64 x (.f64 s s)))
(.f64 (.f64 (.f64 (.f64 c c) x) s) s)
(.f64 (cos.f64 (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (.f64 c c))))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x)))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (.f64 c x) (.f64 s s)))) x)
(/.f64 (neg.f64 (cos.f64 (+.f64 x x))) (neg.f64 (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
(-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x)))
(cos.f64 (+.f64 x x))
(cos.f64 (fabs.f64 (+.f64 x x)))
(cos.f64 (neg.f64 (+.f64 x x)))
(sin.f64 (fma.f64 #s(literal 2 binary64) x (/.f64 (PI.f64) #s(literal 2 binary64))))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(+.f64 x x)
(-.f64 x (neg.f64 x))
(.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))
(.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))
(.f64 (.f64 (.f64 c c) x) (.f64 x (*.f64 s s)))
(.f64 (.f64 c c) (.f64 (.f64 s s) (*.f64 x x)))
(.f64 (.f64 x x) (.f64 (.f64 c c) (*.f64 s s)))
(.f64 (.f64 c (.f64 (.f64 c x) (*.f64 s s))) x)
(.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)
(.f64 c (.f64 (.f64 (.f64 c x) (*.f64 s s)) x))
(.f64 x (.f64 c (.f64 (.f64 c x) (*.f64 s s))))
(.f64 c (.f64 (.f64 c x) (.f64 s s)))
(.f64 (.f64 (.f64 c x) (.f64 s s)) c)
(.f64 (.f64 (.f64 c c) x) (.f64 s s))
(.f64 (.f64 x (.f64 s s)) (.f64 c c))
(.f64 (.f64 s s) (.f64 (.f64 c c) x))
(.f64 (.f64 c c) (.f64 x (.f64 s s)))
(.f64 (.f64 (.f64 (.f64 c c) x) s) s)
(.f64 (.f64 c c) x)
(.f64 x (.f64 c c))
(.f64 c (.f64 c x))

eval19.0ms (0.6%)

Memory: -26.7MiB live, 18.7MiB allocated; 6ms collecting garbage
Compiler: Compiled 4 144 to 633 computations (84.7% saved)

prune15.0ms (0.4%)

Memory

17.1MiB live, 17.1MiB allocated; 0ms collecting garbage

Pruning

26 alts after pruning (24 fresh and 2 done)

	Pruned	Kept	Total
New	142	19	161
Fresh	5	5	10
Picked	3	2	5
Done	0	0	0
Total	150	26	176

Accuracy

96.0%

Counts

176 → 26

Alt Table

Click to see full alt table

Status	Accuracy	Program
	67.8%	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) x) (.f64 s s))) x)
	78.0%	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (.f64 c x) (.f64 s s)))) x)
	73.7%	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 (.f64 x s) s) x))
✓	67.8%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
	60.3%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
	74.3%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c (.f64 c x)) (*.f64 s s)) x))
	76.1%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
▶	75.8%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
	78.2%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 c x) (.f64 s s)) c) x))
▶	84.9%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
	77.7%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c (.f64 (.f64 (.f64 c x) (.f64 s s)) x)))
	42.9%	(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
	51.0%	(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 (.f64 x s) s)) x))
	43.6%	(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
	64.2%	(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
	29.1%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 c s) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (.f64 c s) #s(literal 2 binary64)))) (pow.f64 x #s(literal 2 binary64))))
	54.3%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
▶	69.4%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
✓	54.8%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
	60.1%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
▶	70.3%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
	60.1%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
	55.2%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
	67.5%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
▶	59.1%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
	54.7%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x)))))

Compiler

Compiled 1 162 to 801 computations (31.1% saved)

series116.0ms (3.4%)

Memory

-9.2MiB live, 88.4MiB allocated; 13ms collecting garbage

Counts

36 → 28

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
(cos.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x)
(.f64 c (.f64 c (.f64 (.f64 x s) s)))
c
(.f64 c (.f64 (*.f64 x s) s))
(.f64 (.f64 x s) s)
(*.f64 x s)
s
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x)))
#s(literal 1 binary64)
(.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))
(.f64 c (.f64 c (*.f64 s s)))
(.f64 c (.f64 s s))
(*.f64 s s)
(*.f64 x x)
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x)))
(/.f64 #s(literal 1 binary64) (*.f64 c c))
(*.f64 c c)
(.f64 (.f64 s x) (*.f64 s x))
(*.f64 s x)
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64))))
(.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))
(pow.f64 c #s(literal 2 binary64))
(pow.f64 (*.f64 s x) #s(literal 2 binary64))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
(.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x)
(.f64 (.f64 (.f64 (.f64 c c) x) s) s)
(.f64 (.f64 (*.f64 c c) x) s)
(.f64 (.f64 c c) x)

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

Calls

9 calls:

Time	Variable	Point
8.0ms	s	inf
5.0ms	s	-inf
4.0ms	c	-inf
4.0ms	x	-inf
4.0ms	c	inf

rewrite169.0ms (5%)

Memory

35.1MiB live, 80.1MiB allocated; 23ms collecting garbage

Counts

36 → 134

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
(cos.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x)
(.f64 c (.f64 c (.f64 (.f64 x s) s)))
c
(.f64 c (.f64 (*.f64 x s) s))
(.f64 (.f64 x s) s)
(*.f64 x s)
s
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x)))
#s(literal 1 binary64)
(.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))
(.f64 c (.f64 c (*.f64 s s)))
(.f64 c (.f64 s s))
(*.f64 s s)
(*.f64 x x)
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x)))
(/.f64 #s(literal 1 binary64) (*.f64 c c))
(*.f64 c c)
(.f64 (.f64 s x) (*.f64 s x))
(*.f64 s x)
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64))))
(.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))
(pow.f64 c #s(literal 2 binary64))
(pow.f64 (*.f64 s x) #s(literal 2 binary64))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
(.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x)
(.f64 (.f64 (.f64 (.f64 c c) x) s) s)
(.f64 (.f64 (*.f64 c c) x) s)
(.f64 (.f64 c c) x)

Outputs
(.f64 (cos.f64 (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (.f64 c c))))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c)))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 x s) (.f64 x s)))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c c) (.f64 (.f64 x s) s))) x)
(/.f64 (neg.f64 (cos.f64 (+.f64 x x))) (neg.f64 (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x)))
(cos.f64 (+.f64 x x))
(cos.f64 (fabs.f64 (+.f64 x x)))
(cos.f64 (neg.f64 (+.f64 x x)))
(sin.f64 (fma.f64 #s(literal 2 binary64) x (/.f64 (PI.f64) #s(literal 2 binary64))))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(+.f64 x x)
#s(literal 2 binary64)
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
x
(.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))
(.f64 (.f64 c c) (.f64 (.f64 x s) (*.f64 x s)))
(.f64 (.f64 (.f64 c c) (.f64 (*.f64 x s) s)) x)
(.f64 x (.f64 (.f64 c c) (.f64 (*.f64 x s) s)))
(.f64 c (.f64 (.f64 (.f64 (*.f64 x s) s) c) x))
(pow.f64 (.f64 c (.f64 x s)) #s(literal 2 binary64))
(.f64 (.f64 c c) (.f64 (.f64 x s) s))
(.f64 (.f64 (.f64 (.f64 x s) s) c) c)
(.f64 c (.f64 (.f64 (.f64 x s) s) c))
c
(.f64 (.f64 (*.f64 x s) s) c)
(.f64 (.f64 c (*.f64 x s)) s)
(.f64 c (.f64 (*.f64 x s) s))
(.f64 (.f64 x s) s)
(.f64 (.f64 s s) x)
(.f64 x (.f64 s s))
(.f64 s (.f64 x s))
(*.f64 x s)
(*.f64 s x)
s
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (.f64 x x))))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x)))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
(pow.f64 (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x)) #s(literal -1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
(.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 c c) (*.f64 s s)))
(.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)
(.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))
(.f64 (.f64 c c) (*.f64 s s))
(.f64 (.f64 c (*.f64 s s)) c)
(.f64 c (.f64 c (*.f64 s s)))
(.f64 c (.f64 s s))
(.f64 (.f64 s s) c)
(.f64 (.f64 c s) s)
(*.f64 s s)
(*.f64 (fabs.f64 s) (fabs.f64 s))
(*.f64 (neg.f64 s) (neg.f64 s))
(pow.f64 s #s(literal 2 binary64))
(*.f64 x x)
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
(pow.f64 x #s(literal 2 binary64))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (.f64 c c))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 x s) (.f64 x s)))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c)))
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 c c))) (neg.f64 (.f64 (.f64 x s) (.f64 x s))))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(pow.f64 (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c)) #s(literal -1 binary64))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 c c)))
(/.f64 #s(literal 1 binary64) (*.f64 c c))
(/.f64 (/.f64 #s(literal 1 binary64) c) c)
(/.f64 #s(literal -1 binary64) (neg.f64 (*.f64 c c)))
(pow.f64 (*.f64 c c) #s(literal -1 binary64))
(*.f64 c c)
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 (neg.f64 c) (neg.f64 c))
(pow.f64 c #s(literal 2 binary64))
(.f64 (.f64 x s) (*.f64 x s))
(.f64 (.f64 s s) (*.f64 x x))
(.f64 (.f64 (*.f64 x s) s) x)
(.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (*.f64 x s)))
(.f64 (neg.f64 (.f64 x s)) (neg.f64 (*.f64 x s)))
(.f64 x (.f64 (*.f64 x s) s))
(.f64 s (.f64 x (*.f64 x s)))
(pow.f64 (*.f64 x s) #s(literal 2 binary64))
(*.f64 x s)
(*.f64 s x)
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (.f64 c c))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 x s) (.f64 x s)))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c)))
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 c c))) (neg.f64 (.f64 (.f64 x s) (.f64 x s))))
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(pow.f64 (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c)) #s(literal -1 binary64))
(.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))
(.f64 (.f64 c c) (.f64 (.f64 x s) (*.f64 x s)))
(.f64 (.f64 (.f64 c c) (.f64 (*.f64 x s) s)) x)
(.f64 x (.f64 (.f64 c c) (.f64 (*.f64 x s) s)))
(.f64 c (.f64 (.f64 (.f64 (*.f64 x s) s) c) x))
(pow.f64 (.f64 c (.f64 x s)) #s(literal 2 binary64))
(*.f64 c c)
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 (neg.f64 c) (neg.f64 c))
(pow.f64 c #s(literal 2 binary64))
(.f64 (.f64 x s) (*.f64 x s))
(.f64 (.f64 s s) (*.f64 x x))
(.f64 (.f64 (*.f64 x s) s) x)
(.f64 (fabs.f64 (.f64 x s)) (fabs.f64 (*.f64 x s)))
(.f64 (neg.f64 (.f64 x s)) (neg.f64 (*.f64 x s)))
(.f64 x (.f64 (*.f64 x s) s))
(.f64 s (.f64 x (*.f64 x s)))
(pow.f64 (*.f64 x s) #s(literal 2 binary64))
(.f64 (cos.f64 (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 x s)) (.f64 x s))))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s)))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) s)) x)
(/.f64 (neg.f64 (cos.f64 (+.f64 x x))) (neg.f64 (.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s))))
(.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s))
(.f64 (.f64 (.f64 (.f64 c c) (*.f64 x s)) s) x)
(.f64 x (.f64 (.f64 (.f64 c c) (*.f64 x s)) s))
(.f64 (.f64 (.f64 c c) (.f64 x s)) s)
(.f64 (.f64 (.f64 c c) x) (.f64 s s))
(.f64 s (.f64 (.f64 c c) (.f64 x s)))
(.f64 (.f64 c c) (*.f64 x s))
(.f64 (.f64 (*.f64 c c) x) s)
(.f64 s (.f64 (*.f64 c c) x))
(.f64 (.f64 c c) x)
(.f64 x (.f64 c c))
(.f64 c (.f64 c x))

eval15.0ms (0.4%)

Memory: -31.8MiB live, 14.7MiB allocated; 3ms collecting garbage
Compiler: Compiled 3 768 to 562 computations (85.1% saved)

prune16.0ms (0.5%)

Memory

18.6MiB live, 18.6MiB allocated; 0ms collecting garbage

Pruning

33 alts after pruning (32 fresh and 1 done)

	Pruned	Kept	Total
New	129	20	149
Fresh	7	12	19
Picked	5	0	5
Done	1	1	2
Total	142	33	175

Accuracy

99.0%

Counts

175 → 33

Alt Table

Click to see full alt table

Status	Accuracy	Program
	79.5%	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) s)) x)
	78.0%	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (.f64 c x) (.f64 s s)))) x)
	75.8%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
✓	67.8%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
	77.5%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c)))
	60.3%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
	74.3%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c (.f64 c x)) (*.f64 s s)) x))
	81.7%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s)))
	84.9%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
	76.1%	(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
	97.9%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 c (*.f64 x s)) #s(literal 2 binary64)))
	83.6%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 c (.f64 c x)) s) s) x))
	78.2%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 c x) (.f64 s s)) c) x))
	91.6%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 (.f64 c (.f64 x s)) s)) x))
	86.8%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c (.f64 (.f64 (.f64 (.f64 x s) s) c) x)))
	77.7%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c (.f64 (.f64 (.f64 c x) (.f64 s s)) x)))
	42.9%	(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
	49.4%	(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
	52.4%	(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
	66.0%	(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
	72.9%	(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
	64.2%	(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
	70.3%	#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
	29.1%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (fma.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 c s) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (.f64 c s) #s(literal 2 binary64)))) (pow.f64 x #s(literal 2 binary64))))
	70.9%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
	69.4%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))
	67.5%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
	60.1%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
	58.3%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
	60.1%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
	67.5%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
	59.7%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
	69.4%	#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s)))))

Compiler

Compiled 714 to 492 computations (31.1% saved)

regimes522.0ms (15.4%)

Memory

5.4MiB live, 480.7MiB allocated; 69ms collecting garbage

Accuracy

Total -3.5b remaining (-2.3%)

Threshold costs -3.5b (-2.3%)

Counts

3 → 1

6 → 1

7 → 2

18 → 2

21 → 2

24 → 3

31 → 3

32 → 2

33 → 2

41 → 2

44 → 2

57 → 2

63 → 1

Calls

Call 1

Inputs

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (*.f64 c (*.f64 (*.f64 c (*.f64 s s)) (*.f64 x x)))))

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 c (*.f64 c (*.f64 s s))) (*.f64 x x))))

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 (*.f64 c c) (*.f64 s s)) (*.f64 x x))))

Outputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))

Call 2

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))

Outputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))

Call 3

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))

Outputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))

Outputs

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 (*.f64 (*.f64 c c) (*.f64 s s)) x) x)))

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 (*.f64 c s) (*.f64 c s)) (*.f64 x x))))

Call 4

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))

Outputs
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))

Outputs

#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 (*.f64 x s) (*.f64 x s)) (*.f64 c c))))

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 (*.f64 c s) (*.f64 c s)) (*.f64 x x))))

Call 5

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s)))))

Outputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))

Outputs

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 c c)) (*.f64 x s)) (*.f64 x s)))

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 (*.f64 c s) (*.f64 c s)) (*.f64 x x))))

Call 6

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s)))))
(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (.f64 s s)) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(approx (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2)) (/.f64 #s(literal -2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))))

Outputs
(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))

Outputs

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

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 c c)) (*.f64 x s)) (*.f64 x s)))

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 (*.f64 c s) (*.f64 c s)) (*.f64 x x))))

Call 7

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s)))))
(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (.f64 s s)) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(approx (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2)) (/.f64 #s(literal -2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 (.f64 x s) s)) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))

Outputs
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))

Outputs

(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (*.f64 (*.f64 c (*.f64 c (*.f64 x (*.f64 s s)))) x))

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 c c)) (*.f64 x s)) (*.f64 x s)))

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 (*.f64 c s) (*.f64 c s)) (*.f64 x x))))

Call 8

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s)))))
(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (.f64 s s)) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(approx (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2)) (/.f64 #s(literal -2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 (.f64 x s) s)) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))

Outputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))

Outputs

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 c c)) (*.f64 x s)) (*.f64 x s)))

(/.f64 (cos.f64 (+.f64 x x)) (*.f64 (*.f64 c (*.f64 c (*.f64 x (*.f64 s s)))) x))

Call 9

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s)))))
(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (.f64 s s)) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(approx (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2)) (/.f64 #s(literal -2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 (.f64 x s) s)) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))

Outputs

#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 c c)) (*.f64 x s)) (*.f64 x s)))

(/.f64 (cos.f64 (+.f64 x x)) (*.f64 (*.f64 c (*.f64 c (*.f64 (*.f64 x s) s))) x))

Call 10

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s)))))
(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (.f64 s s)) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(approx (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2)) (/.f64 #s(literal -2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 (.f64 x s) s)) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c (.f64 c x)) (*.f64 s s)) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x (.f64 s s)) x) (*.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c (.f64 (.f64 (.f64 c x) (.f64 s s)) x)))

Outputs
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s)))

Call 11

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s)))))
(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (.f64 s s)) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(approx (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2)) (/.f64 #s(literal -2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 (.f64 x s) s)) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c (.f64 c x)) (*.f64 s s)) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x (.f64 s s)) x) (*.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c (.f64 (.f64 (.f64 c x) (.f64 s s)) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c (.f64 (.f64 (.f64 (.f64 x s) s) c) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))

Outputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c (.f64 (.f64 (.f64 (.f64 x s) s) c) x)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s)))

Call 12

Inputs
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 c (.f64 (.f64 c (.f64 s s)) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 c (.f64 c (.f64 s s))) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c c) (.f64 s s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 c s) (.f64 c s)) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) s) s) (*.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 (.f64 c c) (*.f64 s s)) x) x)))
#s(approx (/ (cos (* 2 x)) (pow (* c (* x s)) 2)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 s (.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 s (.f64 x (.f64 x s)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s s) (.f64 x x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 (.f64 s x) (.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 c c) (.f64 s s))) (.f64 x x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) c) c) (.f64 (.f64 s x) (*.f64 s x))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (.f64 x s)) (*.f64 x s)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 s s) (*.f64 x x)))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 c c)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x s) (*.f64 x s)))))
(/.f64 #s(approx (cos (* 2 x)) (fma.f64 (.f64 x x) #s(literal -2 binary64) #s(literal 1 binary64))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (.f64 s s)) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(approx (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2)) (/.f64 #s(literal -2 binary64) (*.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 s #s(literal 2 binary64))))))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 c c) (.f64 (.f64 x s) s)) x))
(/.f64 #s(approx (cos (* 2 x)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 2 binary64))))) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (pow.f64 (.f64 s x) #s(literal 2 binary64)))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 x (*.f64 s s)))) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c (.f64 c (.f64 (*.f64 x s) s))) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c (.f64 c x)) (*.f64 s s)) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 s s) (.f64 x x)) (*.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x s) (.f64 x s)) (*.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 x (.f64 s s)) x) (*.f64 c c)))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 c c) x) (*.f64 s s)) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 (.f64 (*.f64 c c) x) s) s) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c (.f64 (.f64 (.f64 c x) (.f64 s s)) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c (.f64 (.f64 (.f64 (.f64 x s) s) c) x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 x (.f64 s s)))) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 c (.f64 (.f64 x s) s))) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 (.f64 c (.f64 x s)) s)) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 c c) (.f64 x (.f64 s s))) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 c c) (.f64 (.f64 x s) s)) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 c x) (.f64 s s)) c) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 c (.f64 c x)) s) s) x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 (.f64 c c) x) s) s) x))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (.f64 c x) (.f64 s s)))) x)
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) x) (.f64 s s))) x)
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) s)) x)
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 x (.f64 s s)) x))
(/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c c)) (.f64 (.f64 (.f64 x s) s) x))
(.f64 (cos.f64 (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 x (.f64 s s)) x) (.f64 c c))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (/.f64 #s(literal 1 binary64) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))))))

Outputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c (.f64 (.f64 c (.f64 x s)) s)) x))
(/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 (.f64 c c) (.f64 x s)) (*.f64 x s)))

Call 13

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

Outputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 c (*.f64 x s)) #s(literal 2 binary64)))

Calls

53 calls:

34.0ms	c
25.0ms	(pow.f64 s #s(literal 2 binary64))
22.0ms	s
19.0ms	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
19.0ms	(pow.f64 s #s(literal 2 binary64))

Results

Accuracy	Segments	Branch
59.7%	1	`s`
59.7%	1	`(pow.f64 s #s(literal 2 binary64))`
59.7%	1	`(pow.f64 c #s(literal 2 binary64))`
59.7%	1	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
59.7%	1	`c`
59.7%	1	`x`
67.5%	1	`x`
67.5%	1	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
67.5%	1	`s`
67.5%	1	`(pow.f64 s #s(literal 2 binary64))`
70.7%	2	`(pow.f64 s #s(literal 2 binary64))`
70.7%	2	`s`
67.5%	1	`x`
67.5%	1	`(pow.f64 c #s(literal 2 binary64))`
67.5%	1	`c`
70.7%	3	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
77.8%	2	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
78.2%	2	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
81.1%	3	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
72.9%	1	`(pow.f64 s #s(literal 2 binary64))`
81.1%	3	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
72.9%	1	`s`
77.1%	2	`c`
77.1%	2	`(pow.f64 c #s(literal 2 binary64))`
76.3%	2	`x`
87.9%	2	`x`
84.9%	1	`(pow.f64 s #s(literal 2 binary64))`
84.9%	1	`s`
84.9%	1	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
88.3%	2	`x`
86.7%	2	`c`
86.7%	2	`(pow.f64 c #s(literal 2 binary64))`
91.2%	3	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
90.7%	2	`(pow.f64 c #s(literal 2 binary64))`
90.7%	2	`c`
90.2%	2	`x`
86.8%	1	`(pow.f64 s #s(literal 2 binary64))`
86.8%	1	`s`
92.7%	3	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
92.9%	2	`(pow.f64 c #s(literal 2 binary64))`
92.9%	2	`c`
95.3%	3	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
91.6%	1	`x`
93.5%	2	`s`
93.5%	2	`(pow.f64 s #s(literal 2 binary64))`
95.2%	2	`(pow.f64 c #s(literal 2 binary64))`
95.2%	2	`c`
97.9%	1	`(pow.f64 s #s(literal 2 binary64))`
97.9%	1	`(pow.f64 c #s(literal 2 binary64))`
97.9%	1	`(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)))`
97.9%	1	`x`
97.9%	1	`c`
97.9%	1	`s`

Compiler

Compiled 1 697 to 535 computations (68.5% saved)

bsearch3.0ms (0.1%)

Memory

2.1MiB live, 2.1MiB allocated; 0ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
2.0ms	1.4387865296696455e-156	1.5374071413805294e-156

Samples

2.0ms

16×

valid

Compiler

Compiled 51 to 42 computations (17.6% saved)

Precisions

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

adjust: 0.0ms (0% of total)

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

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

ival-mult!: 0.0ms (0% of total)

ival-div!: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
0.0ms	1.4387865296696455e-156	1.5374071413805294e-156

Compiler

Compiled 51 to 42 computations (17.6% saved)

bsearch0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	2.070106677957e-312	2.363620718365e-312

Compiler

Compiled 19 to 19 computations (0% saved)

bsearch10.0ms (0.3%)

Memory

7.3MiB live, 7.3MiB allocated; 0ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
9.0ms	5.432371578952973e-41	1.9421981730641544e-40

Samples

6.0ms

80×

valid

Compiler

Compiled 249 to 178 computations (28.5% saved)

Precisions

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

ival-cos: 1.0ms (26.6% of total)

ival-pow2: 1.0ms (26.6% of total)

ival-mult!: 1.0ms (26.6% of total)

adjust: 0.0ms (0% of total)

ival-div!: 0.0ms (0% of total)

bsearch4.0ms (0.1%)

Memory

3.4MiB live, 3.4MiB allocated; 0ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
4.0ms	4.4544391840511977e-38	4.968537225260303e-38

Samples

2.0ms

32×

valid

Compiler

Compiled 111 to 82 computations (26.1% saved)

Precisions

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

ival-pow2: 1.0ms (65.1% of total)

ival-mult!: 1.0ms (65.1% of total)

adjust: 0.0ms (0% of total)

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

ival-div!: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	-7.088157449407046e-55	0.0

Compiler

Compiled 19 to 18 computations (5.3% saved)

bsearch1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	-7.088157449407046e-55	0.0

Compiler

Compiled 19 to 18 computations (5.3% saved)

bsearch0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 19 to 18 computations (5.3% saved)

bsearch0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 19 to 18 computations (5.3% saved)

bsearch0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	3.0966104976629137e+195	1.0270723432496442e+214

Compiler

Compiled 19 to 19 computations (0% saved)

derivations6.0ms (0.2%)

Memory

-42.1MiB live, 5.0MiB allocated; 2ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 745 to 114 computations (84.7% saved)

preprocess280.0ms (8.3%)

Memory

29.6MiB live, 406.8MiB allocated; 42ms collecting garbage

Remove

(abs s)

(abs x)

Compiler

Compiled 10 327 to 4 890 computations (52.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze177.0ms (5.2%)

sample1.1s (33.2%)

preprocess29.0ms (0.9%)

series104.0ms (3.1%)

rewrite121.0ms (3.6%)

eval3.0ms (0.1%)

prune6.0ms (0.2%)

series124.0ms (3.7%)

rewrite142.0ms (4.2%)

eval18.0ms (0.5%)

prune9.0ms (0.3%)

series201.0ms (6%)

rewrite144.0ms (4.3%)

eval19.0ms (0.6%)

prune15.0ms (0.4%)

series116.0ms (3.4%)

rewrite169.0ms (5%)

eval15.0ms (0.4%)

prune16.0ms (0.5%)

regimes522.0ms (15.4%)

bsearch3.0ms (0.1%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch10.0ms (0.3%)

bsearch4.0ms (0.1%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

derivations6.0ms (0.2%)

preprocess280.0ms (8.3%)

end0.0ms (0%)

Profiling