Pow x0 atanh Pow Mul x0 Mul x0 -2 Pow acsch sec Pow 2 x1 x5 
Mul Pow x0 Add atanh Pow Mul x0 Mul x0 -2 Pow acsch sec Pow 2 x1 x5 -1 Add atanh Pow Mul x0 Mul x0 -2 Pow acsch sec Pow 2 x1 x5 Mul Mul x0 log x0 Mul Mul Pow Mul x0 Mul x0 -2 Add Pow acsch sec Pow 2 x1 x5 -1 Mul Pow acsch sec Pow 2 x1 x5 Add Mul x0 -2 Mul x0 -2 Pow Add 1 Mul -1 Mul Pow Mul x0 Mul x0 -2 Pow acsch sec Pow 2 x1 x5 Pow Mul x0 Mul x0 -2 Pow acsch sec Pow 2 x1 x5 -1 