Mul Mul 2 Add Mul x0 Mul tan acosh E Add x0 x0 x0 csc Mul x3 Mul x0 x0 
Add Mul csc Mul x3 Mul x0 x0 Mul 2 Add Add Mul tan acosh E Add x0 x0 Mul x0 Mul tan acosh E 2 1 Mul Mul 2 Add Mul x0 Mul tan acosh E Add x0 x0 x0 Mul Mul Mul -1 cot Mul x3 Mul x0 x0 csc Mul x3 Mul x0 x0 Mul x3 Add x0 x0 