Pow x0 Pow Add Add x5 E acoth x0 asin Add pi exp Pow x5 pi 
Mul Pow x0 Add Pow Add Add x5 E acoth x0 asin Add pi exp Pow x5 pi -1 Add Pow Add Add x5 E acoth x0 asin Add pi exp Pow x5 pi Mul Mul x0 log x0 Mul Pow Add Add x5 E acoth x0 Add asin Add pi exp Pow x5 pi -1 Mul asin Add pi exp Pow x5 pi Pow Add 1 Mul -1 Mul x0 x0 -1 