sec Mul Mul tan acosh Mul Pow x5 2 -1.52988565646640 x0 x0 
Mul Mul tan Mul Mul tan acosh Mul Pow x5 2 -1.52988565646640 x0 x0 sec Mul Mul tan acosh Mul Pow x5 2 -1.52988565646640 x0 x0 Add Mul x0 tan acosh Mul Pow x5 2 -1.52988565646640 Mul tan acosh Mul Pow x5 2 -1.52988565646640 x0 