Details

Time bar (total: 2.6m)

sample182.0ms

Algorithm
intervals
Results
51.0ms302×body80nan
47.0ms166×body160valid
34.0ms558×pre80true
16.0ms43×body320valid
6.0ms47×body80valid

simplify180.0ms

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

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.6b

localize49.0ms

Local error

Found 4 expressions with local error:

39.5b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.2b
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
0.1b
(- (* b b) (* (* 4 a) c))
0.1b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite697.0ms

Algorithm
rewrite-expression-head
Rules
483×add-sqr-sqrt
330×associate-*l* prod-diff
309×*-un-lft-identity
229×add-cube-cbrt
177×associate-*r*
125×unswap-sqr
75×swap-sqr
65×*-commutative
60×times-frac
30×difference-of-squares
28×distribute-lft-out
24×sqrt-prod
17×distribute-rgt-neg-in
15×fma-neg
12×associate-/r* distribute-lft-out--
10×fma-def add-log-exp
9×add-cbrt-cube add-exp-log
5×pow1 associate-/l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×distribute-lft-neg-in
2×neg-sub0 cbrt-undiv sum-log flip3-+ flip3-- sqrt-div div-exp associate-+l- flip-+ flip-- associate-/l/
1×+-commutative rem-sqrt-square clear-num neg-mul-1 sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log div-sub neg-log prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
373.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
115.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
115.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
68.0ms
(- (* b b) (* (* 4 a) c))

series416.0ms

Calls
4 calls:
Slowest
174.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
89.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
85.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
68.0ms
(- (* b b) (* (* 4 a) c))

simplify2.4m

Calls
897 calls:
Slowest
783.0ms
(fma 1 (* b b) (- (* (* (cbrt a) c) (* 4 (* (cbrt a) (cbrt a))))))
683.0ms
(fma (- (* (* (sqrt 4) (sqrt a)) c)) (* (sqrt 4) (sqrt a)) (* (* (* (sqrt 4) (sqrt a)) c) (* (sqrt 4) (sqrt a))))
625.0ms
(- (* (- b) (- b)) (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))))
622.0ms
(fma (* b (sqrt b)) (sqrt b) (- (* (* (* (cbrt 4) a) c) (* (cbrt 4) (cbrt 4)))))
504.0ms
(fma (* 1 1) (* b b) (- (* (* (* (cbrt 4) a) c) (* (cbrt 4) (cbrt 4)))))

prune6.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
2757×add-sqr-sqrt
1226×*-un-lft-identity
1140×prod-diff
1095×associate-*l*
845×unswap-sqr
804×associate-*r*
754×add-cube-cbrt
745×sqrt-prod
572×times-frac
515×difference-of-squares
272×distribute-rgt-in distribute-lft-in
271×distribute-rgt-neg-in
248×*-commutative
246×distribute-lft-neg-in
236×distribute-lft-out--
162×swap-sqr
82×neg-mul-1
45×add-cbrt-cube add-exp-log
26×associate-/r*
25×fma-neg
22×associate-/l*
21×prod-exp cbrt-unprod
10×add-log-exp
9×pow1 cbrt-undiv div-exp
4×expm1-log1p-u sub-neg flip3-- associate-*r/ insert-posit16 log1p-expm1-u flip--
3×diff-log pow-prod-down
2×associate-/r/
1×associate--l- neg-sub0 clear-num frac-2neg neg-log div-inv
Calls
4 calls:
Slowest
860.0ms
(/ (* 4 (* c a)) (* (* 2 a) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
518.0ms
(* (* 2 a) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
195.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
68.0ms
(- (* b b) (* (* 4 a) c))

series599.0ms

Calls
4 calls:
Slowest
247.0ms
(/ (* 4 (* c a)) (* (* 2 a) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
164.0ms
(* (* 2 a) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
104.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
85.0ms
(- (* b b) (* (* 4 a) c))