Add acsch E Mul Mul Pow x2 Mul asinh sec acosh sqrt x0 sqrt x0 -2 -2 
Mul -2 Mul -2 Mul Pow x2 Add Mul asinh sec acosh sqrt x0 sqrt x0 -1 Mul Mul x2 log x2 Add Mul sqrt x0 Mul Mul Mul tan acosh sqrt x0 sec acosh sqrt x0 Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 Pow sqrt Add 1 Mul sec acosh sqrt x0 sec acosh sqrt x0 -1 Mul asinh sec acosh sqrt x0 Pow Mul 2 sqrt x0 -1 