Details

rewrite281.0ms

Algorithm

rewrite-expression-head

Rules

33×	add-sqr-sqrt
27×	*-un-lft-identity
21×	add-cube-cbrt
19×	prod-diff
15×	sqrt-prod
14×	add-exp-log add-cbrt-cube
9×	pow1
8×	add-log-exp
7×	fma-neg
6×	times-frac associate-/l* difference-of-squares
4×	expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u
3×	flip3-- associate-*r* pow-prod-down flip-- distribute-lft-out--
2×	cbrt-undiv sub-neg diff-log div-exp associate-/l/
1×	frac-2neg div-sub associate-*l* clear-num associate-/r* *-commutative div-inv

Counts

4 → 109

Calls

4 calls:

9.0ms	(- (* b b) (* (* 3.0 a) c))
25.0ms	(* (* 3.0 a) c)
151.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
92.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)