atan Pow x0 Add Mul 3 acosh x7 Mul x0 -2 
Mul Mul Pow x0 Add Add Mul 3 acosh x7 Mul x0 -2 -1 Add Add Mul 3 acosh x7 Mul x0 -2 Mul Mul x0 log x0 -2 Pow Add 1 Mul Pow x0 Add Mul 3 acosh x7 Mul x0 -2 Pow x0 Add Mul 3 acosh x7 Mul x0 -2 -1 