Details

rewrite495.0ms (0.3%)

Algorithm

15×	rewrite-expression-head

Calls

44 calls:

51.0ms	(sqrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (/ 1 (/ (/ Om l) n)) (- U* U))))))))
48.0ms	(* (/ 1 (/ (/ Om l) n)) (- U* U))
46.0ms	(* (/ n (/ Om l)) (- U* U))
34.0ms	(/ (- x lo) (- hi lo))
33.0ms	(* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (/ 1 (/ (/ Om l) n)) (- U* U)))))))

Rules

610×	times-frac
433×	add-sqr-sqrt
392×	*-un-lft-identity
361×	add-cube-cbrt
188×	associate-*l*
179×	pow1
148×	add-exp-log
129×	add-cbrt-cube
77×	pow-prod-down
46×	prod-exp
44×	add-log-exp insert-posit16
42×	cbrt-prod
40×	cbrt-unprod associate-*r/
36×	distribute-lft-in distribute-rgt-in
33×	sqrt-pow1
31×	div-inv
25×	div-exp
23×	sqrt-prod
21×	associate-/l* associate-/r*
20×	sub-neg associate-*r*
16×	cbrt-undiv
15×	flip3-- flip--
14×	distribute-lft-out-- unswap-sqr difference-of-squares
13×	pow1/2
12×	log-prod
10×	sqrt-div log-pow
8×	swap-sqr
7×	*-commutative
6×	exp-prod
5×	pow-prod-up associate-/r/
4×	pow1/3 frac-times
3×	rem-log-exp cbrt-div associate-/l/ frac-2neg 1-exp rec-exp clear-num pow-sqr
2×	sinh-def acos-asin associate-*l/
1×	div-sub rem-square-sqrt pow2 pow-plus sqrt-unprod