Metrics for mixedcos

start0.0ms (0%)

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

analyze167.0ms (5.5%)

Memory

-20.7MiB live, 169.1MiB allocated; 24ms 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.3s (42.2%)

Memory

-2.8MiB live, 1 328.6MiB allocated; 192ms collecting garbage

Samples

943.0ms

8 256×

valid

Precisions

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

ival-cos: 239.0ms (35.3% of total)

ival-mult: 201.0ms (29.7% of total)

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

ival-div: 50.0ms (7.4% of total)

exact: 7.0ms (1% of total)

adjust: 3.0ms (0.4% of total)

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

Bogosity

explain181.0ms (5.9%)

Memory

2.8MiB live, 235.8MiB allocated; 23ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
68	0	-	1	(4.477998275304982e-231 -5.2061673404338136e-158 -2.4701187224249528e+233)	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`
35	0	-	0	-	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`
14	0	-	1	(8.958347280858226e+223 2.736697421633568e-219 4.731301135259603e-269)	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`
2	0	-	0	-	`(/.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)))`
0	0	-	0	-	`(pow.f64 c #s(literal 2 binary64))`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) x)`
0	114	(1.2514128637304032e+274 -1.4157223266242808e+28 -5.928674372753892e-127)	0	-	`(cos.f64 (*.f64 #s(literal 2 binary64) x))`
0	0	-	0	-	`s`
0	0	-	0	-	`c`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`x`
0	0	-	0	-	`(pow.f64 s #s(literal 2 binary64))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`(cos.f64 (*.f64 #s(literal 2 binary64) x))`	sensitivity	114	0
`*.f64`	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`	*ou**	29	0
↳	`(pow.f64 c #s(literal 2 binary64))`	overflow	67
↳	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	underflow	88
↳	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	underflow	75
↳	`(pow.f64 s #s(literal 2 binary64))`	underflow	72
`*.f64`	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	*no**	18	0
`*.f64`	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	*nu**	17	0
`*.f64`	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`	*uo**	16	0
↳	`(pow.f64 c #s(literal 2 binary64))`	underflow	66
↳	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	overflow	65
↳	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	overflow	61
↳	`(pow.f64 s #s(literal 2 binary64))`	overflow	64
`*.f64`	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`	*nu**	13	0
`*.f64`	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`	*no**	9	0
`*.f64`	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	*no**	7	0
`*.f64`	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	*nu**	6	0
`/.f64`	`(/.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)))`	n/o	2	0
↳	`(.f64 (.f64 x (pow.f64 s #s(literal 2 binary64))) x)`	overflow	65
↳	`(pow.f64 c #s(literal 2 binary64))`	overflow	67
↳	`(.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))`	overflow	77
↳	`(*.f64 x (pow.f64 s #s(literal 2 binary64)))`	overflow	61
↳	`(pow.f64 s #s(literal 2 binary64))`	overflow	64

Confusion

	Predicted +	Predicted -
+	92	0
-	85	79

Precision

0.519774011299435

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	92	0	0
-	85	0	79

Precision?

0.519774011299435

Recall?

1.0

Freqs

test

number	freq
0	79
1	126
2	48
3	3

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

78.0ms

512×

valid

Compiler

Compiled 132 to 40 computations (69.7% saved)

Precisions

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

ival-mult: 32.0ms (55.3% of total)

ival-cos: 12.0ms (20.7% of total)

ival-pow2: 10.0ms (17.3% of total)

ival-div: 3.0ms (5.2% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

preprocess187.0ms (6.1%)

Memory

8.9MiB live, 149.1MiB allocated; 28ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	169
1	152	163
2	512	163
3	2060	163
4	5322	163
0	12	16
0	20	16
1	40	16
2	107	16
3	397	16
4	2370	16
5	6345	16
0	8038	16

Stop Event

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

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)))

Outputs

(/.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)))

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

Symmetry

(abs x)

(abs c)

(abs s)

(sort c s)

Compiler

Compiled 16 to 12 computations (25% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	65.7%	(/.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)))

Compiler

Compiled 16 to 12 computations (25% saved)

series25.0ms (0.8%)

Memory

