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