Mul x0 Pow Mul asinh Add x0 Pow sqrt E x0 atanh x2 -4 
Add Pow Mul asinh Add x0 Pow sqrt E x0 atanh x2 -4 Mul x0 Mul Pow Mul asinh Add x0 Pow sqrt E x0 atanh x2 5 Mul -4 Mul atanh x2 Mul Add 1 Mul Pow sqrt E Add x0 -1 Mul sqrt E log sqrt E Pow sqrt Add 1 Mul Add x0 Pow sqrt E x0 Add x0 Pow sqrt E x0 -1 