Details

rewrite1.7s (1.5%)

Algorithm

27×	rewrite-expression-head

Calls

85 calls:

249.0ms	(* (* (* 2.0 n) (- t (- (* 2.0 (* l (/ l Om))) (* (- (* n (pow (/ l Om) (* 2 (/ 2.0 2))))) (- U U*))))) U)
183.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*))))
149.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
129.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
128.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

350×	add-sqr-sqrt
294×	add-exp-log
279×	*-un-lft-identity
231×	add-cube-cbrt
196×	pow1
168×	add-cbrt-cube
139×	associate-*r*
127×	prod-exp
100×	unpow-prod-down
88×	times-frac
85×	add-log-exp
72×	pow-unpow
70×	associate-*r/
60×	sqrt-prod
55×	cbrt-prod
48×	pow-prod-down
47×	cbrt-unprod
41×	pow-exp
40×	associate-*l*
37×	flip-- flip3--
33×	unswap-sqr
30×	log-prod
29×	log-pow
25×	pow-to-exp sqrt-pow1
24×	difference-of-squares frac-sub distribute-lft-out-- sqr-pow
22×	sub-neg
20×	distribute-rgt-in distribute-lft-in
19×	exp-prod
18×	sqrt-div
17×	*-commutative div-exp
16×	cube-prod pow1/2
15×	pow-pow
12×	associate--l+
11×	pow1/3
10×	rem-sqrt-square
8×	rem-log-exp associate-/r*
7×	unpow-prod-up div-inv
6×	associate-/l*
4×	cube-mult sqrt-pow2 unpow3 acos-asin pow-sub
3×	cbrt-undiv div-sub exp-sum
2×	associate-/l/ sinh-def associate-*l/ associate-/r/ clear-num frac-2neg e-exp-1
1×	distribute-rgt-neg-in exp-diff log-div rem-cube-cbrt rem-exp-log neg-mul-1 distribute-lft-neg-out distribute-lft-neg-in