Mul x0 Pow atan Add acosh x2 Mul x0 Mul x6 Add 2 x0 Add x0 x0 
Add Pow atan Add acosh x2 Mul x0 Mul x6 Add 2 x0 Add x0 x0 Mul x0 Mul Pow atan Add acosh x2 Mul x0 Mul x6 Add 2 x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Add Mul x6 Add 2 x0 Mul x0 x6 Pow Add 1 Mul Add acosh x2 Mul x0 Mul x6 Add 2 x0 Add acosh x2 Mul x0 Mul x6 Add 2 x0 -1 Mul Mul atan Add acosh x2 Mul x0 Mul x6 Add 2 x0 log atan Add acosh x2 Mul x0 Mul x6 Add 2 x0 2 