Mul Pow x0 2 sech Mul Pow Mul acoth pi x1 Mul Mul Add acot Pow x3 asinh acoth x0 1 5 x0 atan x0 
Add Mul sech Mul Pow Mul acoth pi x1 Mul Mul Add acot Pow x3 asinh acoth x0 1 5 x0 atan x0 Mul x0 2 Mul Pow x0 2 Mul Mul tanh Mul Pow Mul acoth pi x1 Mul Mul Add acot Pow x3 asinh acoth x0 1 5 x0 atan x0 Mul -1 sech Mul Pow Mul acoth pi x1 Mul Mul Add acot Pow x3 asinh acoth x0 1 5 x0 atan x0 Add Mul atan x0 Mul Pow Mul acoth pi x1 Add Mul Mul Add acot Pow x3 asinh acoth x0 1 5 x0 -1 Mul Mul Mul acoth pi x1 log Mul acoth pi x1 Add Mul x0 Mul 5 Mul -1 Mul Mul Pow x3 Add asinh acoth x0 -1 Mul Mul x3 log x3 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul acoth x0 acoth x0 -1 Pow Add 1 Mul Pow x3 asinh acoth x0 Pow x3 asinh acoth x0 -1 Mul Add acot Pow x3 asinh acoth x0 1 5 Mul Pow Mul acoth pi x1 Mul Mul Add acot Pow x3 asinh acoth x0 1 5 x0 Pow Add 1 Mul x0 x0 -1 