Details

Time bar (total: 14.3s)

sample110.0ms

Algorithm
intervals
Results
18.0ms39×body1280valid
17.0ms30×body2560valid
17.0ms171×body80valid
7.0ms16×body640valid
7.0ms74×body80nan
4.0msbody5120valid
3.0ms10×body320valid
1.0msbody160valid

simplify162.0ms

Counts
1 → 1
Iterations
IterNodes
done111
5111
4102
378
244
124
014

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.1b

localize54.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (sqrt (- (* b b) (* (* c a) 4.0))) b) (* a 2.0))
0.8b
(- (* b b) (* (* c a) 4.0))
1.4b
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
23.0b
(sqrt (- (* b b) (* (* c a) 4.0)))

rewrite294.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
flip3-- flip--
distribute-lft-out--
cbrt-undiv sub-neg sqrt-div diff-log div-exp associate-/l/
rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 div-sub prod-exp cbrt-unprod div-inv
Counts
4 → 72
Calls
4 calls:
169.0ms
(/ (- (sqrt (- (* b b) (* (* c a) 4.0))) b) (* a 2.0))
20.0ms
(- (* b b) (* (* c a) 4.0))
82.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
19.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))

series561.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(/ (- (sqrt (- (* b b) (* (* c a) 4.0))) b) (* a 2.0))
89.0ms
(- (* b b) (* (* c a) 4.0))
146.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
134.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))

simplify2.1s

Counts
84 → 84
Iterations
IterNodes
done5000
21814
1408
0154

prune829.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.6b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ (* a 2.0) (- (sqrt (- (* b b) (* (* c a) 4.0))) b)))
0.8b
(- (* b b) (* (* c a) 4.0))
1.4b
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
23.0b
(sqrt (- (* b b) (* (* c a) 4.0)))

rewrite247.0ms

Algorithm
rewrite-expression-head
Rules
60×times-frac
47×add-sqr-sqrt
36×*-un-lft-identity
26×add-cube-cbrt
25×add-exp-log
13×add-cbrt-cube
12×associate-/r* div-exp
10×difference-of-squares
associate-/r/
sqrt-prod add-log-exp
flip3-- flip--
pow1
cbrt-undiv div-inv distribute-lft-out--
rec-exp 1-exp prod-exp associate-/l*
sub-neg sqrt-div diff-log
rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 cbrt-unprod pow-flip inv-pow
Counts
4 → 118
Calls
4 calls:
113.0ms
(/ 1 (/ (* a 2.0) (- (sqrt (- (* b b) (* (* c a) 4.0))) b)))
21.0ms
(- (* b b) (* (* c a) 4.0))
83.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
18.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))

series645.0ms

Counts
4 → 12
Calls
4 calls:
272.0ms
(/ 1 (/ (* a 2.0) (- (sqrt (- (* b b) (* (* c a) 4.0))) b)))
89.0ms
(- (* b b) (* (* c a) 4.0))
156.0ms
(- (sqrt (- (* b b) (* (* c a) 4.0))) b)
127.0ms
(sqrt (- (* b b) (* (* c a) 4.0)))

simplify2.6s

Counts
130 → 130
Iterations
IterNodes
done5000
22528
1579
0221

prune966.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.6b

regimes670.0ms

Accuracy

84.8% (4.3b remaining)

Error of 10.0b against oracle of 5.7b and baseline of 34.3b

bsearch247.0ms

Steps
ItersRangePoint
9
1.2824997824127301e-72
2.5741823097032646e-63
2.5928684081554055e-64
6
-5.01434520362583e+93
-1.015701924495698e+93
-2.9400015506354064e+93

simplify10.0ms

Iterations
IterNodes
done36
136
028

end0.0ms

sample4.6s

Algorithm
intervals
Results
1.1s2830×body80nan
955.0ms1053×body2560valid
869.0ms5862×body80valid
495.0ms920×body1280valid
236.0ms462×body640valid
88.0ms112×body5120valid
64.0ms221×body320valid
19.0ms104×body160valid