Details

Time bar (total: 15.0s)

sample117.0ms

Algorithm
intervals
Results
31.0ms36×body2560valid
21.0ms160×body80valid
21.0ms30×body1280valid
9.0ms17×body640valid
9.0ms72×body80nan
3.0msbody320valid
1.0msbody160valid

simplify80.0ms

Counts
1 → 1
Iterations
IterNodes
644
544
442
340
232
120
011

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.8b

localize31.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* -4 c) (* b b))
1.1b
(- (sqrt (+ (* -4 c) (* b b))) b)
20.8b
(sqrt (+ (* -4 c) (* b b)))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
add-log-exp
*-un-lft-identity
pow1 add-cube-cbrt sqrt-prod
add-cbrt-cube add-exp-log insert-posit16
flip3-+ sqrt-div flip-+ difference-of-squares
+-commutative rem-sqrt-square sum-log sub-neg sqrt-pow1 flip3-- pow1/2 diff-log flip-- distribute-lft-out--
Counts
3 → 44
Calls
3 calls:
17.0ms
(+ (* -4 c) (* b b))
80.0ms
(- (sqrt (+ (* -4 c) (* b b))) b)
14.0ms
(sqrt (+ (* -4 c) (* b b)))

series459.0ms

Counts
3 → 9
Calls
3 calls:
79.0ms
(+ (* -4 c) (* b b))
142.0ms
(- (sqrt (+ (* -4 c) (* b b))) b)
238.0ms
(sqrt (+ (* -4 c) (* b b)))

simplify1.2s

Counts
53 → 53
Iterations
IterNodes
32274
2613
1211
088

prune734.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 27.7b

localize43.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (sqrt (+ (* -4 c) (* b b)))) (sqrt (sqrt (+ (* -4 c) (* b b)))))
10.7b
(- (* (sqrt (sqrt (+ (* -4 c) (* b b)))) (sqrt (sqrt (+ (* -4 c) (* b b))))) b)
20.8b
(sqrt (+ (* -4 c) (* b b)))
20.8b
(sqrt (+ (* -4 c) (* b b)))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-prod
51×add-sqr-sqrt
34×sqrt-pow1
29×pow1
28×sqrt-div
18×*-un-lft-identity pow1/2 add-cube-cbrt
15×swap-sqr
associate-*r* associate-*l* pow-prod-up unswap-sqr
flip3-+ flip-+
add-cbrt-cube add-exp-log add-log-exp
pow-prod-down pow-sqr
frac-times insert-posit16
rem-sqrt-square associate-*l/ associate-*r/
pow2 sub-neg rem-square-sqrt pow-plus flip3-- sqrt-unprod diff-log prod-exp *-commutative cbrt-unprod flip-- difference-of-squares
Counts
4 → 130
Calls
4 calls:
90.0ms
(* (sqrt (sqrt (+ (* -4 c) (* b b)))) (sqrt (sqrt (+ (* -4 c) (* b b)))))
79.0ms
(- (* (sqrt (sqrt (+ (* -4 c) (* b b)))) (sqrt (sqrt (+ (* -4 c) (* b b))))) b)
14.0ms
(sqrt (+ (* -4 c) (* b b)))
14.0ms
(sqrt (+ (* -4 c) (* b b)))

series864.0ms

Counts
4 → 12
Calls
4 calls:
241.0ms
(* (sqrt (sqrt (+ (* -4 c) (* b b)))) (sqrt (sqrt (+ (* -4 c) (* b b)))))
143.0ms
(- (* (sqrt (sqrt (+ (* -4 c) (* b b)))) (sqrt (sqrt (+ (* -4 c) (* b b))))) b)
237.0ms
(sqrt (+ (* -4 c) (* b b)))
242.0ms
(sqrt (+ (* -4 c) (* b b)))

simplify4.0s

Counts
142 → 142
Iterations
IterNodes
45184
31730
2747
1320
0151

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 17.4b

regimes146.0ms

Accuracy

97.6% (0.3b remaining)

Error of 16.8b against oracle of 16.5b and baseline of 27.3b

bsearch122.0ms

Steps
ItersRangePoint
7
9.164257486080586e-102
8.763827834790755e-100
9.349379559044902e-102

simplify6.0ms

Iterations
IterNodes
222
122
019

end0.0ms

sample4.7s

Algorithm
intervals
Results
1.7s5335×body80valid
1.1s1066×body2560valid
714.0ms880×body1280valid
385.0ms2632×body80nan
316.0ms409×body640valid
132.0ms202×body320valid
30.0ms108×body160valid