Mul acsch acosh Mul x2 x0 -3 
Mul -3 Mul Mul -1 Mul x2 Pow Mul sqrt Add Mul x2 x0 -1 sqrt Add 1 Mul x2 x0 -1 Pow Mul Mul acosh Mul x2 x0 acosh Mul x2 x0 sqrt Add 1 Mul -1 Pow Mul acosh Mul x2 x0 acosh Mul x2 x0 -1 -1 