Details

rewrite1.4s (0.5%)

Algorithm

31×	rewrite-expression-head

Calls

103 calls:

131.0ms	(* U (* (* n (/ l Om)) (- (- (* l 2) (* (* n (/ l Om)) (- U* U))))))
65.0ms	(sqrt (* 2 (* U (* n (- t (* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U))))))))))
61.0ms	(sin (* (pow (atan2 b b) (/ (/ (- b a) 2) 2)) (pow (atan2 b b) (/ (/ (- b a) 2) 2))))
58.0ms	(* (/ l Om) (- (* 2 l) (* (/ l Om) (* n (- U* U)))))
58.0ms	(* (/ l Om) (* n (- U* U)))

Rules

761×	add-sqr-sqrt
669×	*-un-lft-identity
645×	times-frac
549×	add-cube-cbrt
292×	pow-unpow
285×	add-exp-log
265×	pow1
243×	add-cbrt-cube
163×	cbrt-prod
145×	associate-*r*
123×	associate-*l*
107×	add-log-exp
103×	insert-posit16
96×	prod-exp
81×	pow-prod-down
76×	cbrt-unprod
74×	unpow-prod-down
61×	associate-*r/
60×	distribute-lft-out-- difference-of-squares
54×	distribute-lft-in distribute-rgt-in
50×	unswap-sqr
42×	log-prod
40×	sqrt-prod
35×	pow1/3
32×	sqr-pow div-inv
28×	sub-neg
27×	div-sub
26×	swap-sqr *-commutative
25×	flip3-- flip--
24×	sqrt-pow1
23×	associate-*l/
22×	pow-to-exp pow-exp
20×	log-pow
18×	associate-/r*
16×	sinh-def frac-times pow-sub
15×	div-exp cbrt-undiv
14×	pow1/2 cbrt-div
12×	pow-pow
8×	distribute-neg-in sqrt-div associate-/l*
6×	exp-prod pow-prod-up pow-sqr
4×	rem-log-exp distribute-neg-frac pow2 associate-/r/ unpow-prod-up rem-sqrt-square
3×	acos-asin flip-+ flip3-+
2×	associate-/l/ frac-2neg distribute-rgt-neg-out sum-log pow-plus clear-num sqrt-pow2 +-commutative
1×	pow3