Details

rewrite1.8s (1.0%)

Algorithm

30×	rewrite-expression-head

Calls

91 calls:

170.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*))))
151.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*)))))
136.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
122.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
119.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

467×	add-sqr-sqrt
336×	add-exp-log
295×	*-un-lft-identity
274×	unpow-prod-down
253×	add-cube-cbrt
220×	sqrt-prod
212×	pow1
174×	add-cbrt-cube
151×	associate-*r*
149×	prod-exp
98×	associate-*r/
91×	add-log-exp
83×	times-frac
80×	unswap-sqr
75×	associate-*l*
55×	pow-exp
53×	pow-prod-down
52×	sqr-pow
47×	cbrt-unprod
46×	flip-- flip3-- swap-sqr
42×	sub-neg
41×	log-prod
39×	unpow-prod-up pow-to-exp
38×	pow-unpow sqrt-pow1
32×	frac-sub
28×	distribute-rgt-in distribute-lft-in
24×	sqrt-div cbrt-prod log-pow
22×	pow1/2
21×	difference-of-squares distribute-lft-out--
19×	pow-pow
18×	div-exp
17×	*-commutative
16×	associate--l+
14×	cube-prod exp-prod
12×	rem-sqrt-square rem-log-exp
11×	pow-sub
8×	associate-/r*
7×	div-inv
6×	associate-/l*
5×	pow1/3
4×	unpow3 cube-mult sqrt-pow2 exp-sum pow-prod-up
3×	cbrt-undiv
2×	associate-/l/ sinh-def pow-plus pow-sqr associate-*l/ div-sub acos-asin rem-exp-log associate-/r/ pow3 clear-num frac-2neg frac-times pow2 unpow2
1×	e-exp-1 rem-cube-cbrt rem-cbrt-cube