Details

rewrite3.0s (1.0%)

Algorithm

32×	rewrite-expression-head

Calls

94 calls:

281.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*))))
270.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 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
202.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

394×	add-sqr-sqrt
338×	add-exp-log
311×	*-un-lft-identity
267×	add-cube-cbrt
262×	pow1
202×	add-cbrt-cube
167×	associate-*r*
145×	prod-exp
129×	log-prod
106×	unpow-prod-down
104×	add-log-exp associate-*r/
91×	sqrt-prod
86×	cbrt-prod log-pow
70×	pow-prod-down
68×	times-frac
67×	associate-*l*
64×	distribute-rgt-in distribute-lft-in
62×	cbrt-unprod
55×	exp-prod
50×	flip-- flip3--
45×	sqrt-pow1
40×	pow-exp
38×	unswap-sqr
34×	sub-neg
32×	frac-sub
27×	pow1/2
24×	*-commutative sqrt-div pow-to-exp
22×	difference-of-squares distribute-lft-out-- sqr-pow
18×	div-exp
16×	pow-unpow associate--l+
11×	rem-log-exp
9×	pow1/3 pow-pow
8×	cube-prod swap-sqr associate-/r*
7×	rem-sqrt-square unpow-prod-up
6×	sum-log div-inv associate-/l*
5×	pow-prod-up
4×	sinh-def
3×	cbrt-undiv pow-sqr acos-asin exp-sum
2×	associate-/l/ associate-+r+ unpow3 cube-mult +-commutative flip3-+ sqrt-pow2 flip-+ associate-/r/ clear-num frac-2neg pow-sub
1×	pow-plus rem-square-sqrt e-exp-1 sqrt-unprod rem-exp-log div-sub pow2 unpow2