Details

analyze271.0ms (1.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5066	656
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
99.7%	0%	0.3%	1

Compiler

Compiled 28 to 27 computations (3.6% saved)

sample151.0ms (0.9%)

Algorithm

1×

intervals

Results

66.0ms	79×	body	2048	valid
37.0ms	68×	body	1024	valid
14.0ms	38×	body	512	valid
6.0ms	54×	body	128	valid
5.0ms	4×	body	4096	valid
3.0ms	13×	body	256	valid

Compiler

Compiled 55 to 59 computations (-7.3% saved)

simplify55.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	990	35
1	990	35

prune6.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

47.9b

Counts

2 → 2

Compiler

Compiled 73 to 70 computations (4.1% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.0b	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
3.9b	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
37.2b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
37.3b	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))

rewrite181.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

45.2b

Rules

14×	`pow1_binary64_20599` `add-exp-log_binary64_20576` `add-cbrt-cube_binary64_20574`
6×	`add-cube-cbrt_binary64_20573` `add-sqr-sqrt_binary64_20560` `-un-lft-identity_binary64_20538` `pow-prod-down_binary64_20609` `prod-exp_binary64_20587` `cbrt-unprod_binary64_20571` `associate-r*_binary64_20478`
4×	`distribute-rgt-in_binary64_20488` `cos-sum_binary64_20672` `distribute-lft-in_binary64_20487` `add-log-exp_binary64_20577` `associate-*r/_binary64_20480`
2×	`flip3-+_binary64_20541` `flip-+_binary64_20512` `associate-l_binary64_20479` `*-commutative_binary64_20469`

Counts

4 → 62

Calls

4 calls:

7.0ms	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
7.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
4.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
3.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))

Compiler

Compiled 2016 to 1293 computations (35.9% saved)

series810.0ms (4.7%)

Error

43.7b

Counts

4 → 49

Calls

4 calls:

229.0ms	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
176.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
162.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
155.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))

Compiler

Compiled 3831 to 3126 computations (18.4% saved)

simplify59.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5039	1880

prune479.0ms (2.8%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	88	23	111
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	90	23	113

Error

42.9b

Counts

113 → 23

Compiler

Compiled 3738 to 2602 computations (30.4% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))))
2.0b	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
31.0b	(cos.f64 (.f64 1/16 (.f64 t z)))
37.3b	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))

rewrite206.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

42.8b

Rules

14×	`pow1_binary64_20599` `add-exp-log_binary64_20576` `add-cbrt-cube_binary64_20574`
6×	`add-cube-cbrt_binary64_20573` `add-sqr-sqrt_binary64_20560` `-un-lft-identity_binary64_20538` `pow-prod-down_binary64_20609` `prod-exp_binary64_20587` `cbrt-unprod_binary64_20571` `associate-r*_binary64_20478`
4×	`add-log-exp_binary64_20577`
2×	`distribute-rgt-in_binary64_20488` `cos-sum_binary64_20672` `distribute-lft-in_binary64_20487` `associate-r/_binary64_20480` `associate-l_binary64_20479` `-commutative_binary64_20469`
1×	`flip3-+_binary64_20541` `flip-+_binary64_20512`

Counts

4 → 56

Calls

4 calls:

15.0ms	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))))
14.0ms	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
6.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
4.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

Compiler

Compiled 1655 to 1031 computations (37.7% saved)

series1.3s (7.4%)

Error

41.6b

Counts

4 → 51

Calls

4 calls:

787.0ms	(.f64 (.f64 x (cos.f64 (.f64 1/16 (.f64 t z)))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))))
203.0ms	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
155.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
47.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

Compiler

Compiled 3635 to 3005 computations (17.3% saved)

simplify75.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4998	2208
1	4998	2208

