Details

Time bar (total: 14.7s)

sample162.0ms

Algorithm
intervals
Results
23.0ms30×body2560valid
20.0ms39×body1280valid
19.0ms171×body80valid
8.0ms74×body80nan
6.0ms16×body640valid
4.0msbody5120valid
3.0ms10×body320valid
1.0msbody160valid

simplify134.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
01417
12417
24416
37816
410216
511116
done11116

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.1b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
10×add-log-exp
add-cbrt-cube add-exp-log
add-sqr-sqrt
add-cube-cbrt
distribute-lft-out
pow1 times-frac associate-/l*
distribute-rgt-neg-in sqrt-prod
neg-sub0 cbrt-undiv sum-log flip3-+ flip3-- sqrt-div div-exp associate-+l- flip-+ flip-- associate-/l/
+-commutative rem-sqrt-square clear-num associate-/r* sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log div-sub neg-log prod-exp cbrt-unprod div-inv
Counts
4 → 70
Calls
4 calls:
142.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))
18.0ms
(- (* b b) (* (* 4.0 a) c))
42.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
18.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series619.0ms

Counts
4 → 12
Calls
4 calls:
223.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))
94.0ms
(- (* b b) (* (* 4.0 a) c))
161.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
141.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.6s

Counts
82 → 82
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01541565
14211461
219391245
done50001239

prune624.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 4.6b

localize47.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (* b b) (* (* 4.0 a) c))
2.4b
(/ (/ (+ 0 (* (* a c) 4.0)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
9.8b
(/ (+ 0 (* (* a c) 4.0)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
23.0b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite332.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
80×add-sqr-sqrt
79×*-un-lft-identity
39×add-cube-cbrt
30×associate-/l*
20×distribute-lft-out-- difference-of-squares
18×add-cbrt-cube add-exp-log
13×sqrt-prod
10×distribute-rgt-neg-in
associate-/r*
cbrt-undiv div-exp
associate-/r/ add-log-exp
pow1 flip3-- flip--
div-inv
associate-/l/
clear-num frac-2neg sqrt-div prod-exp cbrt-unprod
rem-sqrt-square sub-neg sqrt-pow1 flip3-+ pow1/2 diff-log flip-+
Counts
4 → 148
Calls
4 calls:
15.0ms
(- (* b b) (* (* 4.0 a) c))
165.0ms
(/ (/ (+ 0 (* (* a c) 4.0)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
120.0ms
(/ (+ 0 (* (* a c) 4.0)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
18.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series999.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(- (* b b) (* (* 4.0 a) c))
301.0ms
(/ (/ (+ 0 (* (* a c) 4.0)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
427.0ms
(/ (+ 0 (* (* a c) 4.0)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
184.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify3.7s

Counts
160 → 160
Iterations

Useful iterations: 2 (1.1s)

IterNodesCost
02514912
16674366
242174044
done50024044

prune939.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 4.5b

regimes431.0ms

Accuracy

88.5% (3.1b remaining)

Error of 8.7b against oracle of 5.6b and baseline of 32.5b

bsearch400.0ms

Steps
ItersRangePoint
9
3.91010370714433e+73
2.1105890108422118e+79
1.697192458191632e+79
8
2.3183581516561024e-226
1.0032683173583147e-221
9.198411131351628e-222
6
-5.01434520362583e+93
-1.015701924495698e+93
-2.9400015506354064e+93

simplify12.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
03867
14665
24765
done4765

end0.0ms

sample4.5s

Algorithm
intervals
Results
965.0ms1053×body2560valid
936.0ms5862×body80valid
749.0ms2830×body80nan
600.0ms920×body1280valid
196.0ms462×body640valid
143.0ms221×body320valid
94.0ms112×body5120valid
21.0ms104×body160valid