Pow Add x0 asec csch Mul sinh asinh x3 x7 Mul x0 -2 
Mul Pow Add x0 asec csch Mul sinh asinh x3 x7 Add Mul x0 -2 -1 Add Mul x0 -2 Mul Mul Add x0 asec csch Mul sinh asinh x3 x7 log Add x0 asec csch Mul sinh asinh x3 x7 -2 