Details

sample31.0ms

Algorithm

intervals

Results

12.0ms	73×	body	640	valid
4.0ms	43×	body	320	valid
4.0ms	113×	body	80	valid
3.0ms	15×	body	1280	valid
1.0ms	12×	body	160	valid

simplify18.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	7
1	31	7
2	43	7
3	57	7
4	73	7
5	92	7
6	126	7
7	158	7
8	207	7
9	209	7
10	209	7

prune1.0ms

Filtered

1 candidates to 0 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: 12.0b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (- x 1.0))
0.0b	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
0.0b	(/ 1.0 (+ x 1.0))
3.6b	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

rewrite132.0ms

Algorithm

rewrite-expression-head

Rules

725×	`*-un-lft-identity`
703×	`times-frac`
524×	`add-sqr-sqrt`
492×	`add-cube-cbrt`
468×	`prod-diff`
236×	`associate-+l+`
95×	`distribute-lft-out`
65×	`div-inv`
58×	`associate-/r/`
29×	`flip3-+` `flip-+`
18×	`fma-neg`
17×	`distribute-lft-out--`
12×	`difference-of-squares`
11×	`add-log-exp`
10×	`fma-def`
9×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u`
3×	`flip3--` `frac-add` `flip--`
2×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `clear-num` `sum-log` `frac-sub`
1×	`+-commutative` `associate-+l-`

Counts

4 → 618

Calls

4 calls:

5.0ms	(/ 1.0 (- x 1.0))
21.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
5.0ms	(/ 1.0 (+ x 1.0))
51.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

series341.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ 1.0 (- x 1.0))
58.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
25.0ms	(/ 1.0 (+ x 1.0))
231.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

simplify166.0ms

Algorithm

egg-herbie

Counts

630 → 630

Iterations

Useful iterations: 2 (79.0ms)

Iter	Nodes	Cost
0	1156	10955
1	3607	8288
2	5001	7670

prune1.2s

Filtered

630 candidates to 390 candidates (61.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	627	3	630
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	628	3	631

Merged error: 0.1b

Counts

631 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma 2.0 (/ 1 (pow x 5)) (/ 2.0 (pow x 3)))
0.0b	(/ 1 (pow x 7))
0.1b	(/ 1 (pow x 5))
0.1b	(/ 2.0 (pow x 3))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
61×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
36×	`unpow-prod-down`
27×	`add-exp-log`
26×	`associate-/r*`
15×	`div-exp`
12×	`cube-prod` `sqr-pow`
10×	`add-cbrt-cube`
9×	`associate-/l*`
7×	`pow-to-exp` `pow-exp`
6×	`rec-exp` `1-exp`
4×	`pow1` `expm1-log1p-u` `cube-mult` `unpow3` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `frac-2neg` `clear-num` `div-inv`
2×	`pow-flip` `inv-pow`
1×	`fma-udef`

Counts

4 → 187

Calls

4 calls:

1.0ms	(fma 2.0 (/ 1 (pow x 5)) (/ 2.0 (pow x 3)))
4.0ms	(/ 1 (pow x 7))
5.0ms	(/ 1 (pow x 5))
5.0ms	(/ 2.0 (pow x 3))

series255.0ms

Counts

4 → 12

Calls

4 calls:

116.0ms	(fma 2.0 (/ 1 (pow x 5)) (/ 2.0 (pow x 3)))
57.0ms	(/ 1 (pow x 7))
47.0ms	(/ 1 (pow x 5))
35.0ms	(/ 2.0 (pow x 3))

simplify53.0ms

Algorithm

egg-herbie

Counts

199 → 199

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	450	904
1	2278	777
2	5001	777

prune365.0ms

Filtered

199 candidates to 96 candidates (48.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	195	4	199
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	195	7	202

Merged error: 0.0b

Counts

202 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (pow x 7))
0.1b	(/ 1 (pow x 5))
0.1b	(/ (/ 2.0 (* x x)) x)
0.9b	(/ 2.0 (* x x))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
54×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
36×	`add-exp-log`
24×	`unpow-prod-down`
22×	`add-cbrt-cube`
19×	`div-exp`
18×	`associate-/r*`
16×	`associate-/l*`
9×	`cbrt-undiv`
8×	`div-inv` `sqr-pow`
6×	`pow-to-exp` `rec-exp` `1-exp` `pow-exp`
4×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `add-log-exp`
2×	`pow-flip` `prod-exp` `cbrt-unprod` `inv-pow`
1×	`associate-/l/`

Counts

4 → 183

Calls

4 calls:

5.0ms	(/ 1 (pow x 7))
5.0ms	(/ 1 (pow x 5))
6.0ms	(/ (/ 2.0 (* x x)) x)
5.0ms	(/ 2.0 (* x x))

series163.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(/ 1 (pow x 7))
41.0ms	(/ 1 (pow x 5))
40.0ms	(/ (/ 2.0 (* x x)) x)
24.0ms	(/ 2.0 (* x x))

simplify60.0ms

Algorithm

egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	511	914
1	2528	828
2	5001	768

prune392.0ms

Filtered

195 candidates to 106 candidates (54.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	195	7	202

Merged error: 0.0b

Counts

202 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (pow x 7))
0.1b	(/ 1 (pow x 5))
0.1b	(* (/ 1 (* x x)) (/ 2.0 x))
0.9b	(/ 1 (* x x))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-exp-log`
64×	`times-frac`
60×	`add-sqr-sqrt`
49×	`*-un-lft-identity`
47×	`add-cube-cbrt`
34×	`add-cbrt-cube`
31×	`div-exp`
24×	`unpow-prod-down`
23×	`prod-exp`
15×	`associate-/r*`
14×	`pow1`
13×	`associate-r`
12×	`rec-exp` `1-exp`
11×	`cbrt-undiv`
9×	`cbrt-unprod` `associate-/l*`
8×	`pow-flip` `sqr-pow`
7×	`associate-l`
6×	`pow-to-exp` `pow-exp` `unswap-sqr`
5×	`div-inv`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`frac-2neg` `clear-num` `inv-pow`
2×	`pow-prod-down`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `pow-sqr` `*-commutative` `pow-prod-up`

