Details

analyze1.4s

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
5.8%	93.9%	0.3%	11
8.4%	91.3%	0.3%	12
9.7%	90%	0.3%	13
10.7%	89%	0.3%	14

sample32.0ms

Algorithm

intervals

Results

13.0ms	256×	body	80	valid
0.0ms	9×	body	80	invalid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	47	17
1	47	17

prune5.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: 14.8b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
3.0b	(/.f64 (*.f64 y z) t)
5.3b	(/.f64 (*.f64 y b) t)
11.9b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity_binary64`
26×	`times-frac_binary64`
24×	`distribute-lft-out_binary64`
19×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
11×	`associate-/r*_binary64`
9×	`add-log-exp_binary64`
6×	`associate-/l*_binary64`
5×	`flip3-+_binary64` `cbrt-undiv_binary64` `div-exp_binary64` `flip-+_binary64`
4×	`pow1_binary64` `frac-add_binary64` `associate-/r/_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `sum-log_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
1×	`associate-+l+_binary64` `+-commutative_binary64`

Counts

4 → 106

Calls

4 calls:

9.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
5.0ms	(/.f64 (*.f64 y z) t)
5.0ms	(/.f64 (*.f64 y b) t)
15.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

series64.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
5.0ms	(/.f64 (*.f64 y z) t)
5.0ms	(/.f64 (*.f64 y b) t)
44.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

simplify58.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4986	1700
1	4986	1700

prune191.0ms

Filtered

75 candidates to 118 candidates (-57.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	104	14	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	14	119

Merged error: 10.1b

Counts

119 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
3.1b	(.f64 (.f64 y z) (/.f64 1 t))
5.3b	(/.f64 (*.f64 y b) t)
11.9b	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

48×	`*-un-lft-identity_binary64`
33×	`add-exp-log_binary64`
27×	`times-frac_binary64`
23×	`add-cube-cbrt_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
15×	`distribute-lft-out_binary64`
13×	`associate-r_binary64` `prod-exp_binary64`
9×	`add-log-exp_binary64` `pow1_binary64`
8×	`associate-/r*_binary64`
7×	`cbrt-unprod_binary64` `div-exp_binary64`
5×	`flip3-+_binary64` `cbrt-undiv_binary64` `flip-+_binary64`
4×	`frac-add_binary64` `associate-/r/_binary64` `associate-/l*_binary64`
3×	`pow-prod-down_binary64` `div-inv_binary64` `sum-log_binary64`
2×	`associate-/l/_binary64` `1-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64`
1×	`associate-r/_binary64` `associate-+l+_binary64` `associate-l_binary64` `un-div-inv_binary64` `+-commutative_binary64` `-commutative_binary64`

Counts

4 → 117

Calls

4 calls:

9.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
9.0ms	(.f64 (.f64 y z) (/.f64 1 t))
5.0ms	(/.f64 (*.f64 y b) t)
14.0ms	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

series64.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
5.0ms	(.f64 (.f64 y z) (/.f64 1 t))
6.0ms	(/.f64 (*.f64 y b) t)
44.0ms	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

simplify57.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4977	1665
1	4977	1665

prune149.0ms

Filtered

