Details

rewrite236.0ms

Algorithm

5×	rewrite-expression-head

Calls

8 calls:

Slowest

51.0ms	(* (sqrt (* (+ 2 x) x)) (sqrt (* (+ (pow 2 3) (pow x 3)) x)))
50.0ms	(/ (* (sqrt (* (+ 2 x) x)) (sqrt (* (+ (pow 2 3) (pow x 3)) x))) (sqrt (fma x (+ x -2) 4)))
41.0ms	(* (sqrt (* (+ 2 x) x)) (sqrt (* (+ 2 x) x)))
29.0ms	(* (+ (pow 2 3) (pow x 3)) x)
16.0ms	(* (+ 2 x) x)

Rules

82×	pow1
52×	associate-*l/
42×	*-un-lft-identity
38×	add-sqr-sqrt sqrt-pow1 sqrt-div
35×	pow-prod-down
29×	associate-*l*
26×	add-cube-cbrt
25×	add-cbrt-cube add-exp-log
23×	flip-+ flip3-+
20×	associate-*r*
13×	pow1/2 sqrt-prod
12×	frac-times
10×	pow-prod-up
8×	distribute-lft-out add-log-exp expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l/
7×	cbrt-unprod prod-exp
6×	unswap-sqr associate-/r* associate-*r/ *-commutative times-frac pow-sqr
4×	cube-prod unpow-prod-down swap-sqr
3×	sqrt-unprod
2×	cbrt-undiv div-exp
1×	sum-cubes sqrt-undiv associate-/l* frac-2neg rem-square-sqrt pow2 pow-plus clear-num div-inv