Details

Time bar (total: 13.8s)

sample121.0ms

Algorithm
intervals
Results
29.0ms316×body80valid
29.0ms104×pre80false
22.0ms316×pre80true

simplify4.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01315
12815
25815
310115
416415
545715
6331415
done500015

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.4b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (pow b 2.0) (* 4.0 ac))
0.0b
(- (- b) (sqrt (- (pow b 2.0) (* 4.0 ac))))
0.1b
(/ (- (- b) (sqrt (- (pow b 2.0) (* 4.0 ac)))) (* 2.0 a))
16.2b
(sqrt (- (pow b 2.0) (* 4.0 ac)))

rewrite308.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×*-un-lft-identity
10×add-log-exp
add-cbrt-cube add-exp-log
times-frac add-cube-cbrt associate-/l*
sqrt-prod distribute-lft-out-- difference-of-squares
pow1
flip3-- flip--
distribute-rgt-neg-in diff-log
cbrt-undiv sub-neg sqrt-div div-exp associate-/l/
associate--l- neg-sub0 rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 div-sub neg-log prod-exp cbrt-unprod div-inv
Counts
4 → 77
Calls
4 calls:
28.0ms
(- (pow b 2.0) (* 4.0 ac))
61.0ms
(- (- b) (sqrt (- (pow b 2.0) (* 4.0 ac))))
189.0ms
(/ (- (- b) (sqrt (- (pow b 2.0) (* 4.0 ac)))) (* 2.0 a))
26.0ms
(sqrt (- (pow b 2.0) (* 4.0 ac)))

series533.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(- (pow b 2.0) (* 4.0 ac))
152.0ms
(- (- b) (sqrt (- (pow b 2.0) (* 4.0 ac))))
174.0ms
(/ (- (- b) (sqrt (- (pow b 2.0) (* 4.0 ac)))) (* 2.0 a))
144.0ms
(sqrt (- (pow b 2.0) (* 4.0 ac)))

simplify1.2s

Counts
89 → 89
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01591505
14021414
214921280
done50011272

prune543.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (pow b 2.0) (* 4.0 ac))
0.0b
(- (/ (- b) (* 2.0 a)) (/ (sqrt (- (pow b 2.0) (* 4.0 ac))) (* 2.0 a)))
0.1b
(/ (sqrt (- (pow b 2.0) (* 4.0 ac))) (* 2.0 a))
16.2b
(sqrt (- (pow b 2.0) (* 4.0 ac)))

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
12×add-sqr-sqrt
10×times-frac
add-cbrt-cube add-exp-log add-cube-cbrt sqrt-prod
add-log-exp
associate-/l*
pow1
flip3-- sqrt-div flip--
div-inv distribute-lft-out--
cbrt-undiv sub-neg diff-log div-exp associate-/l/
associate--l- neg-sub0 rem-sqrt-square clear-num associate-/r* distribute-rgt-neg-in frac-2neg sqrt-pow1 distribute-rgt-out-- pow1/2 div-sub prod-exp frac-sub cbrt-unprod sub-div difference-of-squares
Counts
4 → 76
Calls
4 calls:
28.0ms
(- (pow b 2.0) (* 4.0 ac))
125.0ms
(- (/ (- b) (* 2.0 a)) (/ (sqrt (- (pow b 2.0) (* 4.0 ac))) (* 2.0 a)))
50.0ms
(/ (sqrt (- (pow b 2.0) (* 4.0 ac))) (* 2.0 a))
25.0ms
(sqrt (- (pow b 2.0) (* 4.0 ac)))

series583.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(- (pow b 2.0) (* 4.0 ac))
208.0ms
(- (/ (- b) (* 2.0 a)) (/ (sqrt (- (pow b 2.0) (* 4.0 ac))) (* 2.0 a)))
189.0ms
(/ (sqrt (- (pow b 2.0) (* 4.0 ac))) (* 2.0 a))
121.0ms
(sqrt (- (pow b 2.0) (* 4.0 ac)))

simplify1.2s

Counts
88 → 88
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01661573
14171451
215131341
done50001332

prune561.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes595.0ms

Accuracy

99.3% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 16.8b

bsearch93.0ms

Steps
ItersRangePoint
6
2.4365483483485005e+146
1.5972401820059698e+147
1.0593523764334767e+147

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02336
12936
done2936

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.1s9840×body80valid
815.0ms9840×pre80true
350.0ms3328×pre80false