Details

rewrite104.0ms (0.5%)

Algorithm

5×	rewrite-expression-head

Calls

9 calls:

24.0ms	(* (* x x) (* x x))
21.0ms	(/ (fma 8 x (* (* x x) (* x x))) (+ (* 2 2) (- (* x x) (* 2 x))))
21.0ms	(* (* x x) (* x x))
14.0ms	(* (+ 2 x) x)
7.0ms	(- (* x x) (* 2 x))

Rules

234×	pow1
93×	times-frac
72×	pow-prod-up
71×	add-sqr-sqrt *-un-lft-identity
69×	add-cube-cbrt
50×	add-exp-log
47×	pow-prod-down
44×	add-cbrt-cube pow-sqr
36×	pow-plus
26×	pow2
19×	associate-/r*
17×	cbrt-unprod prod-exp
11×	add-log-exp
9×	expm1-log1p-u insert-posit16 div-exp log1p-expm1-u associate-/l*
7×	div-inv
6×	associate-*l*
5×	cbrt-undiv associate-*r*
3×	frac-2neg associate-/r/ unswap-sqr clear-num *-commutative
2×	flip3-+ 1-exp rec-exp fma-udef associate-*l/ swap-sqr flip-+
1×	flip3-- distribute-lft-out distribute-rgt-out-- fma-neg pow-flip flip-- sub-neg diff-log inv-pow prod-diff