coth Mul Mul x3 Add x0 asec asinh Add -2 x0 x7 
Mul Mul -1 Pow csch Mul Mul x3 Add x0 asec asinh Add -2 x0 x7 2 Mul x7 Mul x3 Add 1 Mul Pow sqrt Add 1 Mul Add -2 x0 Add -2 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asinh Add -2 x0 asinh Add -2 x0 -1 asinh Add -2 x0 asinh Add -2 x0 -1 