Add x3 Add x0 log Mul Pow Pow 2 log Add -4 Mul -4 x0 acosh cosh exp x4 Add atan x0 3 
Add 1 Mul Add Mul Add atan x0 3 Mul Pow Pow 2 log Add -4 Mul -4 x0 Add acosh cosh exp x4 -1 Mul acosh cosh exp x4 Mul Pow 2 Add log Add -4 Mul -4 x0 -1 Mul 2.69314718055995 Mul -4 Pow Add -4 Mul -4 x0 -1 Mul Pow Pow 2 log Add -4 Mul -4 x0 acosh cosh exp x4 Pow Add 1 Mul x0 x0 -1 Pow Mul Pow Pow 2 log Add -4 Mul -4 x0 acosh cosh exp x4 Add atan x0 3 -1 