Details

rewrite39.0ms (0.2%)

Algorithm

4×	rewrite-expression-head

Calls

3 calls:

12.0ms	(* (+ x 2) x)
12.0ms	(/ (* (+ -4 (* x x)) x) (- x 2))
11.0ms	(* (+ -4 (* x x)) x)

Rules

17×	add-sqr-sqrt
15×	*-un-lft-identity
12×	add-cbrt-cube add-exp-log
9×	add-cube-cbrt
7×	associate-*l* pow1
6×	associate-*r* associate-*l/
5×	associate-/r* times-frac
3×	add-log-exp cbrt-unprod flip-+ flip3-+ prod-exp
2×	associate-/r/ div-exp unswap-sqr difference-of-squares pow-prod-down cbrt-undiv *-commutative associate-/l/ distribute-lft-out--
1×	flip3-- distribute-lft-out clear-num div-inv flip-- frac-2neg associate-/l*