Details

rewrite1.8s

Algorithm

19×	rewrite-expression-head

Calls

57 calls:

Slowest

484.0ms	(* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
259.0ms	(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
200.0ms	(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
200.0ms	(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
97.0ms	(* (* n (* (/ l Om) (/ l Om))) (- U U*))

Rules

232×	pow1
205×	add-sqr-sqrt
199×	*-un-lft-identity
172×	cbrt-div
159×	add-cube-cbrt
157×	add-exp-log
153×	add-cbrt-cube
132×	associate-*r/
113×	pow-prod-down
97×	flip3-- flip--
95×	frac-times
90×	prod-diff
82×	sqrt-div
77×	distribute-rgt-in distribute-lft-in
59×	log1p-expm1-u
58×	expm1-log1p-u
57×	add-log-exp insert-posit16
54×	cbrt-unprod prod-exp
50×	associate-*l/
33×	sqrt-pow1
25×	times-frac cbrt-prod
24×	associate-*r*
23×	log-pow
21×	log-prod
20×	difference-of-squares distribute-lft-out--
19×	exp-prod
14×	associate-*l*
13×	div-exp cbrt-undiv
10×	sub-neg unpow-prod-down
8×	*-commutative
6×	rem-log-exp pow-unpow
5×	pow1/2 associate-/l* pow1/3 unswap-sqr associate-/r* sqrt-prod
4×	sinh-def
3×	exp-sum log1p-expm1 log1p-udef
2×	expm1-udef expm1-log1p associate-/l/ associate-/r/ pow-exp sqr-pow fma-udef acos-asin pow-to-exp pow-pow
1×	div-sub frac-2neg rem-exp-log clear-num div-inv