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