Add Mul 3 asin Pow Mul cosh x1 Mul -3 pi x0 x0 
Add Mul 3 Mul Mul Pow Mul cosh x1 Mul -3 pi Add x0 -1 Mul Mul cosh x1 Mul -3 pi log Mul cosh x1 Mul -3 pi Pow sqrt Add 1 Mul -1 Mul Pow Mul cosh x1 Mul -3 pi x0 Pow Mul cosh x1 Mul -3 pi x0 -1 1 