Details

Time bar (total: 7.4s)

analyze4.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%56.2%43.8%0
0%56.2%43.8%1
0%56.2%43.8%2
42.1%14%43.8%3
42.1%14%43.8%4
52.7%3.5%43.8%5
56.2%0%43.8%6

sample46.0ms

Algorithm
intervals
Results
26.0ms256×body80valid
7.0ms256×pre80true

simplify195.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (186.0ms)

IterNodesCost
0495052
1495052

prune11.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 3.6b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)
0.0b
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))
0.1b
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
3.4b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
804×times-frac
586×*-un-lft-identity
340×add-sqr-sqrt add-cube-cbrt
123×distribute-lft-out
82×associate-/l*
54×associate-/r/
29×flip3-+ flip-+
27×div-inv
20×add-exp-log add-cbrt-cube
13×add-log-exp
10×cbrt-undiv div-exp associate-/r*
6×sum-log
4×pow1 associate-/l/
3×frac-2neg clear-num
1×+-commutative associate-+l+
Counts
4 → 465
Calls
4 calls:
8.0ms
(+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)
22.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))
50.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
14.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))

series63.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)
24.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))
23.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
12.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))

simplify303.0ms

Algorithm
egg-herbie
Counts
477 → 477
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
0497435556
1497435556

prune1.7s

Filtered
288 candidates to 477 candidates (-65.6%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New4689477
Fresh000
Picked101
Done000
Total4699478

Merged error: 1.2b

Counts
478 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ alpha (+ beta 3.0))
0.0b
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))
0.1b
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (+ alpha (+ beta 3.0)))
3.4b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
954×times-frac
833×*-un-lft-identity
383×add-sqr-sqrt add-cube-cbrt
256×distribute-lft-out
82×associate-/l*
62×associate-/r/
33×flip3-+ flip-+
31×div-inv
20×add-exp-log add-cbrt-cube
11×associate-/r*
10×cbrt-undiv div-exp
9×add-log-exp
4×pow1 associate-/l/
3×frac-2neg clear-num sum-log
1×+-commutative associate-+r+
Counts
4 → 526
Calls
4 calls:
5.0ms
(+ alpha (+ beta 3.0))
32.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))
54.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (+ alpha (+ beta 3.0)))
17.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))

series60.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(+ alpha (+ beta 3.0))
21.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))
23.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (+ alpha (+ beta 3.0)))
12.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))

simplify363.0ms

Algorithm
egg-herbie
Counts
538 → 538
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
0498037428
1498037428

prune1.3s

Filtered
285 candidates to 538 candidates (-88.8%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New5317538
Fresh718
Picked011
Done000
Total5389547

Merged error: 1.2b

Counts
547 → 9

localize27.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0)))
3.3b
(sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))
3.3b
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
12.4b
(/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) 1) (* (+ (+ alpha beta) (* 1.0 2.0)) (/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0)))))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
88×times-frac
74×*-un-lft-identity
52×add-sqr-sqrt
50×add-cube-cbrt
48×sqrt-prod
36×add-exp-log
28×associate-/l*
27×add-cbrt-cube
19×div-exp
12×cbrt-undiv distribute-lft-out
8×associate-/r*
7×associate-/r/
6×pow1 flip3-+ sqrt-div prod-exp flip-+
4×cbrt-unprod div-inv add-log-exp
3×1-exp associate-/l/
2×frac-times rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 associate-*l/ clear-num
1×associate-*r/
Counts
4 → 161
Calls
4 calls:
23.0ms
(/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0)))
7.0ms
(sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))
7.0ms
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
44.0ms
(/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) 1) (* (+ (+ alpha beta) (* 1.0 2.0)) (/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0)))))

series164.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0)))
10.0ms
(sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))
9.0ms
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
36.0ms
(/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) 1) (* (+ (+ alpha beta) (* 1.0 2.0)) (/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0)))))

simplify111.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
050146962

prune624.0ms

Filtered
109 candidates to 173 candidates (-58.7%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1721173
Fresh167
Picked011
Done011
Total1739182

Merged error: 1.2b

Counts
182 → 9

localize30.0ms

Local error

Found 4 expressions with local error:

3.3b
(sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))
3.3b
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
11.5b
(cbrt (pow (/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))) 3))
12.4b
(/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) 1) (* (+ (+ alpha beta) (* 1.0 2.0)) (cbrt (pow (/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))) 3))))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
109×times-frac
91×*-un-lft-identity
65×add-sqr-sqrt
63×add-cube-cbrt
60×cbrt-prod
56×sqrt-prod
27×unpow-prod-down cube-prod
25×associate-/l*
21×add-exp-log
14×add-cbrt-cube distribute-lft-out
10×div-exp
9×associate-/r/
8×sqrt-div
6×pow1 cbrt-undiv flip3-+ flip-+
5×div-inv
4×cube-div cbrt-div add-log-exp
3×prod-exp
2×frac-times rem-sqrt-square sqrt-pow1 pow1/2 1-exp associate-*l/ cbrt-unprod
1×cube-mult frac-2neg pow1/3 unpow3 associate-*r/ clear-num associate-/r* rem-cbrt-cube associate-/l/ sqr-pow
Counts
4 → 179
Calls
4 calls:
8.0ms
(sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))
8.0ms
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
29.0ms
(cbrt (pow (/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))) 3))
53.0ms
(/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) 1) (* (+ (+ alpha beta) (* 1.0 2.0)) (cbrt (pow (/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))) 3))))

series134.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))
9.0ms
(sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))
83.0ms
(cbrt (pow (/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))) 3))
30.0ms
(/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) 1) (* (+ (+ alpha beta) (* 1.0 2.0)) (cbrt (pow (/ (+ (+ alpha beta) (* 1.0 2.0)) (sqrt (+ (+ (+ alpha beta) (* alpha beta)) 1.0))) 3))))

simplify122.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049847922
149847922

prune380.0ms

Filtered
103 candidates to 191 candidates (-85.4%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New1910191
Fresh066
Picked011
Done022
Total1919200

Merged error: 1.2b

Counts
200 → 9

regimes177.0ms

Accuracy

58.4% (0.9b remaining)

Error of 2.2b against oracle of 1.2b and baseline of 3.5b

bsearch40.0ms

Steps
ItersRangePoint
10
8.785205138412321e+150
7.599335938965265e+164
1.423893672330808e+162

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02953
12953

end0.0ms

sample986.0ms

Algorithm
intervals
Results
638.0ms8000×body80valid
169.0ms8000×pre80true

Profiling

Loading profile data...