Mul acosh exp Pow x0 -5 log Add x0 pi 
Add Mul log Add x0 pi Mul Mul exp Pow x0 -5 Mul Pow x0 6 -5 Pow Mul sqrt Add exp Pow x0 -5 -1 sqrt Add 1 exp Pow x0 -5 -1 Mul acosh exp Pow x0 -5 Pow Add x0 pi -1 