Mul Pow Add sec x0 x4 Mul x0 atan x5 Mul acosh x0 Add Mul Pow x3 x0 cot Mul x0 3 x3 
Add Mul Mul acosh x0 Add Mul Pow x3 x0 cot Mul x0 3 x3 Mul Pow Add sec x0 x4 Add Mul x0 atan x5 -1 Add Mul Mul x0 atan x5 Mul tan x0 sec x0 Mul Mul Add sec x0 x4 log Add sec x0 x4 atan x5 Mul Pow Add sec x0 x4 Mul x0 atan x5 Add Mul Add Mul Pow x3 x0 cot Mul x0 3 x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Add Mul cot Mul x0 3 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x3 x0 Mul Mul -1 Pow csc Mul x0 3 2 3 