Mul asech Pow Pow acosh Pow 5 x2 0.283662185463226 sec x4 Mul sec acosh x0 Add 3 Mul x0 x0 
Mul asech Pow Pow acosh Pow 5 x2 0.283662185463226 sec x4 Add Mul Add 3 Mul x0 x0 Mul Mul tan acosh x0 sec acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul sec acosh x0 Add x0 x0 