Details

rewrite885.0ms (0.9%)

Algorithm

27×	rewrite-expression-head

Calls

87 calls:

84.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*)))))
82.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
81.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*))))))
60.0ms	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
58.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

433×	add-sqr-sqrt
389×	*-un-lft-identity
347×	add-cube-cbrt
297×	add-exp-log
227×	pow1
216×	prod-diff
163×	add-cbrt-cube
146×	unpow-prod-down
144×	log-prod
133×	distribute-rgt-in distribute-lft-in
120×	prod-exp
113×	unpow-prod-up
110×	associate-*r/
94×	sqrt-prod
91×	associate-*r*
88×	log1p-expm1-u
87×	add-log-exp expm1-log1p-u
68×	times-frac
67×	cbrt-prod
60×	associate--l+
59×	pow-prod-down
51×	pow-unpow
50×	sqrt-pow1
45×	flip-- flip3-- cbrt-unprod
44×	pow-exp
41×	log-pow
40×	sub-neg
32×	frac-sub
27×	pow-to-exp
26×	pow1/2
24×	sqrt-div pow-pow
22×	sqr-pow rem-log-exp
21×	difference-of-squares distribute-lft-out--
19×	exp-prod associate-*l*
18×	div-exp
16×	unswap-sqr
12×	rem-sqrt-square
11×	*-commutative
10×	pow-sub
8×	pow1/3 cube-prod associate-/r*
6×	associate-/l* sqrt-pow2 div-inv
4×	log-div
3×	cbrt-undiv exp-sum
2×	associate-/l/ cube-mult expm1-udef unpow3 e-exp-1 acos-asin associate-/r/ clear-num frac-2neg
1×	expm1-log1p div-sub rem-exp-log rem-cbrt-cube sin-diff