Details

rewrite1.6s (1.6%)

Algorithm

27×	rewrite-expression-head

Calls

78 calls:

173.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*))))
158.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*)))))
138.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
121.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
120.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

289×	add-sqr-sqrt
287×	add-exp-log
224×	*-un-lft-identity
190×	add-cube-cbrt
183×	pow1
159×	add-cbrt-cube
128×	prod-exp
121×	associate-*r*
102×	unpow-prod-down
96×	associate-*r/
80×	add-log-exp
69×	times-frac
51×	pow-prod-down
47×	flip-- flip3--
45×	cbrt-unprod associate-*l*
41×	pow-exp cbrt-prod
32×	frac-sub
30×	pow-unpow unswap-sqr
28×	cube-prod
25×	sub-neg
24×	distribute-rgt-in sqr-pow sqrt-div distribute-lft-in pow-to-exp log-prod
22×	sqrt-prod sqrt-pow1
21×	log-pow
18×	difference-of-squares div-exp
17×	distribute-lft-out--
16×	associate--l+
15×	*-commutative
13×	exp-prod
10×	pow1/2
8×	cube-mult unpow3 associate-/r*
6×	rem-sqrt-square div-inv associate-/l* rem-log-exp
5×	pow-pow
3×	cbrt-undiv rem-cube-cbrt pow1/3 unpow-prod-up exp-sum
2×	associate-/l/ sinh-def e-exp-1 acos-asin asin-acos associate-/r/ rem-cbrt-cube clear-num frac-2neg
1×	diff-log div-sub rem-exp-log associate--r-