Mul Pow acoth x0 asin x6 Mul x2 Add Pow Mul x0 Pow Add x6 x0 x5 Pow x0 x6 x5 
Add Mul Mul x2 Add Pow Mul x0 Pow Add x6 x0 x5 Pow x0 x6 x5 Mul Pow acoth x0 Add asin x6 -1 Mul asin x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acoth x0 asin x6 Mul x2 Mul Pow Mul x0 Pow Add x6 x0 x5 Add Pow x0 x6 -1 Add Mul Pow x0 x6 Add Pow Add x6 x0 x5 Mul x0 Mul Pow Add x6 x0 Add x5 -1 x5 Mul Mul Mul x0 Pow Add x6 x0 x5 log Mul x0 Pow Add x6 x0 x5 Mul Pow x0 Add x6 -1 x6 