Details

rewrite8.6s

Algorithm

19×	rewrite-expression-head

Calls

53 calls:

Slowest

2.3s	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.5s	(sqrt (* (* (cbrt (sqrt 2)) (cbrt (* (* (sqrt 2) n) U))) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.4s	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
1.4s	(sqrt (* (cbrt (* (* 2 n) U)) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.3s	(sqrt (* (* (cbrt (* (* n (sqrt 2)) U)) (cbrt (sqrt 2))) (- (fma (/ (* l l) Om) -2 t) (* (* (- U U*) (* n (/ l Om))) (/ l Om)))))

Rules

4938×	add-sqr-sqrt
1610×	*-un-lft-identity
1572×	associate-*l*
1545×	unswap-sqr
1524×	prod-diff
1260×	times-frac
1200×	associate-*r*
1053×	add-cube-cbrt
768×	distribute-lft-in distribute-rgt-in
732×	difference-of-squares
433×	unpow-prod-down
410×	sqrt-prod
402×	cbrt-prod
382×	associate--l+
290×	distribute-lft-out--
226×	*-commutative
225×	swap-sqr
137×	pow1
109×	add-exp-log
97×	add-cbrt-cube
79×	unpow2 sqr-pow
65×	associate-/l*
55×	add-log-exp
53×	expm1-log1p-u insert-posit16 log1p-expm1-u
50×	exp-prod
46×	associate-*r/
43×	rem-sqrt-square
36×	div-inv
30×	pow-prod-down
28×	sqrt-pow1 sqrt-div
24×	flip3-- flip--
23×	prod-exp
20×	pow1/2 log-pow
17×	cbrt-unprod associate-/r*
16×	frac-sub
14×	sinh-def
12×	log-prod
10×	div-exp pow-prod-up
9×	cbrt-undiv
6×	pow1/3 sub-neg pow-sqr
5×	rem-log-exp frac-2neg clear-num
4×	fma-udef
3×	rem-exp-log exp-sum acos-asin
2×	associate-/r/ frac-times associate-/l/ rem-square-sqrt pow2 pow-plus sqrt-unprod associate-*l/ pow-exp
1×	div-sub pow-to-exp