log Mul csc Add x0 Pow 4 cos Mul x1 acoth x7 asech x3 
Mul Mul asech x3 Mul Mul -1 cot Add x0 Pow 4 cos Mul x1 acoth x7 csc Add x0 Pow 4 cos Mul x1 acoth x7 Pow Mul csc Add x0 Pow 4 cos Mul x1 acoth x7 asech x3 -1 