Details

rewrite10.0s (1.9%)

Algorithm

25×	rewrite-expression-head

Calls

65 calls:

744.0ms	(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
656.0ms	(* (sqrt 2.0) (/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re))))
587.0ms	(- (sqrt (+ (* re re) (* im im))) re)
585.0ms	(- (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))) re)
380.0ms	(+ (* re re) (* im im))

Rules

324×	add-sqr-sqrt
289×	*-un-lft-identity
255×	add-cube-cbrt
240×	times-frac
208×	add-exp-log
154×	pow1
146×	add-cbrt-cube
140×	sqrt-prod
91×	associate-*l*
85×	add-log-exp
75×	associate-*r*
67×	prod-exp
41×	associate-/r*
38×	pow-prod-down cbrt-unprod
37×	sqrt-div
27×	sqr-pow
25×	unswap-sqr div-exp cbrt-prod
24×	flip3-+ flip-+
22×	unpow-prod-down pow-exp sqrt-pow1
17×	*-commutative
16×	distribute-lft-out
14×	associate-/l* pow1/2
13×	div-inv
12×	pow-unpow rem-sqrt-square sin-sum
11×	pow-to-exp
10×	cbrt-undiv associate-*r/
9×	pow1/3
8×	pow-pow +-commutative sum-log
7×	associate-/r/
6×	associate-*l/ swap-sqr exp-prod
5×	frac-2neg clear-num
3×	flip-- flip3-- sub-neg
2×	difference-of-squares exp-sum associate-/l/ pow-prod-up pow-sqr diff-log
1×	exp-diff distribute-rgt-in distribute-rgt-out pow-plus sqrt-undiv distribute-lft-out-- frac-times pow2 distribute-lft-in