Details

rewrite1.1s (0.2%)

Algorithm

31×	rewrite-expression-head

Calls

95 calls:

88.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
65.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
60.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
56.0ms	(* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
52.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

472×	add-sqr-sqrt
374×	*-un-lft-identity
326×	add-exp-log
294×	unpow-prod-down
292×	add-cube-cbrt
246×	pow1
173×	add-cbrt-cube
130×	prod-exp
126×	associate-*r* times-frac
121×	sqrt-prod
100×	cbrt-prod
97×	add-log-exp
95×	associate-*r/
67×	pow-exp pow-prod-down
63×	pow-unpow associate-*l*
52×	unswap-sqr
50×	flip-- flip3-- sqr-pow cbrt-unprod
41×	sub-neg
40×	unpow-prod-up distribute-lft-out-- pow-to-exp
36×	pow1/3 log-prod
34×	difference-of-squares
33×	frac-sub sqrt-pow1
31×	log-pow
30×	swap-sqr
24×	distribute-rgt-in sqrt-div distribute-lft-in
21×	pow-pow
20×	div-exp
19×	exp-prod
18×	associate-/r*
17×	pow-prod-up
16×	associate--l+
15×	*-commutative pow1/2
12×	cube-prod associate-/l*
11×	div-inv
10×	associate-/r/
9×	pow-sub
8×	sinh-def
7×	pow-plus pow-sqr rem-log-exp
6×	rem-sqrt-square
5×	cbrt-undiv
4×	cube-div cube-mult unpow3 clear-num frac-2neg pow2
3×	sqrt-pow2 exp-sum distribute-rgt-out--
2×	associate-/l/ cbrt-div rem-cube-cbrt distribute-rgt-out e-exp-1 acos-asin rem-cbrt-cube
1×	diff-log div-sub frac-times rem-exp-log distribute-lft1-in associate-*l/ pow3 sub-div