Mul acosh x3 Pow x0 Add Mul Pow x0 atan x0 Mul 4 Mul x3 x1 asinh x1 
Mul acosh x3 Mul Pow x0 Add Add Mul Pow x0 atan x0 Mul 4 Mul x3 x1 asinh x1 -1 Add Add Mul Pow x0 atan x0 Mul 4 Mul x3 x1 asinh x1 Mul Mul x0 log x0 Mul Mul 4 Mul x3 x1 Mul Pow x0 Add atan x0 -1 Add atan x0 Mul Mul x0 log x0 Pow Add 1 Mul x0 x0 -1 