Pow 0.785398163397448 atan Pow x0 cosh x7 
Mul Pow 0.785398163397448 Add atan Pow x0 cosh x7 -1 Mul 0.543833688126958 Mul Mul Pow x0 Add cosh x7 -1 cosh x7 Pow Add 1 Mul Pow x0 cosh x7 Pow x0 cosh x7 -1 