Details

rewrite479.0ms

Algorithm

rewrite-expression-head

Rules

32×	add-exp-log
25×	pow1
23×	add-cbrt-cube
22×	associate-*r/
16×	prod-exp
13×	pow-prod-down
11×	flip3-- flip--
10×	add-sqr-sqrt *-un-lft-identity cbrt-unprod
8×	add-cube-cbrt associate-*r* frac-sub
6×	distribute-rgt-in sub-neg distribute-lft-in sqrt-div
4×	sqrt-pow1 associate--l+ 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 → 103

Calls

4 calls:

12.0ms	(/ (* l l) Om)
71.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
240.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
149.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))