Details

rewrite8.3s (1.3%)

Algorithm

148×	rewrite-expression-head

Calls

497 calls:

252.0ms	(* (/ (* (/ (/ a1 (* (cbrt b1) (cbrt b1))) (* (cbrt b2) (cbrt b2))) (* (cbrt a2) (cbrt a2))) (cbrt (* (cbrt b2) (cbrt b2)))) (/ (/ (cbrt a2) (cbrt b1)) (cbrt (cbrt b2))))
204.0ms	(/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
195.0ms	(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))
155.0ms	(* (- (/ (/ (* m (- 1.0 m)) (sqrt v)) (sqrt v)) 1.0) m)
152.0ms	(log (exp (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))))

Rules

8158×	*-un-lft-identity
7456×	add-sqr-sqrt
7332×	times-frac
5726×	add-cube-cbrt
2999×	add-exp-log
2816×	prod-diff
1919×	add-cbrt-cube
1383×	associate-*r*
1194×	cbrt-prod
1149×	pow1
1113×	sqrt-prod
1007×	prod-exp
936×	div-exp
806×	add-log-exp
684×	unpow-prod-down
664×	distribute-lft-out
632×	cbrt-unprod
599×	difference-of-squares cbrt-undiv
574×	distribute-rgt-neg-in
555×	distribute-lft-out--
502×	expm1-log1p-u
498×	log1p-expm1-u
497×	associate-/l*
494×	associate-/r*
459×	distribute-lft-neg-in
433×	associate-*l*
424×	div-inv
389×	associate-/r/
364×	fma-neg
331×	fma-def
317×	distribute-rgt-in distribute-lft-in
311×	pow-exp
289×	log-prod
240×	flip--
239×	flip3--
233×	flip-+
232×	flip3-+
228×	sqr-pow pow-to-exp
223×	pow-prod-down
217×	cube-prod
213×	unswap-sqr
151×	neg-mul-1
146×	unpow2
140×	associate-*r/
136×	log-pow
108×	clear-num frac-2neg
107×	swap-sqr
106×	exp-prod
99×	sub-neg
98×	*-commutative
96×	associate-/l/
94×	frac-times
90×	diff-log
88×	sqrt-div
87×	associate-*l/
75×	pow-unpow sum-log
74×	cbrt-div sin-sum
67×	log-div
66×	sqrt-pow1
56×	unpow3 cube-mult
55×	pow-prod-up
53×	associate-+r+
52×	div-sub
51×	+-commutative
47×	cos-sum
43×	pow1/2
40×	associate--l+
39×	associate-+l+ pow-sqr
37×	1-exp
35×	neg-sub0 rem-log-exp
31×	pow1/3 rec-exp exp-sum
30×	rem-sqrt-square pow-plus distribute-rgt-out
29×	fma-udef
26×	associate-+l-
24×	pow2 pow-pow
22×	neg-log associate--r+
20×	tan-quot
19×	sin-diff
18×	cos-diff
17×	sin-mult cos-mult
16×	associate--l- distribute-rgt-neg-out
15×	associate-+r- pow-flip
13×	hypot-def
12×	frac-add frac-sub
11×	distribute-frac-neg
10×	distribute-lft-neg-out unsub-neg expm1-udef
9×	sin-cos-mult inv-pow expm1-log1p acos-asin
8×	rem-cube-cbrt exp-to-pow
7×	rem-exp-log associate--r-
6×	acos-neg log1p-udef log1p-expm1
5×	asin-acos
4×	exp-diff
3×	difference-of-sqr-1 rem-cbrt-cube
2×	cube-div sin-neg un-div-inv distribute-lft1-in exp-neg hypot-udef sqrt-unprod distribute-neg-frac
1×	distribute-neg-out expm1-def div0 rem-square-sqrt