exp Pow asin Add -1.17520119364380 cot acot acoth x4 x0 
Mul exp Pow asin Add -1.17520119364380 cot acot acoth x4 x0 Mul Pow asin Add -1.17520119364380 cot acot acoth x4 Add x0 -1 Mul asin Add -1.17520119364380 cot acot acoth x4 log asin Add -1.17520119364380 cot acot acoth x4 