atan Mul Pow Add asinh x2 Mul Pow cosh Add log x0 4 -4 x0 x0 -2 
Mul Mul -2 Mul Pow Add asinh x2 Mul Pow cosh Add log x0 4 -4 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Pow cosh Add log x0 4 5 Mul -4 Mul sinh Add log x0 4 Pow x0 -1 Pow cosh Add log x0 4 -4 Mul Add asinh x2 Mul Pow cosh Add log x0 4 -4 x0 log Add asinh x2 Mul Pow cosh Add log x0 4 -4 x0 Pow Add 1 Mul Mul Pow Add asinh x2 Mul Pow cosh Add log x0 4 -4 x0 x0 -2 Mul Pow Add asinh x2 Mul Pow cosh Add log x0 4 -4 x0 x0 -2 -1 