Details

Time bar (total: 16.1s)

sample84.0ms

Algorithm
intervals
Results
36.0ms283×body80valid
11.0ms79×body80nan

simplify234.0ms

Counts
1 → 1
Iterations
IterNodes
done193
6193
5189
4179
3143
279
139
020

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.7b

localize158.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)
1.6b
(- (- b) (sqrt (fma (* 4.0 a) (- c) (* b b))))
24.4b
(sqrt (fma (* 4.0 a) (- c) (* b b)))
24.4b
(sqrt (fma (* 4.0 a) (- c) (* b b)))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
78×prod-diff
71×add-sqr-sqrt
67×*-un-lft-identity
61×add-cube-cbrt
50×sqrt-prod
22×distribute-rgt-neg-in
21×distribute-lft-neg-in
16×fma-neg
10×add-log-exp
7×neg-mul-1
6×pow1
4×expm1-log1p-u add-cbrt-cube add-exp-log log1p-expm1-u difference-of-squares
3×diff-log distribute-lft-out--
2×rem-sqrt-square sub-neg sqrt-pow1 flip3-- pow1/2 flip--
1×associate--l- neg-sub0 neg-log
Counts
4 → 161
Calls
4 calls:
19.0ms
(- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)
33.0ms
(- (- b) (sqrt (fma (* 4.0 a) (- c) (* b b))))
2.0ms
(sqrt (fma (* 4.0 a) (- c) (* b b)))
6.0ms
(sqrt (fma (* 4.0 a) (- c) (* b b)))

series493.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)
100.0ms
(- (- b) (sqrt (fma (* 4.0 a) (- c) (* b b))))
114.0ms
(sqrt (fma (* 4.0 a) (- c) (* b b)))
140.0ms
(sqrt (fma (* 4.0 a) (- c) (* b b)))

simplify2.1s

Counts
173 → 173
Iterations
IterNodes
done5000
21758
1430
0194

prune789.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 9.8b

localize140.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ (* 2.0 c) (- (sqrt (fma (* 4.0 a) (- c) (* b b))) b))
1.3b
(- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)
24.4b
(sqrt (fma (* 4.0 a) (- c) (* b b)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
26×*-un-lft-identity
20×add-cube-cbrt
18×prod-diff sqrt-prod
8×add-cbrt-cube add-exp-log
6×associate-/r* times-frac fma-neg difference-of-squares
5×add-log-exp
4×pow1
3×expm1-log1p-u log1p-expm1-u distribute-lft-out--
2×cbrt-undiv flip3-- div-exp associate-/r/ flip--
1×rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log prod-exp cbrt-unprod div-inv associate-/l*
Counts
3 → 87
Calls
3 calls:
17.0ms
(/ (* 2.0 c) (- (sqrt (fma (* 4.0 a) (- c) (* b b))) b))
15.0ms
(- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)
3.0ms
(sqrt (fma (* 4.0 a) (- c) (* b b)))

series603.0ms

Counts
3 → 9
Calls
3 calls:
365.0ms
(/ (* 2.0 c) (- (sqrt (fma (* 4.0 a) (- c) (* b b))) b))
128.0ms
(- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)
110.0ms
(sqrt (fma (* 4.0 a) (- c) (* b b)))

simplify859.0ms

Counts
96 → 96
Iterations
IterNodes
done5001
21365
1346
0146

prune669.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 9.7b

localize133.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1 (- (sqrt (fma (- c) (* a 4.0) (* b b))) b))
0.2b
(* (* 2.0 c) (/ 1 (- (sqrt (fma (- c) (* a 4.0) (* b b))) b)))
1.3b
(- (sqrt (fma (- c) (* a 4.0) (* b b))) b)
24.4b
(sqrt (fma (- c) (* a 4.0) (* b b)))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
73×add-sqr-sqrt
56×*-un-lft-identity
40×add-cube-cbrt
36×times-frac
30×add-exp-log
24×associate-*r*
23×sqrt-prod
18×add-cbrt-cube prod-diff
16×difference-of-squares
12×prod-exp
11×pow1
8×distribute-lft-out--
6×associate-/r* fma-neg div-exp cbrt-unprod add-log-exp
4×expm1-log1p-u associate-/r/ log1p-expm1-u
3×cbrt-undiv rec-exp flip3-- 1-exp pow-prod-down flip-- associate-/l*
2×div-inv
1×rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log associate-*l* associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 154
Calls
4 calls:
23.0ms
(/ 1 (- (sqrt (fma (- c) (* a 4.0) (* b b))) b))
52.0ms
(* (* 2.0 c) (/ 1 (- (sqrt (fma (- c) (* a 4.0) (* b b))) b)))
9.0ms
(- (sqrt (fma (- c) (* a 4.0) (* b b))) b)
1.0ms
(sqrt (fma (- c) (* a 4.0) (* b b)))

series801.0ms

Counts
4 → 12
Calls
4 calls:
286.0ms
(/ 1 (- (sqrt (fma (- c) (* a 4.0) (* b b))) b))
307.0ms
(* (* 2.0 c) (/ 1 (- (sqrt (fma (- c) (* a 4.0) (* b b))) b)))
103.0ms
(- (sqrt (fma (- c) (* a 4.0) (* b b))) b)
104.0ms
(sqrt (fma (- c) (* a 4.0) (* b b)))

simplify1.9s

Counts
166 → 166
Iterations
IterNodes
done5001
22808
1563
0214

prune983.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 9.7b

localize148.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)
1.3b
(- (sqrt (fma (- c) (* a 4.0) (* b b))) b)
24.4b
(sqrt (fma (* 4.0 a) (- c) (* b b)))
24.4b
(sqrt (fma (- c) (* a 4.0) (* b b)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
38×*-un-lft-identity
36×prod-diff
34×add-cube-cbrt
32×sqrt-prod
12×fma-neg
8×add-log-exp
6×pow1
4×expm1-log1p-u add-cbrt-cube add-exp-log log1p-expm1-u difference-of-squares
2×rem-sqrt-square sub-neg sqrt-pow1 flip3-- pow1/2 diff-log flip-- distribute-lft-out--
Counts
4 → 112
Calls
4 calls:
17.0ms
(- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)
9.0ms
(- (sqrt (fma (- c) (* a 4.0) (* b b))) b)
1.0ms
(sqrt (fma (* 4.0 a) (- c) (* b b)))
1.0ms
(sqrt (fma (- c) (* a 4.0) (* b b)))

series503.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)
126.0ms
(- (sqrt (fma (- c) (* a 4.0) (* b b))) b)
106.0ms
(sqrt (fma (* 4.0 a) (- c) (* b b)))
132.0ms
(sqrt (fma (- c) (* a 4.0) (* b b)))

simplify1.4s

Counts
124 → 124
Iterations
IterNodes
done5000
33176
2694
1279
0139

prune871.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 9.7b

regimes466.0ms

Accuracy

91.7% (0.7b remaining)

Error of 13.0b against oracle of 12.3b and baseline of 20.7b

bsearch142.0ms

Steps
ItersRangePoint
9
2.1340360609407003e+79
6.102484722804822e+84
2.0701969104329307e+84

simplify6.0ms

Iterations
IterNodes
done58
258
152
040

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.4s8676×body80valid
362.0ms2883×body80nan