Details

rewrite775.0ms (0.3%)

Algorithm

30×	rewrite-expression-head

Calls

92 calls:

62.0ms	(* (/ (/ (* l l) Om) Om) (- U* U))
46.0ms	(* (/ (/ l (cbrt Om)) Om) (- U* U))
39.0ms	(* (cbrt (pow (atan2 b b) (/ (- b a) 2))) (cbrt (pow (atan2 b b) (/ (- b a) 2))))
39.0ms	(* (cbrt (pow (atan2 b b) (/ (- b a) 2))) (cbrt (pow (atan2 b b) (/ (- b a) 2))))
33.0ms	(sqrt (* (* U (fma (* (/ (/ l (* (cbrt Om) (cbrt Om))) 1) (* (/ (/ l (cbrt Om)) Om) (- U* U))) n (fma (/ (* l l) Om) -2 t))) (* 2 n)))

Rules

666×	add-sqr-sqrt
561×	*-un-lft-identity
505×	add-cube-cbrt
472×	times-frac
261×	associate-*l*
251×	cbrt-prod
200×	pow1
166×	add-exp-log
151×	add-cbrt-cube
126×	prod-diff
112×	unpow-prod-down
93×	expm1-log1p-u log1p-expm1-u
92×	add-log-exp insert-posit16
68×	pow-unpow
66×	unpow-prod-up
64×	sqrt-prod
49×	unswap-sqr
46×	distribute-rgt-in associate-*r* distribute-lft-in
44×	sqrt-pow1
42×	pow-prod-down
38×	sqr-pow
28×	difference-of-squares distribute-lft-out-- pow-pow
25×	pow1/3
22×	div-inv pow-sub
21×	div-exp cbrt-undiv cbrt-unprod prod-exp
20×	exp-prod pow1/2 swap-sqr
18×	log-prod log-pow
17×	div-sub
14×	sub-neg cbrt-div associate-/r*
10×	frac-times flip3-- flip-- associate-*r/
8×	pow-to-exp associate-/l* pow-exp *-commutative
7×	fma-udef
6×	expm1-udef sinh-def exp-sum rem-sqrt-square associate-*l/ sqrt-pow2
5×	sin-diff
4×	pow-prod-up pow-sqr frac-2neg rem-log-exp clear-num
2×	exp-diff associate-/l/ pow2 associate-/r/ rem-exp-log pow-plus acos-asin log-div
1×	expm1-log1p log1p-expm1 log1p-udef