Details

rewrite2.4s

Algorithm

19×	rewrite-expression-head

Calls

62 calls:

Slowest

569.0ms	(* (sqrt (* (* (* c c) (* c c)) 1/24)) (sqrt (* (* (* c c) (* c c)) 1/24)))
202.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
175.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
145.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n)))))))
129.0ms	(sqrt (* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n))))))))

Rules

1144×	pow1
707×	pow-prod-down
269×	sqrt-pow1
243×	add-exp-log
210×	add-cbrt-cube
193×	add-sqr-sqrt
174×	*-un-lft-identity
134×	add-cube-cbrt
116×	prod-exp
92×	cbrt-unprod
90×	pow-prod-up
71×	add-log-exp
64×	pow-sqr
62×	insert-posit16 cbrt-prod
56×	associate-*r*
48×	associate-*l*
38×	times-frac
33×	associate-*r/
27×	pow1/2 log-pow
22×	pow1/3
21×	flip3-- flip-- pow-plus
20×	associate-*l/
17×	log-prod swap-sqr *-commutative sqrt-prod
16×	sinh-def pow2 distribute-lft-out-- difference-of-squares
14×	cbrt-div unswap-sqr
12×	sub-neg sqrt-div distribute-rgt-in distribute-lft-in
10×	div-exp
9×	cbrt-undiv
8×	frac-times frac-sub associate-/r*
7×	exp-prod
6×	flip3-+ 1-exp flip-+ associate-/l*
5×	rem-log-exp
4×	distribute-lft-out sum-log +-commutative associate--l+
3×	div-inv
2×	pow-exp associate-/l/ frac-2neg associate-/r/ rem-sqrt-square acos-asin clear-num
1×	div-sub rem-square-sqrt pow-to-exp exp-to-pow sqrt-unprod cosh-def