29.8MiB live, 29.8MiB allocated; 0ms 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))) #s(hole binary64 (/ 1 (* (pow c 2) (* (pow s 2) (pow x 2))))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(hole binary64 (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(hole binary64 (/ (+ (* (pow x 2) (- (* 2/3 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (* 2 (/ 1 (* (pow c 2) (pow s 2)))))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(hole binary64 (/ (+ (* (pow x 2) (- (* (pow x 2) (+ (* -4/45 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (* 2/3 (/ 1 (* (pow c 2) (pow s 2)))))) (* 2 (/ 1 (* (pow c 2) (pow s 2)))))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2))))
#s(approx (cos (* 2 x)) #s(hole binary64 1))
#s(approx (cos (* 2 x)) #s(hole binary64 (+ 1 (* -2 (pow x 2)))))
#s(approx (cos (* 2 x)) #s(hole binary64 (+ 1 (* (pow x 2) (- (* 2/3 (pow x 2)) 2)))))
#s(approx (cos (* 2 x)) #s(hole binary64 (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/3 (* -4/45 (pow x 2)))) 2)))))
#s(approx (* 2 x) #s(hole binary64 (* 2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (* (pow c 2) (* (* x (pow s 2)) x)) #s(hole binary64 (* (pow c 2) (* (pow s 2) (pow x 2)))))
#s(approx (* (* x (pow s 2)) x) #s(hole binary64 (* (pow s 2) (pow x 2))))
#s(approx (* x (pow s 2)) #s(hole binary64 (* (pow s 2) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(hole binary64 (/ (cos (* 2 x)) (* (pow c 2) (* (pow s 2) (pow x 2))))))
#s(approx (cos (* 2 x)) #s(hole binary64 (cos (* 2 x))))
#s(approx (pow c 2) #s(hole binary64 (pow c 2)))
#s(approx c #s(hole binary64 c))
#s(approx (pow s 2) #s(hole binary64 (pow s 2)))
#s(approx s #s(hole binary64 s))

Calls

9 calls:

Time	Variable		Point	Expression
4.0ms	c	@	inf	((/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (cos (* 2 x)) (* 2 x) 2 x (* (pow c 2) (* (* x (pow s 2)) x)) (pow c 2) c (* (* x (pow s 2)) x) (* x (pow s 2)) (pow s 2) s)
3.0ms	x	@	inf	((/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (cos (* 2 x)) (* 2 x) 2 x (* (pow c 2) (* (* x (pow s 2)) x)) (pow c 2) c (* (* x (pow s 2)) x) (* x (pow s 2)) (pow s 2) s)
3.0ms	x	@	0	((/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (cos (* 2 x)) (* 2 x) 2 x (* (pow c 2) (* (* x (pow s 2)) x)) (pow c 2) c (* (* x (pow s 2)) x) (* x (pow s 2)) (pow s 2) s)
3.0ms	x	@	-inf	((/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (cos (* 2 x)) (* 2 x) 2 x (* (pow c 2) (* (* x (pow s 2)) x)) (pow c 2) c (* (* x (pow s 2)) x) (* x (pow s 2)) (pow s 2) s)
3.0ms	s	@	inf	((/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) (cos (* 2 x)) (* 2 x) 2 x (* (pow c 2) (* (* x (pow s 2)) x)) (pow c 2) c (* (* x (pow s 2)) x) (* x (pow s 2)) (pow s 2) s)

rewrite118.0ms (3.9%)

Memory

-5.2MiB live, 126.0MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	81	447
0	92	415
1	374	351
0	3114	339

Stop Event

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

Counts

31 → 119

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
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(hole binary64 (/ 1 (* (pow c 2) (* (pow s 2) (pow x 2))))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(hole binary64 (/ (+ (* -2 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(hole binary64 (/ (+ (* (pow x 2) (- (* 2/3 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (* 2 (/ 1 (* (pow c 2) (pow s 2)))))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2))))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(hole binary64 (/ (+ (* (pow x 2) (- (* (pow x 2) (+ (* -4/45 (/ (pow x 2) (* (pow c 2) (pow s 2)))) (* 2/3 (/ 1 (* (pow c 2) (pow s 2)))))) (* 2 (/ 1 (* (pow c 2) (pow s 2)))))) (/ 1 (* (pow c 2) (pow s 2)))) (pow x 2))))
#s(approx (cos (* 2 x)) #s(hole binary64 1))
#s(approx (cos (* 2 x)) #s(hole binary64 (+ 1 (* -2 (pow x 2)))))
#s(approx (cos (* 2 x)) #s(hole binary64 (+ 1 (* (pow x 2) (- (* 2/3 (pow x 2)) 2)))))
#s(approx (cos (* 2 x)) #s(hole binary64 (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/3 (* -4/45 (pow x 2)))) 2)))))
#s(approx (* 2 x) #s(hole binary64 (* 2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (* (pow c 2) (* (* x (pow s 2)) x)) #s(hole binary64 (* (pow c 2) (* (pow s 2) (pow x 2)))))
#s(approx (* (* x (pow s 2)) x) #s(hole binary64 (* (pow s 2) (pow x 2))))
#s(approx (* x (pow s 2)) #s(hole binary64 (* (pow s 2) x)))
#s(approx (/ (cos (* 2 x)) (* (pow c 2) (* (* x (pow s 2)) x))) #s(hole binary64 (/ (cos (* 2 x)) (* (pow c 2) (* (pow s 2) (pow x 2))))))
#s(approx (cos (* 2 x)) #s(hole binary64 (cos (* 2 x))))
#s(approx (pow c 2) #s(hole binary64 (pow c 2)))
#s(approx c #s(hole binary64 c))
#s(approx (pow s 2) #s(hole binary64 (pow s 2)))
#s(approx s #s(hole binary64 s))

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

eval12.0ms (0.4%)

Memory: 19.8MiB live, 19.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 390 to 428 computations (82.1% saved)

prune164.0ms (5.4%)

Memory

-41.3MiB live, 155.9MiB allocated; 64ms collecting garbage

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	115	10	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	116	10	126

Accuracy

99.9%

Counts

126 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	78.8%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (pow.f64 (.f64 s x) #s(literal 2 binary64))) (*.f64 c c))
	81.8%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (pow.f64 (.f64 s c) #s(literal 2 binary64))) (*.f64 x x))
	89.0%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (pow.f64 (*.f64 s c) #s(literal 2 binary64)) x)) x)
	78.8%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 c c)) (pow.f64 (*.f64 s x) #s(literal 2 binary64)))
▶	98.0%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 (*.f64 s x) c) #s(literal 2 binary64)))
	97.4%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 (*.f64 s c) x) #s(literal 2 binary64)))
	81.9%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 (.f64 s c) #s(literal 2 binary64)) (.f64 x x)))
	76.1%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 (*.f64 s x) s) x)))
	87.6%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (pow.f64 (.f64 s x) #s(literal 2 binary64)) c) c))
	66.9%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 s s) x) (.f64 x (.f64 c c))))

Compiler

Compiled 280 to 228 computations (18.6% saved)

series20.0ms (0.6%)

Memory

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

Counts

10 → 17

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	s	@	-inf	((/ (cos (* 2 x)) (pow (* (* s x) c) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* s x) c) 2) (* (* s x) c) (* s x) s c)
2.0ms	x	@	-inf	((/ (cos (* 2 x)) (pow (* (* s x) c) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* s x) c) 2) (* (* s x) c) (* s x) s c)
2.0ms	s	@	inf	((/ (cos (* 2 x)) (pow (* (* s x) c) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* s x) c) 2) (* (* s x) c) (* s x) s c)
2.0ms	x	@	inf	((/ (cos (* 2 x)) (pow (* (* s x) c) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* s x) c) 2) (* (* s x) c) (* s x) s c)
2.0ms	c	@	-inf	((/ (cos (* 2 x)) (pow (* (* s x) c) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* s x) c) 2) (* (* s x) c) (* s x) s c)

