Details

rewrite1.1s (1.4%)

Algorithm

16×	rewrite-expression-head

Calls

48 calls:

223.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
212.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
79.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
69.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
66.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))

Rules

392×	add-sqr-sqrt
300×	unpow-prod-down
280×	*-un-lft-identity
250×	add-cube-cbrt
217×	sqrt-prod
184×	unpow-prod-up
174×	prod-diff
108×	add-exp-log
82×	cbrt-prod pow1
74×	add-cbrt-cube
64×	swap-sqr
56×	associate-*r*
50×	unswap-sqr associate-*l*
49×	log1p-expm1-u
48×	add-log-exp expm1-log1p-u
42×	cube-prod
40×	sqr-pow
34×	prod-exp
28×	times-frac
26×	sub-neg
24×	pow-exp associate-*r/
21×	distribute-rgt-in distribute-lft-in
19×	pow-to-exp
16×	pow-unpow
15×	difference-of-squares distribute-lft-out-- pow-prod-down
14×	sqrt-pow1
13×	flip-- flip3--
12×	cbrt-unprod pow-sub
11×	pow1/2
10×	associate--l+
8×	rem-sqrt-square frac-sub pow-pow associate-/r*
6×	exp-sum sqrt-div associate-/l* log-prod
5×	exp-prod
4×	*-commutative pow1/3 div-exp
3×	cbrt-undiv
2×	associate-/l/ cube-div cube-mult expm1-udef pow-sqr associate-*l/ sqrt-pow2 unpow3 associate-/r/ pow-prod-up clear-num frac-2neg div-inv frac-times pow2 log-pow sinh-def
1×	expm1-log1p rem-cube-cbrt div-sub acos-asin rem-exp-log rem-cbrt-cube sin-diff cbrt-div