Mul Mul -3 Mul Pow Add x0 acoth asec x1 x0 Pow Mul x0 cot x0 8 -0.756802495307928 
Mul -0.756802495307928 Mul -3 Add Mul Pow Mul x0 cot x0 8 Mul Pow Add x0 acoth asec x1 Add x0 -1 Add x0 Mul Add x0 acoth asec x1 log Add x0 acoth asec x1 Mul Pow Add x0 acoth asec x1 x0 Mul Pow Mul x0 cot x0 7 Mul 8 Add cot x0 Mul x0 Mul -1 Pow csc x0 2 