Pow Add atan asin Add x0 acoth E x0 5 
Mul Pow Add atan asin Add x0 acoth E x0 4 Mul 5 Add Mul Pow sqrt Add 1 Mul -1 Mul Add x0 acoth E Add x0 acoth E -1 Pow Add 1 Mul asin Add x0 acoth E asin Add x0 acoth E -1 1 