Details

rewrite1.2s (0.5%)

Algorithm

29×	rewrite-expression-head

Calls

96 calls:

152.0ms	(* (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U))))) U)
74.0ms	(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))
58.0ms	(sin (* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a))))
48.0ms	(* (/ l Om) (* n (- U* U)))
46.0ms	(sqrt (* 2 (* U (+ (* n t) (* (* n (- (/ l Om))) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))))))

Rules

321×	add-sqr-sqrt
296×	pow1
261×	*-un-lft-identity
227×	add-exp-log
225×	add-cube-cbrt
209×	add-cbrt-cube
110×	sqrt-pow1
106×	associate-*l*
96×	add-log-exp insert-posit16
94×	sqrt-prod
83×	associate-*r*
79×	times-frac
75×	pow-prod-down
69×	prod-exp
66×	pow1/2
63×	cbrt-unprod associate-*r/
60×	pow-pow
52×	distribute-lft-in distribute-rgt-in
40×	unpow-prod-down
32×	sub-neg
30×	pow-unpow
25×	pow-prod-up
21×	unswap-sqr
20×	*-commutative
18×	distribute-lft-out-- difference-of-squares
17×	flip3-- flip-- cbrt-prod
16×	rem-sqrt-square
15×	pow-sqr
14×	distribute-lft-neg-in swap-sqr distribute-rgt-neg-in
12×	frac-times unpow-prod-up
11×	associate-*l/
10×	pow-exp sqr-pow
9×	div-exp distribute-neg-frac cbrt-undiv
8×	distribute-neg-in sqrt-div log-pow pow-to-exp
7×	pow1/3 div-inv
6×	exp-prod sqrt-pow2 log-prod pow-sub
5×	associate-/l* flip3-+ associate-/r* flip-+
4×	pow2 pow-plus
3×	distribute-rgt-neg-out sqrt-unprod
2×	rem-log-exp sinh-def associate-/l/ associate-/r/ distribute-lft-neg-out acos-asin neg-mul-1
1×	div-sub frac-2neg rem-square-sqrt distribute-lft-out clear-num