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