Details

rewrite3.0s (0.2%)

Algorithm

27×	rewrite-expression-head

Calls

83 calls:

283.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
262.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
254.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
225.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
209.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

429×	add-sqr-sqrt
298×	add-exp-log
285×	unpow-prod-down
281×	*-un-lft-identity
241×	add-cube-cbrt
208×	sqrt-prod
196×	pow1
161×	add-cbrt-cube
136×	prod-exp
121×	associate-*r*
105×	log-prod
98×	distribute-rgt-in associate-*r/ distribute-lft-in
90×	add-log-exp
73×	associate-*l*
68×	unswap-sqr times-frac
59×	exp-sum
55×	pow-prod-down
53×	sqr-pow
48×	flip-- flip3--
47×	pow-exp
46×	swap-sqr
45×	cbrt-unprod
42×	sub-neg
36×	unpow-prod-up
34×	sqrt-pow1
32×	frac-sub pow-to-exp
25×	cbrt-prod
24×	sqrt-div
22×	log-pow
20×	exp-prod difference-of-squares distribute-lft-out--
19×	pow-unpow pow-pow
18×	div-exp pow1/2
16×	associate--l+
15×	*-commutative
10×	pow-sub
8×	rem-sqrt-square associate-/r*
6×	associate-/l* associate-*l/ div-inv rem-log-exp
5×	pow1/3
4×	sqrt-pow2 rem-exp-log exp-to-pow
3×	cbrt-undiv acos-asin
2×	associate-/l/ pow-sqr associate-/r/ pow-prod-up clear-num frac-2neg frac-times pow2
1×	div-sub