Details

rewrite259.0ms

Algorithm

rewrite-expression-head

Rules

64×	add-sqr-sqrt
63×	*-un-lft-identity
56×	prod-diff
42×	add-cube-cbrt
30×	times-frac
23×	associate--l+
16×	add-exp-log add-cbrt-cube
11×	distribute-lft-out--
10×	div-inv
9×	add-log-exp difference-of-squares
6×	pow1 associate-*r* associate-/l*
5×	fma-neg
4×	cbrt-undiv expm1-log1p-u div-exp sqrt-prod log1p-expm1-u
3×	diff-log associate-*l* prod-exp cbrt-unprod
2×	sub-neg flip3-- frac-2neg clear-num associate-/r* frac-sub flip-- unswap-sqr
1×	associate--l- pow-prod-down *-commutative

Counts

4 → 154

Calls

4 calls:

193.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
20.0ms	(/ y (* 3.0 (sqrt x)))
16.0ms	(/ 1.0 (* x 9.0))
21.0ms	(* 3.0 (sqrt x))