prune209.0ms (1.2%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	89	18	107
Fresh	6	16	22
Picked	1	0	1
Done	0	0	0
Total	96	34	130

Error

41.6b

Counts

130 → 34

Compiler

Compiled 3397 to 2402 computations (29.3% saved)

localize1.0ms (0%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

41.6b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series1.0ms (0%)

Error: 41.6b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune63.0ms (0.4%)

Pruning

34 alts after pruning (33 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	33	33
Picked	1	1
Done	0	0
Total	34	34

Error

41.6b

Counts

34 → 34

Compiler

Compiled 957 to 869 computations (9.2% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

31.0b	(cos.f64 (.f64 1/16 (.f64 t z)))
31.0b	(cos.f64 (.f64 1/16 (.f64 t z)))
31.0b	(cos.f64 (.f64 1/16 (.f64 t z)))
37.3b	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))

rewrite90.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

41.6b

Rules

4×	`pow1_binary64_20599` `add-log-exp_binary64_20577` `add-exp-log_binary64_20576` `add-cbrt-cube_binary64_20574` `add-cube-cbrt_binary64_20573` `add-sqr-sqrt_binary64_20560` `*-un-lft-identity_binary64_20538`
2×	`cos-sum_binary64_20672`
1×	`distribute-rgt-in_binary64_20488` `distribute-lft-in_binary64_20487`

Counts

4 → 30

Calls

4 calls:

3.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
2.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))
2.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))
2.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

Compiler

Compiled 1338 to 841 computations (37.1% saved)

series405.0ms (2.4%)

Error

41.5b

Counts

4 → 36

Calls

4 calls:

157.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
72.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))
59.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))
53.0ms	(cos.f64 (.f64 1/16 (.f64 t z)))

Compiler

Compiled 3954 to 3067 computations (22.4% saved)

simplify62.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5269	903

prune155.0ms (0.9%)

Pruning

38 alts after pruning (37 fresh and 1 done)

	Pruned	Kept	Total
New	61	5	66
Fresh	0	32	32
Picked	1	0	1
Done	0	1	1
Total	62	38	100

Error

41.5b

Counts

100 → 38

Compiler

Compiled 2585 to 1614 computations (37.6% saved)

regimes5.0s (29%)

Accuracy

Total 4.5b remaining (10.2%)

Threshold costs 0b (0%)

Compiler

Compiled 58496 to 51785 computations (11.5% saved)

bsearch170.0ms (1%)

Steps

Iters	Range		Point
9	2.8430149939190215e-75	5.3572283232711114e-70	1.8640896652451287e-71
9	-1.265674518729503e+32	-2.793824784354202e+25	-7.405353146839985e+28

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	67
1	40	67

end0.0ms (0%)

sample7.4s (43%)

Algorithm

1×

intervals

Results

1.5s	2335×	body	2048	valid
891.0ms	1980×	body	1024	valid
378.0ms	340×	body	4096	valid
304.0ms	951×	body	512	valid
212.0ms	1981×	body	128	valid
86.0ms	413×	body	256	valid

Compiler

Compiled 4582 to 4057 computations (11.5% saved)

Details

analyze271.0ms (1.6%)

sample151.0ms (0.9%)

simplify55.0ms (0.3%)

prune6.0ms (0%)

localize25.0ms (0.1%)

rewrite181.0ms (1.1%)

series810.0ms (4.7%)

simplify59.0ms (0.3%)

prune479.0ms (2.8%)

localize16.0ms (0.1%)

rewrite206.0ms (1.2%)

series1.3s (7.4%)

simplify75.0ms (0.4%)

prune209.0ms (1.2%)

localize1.0ms (0%)

rewrite1.0ms (0%)

series1.0ms (0%)

simplify7.0ms (0%)

prune63.0ms (0.4%)

localize36.0ms (0.2%)

rewrite90.0ms (0.5%)

series405.0ms (2.4%)

simplify62.0ms (0.4%)

prune155.0ms (0.9%)

regimes5.0s (29%)

bsearch170.0ms (1%)

simplify3.0ms (0%)

end0.0ms (0%)

sample7.4s (43%)

Profiling