Pow x5 Pow coth exp Add x0 asech csch x0 csch sec Mul x0 4 
Mul Pow x5 Add Pow coth exp Add x0 asech csch x0 csch sec Mul x0 4 -1 Mul Mul x5 log x5 Mul Pow coth exp Add x0 asech csch x0 Add csch sec Mul x0 4 -1 Add Mul csch sec Mul x0 4 Mul Mul -1 Pow csch exp Add x0 asech csch x0 2 Mul exp Add x0 asech csch x0 Add 1 Mul Mul Mul -1 coth x0 csch x0 Pow Mul Mul csch x0 csch x0 sqrt Add 1 Mul -1 Pow Mul csch x0 csch x0 -1 -1 Mul Mul coth exp Add x0 asech csch x0 log coth exp Add x0 asech csch x0 Mul Mul Mul -1 coth sec Mul x0 4 csch sec Mul x0 4 Mul Mul tan Mul x0 4 sec Mul x0 4 4 