asech Pow Mul x0 cosh x0 Add 10 x0 
Mul Mul Pow Mul x0 cosh x0 Add Add 10 x0 -1 Add Mul Add 10 x0 Add cosh x0 Mul x0 sinh x0 Mul Mul x0 cosh x0 log Mul x0 cosh x0 Pow Mul Mul Pow Mul x0 cosh x0 Add 10 x0 Pow Mul x0 cosh x0 Add 10 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 cosh x0 Add 10 x0 Pow Mul x0 cosh x0 Add 10 x0 -1 -1 