Details

rewrite827.0ms (0.8%)

Algorithm

29×	rewrite-expression-head

Calls

90 calls:

83.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
62.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*))))
60.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*)))))
53.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
47.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

387×	add-sqr-sqrt
334×	add-exp-log
303×	*-un-lft-identity
261×	add-cube-cbrt
248×	pow1
196×	add-cbrt-cube
180×	log-prod
170×	associate-*r*
145×	prod-exp
126×	log-pow
104×	associate-*r/
95×	cbrt-prod
92×	add-log-exp
88×	exp-prod
82×	sqrt-prod
76×	unpow-prod-down
69×	pow-prod-down times-frac
65×	associate-*l*
64×	distribute-rgt-in distribute-lft-in
62×	cbrt-unprod
51×	flip-- flip3--
40×	unswap-sqr
34×	pow-exp
33×	sub-neg
32×	frac-sub
28×	sqrt-pow1
24×	*-commutative sqrt-div
22×	difference-of-squares
21×	distribute-lft-out--
19×	pow-to-exp
18×	div-exp
17×	rem-log-exp
16×	sqr-pow associate--l+ pow1/2
10×	pow1/3
8×	cube-prod rem-sqrt-square associate-/r*
6×	associate-/l* div-inv
3×	cbrt-undiv exp-sum
2×	associate-/l/ sinh-def unpow3 cube-mult acos-asin asin-acos associate-/r/ clear-num frac-2neg
1×	diff-log div-sub rem-exp-log associate--r- pow3