rewrite104.0ms (3.4%)

Memory

-24.9MiB live, 76.5MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	77	383
0	85	347
1	374	323
0	3149	311

Stop Event

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

Counts

27 → 105

Calls

Call 1

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

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

eval11.0ms (0.4%)

Memory: 16.0MiB live, 16.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 830 to 342 computations (81.3% saved)

prune98.0ms (3.2%)

Memory

0.3MiB live, 94.2MiB allocated; 3ms collecting garbage

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	103	5	108
Fresh	6	3	9
Picked	1	0	1
Done	0	0	0
Total	110	8	118

Accuracy

99.9%

Counts

118 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
	78.8%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (pow.f64 (.f64 s x) #s(literal 2 binary64))) (*.f64 c c))
	89.0%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (pow.f64 (*.f64 s c) #s(literal 2 binary64)) x)) x)
▶	98.0%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (.f64 s x) c)) (.f64 (*.f64 s x) c))
	78.8%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 c c)) (pow.f64 (*.f64 s x) #s(literal 2 binary64)))
	98.0%	(/.f64 (-.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (pow.f64 (.f64 (.f64 s x) c) #s(literal 2 binary64)))
	96.5%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 (*.f64 c x) s) #s(literal 2 binary64)))
	92.6%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 s x) c) (.f64 c s)) x))
	94.1%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c s) (.f64 x (.f64 (.f64 s x) c))))

Compiler

Compiled 238 to 186 computations (21.8% saved)

series31.0ms (1%)

Memory

-12.2MiB live, 37.5MiB allocated; 5ms collecting garbage

Counts

