Details

rewrite872.0ms (0.8%)

Algorithm

27×	rewrite-expression-head

Calls

90 calls:

83.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
63.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*))))
59.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*)))))
50.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* 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

479×	add-sqr-sqrt
372×	unpow-prod-down
323×	add-exp-log
303×	*-un-lft-identity
269×	add-cube-cbrt
232×	sqrt-prod
199×	pow1
171×	add-cbrt-cube
163×	associate-*r*
141×	prod-exp
105×	add-log-exp
96×	associate-*r/
84×	cbrt-prod unswap-sqr
78×	times-frac
77×	associate-*l*
61×	sqr-pow
58×	pow-exp
52×	pow-prod-down
46×	swap-sqr
45×	flip-- flip3-- cbrt-unprod
40×	sub-neg
39×	pow-to-exp log-prod
36×	unpow-prod-up
34×	sqrt-pow1
33×	exp-prod
32×	frac-sub
31×	log-pow
25×	cube-prod
24×	sqrt-div
22×	distribute-rgt-in pow-unpow distribute-lft-in
18×	div-exp
17×	*-commutative difference-of-squares distribute-lft-out--
16×	associate--l+ pow1/2
10×	pow-pow pow-sub
8×	sum-log rem-sqrt-square rem-log-exp associate-/r*
7×	unpow3 cube-mult div-inv
6×	pow1/3 associate-/l*
4×	+-commutative flip3-+ flip-+
3×	cbrt-undiv exp-sum
2×	associate-/l/ associate-+r+ associate-*l/ sqrt-pow2 rem-cube-cbrt acos-asin rem-exp-log pow-sqr associate-/r/ rem-cbrt-cube pow-prod-up clear-num frac-2neg frac-times pow2 sinh-def
1×	div-sub