Mul -5 Mul x0 asech Pow Add sinh x0 x1 x0 
Mul -5 Add asech Pow Add sinh x0 x1 x0 Mul x0 Mul Mul Pow Add sinh x0 x1 Add x0 -1 Add Mul x0 cosh x0 Mul Add sinh x0 x1 log Add sinh x0 x1 Pow Mul Mul Pow Add sinh x0 x1 x0 Pow Add sinh x0 x1 x0 sqrt Add 1 Mul -1 Pow Mul Pow Add sinh x0 x1 x0 Pow Add sinh x0 x1 x0 -1 -1 