Details

Time bar (total: 23.0s)

sample160.0ms

Algorithm
intervals
Results
46.0ms147×body160valid
36.0ms242×body80nan
35.0ms498×pre80true
18.0ms109×body80valid

simplify155.0ms

Calls
1 calls:
Slowest
155.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.0b

localize39.0ms

Local error

Found 4 expressions with local error:

28.8b
(- (sqrt (fma c (* -4 a) (* b b))) b)
0.3b
(/ (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2) a)
0.2b
(fma c (* -4 a) (* b b))
0.1b
(sqrt (fma c (* -4 a) (* b b)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
141×add-sqr-sqrt
138×times-frac
112×*-un-lft-identity
84×add-cube-cbrt
29×sqrt-prod
28×associate-/l* difference-of-squares
18×prod-diff
16×associate-/l/
14×distribute-lft-out--
9×add-cbrt-cube add-exp-log
6×associate-/r* fma-neg add-log-exp
5×pow1 div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv div-exp
2×clear-num frac-2neg flip3-- div-sub flip--
1×rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log fma-udef
Calls
4 calls:
Slowest
47.0ms
(/ (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2) a)
16.0ms
(- (sqrt (fma c (* -4 a) (* b b))) b)
1.0ms
(sqrt (fma c (* -4 a) (* b b)))
0.0ms
(fma c (* -4 a) (* b b))

series430.0ms

Calls
4 calls:
Slowest
133.0ms
(/ (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2) a)
113.0ms
(- (sqrt (fma c (* -4 a) (* b b))) b)
110.0ms
(sqrt (fma c (* -4 a) (* b b)))
74.0ms
(fma c (* -4 a) (* b b))

simplify16.4s

Calls
235 calls:
Slowest
685.0ms
(- (pow (sqrt (fma c (* -4 a) (* b b))) 3) (pow b 3))
502.0ms
(- (* (sqrt (fma c (* -4 a) (* b b))) (sqrt (fma c (* -4 a) (* b b)))) (* b b))
424.0ms
(/ (/ (* (cbrt (- (sqrt (fma c (* -4 a) (* b b))) b)) (cbrt (- (sqrt (fma c (* -4 a) (* b b))) b))) (* (cbrt 2) (cbrt 2))) (* (cbrt a) (cbrt a)))
274.0ms
(/ (/ (* (cbrt (- (sqrt (fma c (* -4 a) (* b b))) b)) (cbrt (- (sqrt (fma c (* -4 a) (* b b))) b))) (* (cbrt 2) (cbrt 2))) (sqrt a))
229.0ms
(/ (* (* (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2) (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2)) (/ (- (sqrt (fma c (* -4 a) (* b b))) b) 2)) (* (* a a) a))

prune2.5s

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 26.0b

localize84.0ms

Local error

Found 4 expressions with local error:

27.6b
(- (* (sqrt (fma b b (* a (* c -4)))) (fma b b (* a (* c -4)))) (* b (* b b)))
0.4b
(* (sqrt (fma c (* -4 a) (* b b))) (sqrt (fma c (* -4 a) (* b b))))
0.4b
(/ (- (* (sqrt (fma b b (* a (* c -4)))) (fma b b (* a (* c -4)))) (* b (* b b))) (* a (* 2 (+ (* (sqrt (fma c (* -4 a) (* b b))) (sqrt (fma c (* -4 a) (* b b)))) (+ (* b b) (* (sqrt (fma c (* -4 a) (* b b))) b))))))
0.3b
(* b (* b b))

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
3157×add-sqr-sqrt
1475×*-un-lft-identity
1379×associate-*r*
1313×unswap-sqr
950×associate-*l*
864×times-frac
612×difference-of-squares
504×distribute-lft-out
448×prod-diff
419×add-cube-cbrt
338×sqrt-prod
274×*-commutative
178×swap-sqr
138×cube-unmult
136×distribute-lft-out--
68×difference-cubes
33×pow1
32×associate-/r*
27×associate-/l*
20×add-cbrt-cube add-exp-log
16×fma-neg
10×pow-prod-up
8×sqrt-pow1 pow1/2
7×prod-exp cbrt-unprod
6×pow-prod-down add-log-exp
4×expm1-log1p-u associate-*r/ pow-sqr insert-posit16 log1p-expm1-u
3×cbrt-undiv div-exp
2×pow2 pow-plus flip3-- associate--l+ associate-/r/ fma-udef flip-- associate-/l/
1×distribute-rgt-in clear-num sub-neg rem-square-sqrt frac-2neg distribute-lft-in flip3-+ sqrt-unprod diff-log div-sub flip-+ div-inv
Calls
4 calls:
Slowest
2.1s
(/ (- (* (sqrt (fma b b (* a (* c -4)))) (fma b b (* a (* c -4)))) (* b (* b b))) (* a (* 2 (+ (* (sqrt (fma c (* -4 a) (* b b))) (sqrt (fma c (* -4 a) (* b b)))) (+ (* b b) (* (sqrt (fma c (* -4 a) (* b b))) b))))))
117.0ms
(- (* (sqrt (fma b b (* a (* c -4)))) (fma b b (* a (* c -4)))) (* b (* b b)))
38.0ms
(* b (* b b))
19.0ms
(* (sqrt (fma c (* -4 a) (* b b))) (sqrt (fma c (* -4 a) (* b b))))

series829.0ms

Calls
4 calls:
Slowest
557.0ms
(/ (- (* (sqrt (fma b b (* a (* c -4)))) (fma b b (* a (* c -4)))) (* b (* b b))) (* a (* 2 (+ (* (sqrt (fma c (* -4 a) (* b b))) (sqrt (fma c (* -4 a) (* b b)))) (+ (* b b) (* (sqrt (fma c (* -4 a) (* b b))) b))))))
159.0ms
(- (* (sqrt (fma b b (* a (* c -4)))) (fma b b (* a (* c -4)))) (* b (* b b)))
68.0ms
(* (sqrt (fma c (* -4 a) (* b b))) (sqrt (fma c (* -4 a) (* b b))))
46.0ms
(* b (* b b))