atanh Mul Mul x5 4 Add x5 Mul Add log log Pow Add E Add x0 Mul x0 atan x7 x4 1 5 
Mul Mul Mul x5 4 Mul 5 Mul Mul Mul Pow Add E Add x0 Mul x0 atan x7 Add x4 -1 Mul x4 Add 1 atan x7 Pow Pow Add E Add x0 Mul x0 atan x7 x4 -1 Pow log Pow Add E Add x0 Mul x0 atan x7 x4 -1 Pow Add 1 Mul -1 Mul Mul Mul x5 4 Add x5 Mul Add log log Pow Add E Add x0 Mul x0 atan x7 x4 1 5 Mul Mul x5 4 Add x5 Mul Add log log Pow Add E Add x0 Mul x0 atan x7 x4 1 5 -1 