Add Add x0 x7 Add Pow Pow 4 asech x1 csch Pow x0 csc x0 -4 
Add 1 Mul Pow Pow 4 asech x1 Add csch Pow x0 csc x0 -1 Mul Mul Pow 4 asech x1 log Pow 4 asech x1 Mul Mul Mul -1 coth Pow x0 csc x0 csch Pow x0 csc x0 Mul Pow x0 Add csc x0 -1 Add csc x0 Mul Mul x0 log x0 Mul Mul -1 cot x0 csc x0 