Details

rewrite553.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 141

Calls

4 calls:

25.0ms	(/ (* l l) Om)
79.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
212.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
223.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))