Pow x6 tanh acsch Pow sech Mul cot acot x2 256 x0 
Mul Pow x6 Add tanh acsch Pow sech Mul cot acot x2 256 x0 -1 Mul Mul x6 log x6 Mul Pow sech acsch Pow sech Mul cot acot x2 256 x0 2 Mul Mul -1 Mul Pow sech Mul cot acot x2 256 Add x0 -1 Mul sech Mul cot acot x2 256 log sech Mul cot acot x2 256 Pow Mul Mul Pow sech Mul cot acot x2 256 x0 Pow sech Mul cot acot x2 256 x0 sqrt Add 1 Mul -1 Pow Mul Pow sech Mul cot acot x2 256 x0 Pow sech Mul cot acot x2 256 x0 -1 -1 