Add Mul x4 Add x7 Pow Mul coth x7 x0 Add acsch Mul x0 acot pi -4 sec Mul x0 -4 
Add Mul x4 Mul Pow Mul coth x7 x0 Add Add acsch Mul x0 acot pi -4 -1 Add Mul Add acsch Mul x0 acot pi -4 coth x7 Mul Mul Mul coth x7 x0 log Mul coth x7 x0 Mul Mul -1 acot pi Pow Mul Mul Mul x0 acot pi Mul x0 acot pi sqrt Add 1 Mul -1 Pow Mul Mul x0 acot pi Mul x0 acot pi -1 -1 Mul Mul tan Mul x0 -4 sec Mul x0 -4 -4 