csc Mul x0 Mul x0 Pow Mul x4 sech x4 x0 
Mul Mul Mul -1 cot Mul x0 Mul x0 Pow Mul x4 sech x4 x0 csc Mul x0 Mul x0 Pow Mul x4 sech x4 x0 Add Mul x0 Pow Mul x4 sech x4 x0 Mul x0 Add Pow Mul x4 sech x4 x0 Mul x0 Mul Pow Mul x4 sech x4 Add x0 -1 Mul Mul x4 sech x4 log Mul x4 sech x4 