Details

rewrite970.0ms (0.5%)

Algorithm

19×	rewrite-expression-head

Calls

55 calls:

Slowest

122.0ms	(sqrt (* (* (cbrt U) (cbrt U)) (* (* 2 (cbrt U)) (* (- t (* (/ l Om) (+ (* 2 l) (* (* (/ l Om) n) (- U U*))))) n))))
101.0ms	(* (* (cbrt U) (cbrt U)) (* (* 2 (cbrt U)) (* (- t (* (/ l Om) (+ (* 2 l) (* (* (/ l Om) n) (- U U*))))) n)))
80.0ms	(sqrt (* U (* 2 (* n (- t (fma (/ l Om) (* 2 l) (* (/ l Om) (* (/ l Om) (* (- U U*) n)))))))))
75.0ms	(* U (* 2 (* n (- t (fma (/ l Om) (* 2 l) (* (/ l Om) (* (/ l Om) (* (- U U*) n))))))))
70.0ms	(sqrt (* U (* 2 (* n (- t (fma (/ l Om) (* 2 l) (* (/ l Om) (* (* (/ l Om) (- U U*)) n))))))))

Rules

297×	add-sqr-sqrt
286×	distribute-lft-in distribute-rgt-in
280×	*-un-lft-identity
275×	pow1
250×	add-cube-cbrt
197×	add-exp-log
180×	prod-diff
174×	add-cbrt-cube
119×	pow-prod-down
82×	cbrt-unprod prod-exp
64×	times-frac
57×	associate-*l*
55×	add-log-exp expm1-log1p-u insert-posit16 log1p-expm1-u
46×	associate-*r/
45×	log-prod associate-*r*
34×	associate-*l/
31×	sqrt-pow1
29×	log-pow
24×	exp-prod
22×	flip3-- flip--
20×	sub-neg
15×	difference-of-squares distribute-lft-out--
13×	*-commutative
12×	pow-prod-up frac-times pow-plus
10×	sqrt-prod
9×	rem-log-exp div-exp cbrt-undiv exp-sum
8×	unswap-sqr sinh-def sqrt-div
6×	pow1/2
5×	associate-/l* fma-udef associate-/r* div-inv
4×	pow2 pow-unpow log-div pow-sqr
3×	unpow-prod-up unpow-prod-down rem-exp-log
2×	exp-diff associate-/l/ associate-/r/ pow-exp pow3 acos-asin
1×	div-sub frac-2neg sqr-pow clear-num pow-to-exp e-exp-1 pow-pow