Pow Pow x0 Add acot Pow x4 x0 x0 Pow asin x0 log acoth x7 
Mul Pow Pow x0 Add acot Pow x4 x0 x0 Add Pow asin x0 log acoth x7 -1 Add Mul Pow asin x0 log acoth x7 Mul Pow x0 Add Add acot Pow x4 x0 x0 -1 Add Add acot Pow x4 x0 x0 Mul Mul x0 log x0 Add Mul -1 Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Add 1 Mul Pow x4 x0 Pow x4 x0 -1 1 Mul Mul Pow x0 Add acot Pow x4 x0 x0 log Pow x0 Add acot Pow x4 x0 x0 Mul Pow asin x0 Add log acoth x7 -1 Mul log acoth x7 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 