Details

rewrite979.0ms (1.0%)

Algorithm

29×	rewrite-expression-head

Calls

88 calls:

87.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
66.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*))))
64.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*)))))
55.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
55.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*)))))

Rules

485×	add-sqr-sqrt
423×	*-un-lft-identity
379×	add-cube-cbrt
291×	add-exp-log
254×	unpow-prod-down
250×	pow1
246×	prod-diff
164×	add-cbrt-cube
154×	unpow-prod-up
119×	prod-exp
118×	sqrt-prod
96×	associate-*r/
95×	associate-*r*
90×	cube-prod
89×	log1p-expm1-u
88×	add-log-exp expm1-log1p-u
84×	distribute-rgt-in distribute-lft-in
68×	times-frac
62×	pow-prod-down
54×	sqrt-pow1
52×	pow-exp log-pow
46×	flip-- flip3--
45×	associate-*l*
43×	cbrt-unprod
42×	pow-unpow pow1/2
40×	associate--l+
39×	exp-prod
38×	sub-neg
32×	frac-sub
29×	pow-to-exp
26×	sqr-pow
24×	sqrt-div unswap-sqr
22×	difference-of-squares distribute-lft-out--
18×	div-exp pow-pow
17×	pow-prod-up cbrt-prod
14×	swap-sqr log-prod
13×	*-commutative
11×	pow-sqr
10×	rem-sqrt-square pow-sub
8×	associate-/r*
7×	pow1/3
6×	associate-/l* div-inv
5×	rem-log-exp
4×	cube-div unpow3 cube-mult pow-plus sqrt-pow2 rem-cube-cbrt exp-sum pow2
3×	cbrt-undiv expm1-udef
2×	associate-/l/ sinh-def rem-exp-log acos-asin fma-udef associate-/r/ clear-num frac-2neg sin-diff
1×	expm1-log1p rem-square-sqrt div-sub sqrt-unprod