Mul Mul Pow atan x5 x0 Add -3 Pow acosh x4 x0 x2 
Mul x2 Add Mul Add -3 Pow acosh x4 x0 Mul Pow atan x5 Add x0 -1 Mul atan x5 log atan x5 Mul Pow atan x5 x0 Mul Pow acosh x4 Add x0 -1 Mul acosh x4 log acosh x4 