Pow cosh sinh Add Pow Mul x0 x4 x0 acot acsch acoth pi x0 
Mul Pow cosh sinh Add Pow Mul x0 x4 x0 acot acsch acoth pi Add x0 -1 Add Mul x0 Mul sinh sinh Add Pow Mul x0 x4 x0 acot acsch acoth pi Mul cosh Add Pow Mul x0 x4 x0 acot acsch acoth pi Mul Pow Mul x0 x4 Add x0 -1 Add Mul x0 x4 Mul Mul x0 x4 log Mul x0 x4 Mul cosh sinh Add Pow Mul x0 x4 x0 acot acsch acoth pi log cosh sinh Add Pow Mul x0 x4 x0 acot acsch acoth pi 