Details

rewrite900.0ms (0.8%)

Algorithm

29×	rewrite-expression-head

Calls

86 calls:

88.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
68.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*))))
65.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*)))))
57.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

420×	add-sqr-sqrt
359×	*-un-lft-identity
333×	pow1
325×	add-cube-cbrt
298×	add-exp-log
189×	sqrt-pow1
185×	log-pow
164×	add-cbrt-cube
159×	prod-diff
133×	associate-*r*
125×	prod-exp
123×	log-prod
107×	distribute-rgt-in distribute-lft-in
105×	times-frac
97×	pow1/2
96×	associate-*r/
95×	cbrt-prod
88×	add-log-exp
87×	log1p-expm1-u
86×	expm1-log1p-u
82×	pow-prod-down
67×	sqrt-prod
60×	unpow-prod-down
49×	exp-prod associate-*l*
47×	flip-- flip3--
46×	cbrt-unprod
45×	pow-prod-up
40×	associate--l+
32×	frac-sub
30×	pow-exp
26×	unswap-sqr
25×	sub-neg pow-sqr
24×	sqrt-div
20×	rem-log-exp
18×	difference-of-squares div-exp
17×	distribute-lft-out--
16×	*-commutative
15×	pow-to-exp
13×	fma-neg
10×	pow1/3 div-inv
9×	rem-sqrt-square
8×	sqr-pow associate-/r*
6×	associate-/l*
5×	pow-plus pow2
4×	fma-udef
3×	cbrt-undiv exp-sum
2×	associate-/l/ acos-asin asin-acos associate-/r/ clear-num frac-2neg sinh-def
1×	expm1-log1p rem-exp-log expm1-udef div-sub associate--r- pow3 diff-log