Pow cosh csch Pow Mul x3 x0 x0 Mul x0 x0 
Mul Pow cosh csch Pow Mul x3 x0 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul sinh csch Pow Mul x3 x0 x0 Mul Mul Mul -1 coth Pow Mul x3 x0 x0 csch Pow Mul x3 x0 x0 Mul Pow Mul x3 x0 Add x0 -1 Add Mul x0 x3 Mul Mul x3 x0 log Mul x3 x0 Mul Mul cosh csch Pow Mul x3 x0 x0 log cosh csch Pow Mul x3 x0 x0 Add x0 x0 