Details

rewrite1.1s (0.3%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

91.0ms	(* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
85.0ms	(* (* (* U 2) n) (fma (- U* U) (/ (/ (* (cbrt n) (cbrt n)) (/ (/ (* (cbrt Om) (cbrt Om)) 1) (/ (cbrt n) (/ (cbrt Om) l)))) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
73.0ms	(sqrt (* (* (* U 2) n) (fma (- U* U) (/ (/ (* (cbrt n) (cbrt n)) (/ (/ (* (cbrt Om) (cbrt Om)) 1) (/ (cbrt n) (/ (cbrt Om) l)))) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))
73.0ms	(sqrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))
71.0ms	(* (* (* U 2) n) (fma (- U* U) (/ (/ (* (cbrt n) (cbrt n)) (/ (/ Om l) (cbrt n))) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))

Rules

7986×	times-frac
3064×	add-sqr-sqrt
3039×	*-un-lft-identity
2895×	add-cube-cbrt
1755×	cbrt-prod
1043×	associate-/r*
418×	div-inv
341×	add-exp-log
322×	pow1
218×	add-cbrt-cube
194×	exp-prod
132×	div-exp
114×	log-pow
96×	add-log-exp log1p-expm1-u
94×	expm1-log1p-u insert-posit16
91×	sqrt-prod
84×	cbrt-undiv
72×	difference-of-squares distribute-lft-out--
66×	unpow-prod-up
61×	associate-/r/
57×	pow-prod-down prod-exp
54×	prod-diff
52×	sqrt-pow1
48×	unpow-prod-down
45×	cbrt-unprod
33×	associate-/l*
31×	pow1/2
30×	log-prod pow-unpow
26×	pow-pow
22×	associate-*r*
20×	flip3-- flip--
16×	associate-*l* fma-udef
12×	1-exp
9×	rem-log-exp pow1/3 rem-sqrt-square
8×	swap-sqr
7×	frac-2neg distribute-lft-in distribute-rgt-in clear-num *-commutative
6×	pow-to-exp pow-exp unswap-sqr sqr-pow sub-neg sqrt-pow2 pow-sub
5×	pow-prod-up
4×	expm1-udef
3×	associate-/l/ pow-sqr exp-sum rem-exp-log
2×	exp-to-pow sinh-def expm1-log1p acos-asin sin-diff
1×	div-sub rem-square-sqrt pow2 pow-plus sqrt-unprod