Details

rewrite139.0ms

Algorithm

rewrite-expression-head

Rules

61×	add-sqr-sqrt prod-diff
60×	*-un-lft-identity
48×	add-cube-cbrt
36×	sqrt-prod
24×	distribute-rgt-neg-in
21×	distribute-lft-neg-in
11×	fma-neg
10×	add-log-exp
9×	add-cbrt-cube add-exp-log
7×	neg-mul-1 times-frac associate-/l*
6×	distribute-lft-out-- difference-of-squares
5×	pow1
4×	expm1-log1p-u flip3-- log1p-expm1-u flip--
3×	diff-log
2×	cbrt-undiv sub-neg sqrt-div div-exp associate-/l/
1×	associate--l- neg-sub0 rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 div-sub neg-log prod-exp cbrt-unprod div-inv

Counts

4 → 157

Calls

4 calls:

83.0ms	(/ (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
7.0ms	(- (* b b) (* 4.0 (* a c)))
34.0ms	(- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))
9.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))