Details

rewrite745.0ms (0.7%)

Algorithm

25×	rewrite-expression-head

Calls

75 calls:

79.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
62.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*)))))
52.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
46.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

377×	add-sqr-sqrt
304×	add-exp-log
259×	*-un-lft-identity
223×	add-cube-cbrt
194×	pow1
170×	associate-*r*
153×	add-cbrt-cube
141×	prod-exp
129×	unpow-prod-down
116×	cbrt-prod
96×	associate-*r/
87×	add-log-exp
79×	times-frac
75×	associate-*l*
66×	unswap-sqr
60×	pow-prod-down
49×	cbrt-unprod
48×	pow-exp
46×	flip-- flip3--
36×	sqr-pow
33×	pow1/3
32×	frac-sub
30×	pow-to-exp
25×	sub-neg
24×	sqrt-div log-prod
22×	distribute-lft-in distribute-rgt-in
20×	*-commutative log-pow sqrt-pow1
19×	difference-of-squares swap-sqr
18×	distribute-lft-out-- div-exp
17×	pow-unpow
16×	sqrt-prod sinh-def pow-pow exp-prod associate--l+
14×	cbrt-div
8×	cube-prod pow1/2 associate-/r*
7×	unpow-prod-up pow-prod-up div-inv pow-sqr
6×	associate-/l* sum-log rem-log-exp
4×	unpow1/2 acos-asin pow2
3×	cbrt-undiv pow-plus exp-sum
2×	associate-/l/ cube-mult +-commutative associate-*l/ sqrt-pow2 unpow3 associate-+r+ flip-+ flip3-+ rem-sqrt-square asin-acos unpow1/3 frac-times associate-/r/ clear-num frac-2neg pow-sub
1×	diff-log exp-diff rem-square-sqrt div-sub e-exp-1 rem-exp-log pow3 associate--r- log-div sqrt-unprod