Details

rewrite7.5s (1.0%)

Algorithm

31×	rewrite-expression-head

Calls

100 calls:

2.4s	(sqrt (* (- t (fma (/ l Om) (* l 2.0) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* n 2.0) U)))
1.0s	(sqrt (* (* (cbrt (* (- t (fma (/ l Om) (* l 2.0) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* n 2.0) U))) (cbrt (* (- t (fma (/ l Om) (* l 2.0) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* n 2.0) U)))) (cbrt (* (- t (fma (/ l Om) (* l 2.0) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* n 2.0) U)))))
177.0ms	(pow (sqrt (sqrt (atan2 b b))) (- b a))
167.0ms	(log (fmod (cosh c) (log1p a)))
154.0ms	(* (* n (pow (/ l Om) 2.0)) (* (cbrt (- U U*)) (cbrt (- U U*))))

Rules

516×	add-sqr-sqrt
432×	*-un-lft-identity
334×	add-cube-cbrt
329×	pow1
272×	add-exp-log
187×	add-cbrt-cube
157×	unpow-prod-down
137×	sqrt-prod
120×	associate-*l/
118×	cbrt-div
115×	associate-*r*
113×	unpow-prod-up
108×	prod-diff
102×	log1p-expm1-u
100×	add-log-exp prod-exp expm1-log1p-u
91×	associate-*l*
82×	pow-unpow
81×	cbrt-prod
77×	pow-prod-down
75×	times-frac sqrt-pow1
64×	frac-times
63×	flip-- flip3--
60×	sinh-def
57×	cbrt-unprod
52×	unswap-sqr
47×	distribute-lft-out--
43×	difference-of-squares
40×	associate-*r/
39×	pow-pow
35×	sqr-pow
34×	sqrt-div pow-exp
33×	log-prod
31×	pow1/2
30×	pow1/3
28×	pow-to-exp log-pow
27×	pow-prod-up
26×	swap-sqr
22×	pow-plus
20×	*-commutative
19×	exp-prod
18×	pow-sub
13×	pow-sqr
12×	sub-neg
11×	distribute-rgt-in distribute-lft-in
10×	rem-sqrt-square pow2
8×	sqrt-pow2
7×	div-sub rem-log-exp
6×	div-exp
5×	associate-/l* pow3 div-inv associate-/r*
4×	expm1-udef
3×	exp-sum
2×	expm1-log1p associate-/l/ acos-asin fma-udef associate-/r/ rem-cbrt-cube sin-diff
1×	cbrt-undiv rem-exp-log e-exp-1 clear-num frac-2neg