acos sinh Pow x0 log Mul Mul pi -1 3 
Mul -1 Mul Mul cosh Pow x0 log Mul Mul pi -1 3 Mul Pow x0 Add log Mul Mul pi -1 3 -1 log Mul Mul pi -1 3 Pow sqrt Add 1 Mul -1 Mul sinh Pow x0 log Mul Mul pi -1 3 sinh Pow x0 log Mul Mul pi -1 3 -1 