Mul Pow Add Pow x0 exp asin x6 Add x0 acoth x0 x0 atan x5 
Mul atan x5 Mul Pow Add Pow x0 exp asin x6 Add x0 acoth x0 Add x0 -1 Add Mul x0 Add Mul Pow x0 Add exp asin x6 -1 exp asin x6 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add Pow x0 exp asin x6 Add x0 acoth x0 log Add Pow x0 exp asin x6 Add x0 acoth x0 