Details

rewrite1.3s

Algorithm

15×	rewrite-expression-head

Calls

43 calls:

Slowest

336.0ms	(* U (- (* -2 (* (/ l Om) l)) (* (* (/ l Om) (- U U*)) (* (/ l Om) n))))
119.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
113.0ms	(* (* 2 n) (* U (- (- t (* 2 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
107.0ms	(sqrt (* (* 2 n) (* U (- (- t (* 2 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
97.0ms	(* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2)) (- U U*))))

Rules

252×	add-sqr-sqrt
226×	*-un-lft-identity
184×	add-cube-cbrt
174×	pow1
149×	add-exp-log
134×	prod-diff
126×	associate-*r/
117×	distribute-lft-in distribute-rgt-in
113×	add-cbrt-cube
60×	associate-*r*
59×	prod-exp
58×	times-frac
56×	log-pow
53×	pow-prod-down
50×	associate--l+
47×	associate-*l* flip3-- flip--
45×	add-log-exp
44×	sqrt-pow1
43×	expm1-log1p-u insert-posit16 log1p-expm1-u
39×	frac-sub
38×	cbrt-unprod
35×	exp-prod
34×	sqrt-prod
31×	associate-*l/
30×	sub-neg
26×	pow1/2
24×	log-prod
20×	sqrt-div
18×	distribute-rgt-out
16×	difference-of-squares distribute-lft-out--
15×	unpow-prod-down unswap-sqr
12×	*-commutative
11×	frac-times
9×	exp-to-pow div-exp
8×	distribute-lft-out associate-/r* swap-sqr pow-exp
6×	associate-/l*
5×	rem-log-exp pow-prod-up cbrt-undiv div-inv
4×	pow-to-exp
3×	pow-sqr
2×	distribute-lft1-in associate-/l/ sub-div frac-2neg associate-/r/ rem-exp-log unpow2 sqr-pow acos-asin clear-num distribute-rgt1-in
1×	sum-log div-sub rem-square-sqrt exp-sum pow2 rem-sqrt-square pow-plus sqrt-unprod flip-+ flip3-+