Details

rewrite631.0ms

Algorithm

rewrite-expression-head

Rules

38×	add-sqr-sqrt
37×	*-un-lft-identity
21×	times-frac
17×	add-cube-cbrt
10×	distribute-lft-out-- add-log-exp difference-of-squares
8×	sqrt-prod
7×	associate-/l*
6×	add-exp-log add-cbrt-cube
5×	pow1 distribute-rgt-neg-in
4×	flip3-- flip--
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 → 91

Calls

4 calls:

541.0ms	(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
17.0ms	(- (* b_2 b_2) (* a c))
56.0ms	(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
10.0ms	(sqrt (- (* b_2 b_2) (* a c)))