atanh Mul Mul Mul x1 Pow x7 x0 x0 Pow Add x0 tanh sqrt x0 Mul x1 Add pi -2 
Mul Add Mul Pow Add x0 tanh sqrt x0 Mul x1 Add pi -2 Add Mul x0 Mul x1 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul x1 Pow x7 x0 Mul Mul Mul x1 Pow x7 x0 x0 Mul Pow Add x0 tanh sqrt x0 Add Mul x1 Add pi -2 -1 Mul Mul x1 Add pi -2 Add 1 Mul Pow sech sqrt x0 2 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Mul Mul Mul x1 Pow x7 x0 x0 Pow Add x0 tanh sqrt x0 Mul x1 Add pi -2 Mul Mul Mul x1 Pow x7 x0 x0 Pow Add x0 tanh sqrt x0 Mul x1 Add pi -2 -1 