Details

sample29.0ms

Algorithm

intervals

Results

5.0ms	180×	body	80	valid
4.0ms	29×	body	1280	valid
4.0ms	256×	pre	80	true
3.0ms	29×	body	640	valid
1.0ms	14×	body	320	valid
0.0ms	4×	body	160	valid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5041	13

prune10.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: 17.8b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
1.8b	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
25×	`times-frac`
19×	`distribute-lft-out`
14×	`add-cube-cbrt`
6×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
2×	`pow1` `flip3-+` `div-sub` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3--` `frac-2neg` `div-exp` `clear-num` `sum-log` `flip--` `div-inv`

Counts

2 → 65

Calls

2 calls:

10.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
17.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

series19.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
12.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

simplify47.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5370	1005

prune106.0ms

Filtered

48 candidates to 71 candidates (-47.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	63	8	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	8	72

Merged error: 17.1b

Counts

72 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ beta (+ alpha 2.0))) 1.0))
0.0b	(/ beta (+ (+ alpha beta) 2.0))
0.0b	(/ alpha (+ beta (+ alpha 2.0)))
1.8b	(- (/ alpha (+ beta (+ alpha 2.0))) 1.0)

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

71×	`*-un-lft-identity`
34×	`add-sqr-sqrt`
32×	`times-frac`
24×	`add-cube-cbrt` `distribute-lft-out`
11×	`add-log-exp`
10×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
4×	`pow1` `diff-log` `associate-/r/` `distribute-lft-out--` `difference-of-squares`
3×	`sub-neg` `flip3--` `flip--`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `frac-sub` `flip-+` `div-inv` `associate--r+`
1×	`associate--r-`

Counts

4 → 111

Calls

4 calls:

26.0ms	(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ beta (+ alpha 2.0))) 1.0))
7.0ms	(/ beta (+ (+ alpha beta) 2.0))
7.0ms	(/ alpha (+ beta (+ alpha 2.0)))
13.0ms	(- (/ alpha (+ beta (+ alpha 2.0))) 1.0)

series38.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ beta (+ alpha 2.0))) 1.0))
7.0ms	(/ beta (+ (+ alpha beta) 2.0))
6.0ms	(/ alpha (+ beta (+ alpha 2.0)))
14.0ms	(- (/ alpha (+ beta (+ alpha 2.0))) 1.0)

simplify46.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	6016	1696

prune185.0ms

Filtered

88 candidates to 123 candidates (-39.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	117	6	123
Fresh	6	1	7
Picked	1	0	1
Done	0	0	0
Total	124	7	131

Merged error: 3.2b

Counts

131 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

1.8b	(- (/ alpha (+ beta (+ alpha 2.0))) 1.0)
6.9b	(cbrt (/ beta (+ alpha (+ beta 2.0))))
6.9b	(cbrt (/ beta (+ alpha (+ beta 2.0))))
6.9b	(cbrt (/ beta (+ alpha (+ beta 2.0))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

78×	`*-un-lft-identity`
63×	`cbrt-prod`
46×	`times-frac`
36×	`add-sqr-sqrt`
31×	`add-cube-cbrt`
27×	`distribute-lft-out`
6×	`associate-/r/` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`cbrt-div` `flip3-+` `pow1/3` `flip-+` `div-inv`
2×	`difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--`

Counts

4 → 105

Calls

4 calls:

13.0ms	(- (/ alpha (+ beta (+ alpha 2.0))) 1.0)
7.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))
7.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))
7.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))

series77.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (/ alpha (+ beta (+ alpha 2.0))) 1.0)
21.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))
21.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))
24.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))

simplify39.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5082	1713

prune302.0ms

Filtered

92 candidates to 117 candidates (-27.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	113	4	117
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	116	8	124

Merged error: 3.2b

Counts

124 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

6.9b	(cbrt (/ beta (+ alpha (+ beta 2.0))))
6.9b	(cbrt (/ beta (+ alpha (+ beta 2.0))))
6.9b	(cbrt (/ beta (+ beta (+ alpha 2.0))))
9.0b	(log (exp (cbrt (/ beta (+ beta (+ alpha 2.0))))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

102×	`*-un-lft-identity`
84×	`cbrt-prod`
60×	`times-frac`
42×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`distribute-lft-out`
25×	`log-pow`
24×	`exp-prod`
8×	`associate-/r/`
5×	`pow1`
4×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+` `div-inv` `add-log-exp`
3×	`cbrt-div` `log-prod` `pow1/3`
1×	`rem-log-exp`

Counts

4 → 126

Calls

4 calls:

7.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))
7.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))
9.0ms	(cbrt (/ beta (+ beta (+ alpha 2.0))))
10.0ms	(log (exp (cbrt (/ beta (+ beta (+ alpha 2.0))))))

series89.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))
25.0ms	(cbrt (/ beta (+ alpha (+ beta 2.0))))
21.0ms	(cbrt (/ beta (+ beta (+ alpha 2.0))))
22.0ms	(log (exp (cbrt (/ beta (+ beta (+ alpha 2.0))))))

simplify36.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5499	1819

prune352.0ms

Filtered

104 candidates to 138 candidates (-32.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	135	3	138
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	136	10	146

Merged error: 3.2b

Counts

146 → 10

regimes152.0ms

Accuracy

76.9% (3.0b remaining)

Error of 6.1b against oracle of 3.1b and baseline of 16.2b

bsearch24.0ms

Steps

Iters	Range		Point
10	2.9016892524844344e+21	1.7033710102918882e+33	9.101691238264905e+21

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	274	96
1	274	96

end0.0ms

sample779.0ms

Algorithm

intervals

Results

174.0ms	5833×	body	80	valid
125.0ms	814×	body	1280	valid
120.0ms	8000×	pre	80	true
87.0ms	710×	body	640	valid
39.0ms	443×	body	320	valid
12.0ms	200×	body	160	valid

Details

sample29.0ms

simplify55.0ms

prune10.0ms

localize8.0ms

rewrite29.0ms

series19.0ms

simplify47.0ms

prune106.0ms

localize11.0ms

rewrite56.0ms

series38.0ms

simplify46.0ms

prune185.0ms

localize15.0ms

rewrite37.0ms

series77.0ms

simplify39.0ms

prune302.0ms

localize21.0ms

rewrite38.0ms

series89.0ms

simplify36.0ms

prune352.0ms

regimes152.0ms

bsearch24.0ms

simplify4.0ms

end0.0ms

sample779.0ms

Profiling