Details

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

90×	add-sqr-sqrt
85×	*-un-lft-identity
83×	add-cube-cbrt
78×	prod-diff
67×	times-frac
41×	distribute-rgt-in distribute-lft-in
9×	pow1
8×	add-exp-log add-cbrt-cube
7×	div-inv
6×	associate-*r/ associate-*r*
5×	sqrt-prod
4×	expm1-log1p-u sqrt-div associate-/r* log1p-expm1-u add-log-exp
3×	flip3-- associate-*l* flip-- associate-/l*
2×	sub-neg sqrt-pow1 pow-prod-down associate-/r/ difference-of-squares
1×	cbrt-undiv frac-2neg pow1/2 div-exp prod-exp clear-num *-commutative cbrt-unprod fma-udef distribute-lft-out-- unswap-sqr

Counts

4 → 167

Calls

4 calls:

0.0ms	(fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)
32.0ms	(* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))
9.0ms	(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
31.0ms	(sqrt (* 9.0 (- a (/ 1.0 3.0))))