Details

rewrite198.0ms

Algorithm

rewrite-expression-head

Rules

22×	*-un-lft-identity
14×	add-exp-log add-cbrt-cube
10×	add-sqr-sqrt add-cube-cbrt fma-def add-log-exp
9×	pow1
6×	distribute-rgt-neg-in distribute-lft-out
5×	times-frac associate-/l*
4×	expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u
3×	distribute-lft-neg-in associate-*r* pow-prod-down
2×	cbrt-undiv neg-sub0 associate-+l- flip3-+ div-exp sum-log flip-+ associate-/l/
1×	+-commutative neg-mul-1 sub-neg flip3-- frac-2neg fma-neg diff-log div-sub associate-*l* prod-diff neg-log clear-num associate-/r* *-commutative flip-- div-inv

Counts

4 → 93

Calls

4 calls:

19.0ms	(- (* b b) (* (* 3.0 a) c))
114.0ms	(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
33.0ms	(* (* 3.0 a) c)
28.0ms	(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))