Mul cos Add E 4 acot asinh Add x1 sqrt x0 
Mul cos Add E 4 Mul -1 Mul Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul Add x1 sqrt x0 Add x1 sqrt x0 -1 Pow Add 1 Mul asinh Add x1 sqrt x0 asinh Add x1 sqrt x0 -1 