Details

rewrite1.2s (0.4%)

Algorithm

31×	rewrite-expression-head

Calls

99 calls:

306.0ms	(sqrt (* (* (* (* U 2) n) (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))
239.0ms	(sqrt (* (* (* (* U 2) n) (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))) (cbrt (* (* (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))) (cbrt (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))))
88.0ms	(* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))
72.0ms	(sqrt (* (* (* U 2) n) (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t))))
29.0ms	(sqrt (* (* U 2) (* n (fma (- U* U) (/ (/ n (/ Om l)) (/ Om l)) (fma (/ l (/ Om l)) -2 t)))))

Rules

487×	add-sqr-sqrt
446×	*-un-lft-identity
406×	add-cube-cbrt
275×	pow1
193×	times-frac
187×	sqrt-prod
166×	add-exp-log
165×	log-prod
154×	unpow-prod-up
144×	add-cbrt-cube
126×	prod-diff
120×	unpow-prod-down
101×	log1p-expm1-u
99×	add-log-exp expm1-log1p-u insert-posit16
82×	sqrt-pow1
80×	pow-prod-down
43×	pow1/2
40×	pow-unpow
38×	cbrt-prod
37×	associate-/r*
36×	pow-pow
30×	log-pow
25×	associate-*r*
23×	rem-log-exp associate-*l*
20×	distribute-lft-out-- difference-of-squares
19×	cbrt-unprod prod-exp
17×	associate-/l*
15×	rem-sqrt-square exp-prod
14×	pow-to-exp pow1/3 pow-exp sqr-pow sub-neg swap-sqr pow-sub
13×	fma-udef div-inv
11×	unswap-sqr
9×	div-exp cbrt-undiv
8×	sqrt-pow2
7×	pow-prod-up *-commutative
6×	distribute-lft-in log-div distribute-rgt-in
5×	pow-sqr frac-2neg clear-num
4×	expm1-udef associate-/r/
2×	sinh-def expm1-log1p associate-/l/ flip3-- flip-- pow2 pow-plus acos-asin sin-diff
1×	div-sub rem-square-sqrt sqrt-unprod