Add x4 coth Pow Mul x0 atan x0 Mul Mul -4 acos acot tan Mul x1 Pow x4 x0 -4 
Mul Mul -1 Pow csch Pow Mul x0 atan x0 Mul Mul -4 acos acot tan Mul x1 Pow x4 x0 -4 2 Mul Pow Mul x0 atan x0 Add Mul Mul -4 acos acot tan Mul x1 Pow x4 x0 -4 -1 Add Mul Mul Mul -4 acos acot tan Mul x1 Pow x4 x0 -4 Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul x0 atan x0 log Mul x0 atan x0 Mul -4 Mul -4 Mul -1 Mul Mul -1 Mul Mul Pow sec Mul x1 Pow x4 x0 2 Mul x1 Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Add 1 Mul tan Mul x1 Pow x4 x0 tan Mul x1 Pow x4 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot tan Mul x1 Pow x4 x0 acot tan Mul x1 Pow x4 x0 -1 