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