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