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)

sample16.3s (81.3%)

Results

13.0s	4327×	body	2048	valid
2.8s	2140×	body	1024	valid
426.0ms	1050×	body	512	valid
80.0ms	739×	body	256	valid

Bogosity

preprocess520.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

2608×	`rational.json-simplify-42`
2160×	`rational.json-simplify-35`
2126×	`rational.json-simplify-45`
1730×	`rational.json-simplify-1`
1080×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	9	11
2	16	11
3	26	11
4	49	11
5	90	11
6	205	11
7	480	11
8	1123	11
9	2651	11
10	3571	11
11	4164	11
12	4714	11
13	5022	11
14	5142	11
15	5263	11
16	5573	11
17	5702	11
18	5818	11
19	5945	11
20	6059	11
21	6173	11
22	6287	11
23	6287	11
24	6287	11
0	1	1

Stop Event

1×	saturated
1×	node limit

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)

simplify516.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

2608×	`rational.json-simplify-42`
2160×	`rational.json-simplify-35`
2126×	`rational.json-simplify-45`
1730×	`rational.json-simplify-1`
1080×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	9	11
2	16	11
3	26	11
4	49	11
5	90	11
6	205	11
7	480	11
8	1123	11
9	2651	11
10	3571	11
11	4164	11
12	4714	11
13	5022	11
14	5142	11
15	5263	11
16	5573	11
17	5702	11
18	5818	11
19	5945	11
20	6059	11
21	6173	11
22	6287	11
23	6287	11
24	6287	11

Stop Event

1×	node limit

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

32.1b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 5 to 4 computations (20% saved)

localize4.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 9 to 5 computations (44.4% saved)

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

