Details

Time bar (total: 22.8s)

sample35.0ms

Algorithm
intervals
Results
14.0ms279×body80valid
5.0ms110×body80nan

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03518
16618
211618
314418
415918
516118
616118

prune3.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 19.7b

Counts
2 → 1

localize117.0ms

Local error

Found 4 expressions with local error:

1.8b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
2.0b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
22.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))
22.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
102×add-sqr-sqrt
49×sqrt-prod
38×*-un-lft-identity
36×unswap-sqr
32×difference-of-squares
18×associate-*l*
14×distribute-lft-out--
12×add-log-exp
6×pow1 add-cube-cbrt swap-sqr *-commutative
4×add-exp-log sqrt-div add-cbrt-cube
3×flip3-- flip--
2×neg-sub0 rem-sqrt-square distribute-rgt-neg-in sqrt-pow1 pow1/2 diff-log neg-log sum-log distribute-lft-out
1×+-commutative associate--l- associate-+l- sub-neg flip3-+ flip-+
Counts
4 → 105
Calls
4 calls:
32.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
37.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
22.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
22.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series300.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
77.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
71.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
73.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify141.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 3 (129.0ms)

IterNodesCost
03131102
110291062
241751047
350011031

prune284.0ms

Filtered
117 candidates to 72 candidates (38.5%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1107117
Fresh000
Picked101
Done000
Total1117118

Merged error: 7.2b

Counts
118 → 7

localize120.0ms

Local error

Found 4 expressions with local error:

1.8b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
3.2b
(/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b)))
5.3b
(/ (* a c) b)
22.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
593×add-sqr-sqrt
268×times-frac
211×*-un-lft-identity
194×unswap-sqr
121×associate-*l*
119×difference-of-squares
91×add-cube-cbrt
60×associate-*r*
58×distribute-lft-out--
24×sqrt-prod associate-/l*
23×*-commutative
18×associate-/r*
14×add-exp-log add-cbrt-cube
8×add-log-exp
5×pow1
4×cbrt-undiv div-exp
3×swap-sqr
2×flip3-- frac-2neg sqrt-div prod-exp clear-num sum-log associate-/r/ flip-- cbrt-unprod div-inv distribute-lft-out
1×+-commutative neg-sub0 associate-+l- rem-sqrt-square distribute-rgt-neg-in sqrt-pow1 flip3-+ pow1/2 neg-log flip-+
Counts
4 → 339
Calls
4 calls:
34.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
55.0ms
(/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b)))
7.0ms
(/ (* a c) b)
40.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series242.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
68.0ms
(/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b)))
20.0ms
(/ (* a c) b)
73.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify72.0ms

Algorithm
egg-herbie
Counts
351 → 351
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
012114477
150024399

prune1.0s

Filtered
351 candidates to 229 candidates (34.8%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New3447351
Fresh336
Picked101
Done000
Total34810358

Merged error: 6.7b

Counts
358 → 10

localize126.0ms

Local error

Found 4 expressions with local error:

1.8b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
3.0b
(* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))
3.2b
(/ (* 2.0 c) (- (* 2.0 (* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))) (* 2 b)))
22.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite642.0ms

Algorithm
rewrite-expression-head
Rules
4679×add-sqr-sqrt
2316×times-frac
1510×unswap-sqr
1050×cbrt-prod
803×*-un-lft-identity
682×add-cube-cbrt
613×difference-of-squares
516×frac-times
473×associate-/r*
470×associate-/l*
359×associate-*l*
184×associate-*r*
156×associate-/l/
73×add-cbrt-cube
72×clear-num
71×frac-2neg
58×*-commutative distribute-lft-out--
46×cbrt-undiv
43×associate-*l/
30×add-exp-log
24×sqrt-prod
22×cbrt-unprod div-inv
12×associate-*r/
11×div-exp
8×add-log-exp
7×pow1 prod-exp
3×swap-sqr
2×flip3-- sqrt-div sum-log associate-/r/ un-div-inv flip-- distribute-lft-out
1×+-commutative neg-sub0 associate-+l- rem-sqrt-square distribute-rgt-neg-in sqrt-pow1 flip3-+ pow1/2 pow-prod-down neg-log flip-+
Counts
4 → 1556
Calls
4 calls:
32.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
77.0ms
(* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))
301.0ms
(/ (* 2.0 c) (- (* 2.0 (* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))) (* 2 b)))
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series314.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
52.0ms
(* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))
102.0ms
(/ (* 2.0 c) (- (* 2.0 (* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))) (* 2 b)))
78.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify306.0ms

Algorithm
egg-herbie
Counts
1568 → 1568
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
0500133710

prune7.7s

Filtered
1568 candidates to 1205 candidates (23.2%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New156171568
Fresh549
Picked101
Done000
Total1567111578

Merged error: 6.4b

Counts
1578 → 11

localize123.0ms

Local error

Found 4 expressions with local error:

1.8b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
3.0b
(* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))
3.0b
(/ c (/ (- (* 2.0 (* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))) (* 2 b)) 2.0))
22.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite671.0ms

Algorithm
rewrite-expression-head
Rules
4790×add-sqr-sqrt
2805×times-frac
1456×unswap-sqr
1050×cbrt-prod
1022×*-un-lft-identity
901×add-cube-cbrt
613×difference-of-squares
586×associate-/r*
516×frac-times
514×associate-/l*
197×associate-*l*
158×associate-/l/
73×clear-num add-cbrt-cube
72×frac-2neg
61×associate-/r/
58×distribute-lft-out--
47×cbrt-undiv
43×associate-*l/
30×add-exp-log
26×div-inv
24×sqrt-prod
22×associate-*r*
21×cbrt-unprod
12×associate-*r/ div-exp
8×add-log-exp
7×pow1
6×prod-exp
4×*-commutative
3×swap-sqr
2×flip3-- sqrt-div sum-log un-div-inv flip-- distribute-lft-out
1×+-commutative neg-sub0 associate-+l- rem-sqrt-square distribute-rgt-neg-in sqrt-pow1 flip3-+ pow1/2 pow-prod-down neg-log flip-+
Counts
4 → 1569
Calls
4 calls:
36.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
75.0ms
(* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))
319.0ms
(/ c (/ (- (* 2.0 (* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))) (* 2 b)) 2.0))
22.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series321.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
53.0ms
(* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))
104.0ms
(/ c (/ (- (* 2.0 (* (/ (/ a (cbrt b)) (cbrt b)) (/ c (cbrt b)))) (* 2 b)) 2.0))
82.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify333.0ms

Algorithm
egg-herbie
Counts
1581 → 1581
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
0500232627

prune8.5s

Filtered
1581 candidates to 1311 candidates (17.1%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New157651581
Fresh5510
Picked101
Done000
Total1582101592

Merged error: 6.4b

Counts
1592 → 10

regimes246.0ms

Accuracy

93.2% (1.0b remaining)

Error of 7.7b against oracle of 6.7b and baseline of 20.8b

bsearch86.0ms

Steps
ItersRangePoint
0
1.3836563058951246e+50
1.390978468581987e+50
1.3873173872385558e+50
8
-2.283181266341636e+156
-6.52330204454965e+152
-1.337391455611001e+154

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06173
16173

end0.0ms

sample815.0ms

Algorithm
intervals
Results
447.0ms8726×body80valid
128.0ms2780×body80nan