acsch Pow sec tanh x0 atanh x7 
Mul Mul -1 Mul Pow sec tanh x0 Add atanh x7 -1 Mul atanh x7 Mul Mul tan tanh x0 sec tanh x0 Pow sech x0 2 Pow Mul Mul Pow sec tanh x0 atanh x7 Pow sec tanh x0 atanh x7 sqrt Add 1 Mul -1 Pow Mul Pow sec tanh x0 atanh x7 Pow sec tanh x0 atanh x7 -1 -1 