sec asec Pow Mul acosh x0 Mul 0.00411522633744856 x0 x0 
Mul Mul tan asec Pow Mul acosh x0 Mul 0.00411522633744856 x0 x0 sec asec Pow Mul acosh x0 Mul 0.00411522633744856 x0 x0 Mul Mul Pow Mul acosh x0 Mul 0.00411522633744856 x0 Add x0 -1 Add Mul x0 Add Mul Mul 0.00411522633744856 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 0.00411522633744856 Mul Mul acosh x0 Mul 0.00411522633744856 x0 log Mul acosh x0 Mul 0.00411522633744856 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul acosh x0 Mul 0.00411522633744856 x0 x0 Pow Mul acosh x0 Mul 0.00411522633744856 x0 x0 -1 Pow Mul acosh x0 Mul 0.00411522633744856 x0 x0 Pow Mul acosh x0 Mul 0.00411522633744856 x0 x0 -1 