Details

analyze884.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
3.1%	96.7%	0.2%	7
6.2%	93.6%	0.2%	8
8.6%	91.2%	0.2%	9
28.1%	71.7%	0.2%	10
31%	68.8%	0.2%	11
40.5%	59.3%	0.2%	12
49.6%	50.2%	0.2%	13
59%	40.8%	0.2%	14

sample22.0ms

Algorithm

intervals

Results

11.0ms	256×	body	80	valid
0.0ms	10×	body	80	invalid

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5153	17

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 8.3b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 t z) x)
0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
0.3b	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1.0))
11.4b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

44×	`*-un-lft-identity_binary64`
25×	`times-frac_binary64`
22×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
11×	`distribute-lft-out_binary64`
8×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`associate-/r_binary64` `associate-/l_binary64`
4×	`associate-/l/_binary64` `pow1_binary64` `associate-/r/_binary64` `div-sub_binary64`
3×	`flip3-+_binary64` `flip3--_binary64` `flip--_binary64` `flip-+_binary64`
2×	`associate-+r-_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 97

Calls

4 calls:

4.0ms	(-.f64 (*.f64 t z) x)
14.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
20.0ms	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1.0))
10.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))

series98.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(-.f64 (*.f64 t z) x)
29.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
42.0ms	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1.0))
20.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))

simplify56.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5083	1911

prune155.0ms

Filtered

84 candidates to 109 candidates (-29.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	98	11	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	11	110

Merged error: 1.2b

Counts

110 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 (-.f64 (.f64 y z) x) (/.f64 1 (-.f64 (*.f64 z t) x))))
0.3b	(/.f64 (+.f64 x (.f64 (-.f64 (.f64 y z) x) (/.f64 1 (-.f64 (*.f64 z t) x)))) (+.f64 x 1.0))
0.3b	(/.f64 1 (-.f64 (*.f64 z t) x))
11.3b	(.f64 (-.f64 (.f64 y z) x) (/.f64 1 (-.f64 (*.f64 z t) x)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64`
36×	`add-sqr-sqrt_binary64`
32×	`times-frac_binary64`
29×	`add-cube-cbrt_binary64`
19×	`add-exp-log_binary64`
15×	`associate-r_binary64`
13×	`add-cbrt-cube_binary64`
7×	`associate-/r*_binary64` `pow1_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64` `associate-/l*_binary64`
5×	`div-exp_binary64`
4×	`flip3--_binary64` `distribute-lft-out_binary64` `prod-exp_binary64` `flip--_binary64`
3×	`flip3-+_binary64` `cbrt-undiv_binary64` `associate-l_binary64` `unswap-sqr_binary64` `div-inv_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `1-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `inv-pow_binary64` `un-div-inv_binary64` `+-commutative_binary64` `pow-flip_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 121

Calls

4 calls:

4.0ms	(+.f64 x (.f64 (-.f64 (.f64 y z) x) (/.f64 1 (-.f64 (*.f64 z t) x))))
8.0ms	(/.f64 (+.f64 x (.f64 (-.f64 (.f64 y z) x) (/.f64 1 (-.f64 (*.f64 z t) x)))) (+.f64 x 1.0))
6.0ms	(/.f64 1 (-.f64 (*.f64 z t) x))
14.0ms	(.f64 (-.f64 (.f64 y z) x) (/.f64 1 (-.f64 (*.f64 z t) x)))

series100.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(+.f64 x (.f64 (-.f64 (.f64 y z) x) (/.f64 1 (-.f64 (*.f64 z t) x))))
42.0ms	(/.f64 (+.f64 x (.f64 (-.f64 (.f64 y z) x) (/.f64 1 (-.f64 (*.f64 z t) x)))) (+.f64 x 1.0))
8.0ms	(/.f64 1 (-.f64 (*.f64 z t) x))
21.0ms	(.f64 (-.f64 (.f64 y z) x) (/.f64 1 (-.f64 (*.f64 z t) x)))

simplify46.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4998	2041
1	4998	2041

prune122.0ms

Filtered

85 candidates to 133 candidates (-56.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	133	11	144

Merged error: 1.2b

Counts

144 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))
0.1b	(/.f64 1 (/.f64 (+.f64 x 1.0) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))))
0.3b	(/.f64 (+.f64 x 1.0) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))))
11.4b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

167×	`*-un-lft-identity_binary64`
155×	`times-frac_binary64`
81×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
43×	`distribute-lft-out_binary64`
29×	`associate-/r*_binary64`
19×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64` `associate-/r/_binary64`
10×	`associate-/l*_binary64`
9×	`div-exp_binary64`
7×	`flip3-+_binary64` `div-inv_binary64` `flip-+_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64` `cbrt-undiv_binary64`
4×	`associate-/l/_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64`
2×	`flip3--_binary64` `1-exp_binary64` `div-sub_binary64` `rec-exp_binary64` `flip--_binary64`
1×	`associate-+r-_binary64` `inv-pow_binary64` `+-commutative_binary64` `pow-flip_binary64` `sum-log_binary64`

Counts

4 → 197

Calls

4 calls:

12.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))
19.0ms	(/.f64 1 (/.f64 (+.f64 x 1.0) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))))
16.0ms	(/.f64 (+.f64 x 1.0) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))))
10.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))

series126.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))
42.0ms	(/.f64 1 (/.f64 (+.f64 x 1.0) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x)))))
34.0ms	(/.f64 (+.f64 x 1.0) (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))))
21.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 z t) x))

simplify65.0ms

Algorithm

egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5202	4988

prune164.0ms

Filtered

120 candidates to 209 candidates (-74.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	208	1	209
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	210	10	220

Merged error: 1.2b

Counts

220 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 t z) x)
0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
0.3b	(.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (*.f64 t z) x))) (/.f64 1 (+.f64 x 1.0)))
11.4b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 102

Calls

4 calls:

4.0ms	(-.f64 (*.f64 t z) x)
12.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
21.0ms	(.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (*.f64 t z) x))) (/.f64 1 (+.f64 x 1.0)))
9.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))

series98.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(-.f64 (*.f64 t z) x)
29.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
40.0ms	(.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (*.f64 t z) x))) (/.f64 1 (+.f64 x 1.0)))
22.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))

simplify51.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5865	1866

prune91.0ms

Filtered

86 candidates to 114 candidates (-32.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	114	10	124

Merged error: 1.2b

Counts

124 → 10

regimes367.0ms

Accuracy

62% (2.5b remaining)

Error of 3.5b against oracle of 1.0b and baseline of 7.6b

bsearch22.0ms

Steps

Iters	Range		Point
5	1.5611912493813254e+84	6.1525327754357184e+84	3.0393366045932753e+84
6	-4.1133703840226896e+138	-3.331301443496535e+137	-3.487919808730238e+137

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	37
1	45	37

end0.0ms

sample572.0ms

Algorithm

intervals

Results

362.0ms	8000×	body	80	valid
14.0ms	333×	body	80	invalid

Details

analyze884.0ms

sample22.0ms

simplify51.0ms

prune7.0ms

localize15.0ms

rewrite51.0ms

series98.0ms

simplify56.0ms

prune155.0ms

localize12.0ms

rewrite35.0ms

series100.0ms

simplify46.0ms

prune122.0ms

localize12.0ms

rewrite67.0ms

series126.0ms

simplify65.0ms

prune164.0ms

localize12.0ms

rewrite49.0ms

series98.0ms

simplify51.0ms

prune91.0ms

regimes367.0ms

bsearch22.0ms

simplify2.0ms

end0.0ms

sample572.0ms

Profiling