Details

rewrite1.9s (0.8%)

Algorithm

29×	rewrite-expression-head

Calls

91 calls:

198.0ms	(cbrt (* (* (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a))) (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a)))) (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a)))))
175.0ms	(cbrt (* (* (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a))) (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a)))) (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a)))))
148.0ms	(* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l)))
100.0ms	(sqrt (+ (* t (* n (* U 2))) (- (* (* n (* (* U 2) (/ l Om))) (fma l 2 (* (- U U*) (* n (/ l Om))))))))
87.0ms	(* (* n (* U 2)) (- t (* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l)))))

Rules

509×	add-sqr-sqrt
403×	*-un-lft-identity
317×	add-cube-cbrt
249×	add-exp-log
230×	pow1
229×	sqrt-prod
220×	add-cbrt-cube
189×	unpow-prod-down
154×	associate-*r*
122×	pow-sub
120×	unpow-prod-up
101×	times-frac
96×	prod-diff
93×	add-log-exp
92×	associate-*l* log1p-expm1-u
91×	expm1-log1p-u insert-posit16
83×	prod-exp
68×	frac-times
67×	cbrt-unprod
64×	swap-sqr
60×	unswap-sqr
57×	pow-unpow
56×	associate-+r- associate-+l-
52×	cbrt-div
48×	pow-prod-down
43×	associate-*r/ associate-*l/
37×	distribute-lft-out--
33×	sqr-pow
30×	sqrt-pow1
25×	difference-of-squares
24×	log-prod
23×	pow1/2
19×	exp-prod
17×	div-exp cbrt-undiv log-pow pow-exp pow-to-exp pow-pow
16×	sub-neg rem-sqrt-square *-commutative
14×	distribute-lft-out pow-prod-up distribute-rgt-out
12×	flip3-- flip-- pow-plus
9×	div-inv
7×	rem-log-exp
6×	distribute-lft-in pow2 sqrt-div distribute-rgt-in pow-sqr
5×	expm1-udef associate-/r* associate-/l*
4×	flip3-+ distribute-lft1-in pow3 sqrt-pow2 flip-+ sin-diff distribute-rgt1-in
3×	rem-exp-log exp-sum
2×	sinh-def associate-/l/ associate-/r/ cbrt-prod pow1/3 acos-asin rem-cbrt-cube count-2
1×	div-sub frac-2neg unpow1/2 expm1-log1p clear-num