Details

analyze910.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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
18.4%	81.3%	0.2%	13
29.5%	70.3%	0.2%	14

sample22.0ms

Algorithm

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	29×	body	128	invalid

simplify176.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (170.0ms)

Iter	Nodes	Cost
0	4787	16
1	4787	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: 13.6b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 y z) t)
13.7b	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`add-cube-cbrt_binary64`
5×	`associate-/r_binary64` `associate-l*_binary64` `times-frac_binary64`
4×	`pow1_binary64` `associate-*l/_binary64`
3×	`flip3--_binary64` `associate-r_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64`
2×	`associate-/l/_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `prod-exp_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

2 → 51

Calls

2 calls:

7.0ms	(*.f64 (-.f64 y z) t)
15.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

series204.0ms

Counts

2 → 6

Calls

2 calls:

58.0ms	(*.f64 (-.f64 y z) t)
147.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

simplify50.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5089	697

prune49.0ms

Filtered

40 candidates to 57 candidates (-42.5%)

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

Counts

58 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 a z))
0.5b	(cbrt.f64 (-.f64 a z))
0.5b	(cbrt.f64 (-.f64 a z))
3.4b	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt_binary64`
38×	`*-un-lft-identity_binary64`
36×	`times-frac_binary64`
32×	`cbrt-prod_binary64`
30×	`associate-r_binary64`
25×	`add-exp-log_binary64`
24×	`add-cube-cbrt_binary64`
20×	`cbrt-div_binary64`
18×	`add-cbrt-cube_binary64`
17×	`associate-l_binary64`
10×	`flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
8×	`cbrt-unprod_binary64` `prod-exp_binary64`
7×	`cbrt-undiv_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `div-exp_binary64`
6×	`pow1_binary64` `unswap-sqr_binary64`
5×	`frac-times_binary64`
4×	`add-log-exp_binary64`
3×	`associate-r/_binary64` `pow1/3_binary64` `associate-l/_binary64`
2×	`div-inv_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64`

Counts

4 → 122

Calls

4 calls:

4.0ms	(cbrt.f64 (-.f64 a z))
4.0ms	(cbrt.f64 (-.f64 a z))
4.0ms	(cbrt.f64 (-.f64 a z))
35.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z))))

series928.0ms

Counts

4 → 12

Calls

4 calls:

217.0ms	(cbrt.f64 (-.f64 a z))
221.0ms	(cbrt.f64 (-.f64 a z))
219.0ms	(cbrt.f64 (-.f64 a z))
270.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z))))

simplify74.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5495	2955

prune109.0ms

Filtered

106 candidates to 134 candidates (-26.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	133	8	141

Merged error: 0.0b

Counts

141 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 (-.f64 a z)))
0.6b	(cbrt.f64 (cbrt.f64 (-.f64 a z)))
0.6b	(cbrt.f64 (cbrt.f64 (-.f64 a z)))
3.4b	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z)))) (cbrt.f64 (cbrt.f64 (-.f64 a z)))))) (/.f64 t (cbrt.f64 (-.f64 a z))))

rewrite167.0ms

Algorithm

rewrite-expression-head

Rules

392×	`cbrt-div_binary64`
137×	`frac-times_binary64`
112×	`flip3--_binary64` `flip--_binary64`
89×	`associate-l_binary64`
82×	`associate-/r/_binary64`
55×	`cbrt-prod_binary64`
51×	`associate-*r/_binary64`
49×	`add-exp-log_binary64` `add-sqr-sqrt_binary64`
45×	`associate-*l/_binary64`
41×	`*-un-lft-identity_binary64`
31×	`times-frac_binary64`
30×	`associate-r_binary64` `add-cbrt-cube_binary64`
27×	`add-cube-cbrt_binary64`
22×	`cbrt-unprod_binary64` `prod-exp_binary64`
13×	`cbrt-undiv_binary64` `div-exp_binary64`
7×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64`
3×	`pow1/3_binary64` `unswap-sqr_binary64`
2×	`div-inv_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64`

Counts

4 → 208

Calls

4 calls:

5.0ms	(cbrt.f64 (cbrt.f64 (-.f64 a z)))
5.0ms	(cbrt.f64 (cbrt.f64 (-.f64 a z)))
5.0ms	(cbrt.f64 (cbrt.f64 (-.f64 a z)))
101.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z)))) (cbrt.f64 (cbrt.f64 (-.f64 a z)))))) (/.f64 t (cbrt.f64 (-.f64 a z))))

series926.0ms

Counts

4 → 12

Calls

4 calls:

219.0ms	(cbrt.f64 (cbrt.f64 (-.f64 a z)))
213.0ms	(cbrt.f64 (cbrt.f64 (-.f64 a z)))
219.0ms	(cbrt.f64 (cbrt.f64 (-.f64 a z)))
275.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z)))) (cbrt.f64 (cbrt.f64 (-.f64 a z)))))) (/.f64 t (cbrt.f64 (-.f64 a z))))

simplify148.0ms

Algorithm

egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4938	5810
1	4938	5810

prune269.0ms

Filtered

180 candidates to 220 candidates (-22.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	220	0	220
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	220	8	228

Merged error: 0.0b

Counts

228 → 8

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 t (-.f64 a z))
10.7b	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt_binary64`
38×	`*-un-lft-identity_binary64`
31×	`times-frac_binary64`
22×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
5×	`associate-/r_binary64` `associate-l*_binary64`
4×	`pow1_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
3×	`associate-/l*_binary64`
2×	`add-log-exp_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `-commutative_binary64`

Counts

2 → 83

Calls

2 calls:

6.0ms	(/.f64 t (-.f64 a z))
16.0ms	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))

series212.0ms

Counts

2 → 6

Calls

2 calls:

78.0ms	(/.f64 t (-.f64 a z))
134.0ms	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))

simplify70.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5164	1292

prune50.0ms

Filtered

62 candidates to 89 candidates (-43.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	88	1	89
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	88	9	97

Merged error: 0b

Counts

97 → 9

regimes119.0ms

Accuracy

0% (1.9b remaining)

Error of 1.9b against oracle of 0.0b and baseline of 1.9b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	34
1	28	34

end0.0ms

sample622.0ms

Algorithm

intervals

Results

294.0ms	7999×	body	128	valid
29.0ms	740×	body	128	invalid
0.0ms	1×	body	256	valid

Details

analyze910.0ms

sample22.0ms

simplify176.0ms

prune1.0ms

localize8.0ms

rewrite26.0ms

series204.0ms

simplify50.0ms

prune49.0ms

localize12.0ms

rewrite61.0ms

series928.0ms

simplify74.0ms

prune109.0ms

localize19.0ms

rewrite167.0ms

series926.0ms

simplify148.0ms

prune269.0ms

localize8.0ms

rewrite29.0ms

series212.0ms

simplify70.0ms

prune50.0ms

regimes119.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample622.0ms

Profiling