Details

rewrite220.0ms

Algorithm

rewrite-expression-head

Rules

22×	*-un-lft-identity
11×	add-sqr-sqrt
10×	add-cube-cbrt fma-def add-log-exp
9×	add-exp-log add-cbrt-cube
6×	distribute-rgt-neg-in distribute-lft-out
5×	pow1 times-frac associate-/l*
4×	expm1-log1p-u log1p-expm1-u
3×	distribute-lft-neg-in sqrt-prod
2×	cbrt-undiv neg-sub0 associate-+l- flip3-- flip3-+ sqrt-div div-exp sum-log flip-- flip-+ associate-/l/
1×	+-commutative neg-mul-1 sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 fma-neg diff-log div-sub prod-diff neg-log prod-exp clear-num associate-/r* cbrt-unprod div-inv

Counts

4 → 90

Calls

4 calls:

133.0ms	(/ (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
26.0ms	(- (* b b) (* 4.0 (* a c)))
46.0ms	(+ (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
12.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))