Add acosh Pow csc Mul x0 x5 Pow acot x3 Add x0 acot x0 x0 
Add Mul Mul Pow csc Mul x0 x5 Add Pow acot x3 Add x0 acot x0 -1 Add Mul Pow acot x3 Add x0 acot x0 Mul Mul Mul -1 cot Mul x0 x5 csc Mul x0 x5 x5 Mul Mul csc Mul x0 x5 log csc Mul x0 x5 Mul Pow acot x3 Add Add x0 acot x0 -1 Mul Mul acot x3 log acot x3 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Pow csc Mul x0 x5 Pow acot x3 Add x0 acot x0 -1 sqrt Add 1 Pow csc Mul x0 x5 Pow acot x3 Add x0 acot x0 -1 1 