Details

rewrite330.0ms

Algorithm

20×	rewrite-expression-head

Calls

56 calls:

Slowest

50.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
35.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
21.0ms	(* (* (* (* 2 n) U) 1) (- t (fma (/ l Om) (* l 2) (- (* (/ U (/ Om l)) (/ n (/ Om l))) (* (/ U* (/ Om l)) (/ n (/ Om l)))))))
21.0ms	(sqrt (* (* (* (* 2 n) U) 1) (- t (fma (/ l Om) (* l 2) (* (- U U*) (* n (* (/ l Om) (/ l Om))))))))
18.0ms	(* (* (* (* 2 n) U) 1) (- t (fma (/ l Om) (* l 2) (* (- U U*) (* n (* (/ l Om) (/ l Om)))))))

Rules

96×	associate-*r/
91×	add-sqr-sqrt *-un-lft-identity add-cube-cbrt
75×	pow1
72×	add-exp-log
68×	add-cbrt-cube
57×	add-log-exp
56×	expm1-log1p-u insert-posit16 log1p-expm1-u
37×	frac-times
34×	flip3-- flip--
33×	cbrt-div
30×	log-prod
25×	exp-prod
21×	associate-*l/
19×	log-pow
14×	associate-*r*
13×	distribute-lft-in distribute-rgt-in
12×	sqrt-div
11×	associate-/r*
10×	sqrt-prod sub-neg
9×	exp-sum times-frac
8×	sinh-def frac-sub *-commutative
7×	associate-*l*
6×	rem-log-exp div-inv prod-diff
5×	pow1/2 cbrt-unprod prod-exp pow-prod-down cbrt-prod
4×	pow-unpow frac-2neg associate-/r/ rem-exp-log clear-num associate--l+ associate-/l* log-div
3×	pow1/3 acos-asin
2×	exp-diff fma-udef associate-/l/ cosh-def
1×	div-sub cbrt-undiv div-exp pow-to-exp