Details

analyze391.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
35.9%	64%	0.1%	9
47.6%	49.9%	2.5%	10
49.1%	46.8%	4%	11
51.1%	44.1%	4.8%	12
60.2%	29.9%	9.9%	13
60.6%	27.9%	11.6%	14

sample21.0ms

Algorithm

intervals

Results

8.0ms	256×	body	80	valid
2.0ms	58×	body	80	invalid

simplify61.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5021	11

prune3.0ms

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: 17.3b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(.f64 (.f64 z z) (+.f64 z 1.0))
16.8b	(/.f64 (.f64 x y) (.f64 (*.f64 z z) (+.f64 z 1.0)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`cbrt-unprod_binary64` `prod-exp_binary64`
7×	`pow1_binary64`
6×	`cbrt-undiv_binary64` `div-exp_binary64`
5×	`*-un-lft-identity_binary64`
4×	`associate-r_binary64` `associate-*r/_binary64` `add-sqr-sqrt_binary64`
3×	`pow-prod-down_binary64` `add-cube-cbrt_binary64`
2×	`flip3-+_binary64` `add-log-exp_binary64` `associate-/r/_binary64` `flip-+_binary64`
1×	`associate-/r_binary64` `distribute-lft-out_binary64` `distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `times-frac_binary64` `div-inv_binary64` `*-commutative_binary64`

Counts

2 → 51

Calls

2 calls:

8.0ms	(.f64 (.f64 z z) (+.f64 z 1.0))
13.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 z z) (+.f64 z 1.0)))

series25.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(.f64 (.f64 z z) (+.f64 z 1.0))
18.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 z z) (+.f64 z 1.0)))

simplify28.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5052	618

prune64.0ms

Filtered

33 candidates to 57 candidates (-72.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	50	7	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	7	58

Merged error: 1.3b

Counts

58 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

3.1b	(/.f64 (*.f64 z z) (/.f64 y (+.f64 z 1.0)))
8.1b	(/.f64 x (/.f64 (*.f64 z z) (/.f64 y (+.f64 z 1.0))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

231×	`times-frac_binary64`
114×	`*-un-lft-identity_binary64`
78×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
41×	`associate-/r*_binary64`
32×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`distribute-lft-out_binary64` `associate-/r/_binary64`
17×	`cbrt-undiv_binary64` `div-exp_binary64`
12×	`div-inv_binary64`
6×	`flip3-+_binary64` `flip-+_binary64`
4×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64`
2×	`add-log-exp_binary64` `pow1_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

2 → 172

Calls

2 calls:

11.0ms	(/.f64 (*.f64 z z) (/.f64 y (+.f64 z 1.0)))
12.0ms	(/.f64 x (/.f64 (*.f64 z z) (/.f64 y (+.f64 z 1.0))))

series23.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/.f64 (*.f64 z z) (/.f64 y (+.f64 z 1.0)))
16.0ms	(/.f64 x (/.f64 (*.f64 z z) (/.f64 y (+.f64 z 1.0))))

simplify68.0ms

Algorithm

egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4979	2775
1	4979	2775

prune193.0ms

Filtered

127 candidates to 178 candidates (-40.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	170	8	178
Fresh	4	2	6
Picked	0	1	1
Done	0	0	0
Total	174	11	185

Merged error: 0b

Counts

185 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.8b	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) z) (/.f64 (cbrt.f64 x) (/.f64 z (/.f64 y (+.f64 z 1.0)))))
1.7b	(/.f64 (cbrt.f64 x) (/.f64 z (/.f64 y (+.f64 z 1.0))))

rewrite213.0ms

Algorithm

rewrite-expression-head

Rules

1912×	`times-frac_binary64`
1040×	`*-un-lft-identity_binary64`
858×	`add-sqr-sqrt_binary64`
806×	`add-cube-cbrt_binary64`
369×	`cbrt-prod_binary64`
359×	`associate-r_binary64`
117×	`distribute-lft-out_binary64`
93×	`associate-/r/_binary64`
67×	`add-exp-log_binary64`
59×	`associate-/r*_binary64`
55×	`div-inv_binary64`
47×	`add-cbrt-cube_binary64`
39×	`flip3-+_binary64` `flip-+_binary64`
32×	`cbrt-undiv_binary64` `div-exp_binary64`
16×	`cbrt-unprod_binary64` `prod-exp_binary64`
14×	`unswap-sqr_binary64`
7×	`associate-l_binary64`
6×	`pow1_binary64` `associate-/l*_binary64`
4×	`add-log-exp_binary64`
2×	`pow1/3_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 874

Calls

4 calls:

1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
104.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) z) (/.f64 (cbrt.f64 x) (/.f64 z (/.f64 y (+.f64 z 1.0)))))
20.0ms	(/.f64 (cbrt.f64 x) (/.f64 z (/.f64 y (+.f64 z 1.0))))

