Details

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 100

Calls

4 calls:

35.0ms	(/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
3.0ms	(- (* b_2 b_2) (* a c))
14.0ms	(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
7.0ms	(sqrt (- (* b_2 b_2) (* a c)))