Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	49.6%	50.4%	0%	0%	0%	0
100%	49.6%	0%	50.4%	0%	0%	0%	1

Compiler

Compiled 12 to 9 computations (25% saved)

sample4.3s (89.8%)

Results

3.2s	4417×	body	2048	valid
783.0ms	2093×	body	1024	valid
205.0ms	1019×	body	512	valid
79.0ms	727×	body	256	valid

Bogosity

preprocess11.0ms (0.2%)

Algorithm

2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 1 (cos.f64 x))

Outputs
(-.f64 1 (cos.f64 x))

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 1 (cos.f64 x))

Outputs
(-.f64 1 (cos.f64 x))

eval0.0ms (0%)

Compiler: Compiled 5 to 4 computations (20% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

33.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	33.0b	(-.f64 1 (cos.f64 x))

Compiler

Compiled 5 to 4 computations (20% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	3.6b	(-.f64 1 (cos.f64 x))

Compiler

Compiled 9 to 5 computations (44.4% saved)

series0.0ms (0%)

Counts

1 → 4

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(-.f64 1 (cos.f64 x))
0.0ms	x	@	inf	(-.f64 1 (cos.f64 x))
0.0ms	x	@	-inf	(-.f64 1 (cos.f64 x))

rewrite58.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1028×	`rational_best-simplify-51`
956×	`rational_best-simplify-47`
866×	`rational_best-2`
866×	`rational_best-1`
862×	`rational_best-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	43	11
2	68	11
3	125	11
4	281	11
5	550	11
6	1326	11
7	4740	11

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

Inputs
(-.f64 1 (cos.f64 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 x) (+.f64 1 (.f64 (cos.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (cos.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (cos.f64 x)) (+.f64 (.f64 (cos.f64 x) 2) (+.f64 1 (.f64 (cos.f64 x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 x) 2) (+.f64 (neg.f64 (cos.f64 x)) (+.f64 1 (.f64 (cos.f64 x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 x) 2) (-.f64 1 (.f64 (cos.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 x) -2) (+.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (.f64 (cos.f64 x) -2)) (cos.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 x) 3) (-.f64 1 (.f64 (cos.f64 x) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 x) 3) (+.f64 (.f64 (cos.f64 x) -2) (+.f64 1 (.f64 (cos.f64 x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 x) -3) (-.f64 1 (.f64 (cos.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (cos.f64 x)) (.f64 (cos.f64 x) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (.f64 (cos.f64 x) 4)) (.f64 (cos.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cos.f64 x) -4) (+.f64 1 (.f64 (cos.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (.f64 (cos.f64 x) 3)) (.f64 (cos.f64 x) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (cos.f64 x)) (+.f64 1 (.f64 (cos.f64 x) -2))) (.f64 (cos.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (cos.f64 x) 2) (+.f64 1 (.f64 (cos.f64 x) -2))) (neg.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (cos.f64 x) -2) (+.f64 1 (.f64 (cos.f64 x) -2))) (.f64 (cos.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (.f64 (cos.f64 x) -2)) (.f64 (cos.f64 x) -3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (.f64 (cos.f64 x) 3)) (.f64 (cos.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cos.f64 x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (+.f64 (cos.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (cos.f64 x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 1 (cos.f64 x)) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 2 (.f64 (cos.f64 x) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 -1 (neg.f64 (cos.f64 x))) (.f64 (cos.f64 x) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 -1 (.f64 (cos.f64 x) 4)) (.f64 (cos.f64 x) 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 2 (-.f64 (cos.f64 (neg.f64 (-.f64 (PI.f64) x))) (cos.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 2 (+.f64 (neg.f64 (cos.f64 x)) (cos.f64 (neg.f64 (-.f64 (PI.f64) x))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1 (/.f64 (-.f64 1 (cos.f64 x)) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (cos.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 1 (cos.f64 x)) -1))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (cos.f64 x) (+.f64 1 (*.f64 (cos.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (cos.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (cos.f64 x)) (+.f64 (*.f64 (cos.f64 x) 2) (+.f64 1 (*.f64 (cos.f64 x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 x) 2) (+.f64 (neg.f64 (cos.f64 x)) (+.f64 1 (*.f64 (cos.f64 x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 x) 2) (-.f64 1 (*.f64 (cos.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 x) -2) (+.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (*.f64 (cos.f64 x) -2)) (cos.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 x) 3) (-.f64 1 (*.f64 (cos.f64 x) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 x) 3) (+.f64 (*.f64 (cos.f64 x) -2) (+.f64 1 (*.f64 (cos.f64 x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 x) -3) (-.f64 1 (*.f64 (cos.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (cos.f64 x)) (*.f64 (cos.f64 x) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (*.f64 (cos.f64 x) 4)) (*.f64 (cos.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cos.f64 x) -4) (+.f64 1 (*.f64 (cos.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (*.f64 (cos.f64 x) 3)) (*.f64 (cos.f64 x) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (neg.f64 (cos.f64 x)) (+.f64 1 (*.f64 (cos.f64 x) -2))) (*.f64 (cos.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (cos.f64 x) 2) (+.f64 1 (*.f64 (cos.f64 x) -2))) (neg.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (cos.f64 x) -2) (+.f64 1 (*.f64 (cos.f64 x) -2))) (*.f64 (cos.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (*.f64 (cos.f64 x) -2)) (*.f64 (cos.f64 x) -3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (*.f64 (cos.f64 x) 3)) (*.f64 (cos.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cos.f64 x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (cos.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (cos.f64 x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 1 (cos.f64 x)) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 2 (*.f64 (cos.f64 x) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 -1 (neg.f64 (cos.f64 x))) (*.f64 (cos.f64 x) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 -1 (*.f64 (cos.f64 x) 4)) (*.f64 (cos.f64 x) 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 2 (-.f64 (cos.f64 (neg.f64 (-.f64 (PI.f64) x))) (cos.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 2 (+.f64 (neg.f64 (cos.f64 x)) (cos.f64 (neg.f64 (-.f64 (PI.f64) x))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1 (/.f64 (-.f64 1 (cos.f64 x)) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (cos.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 1 (cos.f64 x)) -1))))))

simplify179.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1196×	`rational_best-simplify-1`
1048×	`rational_best-simplify-2`
680×	`rational_best-simplify-43`
616×	`rational_best-simplify-46`
546×	`rational_best-simplify-49`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	814
1	187	678
2	304	670
3	452	670
4	856	670
5	1971	670
6	4448	670
7	5671	670
8	6291	670
9	6966	670

Stop Event

1×	node limit

Counts

42 → 51

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(+.f64 1 (neg.f64 (cos.f64 x)))
(+.f64 (cos.f64 x) (+.f64 1 (*.f64 (cos.f64 x) -2)))
(+.f64 0 (-.f64 1 (cos.f64 x)))
(+.f64 (-.f64 1 (cos.f64 x)) 0)
(+.f64 (neg.f64 (cos.f64 x)) 1)
(+.f64 (neg.f64 (cos.f64 x)) (+.f64 (.f64 (cos.f64 x) 2) (+.f64 1 (.f64 (cos.f64 x) -2))))
(+.f64 (.f64 (cos.f64 x) 2) (+.f64 (neg.f64 (cos.f64 x)) (+.f64 1 (.f64 (cos.f64 x) -2))))
(+.f64 (.f64 (cos.f64 x) 2) (-.f64 1 (.f64 (cos.f64 x) 3)))
(+.f64 (*.f64 (cos.f64 x) -2) (+.f64 1 (cos.f64 x)))
(+.f64 (+.f64 1 (*.f64 (cos.f64 x) -2)) (cos.f64 x))
(+.f64 (.f64 (cos.f64 x) 3) (-.f64 1 (.f64 (cos.f64 x) 4)))
(+.f64 (.f64 (cos.f64 x) 3) (+.f64 (.f64 (cos.f64 x) -2) (+.f64 1 (*.f64 (cos.f64 x) -2))))
(+.f64 (.f64 (cos.f64 x) -3) (-.f64 1 (.f64 (cos.f64 x) -2)))
(+.f64 (+.f64 1 (cos.f64 x)) (*.f64 (cos.f64 x) -2))
(+.f64 (-.f64 1 (.f64 (cos.f64 x) 4)) (.f64 (cos.f64 x) 3))
(+.f64 (.f64 (cos.f64 x) -4) (+.f64 1 (.f64 (cos.f64 x) 3)))
(+.f64 (+.f64 1 (.f64 (cos.f64 x) 3)) (.f64 (cos.f64 x) -4))
(+.f64 (+.f64 (neg.f64 (cos.f64 x)) (+.f64 1 (.f64 (cos.f64 x) -2))) (.f64 (cos.f64 x) 2))
(+.f64 (+.f64 (.f64 (cos.f64 x) 2) (+.f64 1 (.f64 (cos.f64 x) -2))) (neg.f64 (cos.f64 x)))
(+.f64 (+.f64 (.f64 (cos.f64 x) -2) (+.f64 1 (.f64 (cos.f64 x) -2))) (*.f64 (cos.f64 x) 3))
(+.f64 (-.f64 1 (.f64 (cos.f64 x) -2)) (.f64 (cos.f64 x) -3))
(+.f64 (-.f64 1 (.f64 (cos.f64 x) 3)) (.f64 (cos.f64 x) 2))
(*.f64 1 (-.f64 1 (cos.f64 x)))
(*.f64 (+.f64 (cos.f64 x) -1) -1)
(*.f64 -1 (+.f64 (cos.f64 x) -1))
(*.f64 (-.f64 1 (cos.f64 x)) 1)
(/.f64 (+.f64 (cos.f64 x) -1) -1)
(/.f64 (-.f64 1 (cos.f64 x)) 1)
(/.f64 (/.f64 (-.f64 1 (cos.f64 x)) -1) -1)
(/.f64 (+.f64 2 (*.f64 (cos.f64 x) -2)) 2)
(/.f64 (-.f64 (+.f64 -1 (neg.f64 (cos.f64 x))) (*.f64 (cos.f64 x) -2)) -1)
(/.f64 (-.f64 (+.f64 -1 (.f64 (cos.f64 x) 4)) (.f64 (cos.f64 x) 3)) -1)
(/.f64 (+.f64 2 (-.f64 (cos.f64 (neg.f64 (-.f64 (PI.f64) x))) (cos.f64 x))) 2)
(/.f64 (+.f64 2 (+.f64 (neg.f64 (cos.f64 x)) (cos.f64 (neg.f64 (-.f64 (PI.f64) x))))) 2)
(/.f64 (*.f64 -1 (/.f64 (-.f64 1 (cos.f64 x)) -1)) 1)
(pow.f64 (-.f64 1 (cos.f64 x)) 1)
(neg.f64 (+.f64 (cos.f64 x) -1))
(neg.f64 (/.f64 (-.f64 1 (cos.f64 x)) -1))

Outputs
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 1/720 (pow.f64 x 6))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/40320 (pow.f64 x 8)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6))) (.f64 -1/40320 (pow.f64 x 8))))
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (cos.f64 x) (+.f64 1 (*.f64 (cos.f64 x) -2)))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 0 (-.f64 1 (cos.f64 x)))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (-.f64 1 (cos.f64 x)) 0)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (neg.f64 (cos.f64 x)) 1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (neg.f64 (cos.f64 x)) (+.f64 (.f64 (cos.f64 x) 2) (+.f64 1 (.f64 (cos.f64 x) -2))))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (.f64 (cos.f64 x) 2) (+.f64 (neg.f64 (cos.f64 x)) (+.f64 1 (.f64 (cos.f64 x) -2))))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (.f64 (cos.f64 x) 2) (-.f64 1 (.f64 (cos.f64 x) 3)))
(+.f64 (.f64 2 (cos.f64 x)) (-.f64 1 (.f64 (cos.f64 x) 3)))
(+.f64 (*.f64 (cos.f64 x) -2) (+.f64 1 (cos.f64 x)))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (+.f64 1 (*.f64 (cos.f64 x) -2)) (cos.f64 x))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (.f64 (cos.f64 x) 3) (-.f64 1 (.f64 (cos.f64 x) 4)))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (.f64 (cos.f64 x) 3) (+.f64 (.f64 (cos.f64 x) -2) (+.f64 1 (*.f64 (cos.f64 x) -2))))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (.f64 (cos.f64 x) -3) (-.f64 1 (.f64 (cos.f64 x) -2)))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (+.f64 1 (cos.f64 x)) (*.f64 (cos.f64 x) -2))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (-.f64 1 (.f64 (cos.f64 x) 4)) (.f64 (cos.f64 x) 3))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (.f64 (cos.f64 x) -4) (+.f64 1 (.f64 (cos.f64 x) 3)))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (+.f64 1 (.f64 (cos.f64 x) 3)) (.f64 (cos.f64 x) -4))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (+.f64 (neg.f64 (cos.f64 x)) (+.f64 1 (.f64 (cos.f64 x) -2))) (.f64 (cos.f64 x) 2))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (+.f64 (.f64 (cos.f64 x) 2) (+.f64 1 (.f64 (cos.f64 x) -2))) (neg.f64 (cos.f64 x)))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (+.f64 (.f64 (cos.f64 x) -2) (+.f64 1 (.f64 (cos.f64 x) -2))) (*.f64 (cos.f64 x) 3))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (-.f64 1 (.f64 (cos.f64 x) -2)) (.f64 (cos.f64 x) -3))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 (-.f64 1 (.f64 (cos.f64 x) 3)) (.f64 (cos.f64 x) 2))
(+.f64 (.f64 2 (cos.f64 x)) (-.f64 1 (.f64 (cos.f64 x) 3)))
(*.f64 1 (-.f64 1 (cos.f64 x)))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(*.f64 (+.f64 (cos.f64 x) -1) -1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(*.f64 -1 (+.f64 (cos.f64 x) -1))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(*.f64 (-.f64 1 (cos.f64 x)) 1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(/.f64 (+.f64 (cos.f64 x) -1) -1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(/.f64 (-.f64 1 (cos.f64 x)) 1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(/.f64 (/.f64 (-.f64 1 (cos.f64 x)) -1) -1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(/.f64 (+.f64 2 (*.f64 (cos.f64 x) -2)) 2)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(/.f64 (-.f64 (+.f64 -1 (neg.f64 (cos.f64 x))) (*.f64 (cos.f64 x) -2)) -1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(/.f64 (-.f64 (+.f64 -1 (.f64 (cos.f64 x) 4)) (.f64 (cos.f64 x) 3)) -1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(/.f64 (+.f64 2 (-.f64 (cos.f64 (neg.f64 (-.f64 (PI.f64) x))) (cos.f64 x))) 2)
(+.f64 1 (/.f64 (-.f64 (cos.f64 (neg.f64 (-.f64 (PI.f64) x))) (cos.f64 x)) 2))
(+.f64 1 (/.f64 (-.f64 (cos.f64 (-.f64 x (PI.f64))) (cos.f64 x)) 2))
(+.f64 1 (/.f64 (-.f64 (cos.f64 (-.f64 (PI.f64) x)) (cos.f64 x)) 2))
(/.f64 (+.f64 2 (+.f64 (neg.f64 (cos.f64 x)) (cos.f64 (neg.f64 (-.f64 (PI.f64) x))))) 2)
(+.f64 1 (/.f64 (-.f64 (cos.f64 (neg.f64 (-.f64 (PI.f64) x))) (cos.f64 x)) 2))
(+.f64 1 (/.f64 (-.f64 (cos.f64 (-.f64 x (PI.f64))) (cos.f64 x)) 2))
(+.f64 1 (/.f64 (-.f64 (cos.f64 (-.f64 (PI.f64) x)) (cos.f64 x)) 2))
(/.f64 (*.f64 -1 (/.f64 (-.f64 1 (cos.f64 x)) -1)) 1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(pow.f64 (-.f64 1 (cos.f64 x)) 1)
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(neg.f64 (+.f64 (cos.f64 x) -1))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(neg.f64 (/.f64 (-.f64 1 (cos.f64 x)) -1))
(+.f64 1 (neg.f64 (cos.f64 x)))
(-.f64 1 (cos.f64 x))

eval10.0ms (0.2%)

Compiler: Compiled 560 to 372 computations (33.6% saved)

prune10.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	48	3	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	48	4	52

Error

0.0b

Counts

52 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	33.0b	(-.f64 1 (cos.f64 x))
▶	0.0b	(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
▶	0.0b	(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
▶	0.1b	(*.f64 1/2 (pow.f64 x 2))

Compiler

Compiled 41 to 34 computations (17.1% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 1/2 (pow.f64 x 2))

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 1/2 (pow.f64 x 2))
0.0ms	x	@	inf	(*.f64 1/2 (pow.f64 x 2))
0.0ms	x	@	-inf	(*.f64 1/2 (pow.f64 x 2))

rewrite12.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

12×	`rational_best-simplify-2`
10×	`rational_best-4`
10×	`rational_best-2`
10×	`rational_best-3`
10×	`rational_best-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	66	13
3	67	13

Stop Event

1×

saturated

Counts

1 → 5

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/2 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/2 (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (pow.f64 x 2)) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/2 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/2 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/2 (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (pow.f64 x 2)) 1)))))

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`rational_best-simplify-2`
4×	`rational_best-simplify-6`
2×	`rational_best-simplify-4`
2×	`rational_best-simplify-3`
2×	`exponential-simplify-11`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	65
1	16	65
2	21	65
3	22	65

