Add Mul Pow cos acoth asin x0 x0 -1.52988565646640 Add x0 Add x4 x7 
Add Mul -1.52988565646640 Mul Pow cos acoth asin x0 Add x0 -1 Add Mul x0 Mul Mul -1 sin acoth asin x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asin x0 asin x0 -1 Mul cos acoth asin x0 log cos acoth asin x0 1 