Add -1 acot Mul Pow acoth Add x0 Mul sin Add 1 Add Pow x1 x0 2 Add Mul -2 x5 x0 cosh pi 4 
Mul -1 Mul Mul 4 Mul Pow acoth Add x0 Mul sin Add 1 Add Pow x1 x0 2 Add Mul -2 x5 x0 Add cosh pi -1 Mul cosh pi Mul Add 1 Add Mul Add Mul -2 x5 x0 Mul cos Add 1 Add Pow x1 x0 2 Mul Pow x1 Add x0 -1 Mul x1 log x1 sin Add 1 Add Pow x1 x0 2 Pow Add 1 Mul -1 Mul Add x0 Mul sin Add 1 Add Pow x1 x0 2 Add Mul -2 x5 x0 Add x0 Mul sin Add 1 Add Pow x1 x0 2 Add Mul -2 x5 x0 -1 Pow Add 1 Mul Mul Pow acoth Add x0 Mul sin Add 1 Add Pow x1 x0 2 Add Mul -2 x5 x0 cosh pi 4 Mul Pow acoth Add x0 Mul sin Add 1 Add Pow x1 x0 2 Add Mul -2 x5 x0 cosh pi 4 -1 