Stop Event

1×

saturated

Counts

5 → 6

Calls

Call 1

Inputs
(+.f64 (*.f64 1/2 (pow.f64 x 2)) 0)
(+.f64 0 (*.f64 1/2 (pow.f64 x 2)))
(-.f64 (*.f64 1/2 (pow.f64 x 2)) 0)
(/.f64 (*.f64 1/2 (pow.f64 x 2)) 1)
(pow.f64 (*.f64 1/2 (pow.f64 x 2)) 1)

Outputs
(+.f64 (*.f64 1/2 (pow.f64 x 2)) 0)
(*.f64 1/2 (pow.f64 x 2))
(+.f64 0 (*.f64 1/2 (pow.f64 x 2)))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (*.f64 1/2 (pow.f64 x 2)) 0)
(*.f64 1/2 (pow.f64 x 2))
(/.f64 (*.f64 1/2 (pow.f64 x 2)) 1)
(*.f64 1/2 (pow.f64 x 2))
(pow.f64 (*.f64 1/2 (pow.f64 x 2)) 1)
(*.f64 1/2 (pow.f64 x 2))

localize15.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
	0.0b	(*.f64 1/2 (pow.f64 x 2))
✓	0.1b	(*.f64 -1/24 (pow.f64 x 4))

Compiler

