Add Pow Mul acosh Add x0 Mul x0 log cot x0 x0 x4 acot acos x0 
Add Mul Pow Mul acosh Add x0 Mul x0 log cot x0 x0 Add x4 -1 Mul x4 Add Mul x0 Mul Add 1 Add log cot x0 Mul x0 Mul Mul -1 Pow csc x0 2 Pow cot x0 -1 Pow Mul sqrt Add Add x0 Mul x0 log cot x0 -1 sqrt Add 1 Add x0 Mul x0 log cot x0 -1 acosh Add x0 Mul x0 log cot x0 Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acos x0 acos x0 -1 