Add Pow Pow pi x0 acos Pow cosh x3 x0 cos x0 
Add Mul Pow Pow pi x0 Add acos Pow cosh x3 x0 -1 Add Mul acos Pow cosh x3 x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Mul Pow pi x0 log Pow pi x0 Mul -1 Mul Mul Pow cosh x3 Add x0 -1 Mul cosh x3 log cosh x3 Pow sqrt Add 1 Mul -1 Mul Pow cosh x3 x0 Pow cosh x3 x0 -1 Mul -1 sin x0 