rewrite676.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1824×	`rational.json-simplify-35`
1462×	`rational.json-1`
1462×	`rational.json-2`
1462×	`rational.json-4`
1462×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	55	11
2	134	11
3	268	11
4	516	11
5	1130	11
6	2571	11
7	4420	11
8	5462	11
9	7266	11

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (cos.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (neg.f64 (+.f64 (cos.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (-.f64 1 (+.f64 (cos.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (cos.f64 x) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 1 (cos.f64 x)) 1/2) (.f64 (-.f64 1 (cos.f64 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (/.f64 (+.f64 (cos.f64 x) -1) 2)) (-.f64 1 (/.f64 (+.f64 (cos.f64 x) -1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (/.f64 (+.f64 (cos.f64 x) -1) 2)) (-.f64 1 (.f64 (+.f64 (cos.f64 x) -1) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (-.f64 1 (cos.f64 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (+.f64 (cos.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (-.f64 1 (cos.f64 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 (cos.f64 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cos.f64 x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 (cos.f64 x)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (-.f64 1 (cos.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (-.f64 1 (cos.f64 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 (cos.f64 x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (cos.f64 x) -1) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 1 (cos.f64 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)) -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)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (cos.f64 x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 (cos.f64 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (+.f64 (cos.f64 x) -1)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 (cos.f64 x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 4 (+.f64 (cos.f64 x) -1)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 4 (+.f64 (cos.f64 x) -1))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 4 (+.f64 (cos.f64 x) -1)))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 (cos.f64 x) -1))))) -32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8)))))) 256)))) (#(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 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 1 (+.f64 (cos.f64 x) -2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (cos.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (neg.f64 (+.f64 (cos.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (-.f64 1 (+.f64 (cos.f64 x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (cos.f64 x) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 1 (cos.f64 x)) 1/2) (*.f64 (-.f64 1 (cos.f64 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (/.f64 (+.f64 (cos.f64 x) -1) 2)) (-.f64 1 (/.f64 (+.f64 (cos.f64 x) -1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (/.f64 (+.f64 (cos.f64 x) -1) 2)) (-.f64 1 (*.f64 (+.f64 (cos.f64 x) -1) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (cos.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (-.f64 1 (cos.f64 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 1 (cos.f64 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cos.f64 x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 1 (cos.f64 x)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (-.f64 1 (cos.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (-.f64 1 (cos.f64 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 1 (cos.f64 x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (cos.f64 x) -1) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 (cos.f64 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)) -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)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (cos.f64 x) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (cos.f64 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (+.f64 (cos.f64 x) -1)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (cos.f64 x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (+.f64 (cos.f64 x) -1)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 4 (+.f64 (cos.f64 x) -1))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 4 (+.f64 (cos.f64 x) -1)))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 4 (+.f64 (cos.f64 x) -1))))) -32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8)))))) 256)))) (#(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 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 1 (+.f64 (cos.f64 x) -2)))))))

simplify296.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

2406×	`rational.json-simplify-35`
1392×	`rational.json-simplify-1`
1318×	`rational.json-simplify-2`
912×	`rational.json-simplify-45`
594×	`rational.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	113	684
1	251	684
2	528	684
3	1356	684
4	2976	684
5	3964	684
6	4675	684
7	5359	684
8	6260	684
9	6576	684
10	6864	684
11	7168	684
12	7479	684
13	7842	684
14	7992	684

Stop Event

1×	node limit

Counts

48 → 56

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 (-.f64 1 (cos.f64 x)) 0)
(+.f64 0 (-.f64 1 (cos.f64 x)))
(+.f64 -1 (neg.f64 (+.f64 (cos.f64 x) -2)))
(+.f64 -1 (-.f64 1 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2))))
(+.f64 -2 (-.f64 1 (+.f64 (cos.f64 x) -2)))
(+.f64 (neg.f64 (+.f64 (cos.f64 x) -2)) -1)
(+.f64 (.f64 (-.f64 1 (cos.f64 x)) 1/2) (.f64 (-.f64 1 (cos.f64 x)) 1/2))
(+.f64 (-.f64 -1 (/.f64 (+.f64 (cos.f64 x) -1) 2)) (-.f64 1 (/.f64 (+.f64 (cos.f64 x) -1) 2)))
(+.f64 (-.f64 -1 (/.f64 (+.f64 (cos.f64 x) -1) 2)) (-.f64 1 (*.f64 (+.f64 (cos.f64 x) -1) 1/2)))
(*.f64 1 (-.f64 1 (cos.f64 x)))
(*.f64 (-.f64 1 (cos.f64 x)) 1)
(.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 1/2))
(*.f64 -1 (+.f64 (cos.f64 x) -1))
(.f64 -1 (.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)))
(*.f64 4 (/.f64 (-.f64 1 (cos.f64 x)) 4))
(.f64 (.f64 (-.f64 1 (cos.f64 x)) 2) 1/2)
(*.f64 (+.f64 (cos.f64 x) -1) -1)
(.f64 (.f64 (-.f64 1 (cos.f64 x)) 4) 1/4)
(.f64 1/2 (.f64 (-.f64 1 (cos.f64 x)) 2))
(.f64 1/4 (.f64 (-.f64 1 (cos.f64 x)) 4))
(.f64 (.f64 (-.f64 1 (cos.f64 x)) 1/2) 2)
(*.f64 (/.f64 (+.f64 (cos.f64 x) -1) 2) -2)
(*.f64 (/.f64 (-.f64 1 (cos.f64 x)) 4) 4)
(.f64 (.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)) -1)
(/.f64 (-.f64 1 (cos.f64 x)) 1)
(/.f64 (*.f64 (-.f64 1 (cos.f64 x)) 2) 2)
(/.f64 (+.f64 (cos.f64 x) -1) -1)
(/.f64 (*.f64 (-.f64 1 (cos.f64 x)) 4) 4)
(/.f64 (*.f64 2 (+.f64 (cos.f64 x) -1)) -2)
(/.f64 (*.f64 (-.f64 1 (cos.f64 x)) 8) 8)
(/.f64 (*.f64 4 (+.f64 (cos.f64 x) -1)) -4)
(/.f64 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8)) 16)
(/.f64 (.f64 2 (.f64 4 (+.f64 (cos.f64 x) -1))) -8)
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8))) 32)
(/.f64 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)) -1)
(/.f64 (.f64 2 (.f64 2 (*.f64 4 (+.f64 (cos.f64 x) -1)))) -16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 (cos.f64 x) -1))))) -32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8))))) 128)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8)))))) 256)
(pow.f64 (-.f64 1 (cos.f64 x)) 1)
(neg.f64 (+.f64 (cos.f64 x) -1))
(neg.f64 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)))
(neg.f64 (+.f64 1 (+.f64 (cos.f64 x) -2)))

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/24 (pow.f64 x 4)) (+.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8))) (.f64 1/2 (pow.f64 x 2))))
(+.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 1/720 (pow.f64 x 6)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 -1/40320 (pow.f64 x 8)))))
(+.f64 (-.f64 1 (cos.f64 x)) 0)
(-.f64 1 (cos.f64 x))
(+.f64 0 (-.f64 1 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(+.f64 -1 (neg.f64 (+.f64 (cos.f64 x) -2)))
(-.f64 1 (cos.f64 x))
(+.f64 -1 (-.f64 1 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2))))
(-.f64 1 (cos.f64 x))
(+.f64 -2 (-.f64 1 (+.f64 (cos.f64 x) -2)))
(-.f64 1 (cos.f64 x))
(+.f64 (neg.f64 (+.f64 (cos.f64 x) -2)) -1)
(-.f64 1 (cos.f64 x))
(+.f64 (.f64 (-.f64 1 (cos.f64 x)) 1/2) (.f64 (-.f64 1 (cos.f64 x)) 1/2))
(-.f64 1 (cos.f64 x))
(+.f64 (-.f64 -1 (/.f64 (+.f64 (cos.f64 x) -1) 2)) (-.f64 1 (/.f64 (+.f64 (cos.f64 x) -1) 2)))
(-.f64 1 (cos.f64 x))
(+.f64 (-.f64 -1 (/.f64 (+.f64 (cos.f64 x) -1) 2)) (-.f64 1 (*.f64 (+.f64 (cos.f64 x) -1) 1/2)))
(+.f64 (-.f64 -1 (/.f64 (+.f64 (cos.f64 x) -1) 2)) (-.f64 1 (*.f64 1/2 (+.f64 (cos.f64 x) -1))))
(+.f64 (+.f64 -1 (.f64 (+.f64 (cos.f64 x) -1) -1/2)) (-.f64 1 (.f64 1/2 (+.f64 (cos.f64 x) -1))))
(+.f64 (+.f64 -1 (.f64 1/2 (-.f64 1 (cos.f64 x)))) (-.f64 1 (.f64 1/2 (+.f64 (cos.f64 x) -1))))
(*.f64 1 (-.f64 1 (cos.f64 x)))
(-.f64 1 (cos.f64 x))
(*.f64 (-.f64 1 (cos.f64 x)) 1)
(-.f64 1 (cos.f64 x))
(.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 1/2))
(-.f64 1 (cos.f64 x))
(*.f64 -1 (+.f64 (cos.f64 x) -1))
(-.f64 1 (cos.f64 x))
(.f64 -1 (.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)))
(-.f64 1 (cos.f64 x))
(*.f64 4 (/.f64 (-.f64 1 (cos.f64 x)) 4))
(-.f64 1 (cos.f64 x))
(.f64 (.f64 (-.f64 1 (cos.f64 x)) 2) 1/2)
(-.f64 1 (cos.f64 x))
(*.f64 (+.f64 (cos.f64 x) -1) -1)
(-.f64 1 (cos.f64 x))
(.f64 (.f64 (-.f64 1 (cos.f64 x)) 4) 1/4)
(-.f64 1 (cos.f64 x))
(.f64 1/2 (.f64 (-.f64 1 (cos.f64 x)) 2))
(-.f64 1 (cos.f64 x))
(.f64 1/4 (.f64 (-.f64 1 (cos.f64 x)) 4))
(-.f64 1 (cos.f64 x))
(.f64 (.f64 (-.f64 1 (cos.f64 x)) 1/2) 2)
(-.f64 1 (cos.f64 x))
(*.f64 (/.f64 (+.f64 (cos.f64 x) -1) 2) -2)
(-.f64 1 (cos.f64 x))
(*.f64 (/.f64 (-.f64 1 (cos.f64 x)) 4) 4)
(-.f64 1 (cos.f64 x))
(.f64 (.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)) -1)
(-.f64 1 (cos.f64 x))
(/.f64 (-.f64 1 (cos.f64 x)) 1)
(-.f64 1 (cos.f64 x))
(/.f64 (*.f64 (-.f64 1 (cos.f64 x)) 2) 2)
(-.f64 1 (cos.f64 x))
(/.f64 (+.f64 (cos.f64 x) -1) -1)
(-.f64 1 (cos.f64 x))
(/.f64 (*.f64 (-.f64 1 (cos.f64 x)) 4) 4)
(-.f64 1 (cos.f64 x))
(/.f64 (*.f64 2 (+.f64 (cos.f64 x) -1)) -2)
(-.f64 1 (cos.f64 x))
(/.f64 (*.f64 (-.f64 1 (cos.f64 x)) 8) 8)
(-.f64 1 (cos.f64 x))
(/.f64 (*.f64 4 (+.f64 (cos.f64 x) -1)) -4)
(-.f64 1 (cos.f64 x))
(/.f64 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8)) 16)
(-.f64 1 (cos.f64 x))
(/.f64 (.f64 2 (.f64 4 (+.f64 (cos.f64 x) -1))) -8)
(-.f64 1 (cos.f64 x))
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8))) 32)
(-.f64 1 (cos.f64 x))
(/.f64 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)) -1)
(-.f64 1 (cos.f64 x))
(/.f64 (.f64 2 (.f64 2 (*.f64 4 (+.f64 (cos.f64 x) -1)))) -16)
(-.f64 1 (cos.f64 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8)))) 64)
(-.f64 1 (cos.f64 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 (cos.f64 x) -1))))) -32)
(-.f64 1 (cos.f64 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (-.f64 1 (cos.f64 x)) 8))))) 128)
(-.f64 1 (cos.f64 x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (cos.f64 x)) 8)))))) 256)
(-.f64 1 (cos.f64 x))
(pow.f64 (-.f64 1 (cos.f64 x)) 1)
(-.f64 1 (cos.f64 x))
(neg.f64 (+.f64 (cos.f64 x) -1))
(-.f64 1 (cos.f64 x))
(neg.f64 (*.f64 2 (/.f64 (+.f64 (cos.f64 x) -1) 2)))
(-.f64 1 (cos.f64 x))
(neg.f64 (+.f64 1 (+.f64 (cos.f64 x) -2)))
(-.f64 1 (cos.f64 x))

eval14.0ms (0.1%)

Compiler: Compiled 615 to 481 computations (21.8% saved)

prune7.0ms (0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

Counts

57 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.1b	(-.f64 1 (cos.f64 x))
▶	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.1b	(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
▶	0.4b	(*.f64 1/2 (pow.f64 x 2))

Compiler

Compiled 41 to 34 computations (17.1% saved)

localize6.0ms (0%)

Compiler: Compiled 12 to 9 computations (25% saved)

localize13.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 33 to 26 computations (21.2% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite305.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

3716×	`rational.json-simplify-35`
1760×	`rational.json-simplify-2`
1186×	`rational.json-1`
1186×	`rational.json-2`
1052×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	96	13
3	185	13
4	316	13
5	677	13
6	1625	13
7	2734	13
8	3310	13
9	3952	13
10	4717	13
11	5191	13
12	5191	13
13	5637	13
14	5637	13
15	6131	13
16	6961	13
17	7930	13

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

Inputs
(*.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 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 4) -1/48))))) (#(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 /.f64 (.f64 (pow.f64 x 4) -1/12) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 4) -1/6) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 4) -1/3) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (pow.f64 x 4) -1/3)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3))))))))) 2048)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3))))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))))))))) 4096)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 -1/24 (pow.f64 x 4)) 1)))))

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 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 4) -1/48))))) (#(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 /.f64 (*.f64 (pow.f64 x 4) -1/12) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 4) -1/6) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 4) -1/3) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3))))))))) 2048)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3))))))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 4) -1/3)))))))))) 4096)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)))))

simplify227.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

3666×	`rational.json-simplify-43`
2610×	`rational.json-simplify-51`
2092×	`rational.json-simplify-35`
1144×	`rational.json-simplify-1`
1020×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	234
1	143	234
2	250	234
3	627	234
4	1547	234
5	2697	234
6	3525	234
7	3762	234
8	3919	234
9	4044	234
10	4158	234
11	4271	234
12	4391	234
13	4503	234
14	4503	234

Stop Event

1×	node limit

Counts

18 → 19

Calls

Call 1

Inputs
(+.f64 (*.f64 -1/24 (pow.f64 x 4)) 0)
(+.f64 0 (*.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 4) -1/48))
(-.f64 (*.f64 -1/24 (pow.f64 x 4)) 0)
(/.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)
(/.f64 (*.f64 (pow.f64 x 4) -1/12) 2)
(/.f64 (*.f64 (pow.f64 x 4) -1/6) 4)
(/.f64 (*.f64 (pow.f64 x 4) -1/3) 8)
(/.f64 (.f64 2 (.f64 (pow.f64 x 4) -1/3)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) -1/3))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) -1/3))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))))) 256)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) -1/3))))))) 512)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))))))) 1024)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) -1/3))))))))) 2048)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3))))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))))))))) 4096)
(pow.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)

Outputs
(+.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 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 4) -1/48))
(*.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))
(/.f64 (*.f64 (pow.f64 x 4) -1/12) 2)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (*.f64 (pow.f64 x 4) -1/6) 4)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (*.f64 (pow.f64 x 4) -1/3) 8)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 (pow.f64 x 4) -1/3)) 16)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) -1/3))) 32)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))) 64)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) -1/3))))) 128)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))))) 256)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) -1/3))))))) 512)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))))))) 1024)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) -1/3))))))))) 2048)
(*.f64 -1/24 (pow.f64 x 4))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3))))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) -1/3)))))))))) 4096)
(*.f64 -1/24 (pow.f64 x 4))
(pow.f64 (*.f64 -1/24 (pow.f64 x 4)) 1)
(*.f64 -1/24 (pow.f64 x 4))

localize23.0ms (0.1%)

Local error

Found 3 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.1b	(*.f64 1/720 (pow.f64 x 6))
	0.1b	(*.f64 -1/24 (pow.f64 x 4))

Compiler

Compiled 60 to 48 computations (20% saved)

series2.0ms (0%)

Counts

2 → 3

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
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	@	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)))

rewrite350.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1784×	`rational.json-simplify-35`
1640×	`rational.json-simplify-1`
1348×	`exponential.json-3`
1348×	`rational.json-1`
1348×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	77	44
2	143	44
3	270	44
4	488	44
5	1097	44
6	2888	44
7	4610	44
8	5348	44
9	6677	44
10	7552	44
11	7552	44

Stop Event

1×	node limit

Counts

2 → 36

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 (pow.f64 x 6) 1/1440) (*.f64 (pow.f64 x 6) 1/1440))))) (#(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 /.f64 (*.f64 (pow.f64 x 6) 1/360) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 6) 1/180) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 6) 1/90) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (pow.f64 x 6) 1/90)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 6) 1/90))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 6) 1/90)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 6) 1/90))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 6) 1/90)))))) 256)))) (#(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 4 (*.f64 1/2 (+.f64 (*.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440))))))) (#(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 2 (+.f64 (*.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)) 8) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (+.f64 (*.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440))) 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 /.f64 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)) 8) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 4 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 4 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 4 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 4 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 4 (+.f64 (*.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)))))))) 256)))) (#(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)))))

simplify677.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

3780×	`rational.json-simplify-41`
2670×	`rational.json-simplify-43`
2096×	`rational.json-simplify-35`
1164×	`rational.json-simplify-2`
604×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	87	987
1	197	945
2	374	945
3	842	945
4	2138	945
5	2970	945
6	3257	945
7	3432	945
8	3570	945
9	3686	945
10	3796	945
11	3903	945
12	4009	945
13	4115	945
14	4115	945

Stop Event

1×	node limit

Counts

39 → 41

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 (pow.f64 x 6) 1/1440) (.f64 (pow.f64 x 6) 1/1440))
(-.f64 (*.f64 1/720 (pow.f64 x 6)) 0)
(/.f64 (*.f64 1/720 (pow.f64 x 6)) 1)
(/.f64 (*.f64 (pow.f64 x 6) 1/360) 2)
(/.f64 (*.f64 (pow.f64 x 6) 1/180) 4)
(/.f64 (*.f64 (pow.f64 x 6) 1/90) 8)
(/.f64 (.f64 2 (.f64 (pow.f64 x 6) 1/90)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 6) 1/90))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 6) 1/90)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 6) 1/90))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 6) 1/90)))))) 256)
(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 4 (.f64 1/2 (+.f64 (.f64 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 6) 1/1440))))
(.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 2 (+.f64 (.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)))
(.f64 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)) 1/2)
(.f64 (.f64 (+.f64 (.f64 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 6) 1/1440)) 8) 1/4)
(.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360))) 1/8)
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)))
(.f64 (+.f64 (.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 6) 1/1440)) 8))
(.f64 (.f64 1/2 (+.f64 (.f64 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 6) 1/1440))) 4)
(/.f64 (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/24 (pow.f64 x 4))) 1)
(/.f64 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360)) 2)
(/.f64 (.f64 (+.f64 (.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)) 8) 4)
(/.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))) 8)
(/.f64 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360)))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360)))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360)))))))) 256)
(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 (pow.f64 x 6) 1/1440) (.f64 (pow.f64 x 6) 1/1440))
(*.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))
(/.f64 (*.f64 (pow.f64 x 6) 1/360) 2)
(*.f64 1/720 (pow.f64 x 6))
(/.f64 (*.f64 (pow.f64 x 6) 1/180) 4)
(*.f64 1/720 (pow.f64 x 6))
(/.f64 (*.f64 (pow.f64 x 6) 1/90) 8)
(*.f64 1/720 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 (pow.f64 x 6) 1/90)) 16)
(*.f64 1/720 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 6) 1/90))) 32)
(*.f64 1/720 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 6) 1/90)))) 64)
(*.f64 1/720 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 6) 1/90))))) 128)
(*.f64 1/720 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 6) 1/90)))))) 256)
(*.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 4 (.f64 1/2 (+.f64 (.f64 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 6) 1/1440))))
(.f64 1/2 (.f64 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (.f64 (pow.f64 x 4) -1/48)) 4))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (*.f64 (pow.f64 x 4) -1/48)))
(.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 2 (+.f64 (.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)))
(.f64 1/2 (.f64 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (.f64 (pow.f64 x 4) -1/48)) 4))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (*.f64 (pow.f64 x 4) -1/48)))
(.f64 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)) 1/2)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(.f64 (.f64 (+.f64 (.f64 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 6) 1/1440)) 8) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (.f64 (pow.f64 x 4) -1/48)) 4))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (*.f64 (pow.f64 x 4) -1/48)))
(.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360))) 1/8)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360)))
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(.f64 (+.f64 (.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)) 2)
(.f64 1/2 (.f64 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (.f64 (pow.f64 x 4) -1/48)) 4))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (*.f64 (pow.f64 x 4) -1/48)))
(.f64 1/4 (.f64 (+.f64 (.f64 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 6) 1/1440)) 8))
(.f64 1/2 (.f64 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (.f64 (pow.f64 x 4) -1/48)) 4))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (*.f64 (pow.f64 x 4) -1/48)))
(.f64 (.f64 1/2 (+.f64 (.f64 (pow.f64 x 4) -1/48) (.f64 (pow.f64 x 6) 1/1440))) 4)
(.f64 1/2 (.f64 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (.f64 (pow.f64 x 4) -1/48)) 4))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (*.f64 (pow.f64 x 4) -1/48)))
(/.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 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360)) 2)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(/.f64 (.f64 (+.f64 (.f64 (pow.f64 x 4) -1/48) (*.f64 (pow.f64 x 6) 1/1440)) 8) 4)
(.f64 1/2 (.f64 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (.f64 (pow.f64 x 4) -1/48)) 4))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/1440) (*.f64 (pow.f64 x 4) -1/48)))
(/.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))) 8)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(/.f64 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360)))) 16)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(/.f64 (.f64 2 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))))) 32)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360)))))) 64)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (*.f64 (pow.f64 x 6) 1/360))))))) 128)
(+.f64 (.f64 -1/24 (pow.f64 x 4)) (.f64 1/720 (pow.f64 x 6)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (+.f64 (.f64 (pow.f64 x 4) -1/12) (.f64 (pow.f64 x 6) 1/360)))))))) 256)
(+.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)))

eval43.0ms (0.2%)

Compiler: Compiled 1684 to 1463 computations (13.1% saved)

prune11.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	79	4	83

Error

Counts

83 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.1b	(-.f64 1 (cos.f64 x))
✓	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.1b	(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
✓	0.4b	(*.f64 1/2 (pow.f64 x 2))

Compiler

Compiled 41 to 34 computations (17.1% saved)

regimes9.0ms (0%)

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:

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

Results

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

Compiler

Compiled 48 to 38 computations (20.8% saved)

regimes8.0ms (0%)

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:

4.0ms	x
2.0ms	(cos.f64 x)
2.0ms	(-.f64 1 (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 31 to 24 computations (22.6% saved)

regimes7.0ms (0%)

Accuracy

Total -31.7b remaining (-7264%)

Threshold costs -31.7b (-7264%)

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:

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

Results

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

Compiler

Compiled 20 to 15 computations (25% saved)

simplify3.0ms (0%)

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.2%)

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

Details

analyze0.0ms (0%)

sample16.3s (81.3%)

preprocess520.0ms (2.6%)

simplify516.0ms (2.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0%)

series1.0ms (0%)

rewrite676.0ms (3.4%)

simplify296.0ms (1.5%)

eval14.0ms (0.1%)

prune7.0ms (0%)

localize6.0ms (0%)

localize13.0ms (0.1%)

series1.0ms (0%)

rewrite305.0ms (1.5%)

simplify227.0ms (1.1%)

localize23.0ms (0.1%)

series2.0ms (0%)

rewrite350.0ms (1.7%)

simplify677.0ms (3.4%)

eval43.0ms (0.2%)

prune11.0ms (0.1%)

regimes9.0ms (0%)

regimes8.0ms (0%)

regimes7.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end32.0ms (0.2%)

Profiling