asech Mul x0 Add sin cosh x0 x3 
Mul Add Add sin cosh x0 x3 Mul x0 Mul cos cosh x0 sinh x0 Pow Mul Mul Mul x0 Add sin cosh x0 x3 Mul x0 Add sin cosh x0 x3 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add sin cosh x0 x3 Mul x0 Add sin cosh x0 x3 -1 -1 