Pow sqrt x0 acsch sinh Mul x0 x3 
Mul Pow sqrt x0 Add acsch sinh Mul x0 x3 -1 Add Mul acsch sinh Mul x0 x3 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Mul -1 Mul cosh Mul x0 x3 x3 Pow Mul Mul sinh Mul x0 x3 sinh Mul x0 x3 sqrt Add 1 Mul -1 Pow Mul sinh Mul x0 x3 sinh Mul x0 x3 -1 -1 