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