Pow x7 atan atanh Pow Mul x0 sqrt x7 -5 
Mul Pow x7 Add atan atanh Pow Mul x0 sqrt x7 -5 -1 Mul Mul x7 log x7 Mul Mul Mul Pow Mul x0 sqrt x7 6 Mul -5 sqrt x7 Pow Add 1 Mul -1 Mul Pow Mul x0 sqrt x7 -5 Pow Mul x0 sqrt x7 -5 -1 Pow Add 1 Mul atanh Pow Mul x0 sqrt x7 -5 atanh Pow Mul x0 sqrt x7 -5 -1 