Mul x0 Mul atan x2 Mul Pow Mul Pow acosh x2 x0 x0 -3 acos x3 
Add Mul atan x2 Mul Pow Mul Pow acosh x2 x0 x0 -3 acos x3 Mul x0 Mul atan x2 Mul acos x3 Mul Pow Mul Pow acosh x2 x0 x0 4 Mul -3 Add Mul x0 Mul Pow acosh x2 Add x0 -1 Mul acosh x2 log acosh x2 Pow acosh x2 x0 