Pow x2 log Pow atan cosh sqrt Mul x3 3 x0 
Mul Pow x2 Add log Pow atan cosh sqrt Mul x3 3 x0 -1 Mul Mul x2 log x2 Mul Mul Pow atan cosh sqrt Mul x3 3 Add x0 -1 Mul atan cosh sqrt Mul x3 3 log atan cosh sqrt Mul x3 3 Pow Pow atan cosh sqrt Mul x3 3 x0 -1 