Add Pow atan Mul x0 x0 Pow acos cosh x5 Add sqrt x0 x0 x4 
Mul Pow atan Mul x0 x0 Add Pow acos cosh x5 Add sqrt x0 x0 -1 Add Mul Pow acos cosh x5 Add sqrt x0 x0 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Mul atan Mul x0 x0 log atan Mul x0 x0 Mul Pow acos cosh x5 Add Add sqrt x0 x0 -1 Mul Mul acos cosh x5 log acos cosh x5 Add Pow Mul 2 sqrt x0 -1 1 