Counts

4 → 204

Calls

4 calls:

5.0ms	(/ 1 (pow x 7))
5.0ms	(/ 1 (pow x 5))
11.0ms	(* (/ 1 (* x x)) (/ 2.0 x))
5.0ms	(/ 1 (* x x))

series163.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(/ 1 (pow x 7))
42.0ms	(/ 1 (pow x 5))
43.0ms	(* (/ 1 (* x x)) (/ 2.0 x))
17.0ms	(/ 1 (* x x))

simplify79.0ms

Algorithm

egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	649	986
1	3593	855
2	5001	762

prune346.0ms

Filtered

216 candidates to 100 candidates (46.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	217	6	223

Merged error: 0.0b

Counts

223 → 6

regimes42.0ms

Accuracy

99.8% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 32.0b

bsearch141.0ms

Steps

Iters	Range		Point
10	0.00022027325057658872	62623256.830634765	118.6549351488726
10	-206683631373.734	-17.831791951177678	-119.66458981145452

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	24
1	46	24

end0.0ms

sample734.0ms

Algorithm

intervals

Results

268.0ms	1941×	body	640	valid
148.0ms	4133×	body	80	valid
96.0ms	934×	body	320	valid
96.0ms	554×	body	1280	valid
29.0ms	439×	body	160	valid

Details

sample31.0ms

simplify18.0ms

prune1.0ms

localize8.0ms

rewrite132.0ms

series341.0ms

simplify166.0ms

prune1.2s

localize19.0ms

rewrite21.0ms

series255.0ms

simplify53.0ms

prune365.0ms

localize14.0ms

rewrite26.0ms

series163.0ms

simplify60.0ms

prune392.0ms

localize20.0ms

rewrite33.0ms

series163.0ms

simplify79.0ms

prune346.0ms

regimes42.0ms

bsearch141.0ms

simplify2.0ms

end0.0ms

sample734.0ms

Profiling