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