Details

rewrite18.0s (3.1%)

Algorithm

146×	rewrite-expression-head

Calls

467 calls:

1.8s	(* (- (/ (/ m 1) (/ v (/ (- (* 1.0 1.0) (* m m)) (+ 1.0 m)))) 1.0) (- 1.0 m))
1.6s	(* (- (/ (/ (/ (* m (- 1.0 m)) (sqrt v)) (sqrt (sqrt v))) (sqrt (sqrt v))) 1.0) m)
425.0ms	(/ (* (- (pow (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) 3) (pow (* (sin (* phi2 0.5)) (sin (* phi1 0.5))) 3)) (- lambda1 lambda2)) (+ (* (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (cos (* phi2 0.5)) (cos (* phi1 0.5)))) (+ (* (* (sin (* phi2 0.5)) (sin (* phi1 0.5))) (* (sin (* phi2 0.5)) (sin (* phi1 0.5)))) (* (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* phi2 0.5)) (sin (* phi1 0.5)))))))
342.0ms	(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
303.0ms	(- (log (exp (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))) 1.0)

Rules

16600×	times-frac
15614×	*-un-lft-identity
12365×	add-sqr-sqrt
9648×	add-cube-cbrt
5092×	prod-diff
4034×	sqrt-prod
2910×	unpow-prod-down
2833×	add-exp-log
2629×	cube-prod
1951×	distribute-lft-out
1882×	add-cbrt-cube
1295×	pow1
1282×	associate-*r*
1243×	difference-of-squares
1137×	associate-/r/
1015×	distribute-lft-out--
975×	prod-exp
868×	div-inv
833×	div-exp
780×	associate-/l*
676×	add-log-exp
527×	associate-/r*
523×	associate-*l*
484×	cbrt-unprod
467×	log1p-expm1-u expm1-log1p-u
451×	distribute-rgt-neg-in
440×	cbrt-undiv
430×	flip--
429×	pow-exp flip3--
423×	flip-+
422×	flip3-+
365×	distribute-lft-neg-in
361×	pow-prod-down
341×	sqr-pow
316×	fma-neg
309×	pow-to-exp
292×	distribute-rgt-in distribute-lft-in
288×	unswap-sqr
240×	log-prod
215×	log-pow
205×	cbrt-prod
201×	fma-def
173×	associate-*r/
163×	neg-mul-1
156×	exp-prod frac-times
154×	unpow3 cube-mult
126×	pow-unpow
125×	associate-*l/
115×	clear-num frac-2neg
112×	associate-/l/
107×	*-commutative
99×	sub-neg
94×	sqrt-div
88×	sin-mult
85×	cos-mult
75×	swap-sqr diff-log
71×	frac-add
59×	cos-sum
57×	div-sub
50×	unpow2
46×	pow-pow
44×	cbrt-div
43×	sqrt-pow1
42×	pow-prod-up log-div
41×	cube-div
40×	pow-sqr
39×	associate--r+
38×	sum-log
34×	pow1/2
32×	associate--l+
28×	rem-log-exp
27×	pow1/3 neg-sub0
26×	+-commutative
25×	associate-+l+
23×	rem-sqrt-square fma-udef sin-sum
21×	1-exp
20×	rem-cube-cbrt
18×	pow-plus rec-exp exp-sum sin-diff
17×	frac-sub associate-+l-
16×	tan-quot
15×	cos-diff neg-log
13×	distribute-rgt-out
12×	associate--l- distribute-frac-neg acos-asin
11×	sin-cos-mult pow2
10×	sum-cubes distribute-neg-frac
9×	pow-flip associate--r-
8×	associate-+r+
7×	sub-div
6×	acos-neg
5×	rem-exp-log difference-cubes
4×	exp-diff sqrt-undiv inv-pow associate-+r- expm1-udef
3×	sqrt-unprod expm1-log1p
2×	un-div-inv distribute-lft1-in distribute-rgt-out-- distribute-rgt-neg-out
1×	sub0-neg rem-square-sqrt hypot-def asin-acos rem-cbrt-cube