10 → 21

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
8.0ms	c	@	0	((/ (/ (cos (* -2 x)) (* (* s x) c)) (* (* s x) c)) (/ (cos (* -2 x)) (* (* s x) c)) (cos (* -2 x)) (* -2 x) -2 x (* (* s x) c) (* s x) s c)
6.0ms	x	@	inf	((/ (/ (cos (* -2 x)) (* (* s x) c)) (* (* s x) c)) (/ (cos (* -2 x)) (* (* s x) c)) (cos (* -2 x)) (* -2 x) -2 x (* (* s x) c) (* s x) s c)
3.0ms	x	@	-inf	((/ (/ (cos (* -2 x)) (* (* s x) c)) (* (* s x) c)) (/ (cos (* -2 x)) (* (* s x) c)) (cos (* -2 x)) (* -2 x) -2 x (* (* s x) c) (* s x) s c)
3.0ms	s	@	-inf	((/ (/ (cos (* -2 x)) (* (* s x) c)) (* (* s x) c)) (/ (cos (* -2 x)) (* (* s x) c)) (cos (* -2 x)) (* -2 x) -2 x (* (* s x) c) (* s x) s c)
3.0ms	c	@	-inf	((/ (/ (cos (* -2 x)) (* (* s x) c)) (* (* s x) c)) (/ (cos (* -2 x)) (* (* s x) c)) (cos (* -2 x)) (* -2 x) -2 x (* (* s x) c) (* s x) s c)

rewrite148.0ms (4.9%)

Memory

6.4MiB live, 98.8MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	103	550
0	112	516
1	521	454
0	4661	436

Stop Event

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

Counts

31 → 78

Calls

Call 1

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

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

eval9.0ms (0.3%)

Memory: 11.1MiB live, 11.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 845 to 268 computations (85.5% saved)

prune96.0ms (3.1%)

Memory

-3.8MiB live, 92.5MiB allocated; 9ms collecting garbage

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	93	3	96
Fresh	4	3	7
Picked	0	1	1
Done	0	0	0
Total	97	7	104

Accuracy

100.0%

Counts

104 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
	92.3%	(/.f64 (/.f64 (/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c s)) x) c) (*.f64 s x))
	94.1%	(/.f64 (/.f64 (/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) c) x) s) (.f64 (*.f64 s x) c))
	93.4%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) c) (.f64 (.f64 s x) (.f64 (*.f64 c x) s)))
	89.0%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (pow.f64 (*.f64 s c) #s(literal 2 binary64)) x)) x)
✓	98.0%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (.f64 s x) c)) (.f64 (*.f64 s x) c))
▶	96.5%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 (*.f64 c x) s) #s(literal 2 binary64)))
	92.6%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 s x) c) (.f64 c s)) x))

Compiler

Compiled 196 to 150 computations (23.5% saved)

series31.0ms (1%)

Memory

-30.0MiB live, 16.5MiB allocated; 3ms collecting garbage

Counts

10 → 17

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
15.0ms	s	@	inf	((/ (cos (* 2 x)) (pow (* (* c x) s) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* c x) s) 2) (* (* c x) s) (* c x) c s)
2.0ms	s	@	-inf	((/ (cos (* 2 x)) (pow (* (* c x) s) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* c x) s) 2) (* (* c x) s) (* c x) c s)
2.0ms	c	@	-inf	((/ (cos (* 2 x)) (pow (* (* c x) s) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* c x) s) 2) (* (* c x) s) (* c x) c s)
2.0ms	x	@	-inf	((/ (cos (* 2 x)) (pow (* (* c x) s) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* c x) s) 2) (* (* c x) s) (* c x) c s)
2.0ms	c	@	inf	((/ (cos (* 2 x)) (pow (* (* c x) s) 2)) (cos (* 2 x)) (* 2 x) 2 x (pow (* (* c x) s) 2) (* (* c x) s) (* c x) c s)

rewrite108.0ms (3.5%)

Memory

23.8MiB live, 66.7MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	78	383
0	86	353
1	375	325
0	3160	313

Stop Event

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

Counts

27 → 107

Calls

Call 1

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

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

eval11.0ms (0.4%)

Memory: 18.1MiB live, 18.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 856 to 349 computations (81.2% saved)

prune108.0ms (3.5%)

Memory

-3.8MiB live, 100.8MiB allocated; 20ms collecting garbage

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	110	7	117

Accuracy

100.0%

Counts

117 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
	92.3%	(/.f64 (/.f64 (/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c s)) x) c) (*.f64 s x))
	94.1%	(/.f64 (/.f64 (/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) c) x) s) (.f64 (*.f64 s x) c))
	93.4%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) c) (.f64 (.f64 s x) (.f64 (*.f64 c x) s)))
	89.0%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (pow.f64 (*.f64 s c) #s(literal 2 binary64)) x)) x)
✓	98.0%	(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (.f64 s x) c)) (.f64 (*.f64 s x) c))
✓	96.5%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 (*.f64 c x) s) #s(literal 2 binary64)))
	92.6%	(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 s x) c) (.f64 c s)) x))

