Details

rewrite852.0ms (0.8%)

Algorithm

29×	rewrite-expression-head

Calls

96 calls:

81.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
58.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 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
50.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
45.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

363×	add-sqr-sqrt
312×	add-exp-log
279×	*-un-lft-identity
223×	add-cube-cbrt
215×	pow1
175×	add-cbrt-cube
142×	unpow-prod-down
128×	prod-exp
121×	associate-*r*
115×	add-log-exp
97×	sqrt-prod
96×	associate-*r/
68×	times-frac
51×	pow-prod-down
50×	sqrt-pow1
48×	flip-- flip3--
47×	pow-exp
45×	cbrt-unprod associate-*l*
41×	pow-unpow
36×	difference-of-squares log-prod
33×	exp-prod
32×	sub-neg frac-sub log-pow
30×	unswap-sqr
28×	distribute-lft-out-- pow-to-exp
26×	sqr-pow
24×	distribute-rgt-in distribute-lft-in sqrt-div pow1/2
18×	div-exp
16×	cube-prod associate--l+
15×	*-commutative pow-pow
14×	unpow-prod-up cbrt-prod
12×	rem-sqrt-square
8×	sum-log associate-/r*
7×	rem-log-exp
6×	div-inv associate-/l* pow-sub
4×	unpow3 cube-mult +-commutative flip3-+ sqrt-pow2 flip-+
3×	cbrt-undiv exp-sum
2×	diff-log associate-/l/ sinh-def associate-+r+ acos-asin rem-exp-log associate-/r/ clear-num frac-2neg
1×	rem-cube-cbrt div-sub