Mul Add csch log sec Pow csch Mul x0 x0 x0 x0 x4 
Mul x4 Add Mul Mul Mul -1 coth log sec Pow csch Mul x0 x0 x0 csch log sec Pow csch Mul x0 x0 x0 Mul Mul Mul tan Pow csch Mul x0 x0 x0 sec Pow csch Mul x0 x0 x0 Mul Pow csch Mul x0 x0 Add x0 -1 Add Mul x0 Mul Mul Mul -1 coth Mul x0 x0 csch Mul x0 x0 Add x0 x0 Mul csch Mul x0 x0 log csch Mul x0 x0 Pow sec Pow csch Mul x0 x0 x0 -1 1 