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