Pow Mul x1 x0 acosh asec Mul Add log sinh E 1 tanh x0 
Mul Pow Mul x1 x0 Add acosh asec Mul Add log sinh E 1 tanh x0 -1 Add Mul acosh asec Mul Add log sinh E 1 tanh x0 x1 Mul Mul Mul x1 x0 log Mul x1 x0 Mul Mul Mul Add log sinh E 1 Pow sech x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add log sinh E 1 tanh x0 Mul Add log sinh E 1 tanh x0 -1 Mul Add log sinh E 1 tanh x0 Mul Add log sinh E 1 tanh x0 -1 Pow Mul sqrt Add asec Mul Add log sinh E 1 tanh x0 -1 sqrt Add 1 asec Mul Add log sinh E 1 tanh x0 -1 