Details

rewrite6.3s (3.0%)

Algorithm

8×	rewrite-expression-head

Calls

21 calls:

2.2s	(+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))
902.0ms	(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
521.0ms	(* (exp (- 0.0 im)) (* 0.5 (sin re)))
382.0ms	(pow (* -2.0 (log u1)) 0.5)
324.0ms	(* (sqrt (/ 1.0 6.0)) (* (sqrt (/ 1.0 6.0)) (pow (* -2.0 (log u1)) 0.5)))

Rules

185×	add-exp-log
96×	add-sqr-sqrt
87×	add-cbrt-cube
81×	*-un-lft-identity
77×	add-cube-cbrt
75×	prod-exp
71×	pow1
70×	times-frac
58×	associate-*l*
41×	div-exp
30×	sqrt-prod cbrt-unprod
29×	associate-*r* add-log-exp
26×	pow-prod-down pow-exp
13×	pow-to-exp
12×	pow-unpow
11×	sqr-pow associate-/r*
10×	cbrt-undiv *-commutative div-inv unswap-sqr
8×	pow-pow
7×	associate-/l*
6×	1-exp unpow-prod-down associate-*l/ rec-exp
5×	sqrt-div flip3-+ flip-+
4×	+-commutative sum-log
3×	clear-num associate-*r/ frac-2neg
2×	distribute-lft-out exp-sum
1×	pow-flip exp-diff distribute-rgt-in distribute-rgt-out sub-neg associate-/r/ inv-pow frac-times distribute-lft-in