Compiled 33 to 26 computations (21.2% saved)

series2.0ms (0%)

Counts

2 → 3

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(*.f64 -1/24 (pow.f64 x 4))
0.0ms	x	@	inf	(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
0.0ms	x	@	0	(*.f64 -1/24 (pow.f64 x 4))
0.0ms	x	@	0	(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
0.0ms	x	@	-inf	(*.f64 -1/24 (pow.f64 x 4))

rewrite13.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

20×	`rational_best-simplify-2`
18×	`rational_best-simplify-1`
16×	`rational_best-4`
16×	`rational_best-2`
16×	`rational_best-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	77	44
2	105	44
3	107	44

Stop Event

1×

saturated

Counts

2 → 10

Calls

Call 1

Inputs
(*.f64 -1/24 (pow.f64 x 4))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -1/24 (pow.f64 x 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -1/24 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -1/24 (pow.f64 x 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 -1/24 (pow.f64 x 4)) (*.f64 1/2 (pow.f64 x 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 -1/24 (pow.f64 x 4)) (*.f64 1/2 (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 -1/24 (pow.f64 x 4)) (*.f64 1/2 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -1/24 (pow.f64 x 4)) (*.f64 1/2 (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 -1/24 (pow.f64 x 4)) (*.f64 1/2 (pow.f64 x 2))) 1)))))

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

10×	`rational_best-simplify-1`
8×	`rational_best-simplify-2`
6×	`rational_best-simplify-6`
4×	`rational_best-simplify-4`
4×	`rational_best-simplify-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	259
1	28	259
2	37	259
3	41	259
4	41	259

Stop Event

1×

saturated

Counts

13 → 13

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(+.f64 (*.f64 -1/24 (pow.f64 x 4)) 0)
(+.f64 0 (*.f64 -1/24 (pow.f64 x 4)))
(-.f64 (*.f64 -1/24 (pow.f64 x 4)) 0)
(/.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)
(pow.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)
(-.f64 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/2 (pow.f64 x 2))) 0)
(.f64 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/2 (pow.f64 x 2))) 1)
(.f64 1 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/2 (pow.f64 x 2))))
(/.f64 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/2 (pow.f64 x 2))) 1)
(pow.f64 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/2 (pow.f64 x 2))) 1)

