Details

rewrite1.7s (1.0%)

Algorithm

29×	rewrite-expression-head

Calls

99 calls:

176.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*))))
152.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*)))))
141.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
123.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
122.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

516×	add-sqr-sqrt
325×	add-exp-log *-un-lft-identity
306×	unpow-prod-down
281×	add-cube-cbrt
265×	sqrt-prod
236×	pow1
176×	add-cbrt-cube
138×	prod-exp
124×	associate-*r*
112×	cbrt-prod
102×	add-log-exp
98×	associate-*r/
85×	unswap-sqr
78×	associate-*l*
68×	times-frac
55×	pow-prod-down
54×	sqrt-pow1
53×	pow-exp
52×	sqr-pow
46×	flip-- flip3--
45×	cbrt-unprod
44×	swap-sqr
42×	pow-unpow
38×	pow-to-exp
34×	pow1/2
33×	log-prod
32×	frac-sub
31×	pow-pow
30×	sub-neg
24×	distribute-rgt-in distribute-lft-in sqrt-div
22×	difference-of-squares distribute-lft-out--
20×	rem-sqrt-square
18×	div-exp
16×	associate--l+ log-pow
15×	*-commutative pow1/3
14×	exp-prod pow-sub
12×	cube-prod unpow-prod-up
9×	div-sub
8×	sinh-def associate-/r*
6×	sqrt-pow2 div-inv associate-/l* rem-log-exp
5×	pow-prod-up
4×	cube-mult pow-sqr unpow3 cube-div
3×	cbrt-undiv rem-exp-log exp-sum pow2
2×	associate-/l/ cbrt-div rem-cube-cbrt pow-plus associate-*l/ acos-asin associate-/r/ rem-cbrt-cube clear-num frac-2neg frac-times
1×	exp-to-pow