Pow Pow Mul x0 acosh x1 Pow x0 x0 atan x4 
Mul Pow Pow Mul x0 acosh x1 Pow x0 x0 Add atan x4 -1 Mul atan x4 Mul Pow Mul x0 acosh x1 Add Pow x0 x0 -1 Add Mul Pow x0 x0 acosh x1 Mul Mul Mul x0 acosh x1 log Mul x0 acosh x1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 