acsch Pow tanh x0 asec x3 
Mul Mul -1 Mul Pow tanh x0 Add asec x3 -1 Mul asec x3 Pow sech x0 2 Pow Mul Mul Pow tanh x0 asec x3 Pow tanh x0 asec x3 sqrt Add 1 Mul -1 Pow Mul Pow tanh x0 asec x3 Pow tanh x0 asec x3 -1 -1 