Details

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

sample21.0ms

Algorithm

intervals

Results

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

simplify298.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (289.0ms)

Iter	Nodes	Cost
0	1485	16
1	1485	16

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

rewrite62.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:

22.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
6.0ms	(/.f64 t (-.f64 1 z))
30.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

series124.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
27.0ms	(/.f64 t (-.f64 1 z))
66.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

simplify85.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5335	1707

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

rewrite104.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:

29.0ms	(*.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)))))
24.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
26.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))

series790.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
239.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
243.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
242.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))

simplify141.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (119.0ms)

Iter	Nodes	Cost
0	4921	1669
1	4921	1669

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

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

rewrite190.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))))))
24.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
25.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
40.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

series533.0ms

Counts

4 → 12

Calls

4 calls:

70.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))))))
146.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
154.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
163.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

simplify91.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5348	6428

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

rewrite34.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:

8.0ms	(*.f64 (neg.f64 z) (+.f64 y t))
7.0ms	(*.f64 z (-.f64 1 z))
6.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)))

series311.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(*.f64 (neg.f64 z) (+.f64 y t))
47.0ms	(*.f64 z (-.f64 1 z))
90.0ms	(.f64 x (+.f64 y (.f64 (neg.f64 z) (+.f64 y t))))
130.0ms	(/.f64 (.f64 x (+.f64 y (.f64 (neg.f64 z) (+.f64 y t)))) (*.f64 z (-.f64 1 z)))

simplify86.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5049	1654

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

regimes276.0ms

Accuracy

86.7% (0.6b 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	92	170
1	92	170

end0.0ms

sample623.0ms

Algorithm

intervals

Results

298.0ms	8000×	body	80	valid
71.0ms	1756×	body	80	invalid

Details

analyze686.0ms

sample21.0ms

simplify298.0ms

prune2.0ms

localize8.0ms

rewrite62.0ms

series124.0ms

simplify85.0ms

prune89.0ms

localize13.0ms

rewrite104.0ms

series790.0ms

simplify141.0ms

prune116.0ms

localize23.0ms

rewrite190.0ms

series533.0ms

simplify91.0ms

prune250.0ms

localize11.0ms

rewrite34.0ms

series311.0ms

simplify86.0ms

prune80.0ms

regimes276.0ms

bsearch1.0ms

simplify7.0ms

end0.0ms

sample623.0ms

Profiling