Details

analyze4.0ms

Algorithm

Search

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

sample166.0ms

Algorithm

intervals

Results

68.0ms	53×	body	2560	valid
45.0ms	66×	body	1280	valid
21.0ms	47×	body	640	valid
6.0ms	59×	body	80	valid
5.0ms	17×	body	320	valid
3.0ms	13×	body	160	valid
3.0ms	1×	body	5120	valid

simplify29.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	989	23
1	989	23

prune12.0ms

Filtered

1 candidates to 1 candidates (0.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

Merged error: 45.0b

Counts

2 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

3.0b	(.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8)))
3.2b	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
33.0b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))
35.0b	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64`
8×	`associate-r_binary64`
6×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64` `associate-*r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `cos-sum_binary64`
2×	`flip3-+_binary64` `distribute-lft-out_binary64` `associate-l_binary64` `flip-+_binary64` `*-commutative_binary64`

Counts

4 → 64

Calls

4 calls:

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

series39.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8)))
11.0ms	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
9.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))
9.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8))))

simplify53.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5573	844

prune186.0ms

Filtered

52 candidates to 76 candidates (-46.2%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	53	23	76
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	54	24	78

Merged error: 40.4b

Counts

78 → 24

localize12.0ms

Local error

Found 3 expressions with local error:

0.1b	(.f64 x (cos.f64 (.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
3.2b	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
33.0b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
7×	`associate-r_binary64`
6×	`add-cube-cbrt_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64`
3×	`add-log-exp_binary64`
2×	`associate-r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `cos-sum_binary64` `-commutative_binary64`
1×	`flip3-+_binary64` `distribute-lft-out_binary64` `unswap-sqr_binary64` `flip-+_binary64`

Counts

3 → 50

Calls

3 calls:

5.0ms	(.f64 x (cos.f64 (.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
10.0ms	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
4.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))

series41.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(.f64 x (cos.f64 (.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
11.0ms	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
9.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))

simplify44.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5070	697

prune187.0ms

Filtered

41 candidates to 59 candidates (-43.9%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	42	17	59
Fresh	6	17	23
Picked	1	0	1
Done	0	0	0
Total	49	34	83

Merged error: 39.3b

Counts

83 → 34

localize2.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify6.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	0	0

prune129.0ms

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

Merged error: 39.3b

Counts

34 → 34

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))
0.7b	(*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))
3.0b	(.f64 (.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))
32.4b	(cos.f64 (.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

78×	`cbrt-div_binary64`
44×	`associate-*r/_binary64`
41×	`pow1_binary64`
39×	`flip3-+_binary64` `flip-+_binary64`
36×	`add-exp-log_binary64` `frac-times_binary64`
30×	`*-un-lft-identity_binary64`
28×	`cbrt-prod_binary64`
23×	`pow-prod-down_binary64`
22×	`cbrt-unprod_binary64` `prod-exp_binary64` `add-sqr-sqrt_binary64`
21×	`add-cbrt-cube_binary64`
18×	`associate-*l/_binary64`
15×	`associate-r_binary64`
14×	`add-cube-cbrt_binary64`
9×	`swap-sqr_binary64` `associate-l_binary64`
7×	`distribute-lft-out_binary64`
6×	`pow1/3_binary64`
4×	`add-log-exp_binary64` `unswap-sqr_binary64`
3×	`*-commutative_binary64`
2×	`pow-prod-up_binary64` `pow-sqr_binary64`
1×	`pow-plus_binary64` `pow2_binary64`

Counts

4 → 147

Calls

4 calls:

31.0ms	(.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))
19.0ms	(*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))
21.0ms	(.f64 (.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))
8.0ms	(cos.f64 (.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))

series60.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))
7.0ms	(*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))
29.0ms	(.f64 (.f64 z t) (*.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))
10.0ms	(cos.f64 (.f64 (.f64 (.f64 z t) (.f64 (cbrt.f64 (+.f64 1/16 (/.f64 y 8))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8))))) (cbrt.f64 (+.f64 1/16 (/.f64 y 8)))))

simplify60.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5485	2819

prune154.0ms

Filtered

86 candidates to 159 candidates (-84.9%)

Pruning

44 alts after pruning (43 fresh and 1 done)

	Pruned	Kept	Total
New	144	15	159
Fresh	4	28	32
Picked	1	0	1
Done	0	1	1
Total	149	44	193

Merged error: 38.8b

Counts

193 → 44

regimes3.0s

Accuracy

15.5% (4.4b remaining)

Error of 43.8b against oracle of 39.5b and baseline of 44.6b

bsearch3.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	65	69
1	65	69

end0.0ms

sample5.4s

Algorithm

intervals

Results

2.4s	1899×	body	2560	valid
1.6s	2241×	body	1280	valid
557.0ms	1170×	body	640	valid
206.0ms	1853×	body	80	valid
175.0ms	523×	body	320	valid
107.0ms	39×	body	5120	valid
66.0ms	275×	body	160	valid

Details

analyze4.0ms

sample166.0ms

simplify29.0ms

prune12.0ms

localize24.0ms

rewrite29.0ms

series39.0ms

simplify53.0ms

prune186.0ms

localize12.0ms

rewrite21.0ms

series41.0ms

simplify44.0ms

prune187.0ms

localize2.0ms

rewrite0.0ms

series0.0ms

simplify6.0ms

prune129.0ms

localize16.0ms

rewrite87.0ms

series60.0ms

simplify60.0ms

prune154.0ms

regimes3.0s

bsearch3.0ms

simplify2.0ms

end0.0ms

sample5.4s

Profiling