Details

rewrite157.0ms

Algorithm

rewrite-expression-head

Rules

138×	times-frac
135×	add-sqr-sqrt
108×	*-un-lft-identity
82×	add-cube-cbrt
28×	sqrt-prod
26×	difference-of-squares
22×	associate-/l*
19×	prod-diff
13×	distribute-lft-out--
9×	add-cbrt-cube add-exp-log
8×	add-log-exp
7×	fma-neg
5×	pow1 div-inv
4×	expm1-log1p-u log1p-expm1-u
3×	cbrt-undiv associate-/r* flip3-- div-exp flip--
2×	sub-neg sqrt-div diff-log div-sub
1×	rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 associate-/l/

Counts

4 → 183

Calls

4 calls:

9.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
6.0ms	(- (* b b) (* (* 4.0 a) c))
79.0ms	(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
48.0ms	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)