Details

rewrite174.0ms

Algorithm

rewrite-expression-head

Rules

78×	prod-diff
71×	add-sqr-sqrt
67×	*-un-lft-identity
61×	add-cube-cbrt
50×	sqrt-prod
22×	distribute-rgt-neg-in
21×	distribute-lft-neg-in
16×	fma-neg
10×	add-log-exp
7×	neg-mul-1
6×	pow1
4×	add-exp-log expm1-log1p-u flip3-- sqrt-div add-cbrt-cube flip-- log1p-expm1-u difference-of-squares
3×	diff-log distribute-lft-out--
2×	sub-neg rem-sqrt-square sqrt-pow1 pow1/2
1×	associate--l- neg-sub0 neg-log

Counts

4 → 165

Calls

4 calls:

32.0ms	(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
86.0ms	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))