Details

Time bar (total: 5.0s)

sample39.0ms

Algorithm
intervals
Results
16.0ms284×body80valid
5.0ms96×body80nan

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03918
18018
214318
317718
418918
519318
619318

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.5b

localize116.0ms

Local error

Found 4 expressions with local error:

0.6b
(- (* b b) (* (* 4.0 a) c))
0.8b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
25.0b
(sqrt (- (* b b) (* (* 4.0 a) c)))
25.0b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
61×prod-diff
53×add-sqr-sqrt
51×*-un-lft-identity
47×add-cube-cbrt
37×sqrt-prod
22×distribute-rgt-neg-in
21×distribute-lft-neg-in
11×fma-neg
10×add-log-exp
7×neg-mul-1
6×pow1
4×add-exp-log expm1-log1p-u flip3-- sqrt-div add-cbrt-cube flip-- log1p-expm1-u
3×diff-log
2×sub-neg rem-sqrt-square sqrt-pow1 pow1/2 distribute-lft-out-- difference-of-squares
1×associate--l- neg-sub0 neg-log
Counts
4 → 140
Calls
4 calls:
4.0ms
(- (* b b) (* (* 4.0 a) c))
11.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series273.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (* b b) (* (* 4.0 a) c))
79.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
73.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
76.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify65.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
04062988
114311956
250021869

prune385.0ms

Filtered
152 candidates to 80 candidates (52.6%)
Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 8.3b

localize117.0ms

Local error

Found 4 expressions with local error:

0.6b
(- (* b b) (* (* 4.0 a) c))
3.1b
(/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))
6.3b
(/ (* a c) b)
25.0b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
14×add-exp-log add-cbrt-cube
10×add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity
6×times-frac add-log-exp
5×pow1
4×cbrt-undiv expm1-log1p-u div-exp associate-/r* log1p-expm1-u associate-/l*
3×flip3-- sqrt-prod flip--
2×frac-2neg sqrt-div prod-exp clear-num cbrt-unprod div-inv associate-/l/
1×sub-neg rem-sqrt-square sqrt-pow1 pow1/2 fma-neg diff-log div-sub prod-diff
Counts
4 → 82
Calls
4 calls:
4.0ms
(- (* b b) (* (* 4.0 a) c))
10.0ms
(/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))
5.0ms
(/ (* a c) b)
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series215.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(- (* b b) (* (* 4.0 a) c))
79.0ms
(/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))
19.0ms
(/ (* a c) b)
71.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify53.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0454650
12083569
25001564

prune367.0ms

Filtered
94 candidates to 71 candidates (75.5%)
Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 7.1b

localize117.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
0.4b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
0.6b
(- (* b b) (* (* 4.0 a) c))
25.0b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
11×add-sqr-sqrt
10×add-cube-cbrt fma-def add-log-exp
9×add-exp-log add-cbrt-cube
6×distribute-rgt-neg-in distribute-lft-out
5×pow1 times-frac associate-/r*
4×expm1-log1p-u log1p-expm1-u
3×distribute-lft-neg-in sqrt-prod
2×cbrt-undiv flip3-- flip3-+ sqrt-div div-exp sum-log associate-/r/ flip-- flip-+
1×+-commutative neg-sub0 associate-+l- neg-mul-1 sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 fma-neg diff-log prod-diff neg-log prod-exp clear-num cbrt-unprod div-inv associate-/l*
Counts
4 → 89
Calls
4 calls:
12.0ms
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
9.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
4.0ms
(- (* b b) (* (* 4.0 a) c))
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series395.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
80.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
45.0ms
(- (* b b) (* (* 4.0 a) c))
72.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify47.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0400830
11671721
25002704

prune391.0ms

Filtered
101 candidates to 80 candidates (79.2%)
Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.0b

localize121.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* 2.0 c) (/ 1 (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
0.4b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
0.6b
(- (* b b) (* (* 4.0 a) c))
25.0b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
26×add-exp-log
21×associate-*r*
18×add-sqr-sqrt
17×add-cube-cbrt
16×add-cbrt-cube
15×times-frac
12×prod-exp
10×pow1 fma-def add-log-exp
8×distribute-lft-out
7×distribute-rgt-neg-in
6×cbrt-unprod
4×expm1-log1p-u div-exp log1p-expm1-u
3×distribute-lft-neg-in pow-prod-down sqrt-prod
2×cbrt-undiv rec-exp flip3-- flip3-+ sqrt-div 1-exp sum-log associate-/r/ flip-- flip-+
1×+-commutative neg-sub0 associate-+l- neg-mul-1 sub-neg rem-sqrt-square sqrt-pow1 pow1/2 fma-neg diff-log associate-*r/ associate-*l* prod-diff neg-log un-div-inv *-commutative div-inv
Counts
4 → 108
Calls
4 calls:
16.0ms
(* (* 2.0 c) (/ 1 (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
9.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
4.0ms
(- (* b b) (* (* 4.0 a) c))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series423.0ms

Counts
4 → 12
Calls
4 calls:
224.0ms
(* (* 2.0 c) (/ 1 (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
76.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
49.0ms
(- (* b b) (* (* 4.0 a) c))
73.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify66.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
05341029
12502860
25002828

prune387.0ms

Filtered
120 candidates to 84 candidates (70.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 7.0b

regimes225.0ms

Accuracy

92% (1.2b remaining)

Error of 7.6b against oracle of 6.5b and baseline of 20.9b

bsearch144.0ms

Steps
ItersRangePoint
7
9.786063674806627e+75
3.1345211132670796e+77
1.2547862771923703e+77
7
-6.693693221964152e+155
-5.7852921802133654e+153
-1.3278145377969078e+154

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06157
16157

end0.0ms

sample870.0ms

Algorithm
intervals
Results
466.0ms8726×body80valid
145.0ms2982×body80nan