Details

rewrite3.2s (1.1%)

Algorithm

27×	rewrite-expression-head

Calls

86 calls:

323.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (- U U*) (pow (/ l Om) (/ 2.0 2))))))
278.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
251.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
248.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (- U U*) (pow (/ l Om) (/ 2.0 2)))))))
242.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*))))

Rules

357×	add-sqr-sqrt
312×	pow1
305×	*-un-lft-identity
291×	add-exp-log
273×	add-cube-cbrt
168×	sqrt-pow1
166×	add-cbrt-cube
157×	associate-*r*
128×	log-pow
122×	prod-exp
118×	cbrt-prod
102×	prod-diff
87×	log1p-expm1-u distribute-rgt-in add-log-exp distribute-lft-in
86×	associate-*r/ pow1/2 expm1-log1p-u
79×	unpow-prod-down
75×	pow-prod-down
69×	log-prod
68×	times-frac
64×	sqrt-prod
46×	flip-- flip3--
45×	cbrt-unprod
40×	associate--l+
36×	pow-prod-up
34×	pow-exp
33×	associate-*l*
32×	frac-sub
30×	exp-prod
24×	sqrt-div
23×	pow-unpow
22×	sub-neg
20×	unswap-sqr pow-sqr
18×	div-exp pow-to-exp
16×	cube-prod difference-of-squares distribute-lft-out--
15×	*-commutative
13×	sqr-pow
12×	rem-sqrt-square rem-log-exp
10×	associate-*l/
9×	pow1/3
8×	associate-/r*
6×	associate-/l* div-inv
4×	unpow3 cube-mult pow-plus pow2
3×	cbrt-undiv pow-pow exp-sum
2×	associate-/l/ rem-exp-log rem-cube-cbrt acos-asin fma-udef associate-/r/ clear-num frac-2neg sinh-def
1×	expm1-log1p expm1-udef div-sub e-exp-1