Details

sample34.0ms

Algorithm

intervals

Results

8.0ms	202×	body	80	valid
4.0ms	256×	pre	80	true
4.0ms	22×	body	640	valid
3.0ms	15×	body	1280	valid
1.0ms	11×	body	320	valid
1.0ms	6×	body	160	valid

simplify52.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	14
1	103	14
2	454	14
3	2127	14
4	5001	14

prune2.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: 22.7b

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b

(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))

2.0b

(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)

18.7b

(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

54×	`times-frac`
47×	`*-un-lft-identity`
25×	`add-sqr-sqrt` `add-cube-cbrt`
17×	`add-exp-log` `add-cbrt-cube`
14×	`associate-/r/`
11×	`flip3-+` `flip-+` `distribute-lft-out`
10×	`associate-/l*`
9×	`associate-/l/`
7×	`cbrt-undiv` `div-exp` `associate-/r*` `div-inv`
5×	`add-log-exp`
4×	`frac-times`
3×	`pow1` `flip3--` `flip--`
2×	`frac-2neg` `associate-r/` `associate-l/` `prod-exp` `clear-num` `cbrt-unprod`
1×	`+-commutative` `sum-log`

Counts

3 → 111

Calls

3 calls:

21.0ms

(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))

29.0ms

(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)

17.0ms

(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))

series594.0ms

Counts

3 → 9

Calls

3 calls:

233.0ms

(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))

279.0ms

(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)

82.0ms

(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))

simplify93.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	681	1905
1	3622	1789
2	5003	1789

prune528.0ms

Filtered

120 candidates to 89 candidates (74.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	111	9	120
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	9	121

Merged error: 6.0b

Counts

121 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))
0.1b	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
1.3b	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
4.0b	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

rewrite115.0ms

Algorithm

rewrite-expression-head

Rules

321×	`times-frac`
290×	`*-un-lft-identity`
211×	`add-sqr-sqrt`
140×	`add-cube-cbrt`
90×	`associate-r`
44×	`distribute-lft-out`
31×	`distribute-lft-out--` `difference-of-squares`
26×	`associate-/l*`
24×	`associate-/r/`
20×	`add-exp-log` `add-cbrt-cube`
15×	`flip3-+` `flip-+`
12×	`div-inv`
7×	`cbrt-undiv` `div-exp` `associate-/r*`
6×	`pow1` `add-log-exp`
4×	`associate-l`
3×	`div-sub` `prod-exp` `cbrt-unprod` `associate-/l/` `unswap-sqr`
2×	`frac-times` `frac-2neg` `associate-*l/` `clear-num`
1×	`+-commutative` `flip3--` `associate-r/` `pow-prod-down` `sum-log` `-commutative` `flip--`

Counts

4 → 295

Calls

4 calls:

10.0ms	(/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))
22.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
38.0ms	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
26.0ms	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

series734.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))
158.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
225.0ms	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
276.0ms	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

simplify74.0ms

Algorithm

egg-herbie

Counts

307 → 307

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1080	4781
1	5001	4605

prune656.0ms

Filtered

307 candidates to 200 candidates (65.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	301	6	307
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	306	10	316

Merged error: 6.0b

Counts

316 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
0.1b	(cbrt (pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3))
1.3b	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
4.0b	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

306×	`times-frac`
275×	`*-un-lft-identity`
196×	`add-sqr-sqrt`
133×	`add-cube-cbrt`
90×	`associate-r`
44×	`distribute-lft-out`
27×	`distribute-lft-out--` `difference-of-squares`
22×	`associate-/r/`
21×	`associate-/l*`
18×	`add-exp-log` `add-cbrt-cube`
15×	`flip3-+` `flip-+`
12×	`cbrt-prod`
11×	`div-inv`
6×	`pow1` `cbrt-undiv` `div-exp` `add-log-exp`
4×	`associate-l` `associate-/r*`
3×	`unpow-prod-down` `cube-prod` `prod-exp` `cbrt-unprod` `unswap-sqr`
2×	`cube-div` `frac-times` `cbrt-div` `div-sub` `associate-*l/`
1×	`+-commutative` `cube-mult` `frac-2neg` `pow1/3` `unpow3` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `rem-cbrt-cube` `associate-/l/` `sqr-pow`

Counts

4 → 278

Calls

4 calls:

19.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
31.0ms	(cbrt (pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3))
38.0ms	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
29.0ms	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

series930.0ms

Counts

4 → 12

Calls

4 calls:

157.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
270.0ms	(cbrt (pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3))
226.0ms	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
277.0ms	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

simplify79.0ms

Algorithm

egg-herbie

Counts

290 → 290

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1121	4976
1	5001	4843

prune774.0ms

Filtered

290 candidates to 186 candidates (64.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	282	8	290
Fresh	7	2	9
Picked	1	0	1
Done	0	0	0
Total	290	10	300

Merged error: 6.0b

Counts

300 → 10

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
1.3b	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
1.8b	(+ (log (exp (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) 1.0)
2.3b	(log (exp (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

306×	`times-frac`
277×	`*-un-lft-identity`
195×	`add-sqr-sqrt`
132×	`add-cube-cbrt`
90×	`associate-r`
46×	`distribute-lft-out`
27×	`distribute-lft-out--` `difference-of-squares`
22×	`associate-/r/`
21×	`associate-/l*`
18×	`add-exp-log` `add-cbrt-cube`
14×	`flip3-+` `flip-+`
11×	`div-inv`
8×	`pow1` `add-log-exp`
6×	`cbrt-undiv` `log-prod` `div-exp`
5×	`log-pow`
4×	`associate-l` `associate-/r*`
3×	`associate-+l+` `prod-exp` `cbrt-unprod` `unswap-sqr`
2×	`frac-times` `exp-to-pow` `div-sub` `associate-*l/` `sum-log`
1×	`+-commutative` `exp-prod` `frac-2neg` `associate-r/` `rem-log-exp` `pow-prod-down` `clear-num` `-commutative` `associate-/l/`

Counts

4 → 275

Calls

4 calls:

20.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
38.0ms	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
6.0ms	(+ (log (exp (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) 1.0)
3.0ms	(log (exp (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))))

series901.0ms

Counts

4 → 12

Calls

4 calls:

163.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
236.0ms	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
274.0ms	(+ (log (exp (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) 1.0)
228.0ms	(log (exp (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))))

simplify80.0ms

Algorithm

egg-herbie

Counts

287 → 287

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1074	4724
1	5001	4534

prune859.0ms

Filtered

287 candidates to 189 candidates (65.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	286	1	287
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	287	10	297

Merged error: 6.0b

Counts

297 → 10

regimes383.0ms

Accuracy

74.2% (1.7b remaining)

Error of 7.5b against oracle of 5.8b and baseline of 12.3b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	46
1	56	46

end0.0ms

sample845.0ms

Algorithm

intervals

Results

264.0ms	6387×	body	80	valid
130.0ms	8000×	pre	80	true
111.0ms	527×	body	1280	valid
96.0ms	562×	body	640	valid
42.0ms	346×	body	320	valid
17.0ms	178×	body	160	valid

Details

sample34.0ms

simplify52.0ms

prune2.0ms

localize12.0ms

rewrite72.0ms

series594.0ms

simplify93.0ms

prune528.0ms

localize17.0ms

rewrite115.0ms

series734.0ms

simplify74.0ms

prune656.0ms

localize17.0ms

rewrite135.0ms

series930.0ms

simplify79.0ms

prune774.0ms

localize24.0ms

rewrite88.0ms

series901.0ms

simplify80.0ms

prune859.0ms

regimes383.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample845.0ms

Profiling