Pow Mul x0 Mul -2 cosh log x3 csc x0 
Mul Pow Mul x0 Mul -2 cosh log x3 Add csc x0 -1 Add Mul csc x0 Mul -2 cosh log x3 Mul Mul Mul x0 Mul -2 cosh log x3 log Mul x0 Mul -2 cosh log x3 Mul Mul -1 cot x0 csc x0 