Details

Time bar (total: 18.7s)

sample182.0ms

Algorithm
intervals
Results
56.0ms171×body80valid
33.0ms39×body1280valid
31.0ms30×body2560valid
12.0ms74×body80nan
11.0ms16×body640valid
6.0msbody5120valid
5.0ms10×body320valid
1.0msbody160valid

simplify190.0ms

Counts
1 → 1
Iterations
IterNodes
898
798
697
595
487
370
243
124
014

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.4b

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (sqrt (+ (* a (* -4 c)) (* b b))) b) (* a 2))
0.8b
(+ (* a (* -4 c)) (* b b))
1.4b
(- (sqrt (+ (* a (* -4 c)) (* b b))) b)
23.0b
(sqrt (+ (* a (* -4 c)) (* b b)))

rewrite587.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
13×*-un-lft-identity
add-cbrt-cube add-exp-log
add-log-exp
add-cube-cbrt
times-frac sqrt-prod associate-/l* difference-of-squares
pow1
insert-posit16
distribute-lft-out--
cbrt-undiv flip3-+ flip3-- sqrt-div div-exp flip-+ flip-- associate-/l/
+-commutative rem-sqrt-square clear-num associate-/r* sum-log sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log div-sub prod-exp cbrt-unprod div-inv
Counts
4 → 75
Calls
4 calls:
326.0ms
(/ (- (sqrt (+ (* a (* -4 c)) (* b b))) b) (* a 2))
36.0ms
(+ (* a (* -4 c)) (* b b))
185.0ms
(- (sqrt (+ (* a (* -4 c)) (* b b))) b)
39.0ms
(sqrt (+ (* a (* -4 c)) (* b b)))

series647.0ms

Counts
4 → 12
Calls
4 calls:
224.0ms
(/ (- (sqrt (+ (* a (* -4 c)) (* b b))) b) (* a 2))
114.0ms
(+ (* a (* -4 c)) (* b b))
150.0ms
(- (sqrt (+ (* a (* -4 c)) (* b b))) b)
158.0ms
(sqrt (+ (* a (* -4 c)) (* b b)))

simplify3.5s

Counts
87 → 87
Iterations
IterNodes
34750
21117
1342
0135

prune1.4s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 29.9b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (sqrt (+ (* a (* -4 c)) (* b b))) b) a)
0.8b
(+ (* a (* -4 c)) (* b b))
1.4b
(- (sqrt (+ (* a (* -4 c)) (* b b))) b)
23.0b
(sqrt (+ (* a (* -4 c)) (* b b)))

rewrite564.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
26×*-un-lft-identity
18×times-frac
16×add-cube-cbrt
10×difference-of-squares
sqrt-prod add-log-exp
add-cbrt-cube add-exp-log associate-/l*
pow1 distribute-lft-out--
insert-posit16
associate-/r*
flip3-+ flip3-- sqrt-div flip-+ flip-- associate-/l/
cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log div-sub div-exp div-inv
Counts
4 → 87
Calls
4 calls:
309.0ms
(/ (- (sqrt (+ (* a (* -4 c)) (* b b))) b) a)
34.0ms
(+ (* a (* -4 c)) (* b b))
182.0ms
(- (sqrt (+ (* a (* -4 c)) (* b b))) b)
37.0ms
(sqrt (+ (* a (* -4 c)) (* b b)))

series666.0ms

Counts
4 → 12
Calls
4 calls:
234.0ms
(/ (- (sqrt (+ (* a (* -4 c)) (* b b))) b) a)
114.0ms
(+ (* a (* -4 c)) (* b b))
160.0ms
(- (sqrt (+ (* a (* -4 c)) (* b b))) b)
158.0ms
(sqrt (+ (* a (* -4 c)) (* b b)))

simplify2.2s

Counts
99 → 99
Iterations
IterNodes
33529
2947
1333
0139

prune1.5s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 29.9b

regimes602.0ms

Accuracy

93% (0.3b remaining)

Error of 29.3b against oracle of 29.0b and baseline of 33.5b

bsearch137.0ms

Steps
ItersRangePoint
5
4.1388831874808664e+120
1.405741514293387e+121
1.1503681818569007e+121

simplify5.0ms

Iterations
IterNodes
220
120
017

end0.0ms

sample6.4s

Algorithm
intervals
Results
2.0s1053×body2560valid
1.3s5862×body80valid
1.0s920×body1280valid
640.0ms2830×body80nan
411.0ms462×body640valid
189.0ms112×body5120valid
160.0ms221×body320valid
35.0ms104×body160valid