Details

sample42.0ms

Algorithm

intervals

Results

11.0ms	206×	body	80	valid
6.0ms	256×	pre	80	true
4.0ms	15×	body	1280	valid
4.0ms	17×	body	640	valid
2.0ms	12×	body	320	valid
1.0ms	6×	body	160	valid

simplify49.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

prune3.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: 24.4b

Counts

2 → 1

localize16.0ms

Local error

Found 3 expressions with local error:

0.1b

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

2.4b

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

21.2b

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

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

20.0ms

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

30.0ms

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

14.0ms

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

series168.0ms

Counts

3 → 9

Calls

3 calls:

64.0ms

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

83.0ms

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

21.0ms

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

simplify95.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 1 (17.0ms)

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

prune246.0ms

Filtered

89 candidates to 120 candidates (-34.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	113	7	120
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	114	7	121

Merged error: 5.6b

Counts

121 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))
0.0b	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
3.2b	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
4.3b	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

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

13.0ms	(/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))
20.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
41.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)

series206.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))
38.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
66.0ms	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
86.0ms	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

simplify75.0ms

Algorithm

egg-herbie

Counts

307 → 307

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1080	4781
1	5001	4605

prune605.0ms

Filtered

201 candidates to 307 candidates (-52.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	302	5	307
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	305	9	314

Merged error: 5.5b

Counts

314 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite139.0ms

Algorithm

rewrite-expression-head

Rules

147×	`times-frac`
137×	`*-un-lft-identity`
102×	`add-sqr-sqrt`
90×	`associate-r`
69×	`add-cube-cbrt`
22×	`distribute-lft-out`
14×	`add-exp-log` `add-cbrt-cube`
12×	`cbrt-prod` `distribute-lft-out--` `difference-of-squares`
10×	`flip3-+` `associate-/r/` `flip-+`
7×	`pow1`
6×	`unpow-prod-down` `cube-prod` `add-log-exp`
5×	`div-inv`
4×	`cube-div` `associate-l`
3×	`cbrt-undiv` `pow-unpow` `div-exp` `prod-exp` `cbrt-unprod` `unswap-sqr`
2×	`cube-mult` `frac-times` `cbrt-div` `unpow3` `associate-*l/` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `pow1/3` `associate-r/` `pow-prod-down` `pow-exp` `sum-log` `-commutative` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 176

Calls

4 calls:

32.0ms	(pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3)
27.0ms	(cbrt (pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3))
42.0ms	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
28.0ms	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

series467.0ms

Counts

4 → 12

Calls

4 calls:

234.0ms	(pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3)
85.0ms	(cbrt (pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3))
63.0ms	(* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
85.0ms	(+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0)

simplify53.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	976	3078
1	5002	2920

prune407.0ms

Filtered

119 candidates to 188 candidates (-58.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	184	4	188
Fresh	4	4	8
Picked	0	1	1
Done	0	0	0
Total	188	9	197

Merged error: 5.5b

Counts

197 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
0.4b	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
3.2b	(* (+ alpha beta) (/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))
6.0b	(+ (* (+ alpha beta) (/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)

rewrite832.0ms

Algorithm

rewrite-expression-head

Rules

6211×	`times-frac`
4294×	`*-un-lft-identity`
3048×	`add-sqr-sqrt`
2585×	`sqrt-prod`
2326×	`add-cube-cbrt`
1077×	`associate-r`
645×	`distribute-lft-out`
339×	`distribute-lft-out--` `difference-of-squares`
262×	`associate-/r/`
174×	`associate-/l*`
134×	`flip3-+` `flip-+`
131×	`div-inv`
36×	`sqrt-div`
32×	`add-exp-log` `add-cbrt-cube`
15×	`cbrt-undiv` `div-exp`
14×	`associate-/r*`
11×	`unswap-sqr`
6×	`pow1` `add-log-exp`
5×	`div-sub`
4×	`associate-l` `prod-exp` `cbrt-unprod`
2×	`frac-times` `frac-2neg` `associate-*l/` `clear-num` `associate-/l/`
1×	`+-commutative` `associate-r/` `pow-prod-down` `sum-log` `-commutative`

Counts

4 → 2569

Calls

4 calls:

75.0ms	(/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
29.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
291.0ms	(* (+ alpha beta) (/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))
105.0ms	(+ (* (+ alpha beta) (/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)

series236.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
41.0ms	(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))
66.0ms	(* (+ alpha beta) (/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))
88.0ms	(+ (* (+ alpha beta) (/ (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)

simplify691.0ms

Algorithm

egg-herbie

Counts

2581 → 2581

Iterations

Useful iterations: 1 (85.0ms)

Iter	Nodes	Cost
0	4498	69088
1	5001	65499

prune9.3s

Filtered

845 candidates to 2581 candidates (-205.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	2580	1	2581
Fresh	0	7	7
Picked	0	1	1
Done	1	0	1
Total	2581	9	2590

Merged error: 5.5b

Counts

2590 → 9

regimes327.0ms

Accuracy

12.1% (5.7b remaining)

Error of 11.6b against oracle of 5.9b and baseline of 12.4b

bsearch30.0ms

Steps

Iters	Range		Point
6	3.506225692867006e+254	1.831514075701899e+255	3.641337197110537e+254

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	32
1	48	32

end0.0ms

sample1.2s

Algorithm

intervals

Results

359.0ms	6352×	body	80	valid
173.0ms	8000×	pre	80	true
151.0ms	520×	body	1280	valid
132.0ms	590×	body	640	valid
62.0ms	359×	body	320	valid
22.0ms	179×	body	160	valid

Details

sample42.0ms

simplify49.0ms

prune3.0ms

localize16.0ms

rewrite68.0ms

series168.0ms

simplify95.0ms

prune246.0ms

localize13.0ms

rewrite122.0ms

series206.0ms

simplify75.0ms

prune605.0ms

localize17.0ms

rewrite139.0ms

series467.0ms

simplify53.0ms

prune407.0ms

localize15.0ms

rewrite832.0ms

series236.0ms

simplify691.0ms

prune9.3s

regimes327.0ms

bsearch30.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling