Add Pow x0 Pow x0 Mul atan cosh pi x1 Pow Mul acoth Add Add -1 Add Mul x0 x7 2 x0 -2 4 
Add Mul Pow x0 Add Pow x0 Mul atan cosh pi x1 -1 Add Pow x0 Mul atan cosh pi x1 Mul Mul x0 log x0 Mul Pow x0 Add Mul atan cosh pi x1 -1 Mul atan cosh pi x1 Mul Pow Mul acoth Add Add -1 Add Mul x0 x7 2 x0 -2 3 Mul 4 Mul -2 Mul Add x7 1 Pow Add 1 Mul -1 Mul Add Add -1 Add Mul x0 x7 2 x0 Add Add -1 Add Mul x0 x7 2 x0 -1 