Pow cot Add Add x3 asec x0 acosh x2 x0 
Mul Pow cot Add Add x3 asec x0 acosh x2 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csc Add Add x3 asec x0 acosh x2 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul cot Add Add x3 asec x0 acosh x2 log cot Add Add x3 asec x0 acosh x2 