Details

rewrite2.8s (1.0%)

Algorithm

27×	rewrite-expression-head

Calls

86 calls:

322.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*))))
244.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
244.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*)))))
227.0ms	(sqrt (* (* (* 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*)))))
209.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

321×	add-sqr-sqrt
304×	add-exp-log
283×	pow1
270×	*-un-lft-identity
232×	add-cube-cbrt
181×	add-cbrt-cube
139×	associate-*r*
130×	prod-exp
118×	cbrt-prod
107×	log-pow
103×	sqrt-pow1
102×	associate-*r/
96×	log-prod
87×	add-log-exp
79×	unpow-prod-down
74×	pow-prod-down
70×	sqrt-prod
68×	times-frac
54×	cbrt-unprod
53×	distribute-rgt-in pow1/2 distribute-lft-in
49×	flip-- flip3--
48×	exp-prod associate-*l*
34×	pow-exp
32×	frac-sub
30×	sub-neg
24×	sqrt-div
23×	pow-unpow
20×	unswap-sqr
19×	difference-of-squares distribute-lft-out--
18×	*-commutative pow-prod-up div-exp pow-to-exp
16×	cube-prod associate--l+
13×	sqr-pow
11×	rem-sqrt-square rem-log-exp
10×	pow-sqr
9×	pow1/3
8×	associate-/r*
6×	associate-/l* div-inv
4×	unpow3 cube-mult
3×	cbrt-undiv pow-pow exp-sum
2×	associate-/l/ pow-plus rem-cube-cbrt acos-asin rem-exp-log associate-/r/ clear-num frac-2neg pow2 sinh-def
1×	div-sub e-exp-1