Details

Time bar (total: 677.0ms)

sample65.0ms

Algorithm
intervals
Results
12.0ms103×body80valid
11.0ms329×body80nan
11.0ms585×pre80true
11.0ms153×body160valid

simplify45.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
01417
12417
24416
37916
49216
510016
done10016

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.3b

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
0.2b
(- (* b b) (* (* 4.0 a) c))
0.3b
(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
29.3b
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
121×add-sqr-sqrt
94×*-un-lft-identity
68×add-cube-cbrt
26×difference-of-squares
22×associate-/l*
16×sqrt-prod
13×distribute-lft-out--
9×add-exp-log add-cbrt-cube
8×add-log-exp
5×pow1 div-inv
3×cbrt-undiv flip3-- div-exp associate-/r* flip--
2×sub-neg sqrt-div diff-log div-sub
1×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num associate-/l/
Counts
4 → 149
Calls
4 calls:
3.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
2.0ms
(- (* b b) (* (* 4.0 a) c))
37.0ms
(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
17.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)

series306.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
47.0ms
(- (* b b) (* (* 4.0 a) c))
106.0ms
(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
83.0ms
(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)

simplify175.0ms

Iterations

Useful iterations: 1 (60.0ms)

IterNodesCost
02804083
16703911