Pow Mul x0 acot x1 sinh atan Mul asinh sqrt x0 x0 
Mul Pow Mul x0 acot x1 Add sinh atan Mul asinh sqrt x0 x0 -1 Add Mul sinh atan Mul asinh sqrt x0 x0 acot x1 Mul Mul Mul x0 acot x1 log Mul x0 acot x1 Mul cosh atan Mul asinh sqrt x0 x0 Mul Add Mul x0 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul sqrt x0 sqrt x0 -1 asinh sqrt x0 Pow Add 1 Mul Mul asinh sqrt x0 x0 Mul asinh sqrt x0 x0 -1 