Pow Mul x0 x0 Pow Pow E Add Add Mul x1 4 Add x4 acosh x0 Add pi x2 acosh log x0 
Mul Pow Mul x0 x0 Add Pow Pow E Add Add Mul x1 4 Add x4 acosh x0 Add pi x2 acosh log x0 -1 Add Mul Pow Pow E Add Add Mul x1 4 Add x4 acosh x0 Add pi x2 acosh log x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow Pow E Add Add Mul x1 4 Add x4 acosh x0 Add pi x2 Add acosh log x0 -1 Add Mul acosh log x0 Mul Pow E Add Add Add Mul x1 4 Add x4 acosh x0 Add pi x2 -1 Mul Mul E log E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow E Add Add Mul x1 4 Add x4 acosh x0 Add pi x2 log Pow E Add Add Mul x1 4 Add x4 acosh x0 Add pi x2 Mul Pow x0 -1 Pow Mul sqrt Add log x0 -1 sqrt Add 1 log x0 -1 