Details

rewrite112.0ms (0.4%)

Algorithm

5×	rewrite-expression-head

Calls

3 calls:

66.0ms	(* (+ x 1.0) (+ x 1.0))
38.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
1.0ms	(fma 2.0 x (* x x))

Rules

22×	*-un-lft-identity
11×	add-sqr-sqrt
10×	pow1
8×	add-cube-cbrt
6×	distribute-lft-out swap-sqr flip-+ flip3-+
5×	add-log-exp add-cbrt-cube add-exp-log
4×	associate-*l* frac-times associate-*r*
3×	expm1-log1p-u log1p-expm1-u insert-posit16 prod-diff
2×	associate--l+ distribute-lft-in distribute-rgt-in associate-*r/ associate-*l/
1×	pow2 sub-neg unswap-sqr difference-of-squares pow-prod-down fma-udef prod-exp pow-prod-up *-commutative pow-sqr pow-plus cbrt-unprod fma-neg flip-- diff-log flip3--