Mul Pow x0 Mul cosh Add x0 Add Add pi Add x0 x0 acot Add x0 x1 atan acot sqrt x1 Mul sinh pi -4 
Mul Mul sinh pi -4 Mul Pow x0 Add Mul cosh Add x0 Add Add pi Add x0 x0 acot Add x0 x1 atan acot sqrt x1 -1 Add Mul cosh Add x0 Add Add pi Add x0 x0 acot Add x0 x1 atan acot sqrt x1 Mul Mul x0 log x0 Mul atan acot sqrt x1 Mul sinh Add x0 Add Add pi Add x0 x0 acot Add x0 x1 Add 1 Add 2 Mul -1 Pow Add 1 Mul Add x0 x1 Add x0 x1 -1 