Mul acoth Add Mul x0 x0 pi Mul Pow Mul x1 sec asin x7 Mul x0 tanh Pow x0 x0 x0 
Add Mul Mul Pow Mul x1 sec asin x7 Mul x0 tanh Pow x0 x0 x0 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Add Mul x0 x0 pi Add Mul x0 x0 pi -1 Mul acoth Add Mul x0 x0 pi Add Mul x0 Mul Pow Mul x1 sec asin x7 Add Mul x0 tanh Pow x0 x0 -1 Mul Mul Mul x1 sec asin x7 log Mul x1 sec asin x7 Add tanh Pow x0 x0 Mul x0 Mul Pow sech Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul x1 sec asin x7 Mul x0 tanh Pow x0 x0 