Pow Mul -2 Mul E x0 Mul Add acosh Add Add x5 x0 x0 asech pi 2 
Mul Pow Mul -2 Mul E x0 Add Mul Add acosh Add Add x5 x0 x0 asech pi 2 -1 Add Mul Mul Add acosh Add Add x5 x0 x0 asech pi 2 Mul -2 E Mul Mul Mul -2 Mul E x0 log Mul -2 Mul E x0 Mul 2 Mul 2 Pow Mul sqrt Add Add Add x5 x0 x0 -1 sqrt Add 1 Add Add x5 x0 x0 -1 