Details

rewrite3.4s (1.4%)

Algorithm

33×	rewrite-expression-head

Calls

112 calls:

250.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
235.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*))))
218.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*)))))
208.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
191.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*))))))

Rules

694×	add-sqr-sqrt
436×	sqrt-prod
431×	unpow-prod-down
383×	add-exp-log
382×	*-un-lft-identity
338×	add-cube-cbrt
269×	pow1
216×	add-cbrt-cube
211×	associate-*r*
171×	prod-exp
146×	unswap-sqr
133×	associate-*l*
129×	add-log-exp
102×	associate-*r/
100×	swap-sqr
83×	sqr-pow
74×	pow-prod-down
68×	times-frac
67×	pow-exp
56×	cbrt-unprod
55×	sqrt-pow1
52×	unpow-prod-up pow-to-exp
50×	sub-neg
46×	flip-- flip3--
43×	sqrt-div pow1/2
32×	exp-prod frac-sub
31×	pow-unpow
30×	log-pow
29×	cube-prod
24×	*-commutative distribute-rgt-in distribute-lft-in cbrt-prod log-prod
20×	rem-sqrt-square
18×	pow-sub difference-of-squares distribute-lft-out-- div-exp
17×	associate-*l/
16×	associate--l+
13×	pow-pow
12×	sinh-def
10×	flip-+ flip3-+ cosh-def
9×	cube-mult unpow3 sum-log pow-prod-up
8×	associate-/r*
7×	pow-sqr frac-times
6×	sqrt-unprod exp-sum div-inv associate-/l* rem-log-exp
5×	rem-cube-cbrt +-commutative pow2
4×	distribute-lft-out acos-asin cube-div
3×	cbrt-undiv exp-diff rem-exp-log log-div
2×	associate-/l/ cbrt-div pow1/3 sqrt-pow2 associate-+r+ associate-/r/ rem-cbrt-cube clear-num frac-2neg
1×	pow-plus rem-square-sqrt div-sub