Pow Add Pow atan x6 x0 Pow acsch Add pi x0 3 log Add x0 x0 
Mul Pow Add Pow atan x6 x0 Pow acsch Add pi x0 3 Add log Add x0 x0 -1 Add Mul log Add x0 x0 Add Mul Pow atan x6 Add x0 -1 Mul atan x6 log atan x6 Mul Pow acsch Add pi x0 2 Mul 3 Mul -1 Pow Mul Mul Add pi x0 Add pi x0 sqrt Add 1 Mul -1 Pow Mul Add pi x0 Add pi x0 -1 -1 Mul Mul Add Pow atan x6 x0 Pow acsch Add pi x0 3 log Add Pow atan x6 x0 Pow acsch Add pi x0 3 Mul 2 Pow Add x0 x0 -1 