Outputs
(*.f64 1/2 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(+.f64 (*.f64 -1/24 (pow.f64 x 4)) 0)
(*.f64 -1/24 (pow.f64 x 4))
(+.f64 0 (*.f64 -1/24 (pow.f64 x 4)))
(*.f64 -1/24 (pow.f64 x 4))
(-.f64 (*.f64 -1/24 (pow.f64 x 4)) 0)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)
(*.f64 -1/24 (pow.f64 x 4))
(pow.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)
(*.f64 -1/24 (pow.f64 x 4))
(-.f64 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/2 (pow.f64 x 2))) 0)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(.f64 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/2 (pow.f64 x 2))) 1)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(.f64 1 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/2 (pow.f64 x 2))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(/.f64 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/2 (pow.f64 x 2))) 1)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(pow.f64 (+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/2 (pow.f64 x 2))) 1)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))

localize23.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
	0.0b	(*.f64 1/2 (pow.f64 x 2))
✓	0.0b	(*.f64 1/720 (pow.f64 x 6))
	0.1b	(*.f64 -1/24 (pow.f64 x 4))

Compiler

Compiled 60 to 48 computations (20% saved)

series1.0ms (0%)

Counts

2 → 3

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 1/720 (pow.f64 x 6))
0.0ms	x	@	inf	(*.f64 1/720 (pow.f64 x 6))
0.0ms	x	@	inf	(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
0.0ms	x	@	0	(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
0.0ms	x	@	-inf	(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))

rewrite12.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

20×	`rational_best-simplify-2`
18×	`rational_best-simplify-1`
16×	`rational_best-4`
16×	`rational_best-2`
16×	`rational_best-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	77	44
2	105	44
3	107	44

Stop Event

1×

saturated

Counts

2 → 10

Calls

Call 1

Inputs
(*.f64 1/720 (pow.f64 x 6))
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/720 (pow.f64 x 6)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/720 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/720 (pow.f64 x 6)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/720 (pow.f64 x 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/720 (pow.f64 x 6)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 1/720 (pow.f64 x 6)) (*.f64 -1/24 (pow.f64 x 4))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 1/720 (pow.f64 x 6)) (*.f64 -1/24 (pow.f64 x 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 1/720 (pow.f64 x 6)) (*.f64 -1/24 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1/720 (pow.f64 x 6)) (*.f64 -1/24 (pow.f64 x 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 1/720 (pow.f64 x 6)) (*.f64 -1/24 (pow.f64 x 4))) 1)))))

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

10×	`rational_best-simplify-1`
8×	`rational_best-simplify-2`
6×	`rational_best-simplify-6`
4×	`rational_best-simplify-4`
4×	`rational_best-simplify-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	259
1	28	259
2	37	259
3	41	259
4	41	259

Stop Event

1×

saturated

Counts

13 → 13

Calls

Call 1

Inputs
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 1/720 (pow.f64 x 6))
(*.f64 1/720 (pow.f64 x 6))
(+.f64 (*.f64 1/720 (pow.f64 x 6)) 0)
(+.f64 0 (*.f64 1/720 (pow.f64 x 6)))
(-.f64 (*.f64 1/720 (pow.f64 x 6)) 0)
(/.f64 (*.f64 1/720 (pow.f64 x 6)) 1)
(pow.f64 (*.f64 1/720 (pow.f64 x 6)) 1)
(-.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/24 (pow.f64 x 4))) 0)
(.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (*.f64 -1/24 (pow.f64 x 4))) 1)
(.f64 1 (+.f64 (.f64 1/720 (pow.f64 x 6)) (*.f64 -1/24 (pow.f64 x 4))))
(/.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/24 (pow.f64 x 4))) 1)
(pow.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/24 (pow.f64 x 4))) 1)

