tanh Mul atan Add Add Mul x6 Add Mul -5 asech x7 x0 x0 acosh E x0 
Mul Pow sech Mul atan Add Add Mul x6 Add Mul -5 asech x7 x0 x0 acosh E x0 2 Add Mul x0 Mul Add x6 1 Pow Add 1 Mul Add Add Mul x6 Add Mul -5 asech x7 x0 x0 acosh E Add Add Mul x6 Add Mul -5 asech x7 x0 x0 acosh E -1 atan Add Add Mul x6 Add Mul -5 asech x7 x0 x0 acosh E 