Mul Mul x3 Mul Mul x1 Add x7 sech x4 x5 Add x0 Mul x0 coth sec Mul x0 2 
Mul Mul x3 Mul Mul x1 Add x7 sech x4 x5 Add 1 Add coth sec Mul x0 2 Mul x0 Mul Mul -1 Pow csch sec Mul x0 2 2 Mul Mul tan Mul x0 2 sec Mul x0 2 2 