Details

analyze654.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7.8%	92%	0.2%	8
16.4%	83.4%	0.2%	9
23.8%	76%	0.2%	10
25.1%	74.7%	0.2%	11
38.1%	59.4%	2.5%	12
41.8%	55.3%	2.9%	13
46.5%	50.3%	3.1%	14

sample19.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
2.0ms	46×	body	80	invalid

simplify294.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (285.0ms)

Iter	Nodes	Cost
0	1485	16
1	1485	16

prune1.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: 4.9b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
0.0b	(/.f64 t (-.f64 1 z))
4.7b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt_binary64`
50×	`*-un-lft-identity_binary64`
34×	`times-frac_binary64`
16×	`add-cube-cbrt_binary64` `difference-of-squares_binary64`
12×	`distribute-lft-out--_binary64`
10×	`associate-r_binary64`
7×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`associate-/r*_binary64`
5×	`add-log-exp_binary64` `pow1_binary64`
3×	`sub-neg_binary64` `flip3--_binary64` `associate-r/_binary64` `associate-l_binary64` `associate-/l_binary64` `flip--_binary64`
2×	`associate-/r/_binary64` `frac-sub_binary64`
1×	`pow-prod-down_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `*-commutative_binary64`

Counts

3 → 90

Calls

3 calls:

20.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
6.0ms	(/.f64 t (-.f64 1 z))
28.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

series127.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
28.0ms	(/.f64 t (-.f64 1 z))
64.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

simplify92.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5335	1707

prune92.0ms

Filtered

72 candidates to 99 candidates (-37.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	90	9	99
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	90	10	100

Merged error: 0.0b

Counts

100 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

4.7b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
5.1b	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
5.1b	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
5.1b	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64`
12×	`associate-*r/_binary64`
10×	`associate-r_binary64`
9×	`cbrt-div_binary64`
8×	`times-frac_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`add-log-exp_binary64` `flip3--_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `frac-sub_binary64`
3×	`pow1/3_binary64` `associate-l_binary64` `cbrt-prod_binary64`
2×	`sub-neg_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 66

Calls

4 calls:

25.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
21.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
23.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
22.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))

series865.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
328.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
244.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
233.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))

simplify130.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	4921	1669
1	4921	1669

prune114.0ms

Filtered

64 candidates to 78 candidates (-21.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	78	10	88

Merged error: 0.0b

Counts

88 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

4.7b	(.f64 x (.f64 (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
6.9b	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
6.9b	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
6.9b	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

rewrite159.0ms

Algorithm

rewrite-expression-head

Rules

153×	`cbrt-div_binary64`
81×	`frac-times_binary64`
78×	`associate-*r/_binary64`
51×	`flip3--_binary64` `flip--_binary64` `frac-sub_binary64`
44×	`add-sqr-sqrt_binary64`
41×	`*-un-lft-identity_binary64`
30×	`cbrt-prod_binary64`
27×	`associate-*l/_binary64`
24×	`times-frac_binary64`
13×	`pow1_binary64` `add-exp-log_binary64`
12×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
9×	`add-cbrt-cube_binary64`
8×	`add-cube-cbrt_binary64`
6×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64`
3×	`pow1/3_binary64` `associate-l_binary64`
1×	`associate-r_binary64` `*-commutative_binary64`

Counts

4 → 147

Calls

4 calls:

90.0ms	(.f64 x (.f64 (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
21.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
19.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
19.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

series511.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(.f64 x (.f64 (*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))))
144.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
145.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
147.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

simplify93.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5348	6428

prune251.0ms

Filtered

112 candidates to 159 candidates (-42.0%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	159	10	169

Merged error: 0.0b

Counts

169 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (neg.f64 z) (+.f64 y t))
0.0b	(*.f64 z (-.f64 1 z))
4.1b	(.f64 x (+.f64 y (.f64 (neg.f64 z) (+.f64 y t))))
20.4b	(/.f64 (.f64 x (+.f64 y (.f64 (neg.f64 z) (+.f64 y t)))) (*.f64 z (-.f64 1 z)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
21×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64`
16×	`associate-l_binary64`
13×	`associate-r_binary64`
12×	`add-cube-cbrt_binary64`
10×	`pow1_binary64` `associate-*r/_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
3×	`pow-prod-down_binary64` `flip3-+_binary64` `distribute-lft-neg-in_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `distribute-rgt-neg-in_binary64` `flip-+_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `sub-neg_binary64` `flip3--_binary64` `associate-/r/_binary64` `difference-of-squares_binary64` `flip--_binary64`
1×	`associate-/r_binary64` `distribute-lft-out_binary64` `distribute-lft-neg-out_binary64` `neg-mul-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `distribute-lft-out--_binary64` `times-frac_binary64` `div-inv_binary64`

Counts

4 → 103

Calls

4 calls:

7.0ms	(*.f64 (neg.f64 z) (+.f64 y t))
7.0ms	(*.f64 z (-.f64 1 z))
5.0ms	(.f64 x (+.f64 y (.f64 (neg.f64 z) (+.f64 y t))))
11.0ms	(/.f64 (.f64 x (+.f64 y (.f64 (neg.f64 z) (+.f64 y t)))) (*.f64 z (-.f64 1 z)))

series230.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(*.f64 (neg.f64 z) (+.f64 y t))
27.0ms	(*.f64 z (-.f64 1 z))
50.0ms	(.f64 x (+.f64 y (.f64 (neg.f64 z) (+.f64 y t))))
119.0ms	(/.f64 (.f64 x (+.f64 y (.f64 (neg.f64 z) (+.f64 y t)))) (*.f64 z (-.f64 1 z)))

simplify84.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5049	1654

prune73.0ms

Filtered

80 candidates to 115 candidates (-43.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	2	4	6
Picked	0	1	1
Done	1	2	3
Total	115	10	125

Merged error: 0.0b

Counts

125 → 10

regimes258.0ms

Accuracy

88.5% (0.5b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 4.6b

bsearch1.0ms

simplify7.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	96	164
1	96	164

end0.0ms

sample711.0ms

Algorithm

intervals

Results

353.0ms	8000×	body	80	valid
74.0ms	1756×	body	80	invalid

Details

analyze654.0ms

sample19.0ms

simplify294.0ms

prune1.0ms

localize8.0ms

rewrite57.0ms

series127.0ms

simplify92.0ms

prune92.0ms

localize13.0ms

rewrite93.0ms

series865.0ms

simplify130.0ms

prune114.0ms

localize14.0ms

rewrite159.0ms

series511.0ms

simplify93.0ms

prune251.0ms

localize11.0ms

rewrite33.0ms

series230.0ms

simplify84.0ms

prune73.0ms

regimes258.0ms

bsearch1.0ms

simplify7.0ms

end0.0ms

sample711.0ms

Profiling