Details

analyze1.3s

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
1.0ms	10×	body	80	invalid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	46	17
1	46	17

prune4.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.0b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t))
4.7b	(/.f64 (*.f64 y b) t)
7.2b	(/.f64 (*.f64 y z) t)
9.1b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1.0) (/.f64 (.f64 y b) t)))

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

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

series70.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t))
6.0ms	(/.f64 (*.f64 y b) t)
6.0ms	(/.f64 (*.f64 y z) t)
49.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1.0) (/.f64 (.f64 y b) t)))

simplify43.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5026	1713

prune173.0ms

Filtered

75 candidates to 118 candidates (-57.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	106	12	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	12	119

Merged error: 9.3b

Counts

119 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 t)
3.5b	(.f64 (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
4.7b	(/.f64 (*.f64 y b) t)
9.1b	(/.f64 (+.f64 x (.f64 (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity_binary64`
48×	`add-sqr-sqrt_binary64`
46×	`times-frac_binary64`
32×	`add-cube-cbrt_binary64` `add-exp-log_binary64`
25×	`add-cbrt-cube_binary64`
22×	`associate-r_binary64`
14×	`cbrt-prod_binary64`
12×	`distribute-lft-out_binary64`
10×	`cbrt-undiv_binary64` `div-exp_binary64`
9×	`cbrt-unprod_binary64` `prod-exp_binary64`
8×	`associate-/r*_binary64`
7×	`associate-l_binary64`
6×	`pow1_binary64` `unswap-sqr_binary64`
4×	`add-log-exp_binary64` `associate-/r/_binary64` `associate-/l*_binary64` `div-inv_binary64`
3×	`flip3-+_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64` `frac-add_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `pow1/3_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 132

Calls

4 calls:

1.0ms	(cbrt.f64 t)
16.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
5.0ms	(/.f64 (*.f64 y b) t)
13.0ms	(/.f64 (+.f64 x (.f64 (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t)))

series122.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cbrt.f64 t)
16.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))
6.0ms	(/.f64 (*.f64 y b) t)
82.0ms	(/.f64 (+.f64 x (.f64 (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 z (cbrt.f64 t)))) (+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t)))

simplify68.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4960	1826
1	4960	1826

prune192.0ms

Filtered

105 candidates to 144 candidates (-37.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	138	6	144
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	141	15	156

Merged error: 8.1b

Counts

156 → 15

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t))
3.5b	(/.f64 y (/.f64 t z))
4.7b	(/.f64 (*.f64 y b) t)
9.1b	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t)))

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

8.0ms	(+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t))
6.0ms	(/.f64 y (/.f64 t z))
5.0ms	(/.f64 (*.f64 y b) t)
23.0ms	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t)))

series98.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t))
6.0ms	(/.f64 y (/.f64 t z))
6.0ms	(/.f64 (*.f64 y b) t)
76.0ms	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 (+.f64 a 1.0) (/.f64 (*.f64 y b) t)))

simplify54.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4995	2331
1	4995	2331

prune190.0ms

Filtered

116 candidates to 167 candidates (-44.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	168	14	182

Merged error: 8.0b

Counts

182 → 14

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1.0) (/.f64 y (/.f64 t b)))
3.5b	(/.f64 y (/.f64 t z))
6.2b	(/.f64 y (/.f64 t b))
9.1b	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 (+.f64 a 1.0) (/.f64 y (/.f64 t b))))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 204

Calls

4 calls:

18.0ms	(+.f64 (+.f64 a 1.0) (/.f64 y (/.f64 t b)))
6.0ms	(/.f64 y (/.f64 t z))
6.0ms	(/.f64 y (/.f64 t b))
35.0ms	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 (+.f64 a 1.0) (/.f64 y (/.f64 t b))))

series105.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(+.f64 (+.f64 a 1.0) (/.f64 y (/.f64 t b)))
6.0ms	(/.f64 y (/.f64 t z))
7.0ms	(/.f64 y (/.f64 t b))
82.0ms	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 (+.f64 a 1.0) (/.f64 y (/.f64 t b))))

simplify74.0ms

Algorithm

egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5003	2965

prune173.0ms

Filtered

159 candidates to 216 candidates (-35.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	211	5	216
Fresh	4	9	13
Picked	1	0	1
Done	0	0	0
Total	216	14	230

Merged error: 7.6b

Counts

230 → 14

regimes855.0ms

Accuracy

41.5% (3.2b remaining)

Error of 13.1b against oracle of 9.9b and baseline of 15.4b

bsearch34.0ms

Steps

Iters	Range		Point
6	1.246014428397326e-71	1.2136182143231397e-70	5.1154286064408824e-71
7	-229320086285.10208	-6633447861.382945	-20715212907.95677

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	45
1	43	45

end0.0ms

sample870.0ms

Algorithm

intervals

Results

576.0ms	8000×	body	80	valid
14.0ms	267×	body	80	invalid

Details

analyze1.3s

sample32.0ms

simplify6.0ms

prune4.0ms

localize13.0ms

rewrite35.0ms

series70.0ms

simplify43.0ms

prune173.0ms

localize16.0ms

rewrite40.0ms

series122.0ms

simplify68.0ms

prune192.0ms

localize14.0ms

rewrite48.0ms

series98.0ms

simplify54.0ms

prune190.0ms

localize13.0ms

rewrite74.0ms

series105.0ms

simplify74.0ms

prune173.0ms

regimes855.0ms

bsearch34.0ms

simplify2.0ms

end0.0ms

sample870.0ms

Profiling