Pow acosh asec Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 Add acosh sqrt Add pi x0 Mul x0 pi 
Mul Pow acosh asec Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 Add Add acosh sqrt Add pi x0 Mul x0 pi -1 Add Mul Add acosh sqrt Add pi x0 Mul x0 pi Mul Mul Mul Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 Add x0 -1 Add Mul x0 Add Mul Mul Add Mul x0 Pow x0 x3 x0 x0 2 Mul Add x0 x0 Add Mul x0 Add Add Pow x0 x3 Mul x0 Mul Pow x0 Add x3 -1 x3 1 Add Mul x0 Pow x0 x3 x0 Mul Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 log Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 -1 Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 -1 Pow Mul sqrt Add asec Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 -1 sqrt Add 1 asec Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 -1 Mul Mul acosh asec Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 log acosh asec Pow Mul Add x0 x0 Mul Add Mul x0 Pow x0 x3 x0 x0 x0 Add Mul Pow Mul 2 sqrt Add pi x0 -1 Pow Mul sqrt Add sqrt Add pi x0 -1 sqrt Add 1 sqrt Add pi x0 -1 pi 