Pow atan atan Add Add atan x0 1 -1 cosh x0 
Mul Pow atan atan Add Add atan x0 1 -1 Add cosh x0 -1 Add Mul cosh x0 Mul Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add Add atan x0 1 -1 Add Add atan x0 1 -1 -1 Pow Add 1 Mul atan Add Add atan x0 1 -1 atan Add Add atan x0 1 -1 -1 Mul Mul atan atan Add Add atan x0 1 -1 log atan atan Add Add atan x0 1 -1 sinh x0 