Pow asin Add acoth Pow asin atan x4 x0 E Add E x0 
Mul Pow asin Add acoth Pow asin atan x4 x0 E Add Add E x0 -1 Add Mul Add E x0 Mul Mul Mul Pow asin atan x4 Add x0 -1 Mul asin atan x4 log asin atan x4 Pow Add 1 Mul -1 Mul Pow asin atan x4 x0 Pow asin atan x4 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add acoth Pow asin atan x4 x0 E Add acoth Pow asin atan x4 x0 E -1 Mul asin Add acoth Pow asin atan x4 x0 E log asin Add acoth Pow asin atan x4 x0 E 