Outputs
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 1/720 (pow.f64 x 6))
(*.f64 1/720 (pow.f64 x 6))
(+.f64 (*.f64 1/720 (pow.f64 x 6)) 0)
(*.f64 1/720 (pow.f64 x 6))
(+.f64 0 (*.f64 1/720 (pow.f64 x 6)))
(*.f64 1/720 (pow.f64 x 6))
(-.f64 (*.f64 1/720 (pow.f64 x 6)) 0)
(*.f64 1/720 (pow.f64 x 6))
(/.f64 (*.f64 1/720 (pow.f64 x 6)) 1)
(*.f64 1/720 (pow.f64 x 6))
(pow.f64 (*.f64 1/720 (pow.f64 x 6)) 1)
(*.f64 1/720 (pow.f64 x 6))
(-.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/24 (pow.f64 x 4))) 0)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (*.f64 -1/24 (pow.f64 x 4))) 1)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(.f64 1 (+.f64 (.f64 1/720 (pow.f64 x 6)) (*.f64 -1/24 (pow.f64 x 4))))
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(/.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/24 (pow.f64 x 4))) 1)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(pow.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/24 (pow.f64 x 4))) 1)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))

eval16.0ms (0.3%)

Compiler: Compiled 704 to 592 computations (15.9% saved)

