Details

rewrite3.1s (1.2%)

Algorithm

29×	rewrite-expression-head

Calls

91 calls:

273.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*))))
246.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
229.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
225.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*)))))
218.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

329×	add-sqr-sqrt
282×	add-exp-log
247×	*-un-lft-identity
228×	pow1
217×	add-cube-cbrt
168×	add-cbrt-cube
117×	prod-exp
111×	associate-*r*
106×	associate-*r/
103×	add-log-exp
82×	sqrt-prod
73×	unpow-prod-down
72×	log-prod
58×	times-frac
56×	pow-prod-down
55×	flip-- flip3--
53×	associate-*l*
52×	sqrt-pow1
43×	cbrt-unprod
40×	frac-sub
36×	log-pow
34×	unswap-sqr
33×	pow1/2
32×	distribute-rgt-in sub-neg distribute-lft-in pow-exp
31×	exp-prod
30×	cbrt-prod
24×	sqrt-div
20×	cube-prod associate--l+
19×	pow-to-exp
18×	sqr-pow
16×	swap-sqr div-exp
15×	*-commutative difference-of-squares distribute-lft-out--
12×	associate--r+
11×	rem-log-exp
10×	rem-sqrt-square pow-prod-up
8×	pow-pow associate-/r*
6×	diff-log cube-mult pow-sqr pow-unpow unpow3 associate-/l*
5×	div-inv
4×	pow1/3
3×	cbrt-undiv rem-exp-log exp-sum
2×	associate-/l/ sinh-def rem-cube-cbrt pow-plus rem-square-sqrt acos-asin associate--l- sqrt-unprod associate-/r/ clear-num frac-2neg pow2
1×	div-sub