Details

rewrite2.5s (1.0%)

Algorithm

25×	rewrite-expression-head

Calls

74 calls:

499.0ms	(sqrt (* (* (* 2.0 n) (* (* U (cbrt (- t (fma 2.0 (/ l (/ Om l)) (* (- U U*) (* n (pow (/ l Om) (* 2 (/ 2.0 2))))))))) (cbrt (- t (fma 2.0 (/ l (/ Om l)) (* (- U U*) (* n (pow (/ l Om) (* 2 (/ 2.0 2)))))))))) (cbrt (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))))
274.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
242.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
214.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
198.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

Rules

281×	add-sqr-sqrt
247×	*-un-lft-identity
237×	add-exp-log
226×	associate-*r/
213×	add-cube-cbrt
191×	pow1
162×	cbrt-div
131×	add-cbrt-cube
129×	flip-- flip3--
117×	cbrt-prod
104×	prod-exp
90×	prod-diff
80×	sqrt-div
78×	frac-times
75×	log1p-expm1-u expm1-log1p-u
74×	add-log-exp
70×	associate-*r*
65×	pow-prod-down
64×	frac-sub
63×	distribute-rgt-in distribute-lft-in
48×	times-frac
40×	sqrt-pow1
35×	cbrt-unprod
31×	pow1/3
30×	unpow-prod-down associate--l+
26×	pow-exp
25×	sqrt-prod
24×	associate-*l/ log-pow associate-*l* log-prod
18×	sub-neg
17×	difference-of-squares distribute-lft-out--
16×	sinh-def div-exp unswap-sqr
13×	pow-to-exp
12×	swap-sqr exp-prod
10×	*-commutative pow1/2
8×	associate-/r*
6×	associate-/l*
4×	sqr-pow pow-prod-up div-inv rem-log-exp pow-sqr
3×	cbrt-undiv
2×	associate-/l/ expm1-udef pow-plus acos-asin rem-sqrt-square fma-udef associate-/r/ pow2 clear-num frac-2neg
1×	expm1-log1p div-sub log1p-udef log1p-expm1 sin-diff