Details

analyze253.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
12.5%	87.4%	0.1%	6
28.1%	71.8%	0.1%	7
42.1%	57.7%	0.1%	8
43.7%	56.2%	0.1%	9
64.4%	35.5%	0.1%	10
71.6%	28.3%	0.1%	11
72.2%	27.7%	0.1%	12
81.6%	18.2%	0.2%	13
84.9%	14.9%	0.2%	14

sample19.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
0.0ms	8×	body	80	invalid

simplify192.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (184.0ms)

Iter	Nodes	Cost
0	4950	16
1	4950	16

prune4.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: 1.0b

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 -1 (/.f64 u t1))
0.0b	(/.f64 v (+.f64 t1 u))
2.8b	(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

224×	`times-frac_binary64`
187×	`add-sqr-sqrt_binary64`
177×	`*-un-lft-identity_binary64`
87×	`add-cube-cbrt_binary64`
40×	`difference-of-squares_binary64`
25×	`distribute-lft-out_binary64`
21×	`associate-/l*_binary64`
20×	`distribute-lft-out--_binary64`
18×	`associate-/r/_binary64`
10×	`associate-/r*_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`div-inv_binary64`
8×	`flip3-+_binary64` `flip-+_binary64`
5×	`add-log-exp_binary64`
4×	`cbrt-undiv_binary64` `div-exp_binary64`
3×	`pow1_binary64`
2×	`flip3--_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64`
1×	`associate-/l/_binary64` `sub-neg_binary64` `diff-log_binary64`

Counts

3 → 196

Calls

3 calls:

6.0ms	(-.f64 -1 (/.f64 u t1))
5.0ms	(/.f64 v (+.f64 t1 u))
16.0ms	(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))

series108.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(-.f64 -1 (/.f64 u t1))
26.0ms	(/.f64 v (+.f64 t1 u))
69.0ms	(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))

simplify106.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5458	5736

prune163.0ms

Filtered

137 candidates to 205 candidates (-49.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	198	7	205
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	198	9	207

Merged error: 0.4b

Counts

207 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

1.3b	(.f64 (/.f64 v (.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (/.f64 (/.f64 1 (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
9.1b	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
9.1b	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
9.1b	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

rewrite134.0ms

Algorithm

rewrite-expression-head

Rules

321×	`times-frac_binary64`
267×	`add-sqr-sqrt_binary64`
218×	`*-un-lft-identity_binary64`
168×	`associate-r_binary64`
132×	`cbrt-prod_binary64`
118×	`add-cube-cbrt_binary64`
64×	`add-exp-log_binary64`
42×	`difference-of-squares_binary64`
28×	`add-cbrt-cube_binary64` `associate-/r/_binary64` `div-exp_binary64`
27×	`distribute-lft-out_binary64`
21×	`distribute-lft-out--_binary64`
20×	`cbrt-div_binary64` `prod-exp_binary64`
15×	`cbrt-undiv_binary64` `associate-l_binary64`
14×	`unswap-sqr_binary64`
12×	`cbrt-unprod_binary64`
11×	`div-inv_binary64`
10×	`flip3--_binary64` `flip--_binary64`
9×	`flip3-+_binary64` `flip-+_binary64`
6×	`pow1_binary64`
5×	`frac-times_binary64`
4×	`add-log-exp_binary64`
3×	`1-exp_binary64` `associate-r/_binary64` `pow1/3_binary64` `rec-exp_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64`

Counts

4 → 281

Calls

4 calls:

90.0ms	(.f64 (/.f64 v (.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (/.f64 (/.f64 1 (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
6.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
6.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
6.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

series621.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(.f64 (/.f64 v (.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (/.f64 (/.f64 1 (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
169.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
176.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))
178.0ms	(cbrt.f64 (-.f64 -1 (/.f64 u t1)))

simplify155.0ms

Algorithm

egg-herbie

Counts

293 → 293

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4992	11002
1	4992	11002

prune427.0ms

Filtered

197 candidates to 293 candidates (-48.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	293	0	293
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	293	9	302

Merged error: 0.4b

Counts

302 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 v)
0.6b	(cbrt.f64 v)
0.6b	(cbrt.f64 v)
2.2b	(.f64 (.f64 (cbrt.f64 v) (cbrt.f64 v)) (/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

359×	`times-frac_binary64`
287×	`add-sqr-sqrt_binary64`
260×	`*-un-lft-identity_binary64`
186×	`associate-r_binary64`
128×	`add-cube-cbrt_binary64`
82×	`cbrt-prod_binary64`
60×	`difference-of-squares_binary64`
36×	`distribute-lft-out_binary64`
30×	`distribute-lft-out--_binary64`
25×	`add-exp-log_binary64`
17×	`add-cbrt-cube_binary64`
14×	`associate-/r/_binary64`
9×	`pow1_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
7×	`div-inv_binary64`
6×	`flip3-+_binary64` `cbrt-undiv_binary64` `div-exp_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `unswap-sqr_binary64`
3×	`pow-prod-down_binary64` `pow1/3_binary64`
1×	`flip3--_binary64` `associate-r/_binary64` `associate-l_binary64` `flip--_binary64` `-commutative_binary64`

Counts

4 → 247

Calls

4 calls:

1.0ms	(cbrt.f64 v)
1.0ms	(cbrt.f64 v)
1.0ms	(cbrt.f64 v)
55.0ms	(.f64 (.f64 (cbrt.f64 v) (cbrt.f64 v)) (/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))

series340.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(cbrt.f64 v)
84.0ms	(cbrt.f64 v)
88.0ms	(cbrt.f64 v)
78.0ms	(.f64 (.f64 (cbrt.f64 v) (cbrt.f64 v)) (/.f64 (/.f64 (cbrt.f64 v) (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))

simplify80.0ms

Algorithm

egg-herbie

Counts

259 → 259

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5204	6005

prune212.0ms

Filtered

178 candidates to 259 candidates (-45.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	259	0	259
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	259	9	268

Merged error: 0.4b

Counts

268 → 9

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 -1 (/.f64 u t1))
0.0b	(/.f64 1 (+.f64 t1 u))
0.2b	(*.f64 v (/.f64 1 (+.f64 t1 u)))
2.8b	(/.f64 (*.f64 v (/.f64 1 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt_binary64`
45×	`*-un-lft-identity_binary64`
35×	`times-frac_binary64`
32×	`add-exp-log_binary64`
24×	`add-cube-cbrt_binary64`
20×	`add-cbrt-cube_binary64`
18×	`associate-r_binary64`
11×	`div-exp_binary64`
10×	`associate-/r*_binary64`
8×	`prod-exp_binary64`
7×	`pow1_binary64` `distribute-lft-out_binary64`
6×	`add-log-exp_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `difference-of-squares_binary64`
4×	`cbrt-unprod_binary64` `associate-/l*_binary64`
3×	`1-exp_binary64` `associate-l_binary64` `unswap-sqr_binary64` `rec-exp_binary64` `distribute-lft-out--_binary64` `div-inv_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `flip3--_binary64` `associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `un-div-inv_binary64` `flip--_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `inv-pow_binary64` `pow-flip_binary64` `*-commutative_binary64`

Counts

4 → 127

Calls

4 calls:

6.0ms	(-.f64 -1 (/.f64 u t1))
5.0ms	(/.f64 1 (+.f64 t1 u))
10.0ms	(*.f64 v (/.f64 1 (+.f64 t1 u)))
14.0ms	(/.f64 (*.f64 v (/.f64 1 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

series126.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(-.f64 -1 (/.f64 u t1))
19.0ms	(/.f64 1 (+.f64 t1 u))
28.0ms	(*.f64 v (/.f64 1 (+.f64 t1 u)))
68.0ms	(/.f64 (*.f64 v (/.f64 1 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

simplify69.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4997	1754
1	4997	1754

prune65.0ms

Filtered

81 candidates to 139 candidates (-71.6%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	139	9	148

Merged error: 0.4b

Counts

148 → 9

regimes88.0ms

Accuracy

51.4% (0.8b remaining)

Error of 1.0b against oracle of 0.2b and baseline of 1.8b

bsearch31.0ms

Steps

Iters	Range		Point
9	5.043219892257096e+36	6.6179932456200275e+41	2.0160755146411715e+39
7	-1.2156860699624568e+114	-7.024519969558532e+112	-7.086882964238897e+112

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	46
1	40	46

end0.0ms

sample426.0ms

Algorithm

intervals

Results

248.0ms	8000×	body	80	valid
7.0ms	246×	body	80	invalid

Details

analyze253.0ms

sample19.0ms

simplify192.0ms

prune4.0ms

localize7.0ms

rewrite39.0ms

series108.0ms

simplify106.0ms

prune163.0ms

localize13.0ms

rewrite134.0ms

series621.0ms

simplify155.0ms

prune427.0ms

localize11.0ms

rewrite78.0ms

series340.0ms

simplify80.0ms

prune212.0ms

localize8.0ms

rewrite41.0ms

series126.0ms

simplify69.0ms

prune65.0ms

regimes88.0ms

bsearch31.0ms

simplify4.0ms

end0.0ms

sample426.0ms

Profiling