series100.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cbrt.f64 x)
18.0ms	(cbrt.f64 x)
27.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) z) (/.f64 (cbrt.f64 x) (/.f64 z (/.f64 y (+.f64 z 1.0)))))
37.0ms	(/.f64 (cbrt.f64 x) (/.f64 z (/.f64 y (+.f64 z 1.0))))

simplify151.0ms

Algorithm

egg-herbie

Counts

886 → 886

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5438	17890

prune1.3s

Filtered

685 candidates to 886 candidates (-29.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	885	1	886
Fresh	2	7	9
Picked	1	0	1
Done	0	1	1
Total	888	9	897

Merged error: 0b

Counts

897 → 9

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(/.f64 z (/.f64 y (+.f64 z 1.0)))
2.9b	(/.f64 (/.f64 x z) (/.f64 z (/.f64 y (+.f64 z 1.0))))

rewrite136.0ms

Algorithm

rewrite-expression-head

Rules

2669×	`times-frac_binary64`
1351×	`*-un-lft-identity_binary64`
1075×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
138×	`distribute-lft-out_binary64`
122×	`div-inv_binary64`
108×	`associate-/r/_binary64`
77×	`associate-/r*_binary64`
46×	`flip3-+_binary64` `flip-+_binary64`
28×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`cbrt-undiv_binary64` `div-exp_binary64`
16×	`associate-/l*_binary64`
2×	`add-log-exp_binary64` `pow1_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`associate-/l/_binary64`

Counts

2 → 953

Calls

2 calls:

8.0ms	(/.f64 z (/.f64 y (+.f64 z 1.0)))
32.0ms	(/.f64 (/.f64 x z) (/.f64 z (/.f64 y (+.f64 z 1.0))))

series22.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/.f64 z (/.f64 y (+.f64 z 1.0)))
15.0ms	(/.f64 (/.f64 x z) (/.f64 z (/.f64 y (+.f64 z 1.0))))

simplify181.0ms

Algorithm

egg-herbie

Counts

959 → 959

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5111	23803

prune1.0s

Filtered

687 candidates to 959 candidates (-39.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	957	2	959
Fresh	3	4	7
Picked	0	1	1
Done	0	1	1
Total	960	8	968

Merged error: 0b

Counts

968 → 8

regimes176.0ms

Accuracy

0% (3.1b remaining)

Error of 3.3b against oracle of 0.2b and baseline of 3.3b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	10	11

end0.0ms

sample547.0ms

Algorithm

intervals

Results

284.0ms	8000×	body	80	valid
50.0ms	1494×	body	80	invalid

Details

analyze391.0ms

sample21.0ms

simplify61.0ms

prune3.0ms

localize7.0ms

rewrite23.0ms

series25.0ms

simplify28.0ms

prune64.0ms

localize7.0ms

rewrite32.0ms

series23.0ms

simplify68.0ms

prune193.0ms

localize14.0ms

rewrite213.0ms

series100.0ms

simplify151.0ms

prune1.3s

localize7.0ms

rewrite136.0ms

series22.0ms

simplify181.0ms

prune1.0s

regimes176.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample547.0ms

Profiling