atanh Mul x0 Add tanh x0 Mul Add 3 Add x0 Pow acos pi Pow x2 x6 3 
Mul Add Add tanh x0 Mul Add 3 Add x0 Pow acos pi Pow x2 x6 3 Mul x0 Add Pow sech x0 2 3 Pow Add 1 Mul -1 Mul Mul x0 Add tanh x0 Mul Add 3 Add x0 Pow acos pi Pow x2 x6 3 Mul x0 Add tanh x0 Mul Add 3 Add x0 Pow acos pi Pow x2 x6 3 -1 