Mul Add x0 x0 Add Add acoth Add x0 asin sqrt x0 x0 Add Add Mul Add x4 E -4 E x3 
Add Mul Add Add acoth Add x0 asin sqrt x0 x0 Add Add Mul Add x4 E -4 E x3 2 Mul Add x0 x0 Add Mul Add 1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Pow Add 1 Mul -1 Mul Add x0 asin sqrt x0 Add x0 asin sqrt x0 -1 1 