Details

rewrite143.0ms

Algorithm

rewrite-expression-head

Rules

60×	prod-diff
58×	*-un-lft-identity
56×	add-sqr-sqrt
50×	add-cube-cbrt
37×	sqrt-prod
26×	distribute-rgt-neg-in
24×	distribute-lft-neg-in
12×	add-log-exp
10×	fma-def fma-neg
8×	neg-mul-1
6×	pow1
4×	add-exp-log expm1-log1p-u sqrt-div add-cbrt-cube log1p-expm1-u
3×	flip3-- flip--
2×	neg-sub0 rem-sqrt-square sqrt-pow1 pow1/2 diff-log neg-log sum-log distribute-lft-out distribute-lft-out-- difference-of-squares
1×	+-commutative associate--l- associate-+l- sub-neg flip3-+ flip-+

Counts

4 → 151

Calls

4 calls:

38.0ms	(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
48.0ms	(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
24.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
24.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))