Details

rewrite35.0s (2.9%)

Algorithm

146×	rewrite-expression-head

Calls

482 calls:

4.1s	(* (cbrt (- (- (/ 1.0 (/ v m)) (/ m (/ v m))) 1.0)) (cbrt (- (- (/ 1.0 (/ v m)) (/ m (/ v m))) 1.0)))
3.3s	(* (- (- (/ 1.0 (/ v m)) (/ m (/ v m))) 1.0) m)
899.0ms	(- (* (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))) (* (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x))))))) (* 1.0 1.0))
588.0ms	(sqrt (* (cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))) (cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
577.0ms	(cbrt (- (- (/ 1.0 (/ v m)) (/ m (/ v m))) 1.0))

Rules

18477×	associate-*l/
13926×	flip--
13925×	flip3--
13689×	frac-times
10898×	add-exp-log
10125×	add-cbrt-cube
9407×	cbrt-div
9195×	frac-add
6467×	prod-exp
6090×	cbrt-unprod
4924×	associate-*r/
4719×	sqrt-div
4347×	*-un-lft-identity
4298×	times-frac
4032×	add-sqr-sqrt
2949×	add-cube-cbrt
2593×	div-exp
2265×	cbrt-undiv
1613×	pow1
789×	add-log-exp
633×	associate-*l*
564×	associate-/r*
559×	associate-*r*
499×	sqrt-prod
429×	pow-prod-down
377×	associate-/l*
369×	difference-of-squares
343×	flip-+
342×	flip3-+
338×	distribute-lft-out-- div-inv
334×	distribute-lft-out
284×	log-prod
274×	pow-exp
259×	cbrt-prod
223×	associate-/r/
206×	exp-prod
193×	pow-to-exp
162×	pow-prod-up
160×	unswap-sqr
157×	swap-sqr
122×	*-commutative
112×	frac-2neg clear-num
102×	sub-neg
101×	diff-log
100×	associate-/l/
99×	cube-unmult
96×	pow3
93×	log-pow
86×	pow-sqr
80×	sum-cubes
79×	distribute-rgt-neg-in
74×	sum-log
73×	unpow-prod-down
69×	pow-plus
65×	pow1/3
57×	frac-sub sin-mult
55×	distribute-lft-neg-in
53×	sqrt-pow1
52×	log-div
47×	distribute-rgt-in distribute-lft-in
45×	pow1/2
44×	cos-mult
41×	pow2
38×	rem-log-exp
36×	+-commutative div-sub
35×	1-exp rec-exp
33×	pow-unpow
31×	rem-sqrt-square
28×	pow-flip tan-quot
25×	associate--l+
23×	sin-cos-mult
21×	associate-+r+ distribute-rgt-out
19×	sin-diff
17×	sqr-pow
14×	exp-sum sub-div
13×	associate-+l+ exp-diff cos-sum cos-diff
12×	tanh-def difference-cubes
11×	rem-exp-log
10×	pow-pow
9×	associate--r+
8×	inv-pow asin-acos acos-asin
7×	cube-prod sin-sum associate-+r-
6×	neg-sub0
5×	associate--l- exp-neg distribute-rgt-out-- associate-+l- associate--r-
4×	rem-cube-cbrt neg-log neg-mul-1 un-div-inv distribute-neg-frac
3×	distribute-lft1-in distribute-lft-neg-out unpow3 distribute-frac-neg acos-neg cube-mult
2×	sqrt-unprod rem-cbrt-cube
1×	sqrt-undiv unsub-neg log-rec exp-to-pow rem-square-sqrt cube-div tanh-undef