Details

rewrite2.2s (0.8%)

Algorithm

33×	rewrite-expression-head

Calls

101 calls:

411.0ms	(sqrt (* (* (* (- t (fma 2.0 (/ l (/ Om l)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* 2.0 n)) (* (cbrt U) (cbrt U))) (cbrt U)))
133.0ms	(* (* (- t (fma 2.0 (/ l (/ Om l)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* 2.0 n)) (* (cbrt U) (cbrt U)))
124.0ms	(* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
121.0ms	(* (* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* 2.0 n)) U)
111.0ms	(sqrt (* (* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* 2.0 n)) U))

Rules

583×	add-sqr-sqrt
428×	*-un-lft-identity
384×	add-cube-cbrt
271×	unpow-prod-down
265×	pow1
262×	sqrt-prod
261×	add-exp-log
195×	cbrt-prod
182×	add-cbrt-cube
180×	prod-diff
142×	unpow-prod-up
104×	log1p-expm1-u
101×	add-log-exp expm1-log1p-u
93×	prod-exp
91×	associate-*r*
81×	pow-prod-down
80×	associate-*l*
70×	swap-sqr
69×	unswap-sqr
51×	cbrt-unprod
49×	sqr-pow
48×	pow-unpow sqrt-pow1
44×	distribute-rgt-in distribute-lft-in
34×	pow-exp
32×	associate-*l/
31×	times-frac
30×	pow-to-exp
29×	pow-pow
28×	pow1/2
27×	cube-prod
24×	sub-neg
23×	pow1/3
21×	difference-of-squares distribute-lft-out--
18×	rem-sqrt-square
14×	flip-- flip3--
12×	*-commutative log-pow pow-sub
11×	associate-/r*
10×	sqrt-div associate-*r/ cosh-def
9×	exp-prod div-exp
7×	unpow3 cube-mult associate-/l*
6×	acos-asin cbrt-div log-prod sinh-def
5×	cbrt-undiv pow-prod-up cube-div
4×	expm1-udef pow-sqr sqrt-pow2 rem-cube-cbrt
3×	expm1-log1p clear-num frac-2neg div-inv pow2
2×	associate-/l/ pow-plus fma-udef log1p-udef associate-/r/ log1p-expm1 frac-times rem-log-exp
1×	exp-diff log-div distribute-lft-out div-sub rem-cbrt-cube sin-diff unpow2