Details

rewrite278.0ms

Algorithm

rewrite-expression-head

Rules

32×	add-exp-log
25×	pow1
24×	add-sqr-sqrt *-un-lft-identity
23×	add-cbrt-cube
20×	add-cube-cbrt
18×	prod-diff
16×	prod-exp
13×	pow-prod-down
11×	distribute-rgt-in distribute-lft-in
10×	cbrt-unprod
6×	associate-*r* associate-*l*
4×	expm1-log1p-u sqrt-pow1 associate-*l/ log1p-expm1-u add-log-exp
3×	flip3-- times-frac div-exp associate-/r* flip--
2×	cbrt-undiv sub-neg sqrt-div associate-*r/ pow-exp *-commutative distribute-lft-out-- difference-of-squares
1×	pow-to-exp frac-2neg pow1/2 clear-num sqrt-prod div-inv associate-/l*

Counts

4 → 115

Calls

4 calls:

21.0ms	(/ (* l l) Om)
70.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
88.0ms	(* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
94.0ms	(sqrt (* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U)))