Details

rewrite43.0ms (0.2%)

Algorithm

4×	rewrite-expression-head

Calls

3 calls:

14.0ms	(* (+ x 2) x)
13.0ms	(/ (* x (+ -4 (* x x))) (- x 2))
12.0ms	(* x (+ -4 (* 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*
5×	associate-/r* times-frac
4×	associate-*r/
3×	add-log-exp cbrt-unprod flip-+ insert-posit16 flip3-+ prod-exp
2×	associate-/r/ div-exp unswap-sqr difference-of-squares pow-prod-down cbrt-undiv *-commutative associate-/l/ associate-*l/ distribute-lft-out--
1×	flip3-- distribute-lft-out distribute-rgt-in clear-num distribute-lft-in div-inv flip-- frac-2neg associate-/l*