Mul -4 Pow acot Mul atan x0 asinh Pow E Add x0 -2 x4 
Mul -4 Mul Pow acot Mul atan x0 asinh Pow E Add x0 -2 Add x4 -1 Mul x4 Mul -1 Mul Add Mul asinh Pow E Add x0 -2 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Mul Pow E Add Add x0 -2 -1 Mul E log E Pow sqrt Add 1 Mul Pow E Add x0 -2 Pow E Add x0 -2 -1 Pow Add 1 Mul Mul atan x0 asinh Pow E Add x0 -2 Mul atan x0 asinh Pow E Add x0 -2 -1 