79 candidates to 129 candidates (-63.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	129	14	143

Merged error: 10.1b

Counts

143 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

7.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t))) (cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t))))) (/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))))
12.0b	(cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
12.0b	(cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
12.0b	(cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

80×	`*-un-lft-identity_binary64`
56×	`cbrt-div_binary64`
49×	`add-exp-log_binary64`
47×	`add-sqr-sqrt_binary64` `times-frac_binary64`
40×	`associate-r_binary64`
38×	`cbrt-prod_binary64`
31×	`associate-l_binary64`
29×	`distribute-lft-out_binary64`
28×	`flip3-+_binary64` `frac-add_binary64` `associate-/r/_binary64` `flip-+_binary64`
26×	`add-cube-cbrt_binary64`
20×	`prod-exp_binary64`
18×	`add-cbrt-cube_binary64`
17×	`frac-times_binary64`
15×	`div-exp_binary64`
9×	`unswap-sqr_binary64`
8×	`cbrt-unprod_binary64`
7×	`cbrt-undiv_binary64`
6×	`pow1_binary64`
5×	`associate-r/_binary64` `associate-l/_binary64`
4×	`add-log-exp_binary64` `1-exp_binary64` `rec-exp_binary64`
3×	`pow1/3_binary64`
2×	`div-inv_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64`

Counts

4 → 163

Calls

4 calls:

60.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t))) (cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t))))) (/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))))
9.0ms	(cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
8.0ms	(cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
8.0ms	(cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

series219.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t))) (cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t))))) (/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))))
39.0ms	(cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
38.0ms	(cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
41.0ms	(cbrt.f64 (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

simplify87.0ms

Algorithm

egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4933	5047
1	4933	5047

prune290.0ms

Filtered

123 candidates to 175 candidates (-42.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	1	11	12
Picked	1	0	1
Done	0	1	1
Total	175	14	189

Merged error: 10.1b

Counts

189 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
3.0b	(/.f64 (*.f64 y z) t)
4.8b	(/.f64 y (/.f64 t b))
11.9b	(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity_binary64`
98×	`times-frac_binary64`
59×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
24×	`distribute-lft-out_binary64`
21×	`associate-/r*_binary64`
16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-log-exp_binary64`
8×	`associate-/l*_binary64`
7×	`div-inv_binary64`
6×	`cbrt-undiv_binary64` `div-exp_binary64`
5×	`flip3-+_binary64` `associate-/r/_binary64` `flip-+_binary64`
4×	`pow1_binary64` `frac-add_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64` `sum-log_binary64`
2×	`associate-/l/_binary64`
1×	`cbrt-unprod_binary64` `associate-+l+_binary64` `prod-exp_binary64` `+-commutative_binary64`

Counts

4 → 155

Calls

4 calls:

18.0ms	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
5.0ms	(/.f64 (*.f64 y z) t)
6.0ms	(/.f64 y (/.f64 t b))
24.0ms	(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

series69.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
5.0ms	(/.f64 (*.f64 y z) t)
6.0ms	(/.f64 y (/.f64 t b))
48.0ms	(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

simplify83.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4979	2326
1	4979	2326

prune129.0ms

Filtered

115 candidates to 167 candidates (-45.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	162	5	167
Fresh	3	9	12
Picked	1	0	1
Done	1	0	1
Total	167	14	181

Merged error: 9.1b

Counts

181 → 14

regimes1.1s

Accuracy

51.5% (3.5b remaining)

Error of 12.9b against oracle of 9.4b and baseline of 16.6b

bsearch51.0ms

Steps

Iters	Range		Point
10	1.2110675958529224e-21	6.87402036884587e-06	4.5828853116986545e-18
9	-1.5477967691958033e-50	-3.3463825630835956e-58	-1.4321878169708876e-55

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	62
1	44	62

end0.0ms

sample729.0ms

Algorithm

intervals

Results

428.0ms	8000×	body	80	valid
13.0ms	262×	body	80	invalid

Details

analyze1.4s

sample32.0ms

simplify6.0ms

prune5.0ms

localize12.0ms

rewrite37.0ms

series64.0ms

simplify58.0ms

prune191.0ms

localize15.0ms

rewrite42.0ms

series64.0ms

simplify57.0ms

prune149.0ms

localize18.0ms

rewrite95.0ms

series219.0ms

simplify87.0ms

prune290.0ms

localize15.0ms

rewrite60.0ms

series69.0ms

simplify83.0ms

prune129.0ms

regimes1.1s

bsearch51.0ms

simplify2.0ms

end0.0ms

sample729.0ms

Profiling