Mul Pow Add acosh x3 -4 Add x0 Add Add atan x0 x6 x0 4 
Mul 4 Mul Pow Add acosh x3 -4 Add Add x0 Add Add atan x0 x6 x0 -1 Mul Mul Add acosh x3 -4 log Add acosh x3 -4 Add 1 Add Pow Add 1 Mul x0 x0 -1 1 