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