Details

analyze1.6s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	99.7%	0.3%	13
0%	99.7%	0.3%	14

sample52.0ms

Algorithm

intervals

Results

21.0ms	256×	body	80	valid
9.0ms	153×	body	80	invalid

simplify39.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4985	17
1	4985	17

prune13.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: 6.7b

Counts

2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x 9) y)
0.4b	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))
2.2b	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
9.1b	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4))) c)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
18×	`times-frac_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`pow1_binary64`
6×	`associate-/r_binary64` `add-log-exp_binary64` `associate-/l_binary64`
4×	`associate-/l/_binary64`
3×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64` `flip-+_binary64`
2×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`associate-l_binary64` `+-commutative_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 87

Calls

4 calls:

9.0ms	(.f64 (.f64 x 9) y)
12.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))
9.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
14.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4))) c)

series113.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(.f64 (.f64 x 9) y)
44.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))
16.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
48.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4))) c)

simplify64.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5650	1593

prune125.0ms

Filtered

74 candidates to 99 candidates (-33.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	91	8	99
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	92	9	101

Merged error: 6.4b

Counts

101 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x 9) y)
0.4b	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))
2.2b	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
9.2b	(.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (*.f64 t -4))) (/.f64 1 c))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64`
21×	`add-cube-cbrt_binary64`
20×	`add-exp-log_binary64` `times-frac_binary64`
16×	`associate-r_binary64` `add-cbrt-cube_binary64`
11×	`pow1_binary64`
7×	`prod-exp_binary64`
6×	`add-log-exp_binary64`
5×	`cbrt-unprod_binary64`
4×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-l_binary64` `flip-+_binary64`
3×	`associate-/r_binary64` `unswap-sqr_binary64` `associate-/l_binary64` `div-exp_binary64`
2×	`associate-/l/_binary64` `cbrt-undiv_binary64` `div-inv_binary64` `frac-times_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`1-exp_binary64` `associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64` `un-div-inv_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 98

Calls

4 calls:

6.0ms	(.f64 (.f64 x 9) y)
12.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))
9.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
17.0ms	(.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (*.f64 t -4))) (/.f64 1 c))

series107.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(.f64 (.f64 x 9) y)
40.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))
15.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
49.0ms	(.f64 (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (*.f64 t -4))) (/.f64 1 c))

simplify47.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5014	1738

prune100.0ms

Filtered

75 candidates to 110 candidates (-46.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	111	8	119

Merged error: 6.4b

Counts

119 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))
0.6b	(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))))
2.2b	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
9.1b	(/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

99×	`times-frac_binary64`
64×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
21×	`associate-/r*_binary64`
19×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64`
11×	`associate-/r/_binary64`
9×	`associate-/l*_binary64` `div-exp_binary64`
7×	`flip3-+_binary64` `div-inv_binary64` `flip-+_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64` `cbrt-undiv_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64`
2×	`associate-/l/_binary64` `1-exp_binary64` `rec-exp_binary64`
1×	`inv-pow_binary64` `+-commutative_binary64` `pow-flip_binary64` `sum-log_binary64`

Counts

4 → 153

Calls

4 calls:

12.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))
15.0ms	(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))))
9.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
13.0ms	(/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4))))

series158.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))
61.0ms	(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4)))))
15.0ms	(/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z)
41.0ms	(/.f64 c (+.f64 (/.f64 (+.f64 (.f64 (.f64 x 9) y) b) z) (.f64 a (.f64 t -4))))

simplify75.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4966	4047
1	4966	4047

prune161.0ms

Filtered

114 candidates to 165 candidates (-44.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	164	1	165
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	164	9	173

Merged error: 5.9b

Counts

173 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
4.6b	(/.f64 b (*.f64 z c))
6.1b	(/.f64 (*.f64 a t) c)
9.6b	(/.f64 (.f64 x y) (.f64 z c))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
15×	`cbrt-unprod_binary64` `prod-exp_binary64`
12×	`cbrt-undiv_binary64` `add-sqr-sqrt_binary64` `div-exp_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`times-frac_binary64`
6×	`pow1_binary64`
5×	`associate-/r_binary64` `associate-r_binary64` `associate-/l_binary64`
4×	`add-log-exp_binary64` `div-inv_binary64`
3×	`associate-l_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `unswap-sqr_binary64` `-commutative_binary64`

Counts

4 → 92

Calls

4 calls:

8.0ms	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
5.0ms	(/.f64 b (*.f64 z c))
5.0ms	(/.f64 (*.f64 a t) c)
6.0ms	(/.f64 (.f64 x y) (.f64 z c))

series33.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(.f64 9 (/.f64 (.f64 x y) (*.f64 z c)))
6.0ms	(/.f64 b (*.f64 z c))
5.0ms	(/.f64 (*.f64 a t) c)
9.0ms	(/.f64 (.f64 x y) (.f64 z c))

simplify56.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5006	808

prune54.0ms

Filtered

63 candidates to 104 candidates (-65.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	96	8	104
Fresh	3	4	7
Picked	1	0	1
Done	0	1	1
Total	100	13	113

Merged error: 0.0b

Counts

113 → 13

regimes1.6s

Accuracy

10.1% (10.0b remaining)

Error of 10.3b against oracle of 0.3b and baseline of 11.4b

bsearch160.0ms

Steps

Iters	Range		Point
5	1.7848793646453997e+266	5.979375686793059e+266	1.8206532349167078e+266
6	1.1803663745325763e+143	6.304249333995184e+143	1.2353692371008664e+143
6	2.5667457809188837e+124	1.2215685487242469e+125	5.546949437242792e+124
6	2.8671880218456185e+97	1.1907398228204635e+98	5.017340518112637e+97
9	-3.5153669930992827e-07	-1.04675748437955e-16	-2.7444922325717474e-13
10	-9.392825474654469e+145	-1.70262303155544e+128	-7.1508586972380935e+143
8	-6.764041184718749e+243	-1.844366369293425e+240	-2.5948083836392496e+243

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	165	208
1	165	208

end0.0ms

sample1.3s

Algorithm

intervals

Results

507.0ms	8000×	body	80	valid
288.0ms	4821×	body	80	invalid

Details

analyze1.6s

sample52.0ms

simplify39.0ms

prune13.0ms

localize13.0ms

rewrite47.0ms

series113.0ms

simplify64.0ms

prune125.0ms

localize14.0ms

rewrite47.0ms

series107.0ms

simplify47.0ms

prune100.0ms

localize14.0ms

rewrite55.0ms

series158.0ms

simplify75.0ms

prune161.0ms

localize15.0ms

rewrite27.0ms

series33.0ms

simplify56.0ms

prune54.0ms

regimes1.6s

bsearch160.0ms

simplify4.0ms

end0.0ms

sample1.3s

Profiling