prune7.0ms (0.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	49	4	53

Error

0.0b

Counts

53 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	33.0b	(-.f64 1 (cos.f64 x))
✓	0.0b	(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
✓	0.0b	(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
✓	0.1b	(*.f64 1/2 (pow.f64 x 2))

Compiler

Compiled 41 to 34 computations (17.1% saved)

regimes8.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

Inputs
(-.f64 1 (cos.f64 x))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))

Outputs
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))

Calls

3 calls:

3.0ms	x
2.0ms	(cos.f64 x)
2.0ms	(-.f64 1 (cos.f64 x))

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(-.f64 1 (cos.f64 x))`
0.0b	1	`(cos.f64 x)`

Compiler

Compiled 48 to 38 computations (20.8% saved)

regimes9.0ms (0.2%)

Counts

3 → 1

Calls

Call 1

Inputs
(-.f64 1 (cos.f64 x))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))

Outputs
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))

Calls

3 calls:

3.0ms	x
2.0ms	(-.f64 1 (cos.f64 x))
2.0ms	(cos.f64 x)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(-.f64 1 (cos.f64 x))`
0.0b	1	`(cos.f64 x)`

Compiler

Compiled 31 to 24 computations (22.6% saved)

regimes8.0ms (0.2%)

Accuracy

Total -32.9b remaining (-24035.3%)

