Details

rewrite15.4s (5.7%)

Algorithm

145×	rewrite-expression-head

Calls

502 calls:

628.0ms	(log (exp (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))))
524.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0))))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))))) (* (- phi1 phi2) (- phi1 phi2))))
518.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0))))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
467.0ms	(- (+ (* 1.0 m) (/ (pow m (/ 3 2)) (/ v (pow m 3/2)))) (* 1.0 (/ (pow m 2) v)))
328.0ms	(- (/ (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (* (cbrt (sqrt (+ 1.0 (exp (* -2.0 x))))) (cbrt (sqrt (+ 1.0 (exp (* -2.0 x))))))) (cbrt (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)

Rules

27462×	times-frac
19023×	add-sqr-sqrt
16830×	*-un-lft-identity
10968×	add-cube-cbrt
4358×	difference-of-squares
4326×	unpow-prod-down
3918×	cube-prod
3334×	sqrt-prod
2230×	add-exp-log
2153×	distribute-lft-out--
1818×	add-cbrt-cube
1758×	sqr-pow
1563×	associate-*r*
1203×	pow1
955×	associate-/l*
926×	div-inv
898×	distribute-rgt-neg-in
807×	add-log-exp
781×	cbrt-prod
700×	distribute-lft-out
685×	flip--
684×	flip3--
683×	associate-*l* associate-/r*
668×	associate-*l/
614×	associate-/r/
595×	div-exp
558×	sqrt-div
552×	prod-exp
455×	frac-times
448×	cbrt-undiv
421×	cbrt-unprod
330×	flip-+
329×	flip3-+
325×	associate-*r/
318×	unswap-sqr
309×	cbrt-div
285×	frac-add
246×	pow-prod-down
188×	log-prod
144×	difference-cubes
137×	associate-/l/
131×	log-pow
126×	clear-num frac-2neg
121×	swap-sqr
117×	distribute-lft-neg-in
112×	exp-prod
109×	pow-exp
103×	*-commutative
100×	frac-sub
96×	unpow3 cube-mult
94×	diff-log
91×	sub-neg
81×	pow-unpow
79×	pow-to-exp
73×	pow1/3
72×	pow-prod-up
70×	sin-mult
69×	sum-log
68×	cube-div
63×	unpow2 div-sub
60×	log-div
57×	cos-mult
56×	pow-sqr
47×	pow1/2 sqrt-pow1
43×	rem-cube-cbrt +-commutative
42×	pow-pow
39×	neg-mul-1
38×	pow-plus
37×	exp-sum
35×	neg-sub0
32×	rem-sqrt-square
30×	pow2
28×	1-exp
24×	rec-exp associate-+l-
23×	sub-div
22×	distribute-rgt-in distribute-lft-in rem-log-exp
20×	neg-log tan-quot
18×	distribute-rgt-out sin-diff
15×	distribute-rgt-neg-out associate--r+
14×	associate--l-
12×	cos-diff associate-+r+
11×	sin-neg
10×	associate--r- associate--l+
9×	sin-cos-mult acos-asin cos-sum
8×	rem-exp-log
7×	exp-diff sin-sum distribute-frac-neg
6×	associate-+r- difference-of-sqr-1 rem-cbrt-cube
5×	unsub-neg
4×	exp-neg distribute-rgt-out--
3×	acos-neg associate-+l+ un-div-inv distribute-lft1-in
2×	sqrt-pow2 sqrt-unprod pow-flip log-rec asin-acos exp-to-pow
1×	pow3 inv-pow rem-square-sqrt tanh-undef tanh-def