Mul -3 atan Add Pow Pow Pow x3 Pow x1 pi x6 x6 Add Mul Add acoth x0 Add x5 asec sinh Add x7 4 x0 x3 
Mul -3 Mul Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Add acoth x0 Add x5 asec sinh Add x7 4 Pow Add 1 Mul Add Pow Pow Pow x3 Pow x1 pi x6 x6 Add Mul Add acoth x0 Add x5 asec sinh Add x7 4 x0 x3 Add Pow Pow Pow x3 Pow x1 pi x6 x6 Add Mul Add acoth x0 Add x5 asec sinh Add x7 4 x0 x3 -1 