Compiler

Compiled 387 to 159 computations (58.9% saved)

regimes45.0ms (1.5%)

Memory

-14.2MiB live, 32.2MiB allocated; 3ms collecting garbage

Accuracy

Total -24.8b remaining (-1968.3%)

Threshold costs -24.8b (-1968.3%)

Counts

19 → 1

Calls

Call 1

Inputs
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 c s) (.f64 x (.f64 (.f64 s x) c))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 s s) x) (.f64 x (.f64 c c))))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (.f64 (.f64 s x) c) (.f64 c s)) x))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (.f64 s x) c)) (.f64 (*.f64 s x) c))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) c) (.f64 (.f64 s x) (.f64 (*.f64 c x) s)))
(/.f64 (/.f64 (/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) c) x) s) (.f64 (*.f64 s x) c))
(/.f64 (/.f64 (/.f64 (/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 c s)) x) c) (*.f64 s x))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 (*.f64 c x) s) #s(literal 2 binary64)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 (*.f64 s c) x) #s(literal 2 binary64)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (pow.f64 (.f64 (*.f64 s x) c) #s(literal 2 binary64)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (.f64 (pow.f64 (.f64 s x) #s(literal 2 binary64)) c) c))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 (.f64 s c) #s(literal 2 binary64)) (.f64 x x)))
(/.f64 (cos.f64 (.f64 #s(literal 2 binary64) x)) (.f64 (pow.f64 c #s(literal 2 binary64)) (.f64 (.f64 (*.f64 s x) s) x)))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 c c)) (pow.f64 (*.f64 s x) #s(literal 2 binary64)))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (.f64 (pow.f64 (*.f64 s c) #s(literal 2 binary64)) x)) x)
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (pow.f64 (.f64 s c) #s(literal 2 binary64))) (*.f64 x x))
(/.f64 (/.f64 (cos.f64 (.f64 #s(literal -2 binary64) x)) (pow.f64 (.f64 s x) #s(literal 2 binary64))) (*.f64 c c))
(/.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)))
(/.f64 (-.f64 (pow.f64 (cos.f64 x) #s(literal 2 binary64)) (pow.f64 (sin.f64 x) #s(literal 2 binary64))) (pow.f64 (.f64 (.f64 s x) c) #s(literal 2 binary64)))

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

Calls

6 calls:

21.0ms	s
5.0ms	c
5.0ms	x
5.0ms	(pow.f64 s #s(literal 2 binary64))
4.0ms	(pow.f64 c #s(literal 2 binary64))

Results

Accuracy	Segments	Branch
98.0%	1	`(pow.f64 s #s(literal 2 binary64))`
98.0%	1	`(pow.f64 c #s(literal 2 binary64))`
98.0%	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)))`
98.0%	1	`x`
98.0%	1	`c`
98.0%	1	`s`

Compiler

Compiled 25 to 31 computations (-24% saved)

simplify9.0ms (0.3%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16

Stop Event

1×

saturated

Calls

Call 1

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

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

derivations26.0ms (0.9%)

Memory

-34.4MiB live, 12.0MiB allocated; 3ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 16 to 10 computations (37.5% saved)

preprocess53.0ms (1.7%)

Memory

1.4MiB live, 46.7MiB allocated; 5ms collecting garbage

Remove

(abs s)

(abs x)

Compiler

Compiled 256 to 164 computations (35.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze167.0ms (5.5%)

sample1.3s (42.2%)

explain181.0ms (5.9%)

preprocess187.0ms (6.1%)

eval0.0ms (0%)

prune1.0ms (0%)

series25.0ms (0.8%)

rewrite118.0ms (3.9%)

eval12.0ms (0.4%)

prune164.0ms (5.4%)

series20.0ms (0.6%)

rewrite104.0ms (3.4%)

eval11.0ms (0.4%)

prune98.0ms (3.2%)

series31.0ms (1%)

rewrite148.0ms (4.9%)

eval9.0ms (0.3%)

prune96.0ms (3.1%)

series31.0ms (1%)

rewrite108.0ms (3.5%)

eval11.0ms (0.4%)

prune108.0ms (3.5%)

regimes45.0ms (1.5%)

simplify9.0ms (0.3%)

derivations26.0ms (0.9%)

preprocess53.0ms (1.7%)

end0.0ms (0%)

Profiling