Details

rewrite2.3s (0.9%)

Algorithm

33×	rewrite-expression-head

Calls

112 calls:

196.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
187.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*)))))
166.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
165.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
160.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2)) (- U U*))))

Rules

557×	add-sqr-sqrt
487×	*-un-lft-identity
427×	add-cube-cbrt
362×	pow1
283×	add-exp-log
275×	associate-*r/
235×	add-cbrt-cube
228×	prod-diff
170×	sqrt-prod
161×	unpow-prod-down
132×	unpow-prod-up
113×	add-log-exp log1p-expm1-u
112×	expm1-log1p-u insert-posit16
110×	flip3-- flip--
108×	associate-*r*
107×	frac-times
104×	frac-sub
87×	prod-exp
84×	distribute-rgt-in distribute-lft-in
79×	pow-prod-down
76×	pow-unpow
74×	sinh-def
72×	sqrt-pow1 cbrt-unprod
68×	cbrt-prod times-frac
67×	associate-*l/
61×	associate-*l*
60×	sqrt-div
58×	pow-pow
40×	pow1/2 associate--l+
36×	sub-neg
30×	pow-prod-up distribute-lft-out-- difference-of-squares
29×	unswap-sqr
28×	cbrt-div
26×	pow1/3 pow-exp
24×	swap-sqr
20×	*-commutative
19×	pow-to-exp pow-plus
18×	sqr-pow log-prod
16×	exp-prod
15×	log-pow
14×	div-exp rem-sqrt-square pow-sqr
12×	pow-sub sqrt-pow2
11×	cbrt-undiv pow2
8×	associate-/r*
6×	associate-/l* div-inv
5×	rem-log-exp
4×	expm1-udef pow3 fma-udef
3×	exp-sum sin-diff
2×	unpow2 rem-exp-log associate-/l/ frac-2neg cube-unmult associate-/r/ acos-asin clear-num rem-cbrt-cube
1×	div-sub expm1-log1p