asec acosh Mul Mul Add x1 x0 x3 Add pi pi 
Mul Mul Mul Add pi pi x3 Pow Mul sqrt Add Mul Mul Add x1 x0 x3 Add pi pi -1 sqrt Add 1 Mul Mul Add x1 x0 x3 Add pi pi -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Mul Mul Add x1 x0 x3 Add pi pi acosh Mul Mul Add x1 x0 x3 Add pi pi -1 acosh Mul Mul Add x1 x0 x3 Add pi pi acosh Mul Mul Add x1 x0 x3 Add pi pi -1 