Details

rewrite267.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 171

Calls

4 calls:

154.0ms	(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
18.0ms	(- (* b_2 b_2) (* a c))
68.0ms	(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
12.0ms	(sqrt (- (* b_2 b_2) (* a c)))