Mul cosh x0 Mul Add x0 Mul Add x2 cos acos x0 pi coth x1 
Add Mul Mul Add x0 Mul Add x2 cos acos x0 pi coth x1 sinh x0 Mul cosh x0 Mul coth x1 Add 1 Mul pi Mul Mul -1 sin acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 