Threshold costs -32.9b (-24035.3%)

Counts

2 → 1

Calls

Call 1

Inputs
(-.f64 1 (cos.f64 x))
(*.f64 1/2 (pow.f64 x 2))

Outputs
(*.f64 1/2 (pow.f64 x 2))

Calls

3 calls:

4.0ms	x
2.0ms	(-.f64 1 (cos.f64 x))
2.0ms	(cos.f64 x)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(-.f64 1 (cos.f64 x))`
0.1b	1	`(cos.f64 x)`

Compiler

Compiled 20 to 15 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	104

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 1 (cos.f64 x))

Outputs
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 1 (cos.f64 x))

Compiler

Compiled 41 to 34 computations (17.1% saved)

soundness0.0ms (0%)

end32.0ms (0.7%)

Compiler: Compiled 38 to 31 computations (18.4% saved)

Details

analyze0.0ms (0%)

sample4.3s (89.8%)

preprocess11.0ms (0.2%)

simplify9.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series0.0ms (0%)

rewrite58.0ms (1.2%)

simplify179.0ms (3.8%)

eval10.0ms (0.2%)

prune10.0ms (0.2%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite12.0ms (0.2%)

simplify10.0ms (0.2%)

localize15.0ms (0.3%)

series2.0ms (0%)

rewrite13.0ms (0.3%)

simplify13.0ms (0.3%)

localize23.0ms (0.5%)

series1.0ms (0%)

rewrite12.0ms (0.3%)

simplify13.0ms (0.3%)

eval16.0ms (0.3%)

prune7.0ms (0.2%)

regimes8.0ms (0.2%)

regimes9.0ms (0.2%)

regimes8.0ms (0.2%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end32.0ms (0.7%)

Profiling