Mul asech x0 Mul -4 Pow Pow x0 -0.989992496600445 acosh x2 
Add Mul Mul -4 Pow Pow x0 -0.989992496600445 acosh x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul -4 Mul Pow Pow x0 -0.989992496600445 Add acosh x2 -1 Mul acosh x2 Mul Pow x0 -1.98999249660045 -0.989992496600445 