Add Add atan Mul -0.653643620863612 Add x7 2 Mul x0 asech sqrt Add asin pi Add acoth x0 x2 Pow x0 x0 
Add Add asech sqrt Add asin pi Add acoth x0 x2 Mul x0 Mul Mul Pow Mul 2 sqrt Add asin pi Add acoth x0 x2 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add asin pi Add acoth x0 x2 sqrt Add asin pi Add acoth x0 x2 sqrt Add 1 Mul -1 Pow Mul sqrt Add asin pi Add acoth x0 x2 sqrt Add asin pi Add acoth x0 x2 -1 -1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 