Details

rewrite3.6s (2.0%)

Algorithm

34×	rewrite-expression-head

Calls

101 calls:

480.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) 2.0)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*))))))
349.0ms	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) 2.0)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*)))))))
256.0ms	(* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) 2.0)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*)))))
231.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
197.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

566×	associate-*r/
463×	add-sqr-sqrt
368×	*-un-lft-identity
338×	cbrt-div
311×	pow1
297×	flip-- flip3--
286×	add-cube-cbrt
280×	add-exp-log
207×	add-cbrt-cube
185×	frac-sub
174×	frac-times
160×	cbrt-prod
134×	sqrt-prod
106×	add-log-exp
105×	associate-*r*
98×	prod-exp
88×	associate-*l/
87×	times-frac
84×	pow-prod-down
80×	sqrt-div
74×	distribute-rgt-in distribute-lft-in
68×	unpow-prod-down
62×	cbrt-unprod
61×	associate-*l*
60×	log-prod
50×	sub-neg sqrt-pow1
44×	swap-sqr
40×	distribute-lft-out--
38×	unswap-sqr
36×	log-pow pow1/2
35×	cube-prod difference-of-squares
33×	exp-prod
32×	associate--l+
30×	pow-unpow
24×	pow1/3
22×	pow-exp
20×	*-commutative sinh-def
18×	associate-/r*
17×	sqr-pow
16×	pow-prod-up pow-to-exp
14×	pow-pow
12×	pow-sqr unpow-prod-up associate-/l*
11×	cube-mult unpow3 div-exp
10×	rem-sqrt-square associate-/r/
9×	rem-log-exp
7×	div-inv
6×	rem-cube-cbrt
5×	cbrt-undiv pow-plus pow2
4×	cube-div rem-cbrt-cube clear-num frac-2neg
3×	exp-sum distribute-rgt-out--
2×	diff-log associate-/l/ rem-square-sqrt sqrt-pow2 acos-asin asin-acos rem-exp-log sqrt-unprod pow-sub
1×	div-sub associate--r- sub-div