Details

rewrite4.3m (46.0%)

Algorithm

31×	rewrite-expression-head

Calls

103 calls:

2.0m	(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))
31.4s	(sqrt (* (cbrt U) (+ (* n t) (- (* (- (* 2 l) (* (* (/ l Om) n) (- U* U))) (/ (* (/ l (* (cbrt Om) (cbrt Om))) n) (cbrt Om)))))))
29.0s	(sqrt (* (cbrt U) (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))
18.0s	(* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))
18.0s	(* (cbrt U) (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))

Rules

1897×	*-un-lft-identity
1809×	add-sqr-sqrt
1648×	times-frac
1161×	pow-unpow
1082×	add-cube-cbrt
616×	associate-*l*
572×	associate-*r*
298×	cbrt-prod
287×	pow1
272×	add-exp-log
260×	pow-prod-down
258×	distribute-lft-out--
251×	unswap-sqr
244×	add-cbrt-cube
176×	sqrt-prod
151×	pow-prod-up
147×	pow-sqr
140×	difference-of-squares
132×	associate-*l/
107×	add-log-exp
103×	insert-posit16
90×	prod-exp
83×	cbrt-unprod
82×	*-commutative
79×	associate-*r/
75×	frac-times
74×	unpow-prod-down
66×	distribute-lft-out
56×	distribute-lft-in distribute-rgt-in
52×	flip3-- flip--
50×	associate-/l* associate-/r*
49×	div-inv
48×	swap-sqr distribute-rgt-neg-in
42×	log-prod
35×	pow1/3
32×	sqr-pow
28×	sub-neg pow-pow
26×	log-pow
23×	sqrt-pow1
22×	pow-to-exp pow-exp
19×	rem-sqrt-square
16×	sinh-def pow1/2 frac-2neg clear-num
14×	div-sub cbrt-div
10×	div-exp cbrt-undiv
9×	pow-sub
8×	sqrt-div unpow-prod-up
6×	rem-log-exp exp-prod
5×	flip-+ flip3-+
4×	pow2 pow-plus +-commutative
3×	acos-asin
2×	distribute-lft-neg-in associate-/l/ sum-log pow3 associate-/r/ sqrt-pow2 distribute-rgt-out