Mul Mul atanh x0 Pow x3 exp Pow x0 5 Pow atan x0 x5 
Add Mul Pow atan x0 x5 Add Mul Pow x3 exp Pow x0 5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow x3 Add exp Pow x0 5 -1 Mul Mul x3 log x3 Mul exp Pow x0 5 Mul Pow x0 4 5 Mul Mul atanh x0 Pow x3 exp Pow x0 5 Mul Pow atan x0 Add x5 -1 Mul x5 Pow Add 1 Mul x0 x0 -1 