Details

rewrite5.9s (1.1%)

Algorithm

29×	rewrite-expression-head

Calls

91 calls:

471.0ms	(sqrt (* (* (cbrt U) (cbrt U)) (* (cbrt U) (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))) 2.0))))
452.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
434.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)))))
432.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)))))
278.0ms	(* U (* (* n (- t (fma (/ l Om) (* 2.0 l) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) 2.0))

Rules

580×	add-sqr-sqrt
452×	*-un-lft-identity
368×	add-exp-log
362×	add-cube-cbrt
261×	unpow-prod-down
226×	sqrt-prod
225×	pow1
182×	prod-exp
180×	prod-diff
163×	add-cbrt-cube
150×	associate-*r*
122×	pow-sub
120×	unpow-prod-up
98×	associate-*l*
93×	add-log-exp
92×	log1p-expm1-u
91×	expm1-log1p-u insert-posit16
75×	times-frac
73×	unswap-sqr
68×	pow-prod-down
64×	pow-exp swap-sqr
58×	frac-times associate-*r/
56×	associate-+r- associate-+l-
55×	distribute-lft-in distribute-rgt-in
54×	pow-unpow
52×	cbrt-div
45×	sqrt-pow1
44×	associate-*l/
43×	cbrt-unprod
42×	sqr-pow
40×	pow-to-exp
39×	distribute-lft-out--
27×	difference-of-squares
25×	div-exp
24×	pow1/2 sub-neg log-prod
19×	exp-prod
17×	log-pow
16×	*-commutative pow-pow
14×	distribute-lft-out flip3-- flip-- rem-sqrt-square distribute-rgt-out
8×	sqrt-div
7×	rem-log-exp
6×	div-inv
5×	expm1-udef associate-/r* associate-/l*
4×	distribute-lft1-in sqrt-pow2 sin-diff distribute-rgt1-in
3×	rem-exp-log exp-sum
2×	sinh-def associate-/l/ pow-sqr pow3 pow2 associate-/r/ rem-cbrt-cube pow-prod-up pow1/3 acos-asin count-2 cbrt-prod
1×	div-sub cbrt-undiv frac-2neg expm1-log1p clear-num