Details

rewrite2.0s (1.9%)

Algorithm

31×	rewrite-expression-head

Calls

104 calls:

285.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) 2.0)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*)))))
190.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) 2.0)) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*))))))
121.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
121.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
120.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

506×	add-sqr-sqrt
326×	add-exp-log
323×	*-un-lft-identity
318×	unpow-prod-down
314×	associate-*r/
279×	add-cube-cbrt
235×	pow1
228×	cbrt-div
226×	sqrt-prod
205×	flip-- flip3--
198×	add-cbrt-cube
185×	associate-*r*
140×	add-log-exp
129×	prod-exp
128×	frac-sub
118×	frac-times
90×	unswap-sqr
72×	sqrt-div
71×	associate-*l*
67×	sqr-pow
60×	associate-*l/
59×	times-frac
56×	pow-prod-down
55×	cbrt-unprod
50×	pow-exp
49×	log-prod
48×	sub-neg unpow-prod-up
47×	pow-unpow
46×	swap-sqr
42×	sqrt-pow1
41×	pow-to-exp
39×	exp-prod
32×	cube-prod
31×	pow-pow
30×	distribute-rgt-in distribute-lft-in
28×	cbrt-prod
26×	log-pow
22×	pow1/2
21×	*-commutative difference-of-squares
20×	distribute-lft-out--
16×	sum-log associate--l+
14×	sin-sum
12×	rem-log-exp pow-sub
11×	div-exp
8×	unpow3 cube-mult +-commutative flip3-+ flip-+ rem-sqrt-square associate-/r*
6×	sqrt-pow2 associate-/l*
5×	rem-exp-log div-inv
3×	cbrt-undiv exp-sum
2×	diff-log distribute-lft-out sinh-def associate-+r+ associate-+l+ rem-cube-cbrt acos-asin asin-acos associate-/r/ associate-/l/ pow-prod-up clear-num frac-2neg pow-sqr pow2
1×	e-exp-1 associate--r- div-sub