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