Mul Mul acosh Add Pow x0 tanh x1 Mul x0 5 Add acoth x0 asech pi x7 
Mul x7 Add Mul Add acoth x0 asech pi Mul Add Mul Pow x0 Add tanh x1 -1 tanh x1 5 Pow Mul sqrt Add Add Pow x0 tanh x1 Mul x0 5 -1 sqrt Add 1 Add Pow x0 tanh x1 Mul x0 5 -1 Mul acosh Add Pow x0 tanh x1 Mul x0 5 Pow Add 1 Mul -1 Mul x0 x0 -1 