Add acoth acot asin Mul csc acot x0 Add Mul x3 log x1 1 Mul x0 -2 
Add Mul Mul -1 Mul Mul Mul Add Mul x3 log x1 1 Mul Mul Mul -1 cot acot x0 csc acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul csc acot x0 Add Mul x3 log x1 1 Mul csc acot x0 Add Mul x3 log x1 1 -1 Pow Add 1 Mul asin Mul csc acot x0 Add Mul x3 log x1 1 asin Mul csc acot x0 Add Mul x3 log x1 1 -1 Pow Add 1 Mul -1 Mul acot asin Mul csc acot x0 Add Mul x3 log x1 1 acot asin Mul csc acot x0 Add Mul x3 log x1 1 -1 -2 