Mul x0 acosh Mul tan Mul x0 x0 Pow Add x6 Pow Add x0 -1 pi pi 
Add acosh Mul tan Mul x0 x0 Pow Add x6 Pow Add x0 -1 pi pi Mul x0 Mul Add Mul Pow Add x6 Pow Add x0 -1 pi pi Mul Pow sec Mul x0 x0 2 Add x0 x0 Mul tan Mul x0 x0 Mul Pow Add x6 Pow Add x0 -1 pi Add pi -1 Mul pi Mul Pow Add x0 -1 Add pi -1 pi Pow Mul sqrt Add Mul tan Mul x0 x0 Pow Add x6 Pow Add x0 -1 pi pi -1 sqrt Add 1 Mul tan Mul x0 x0 Pow Add x6 Pow Add x0 -1 pi pi -1 