Mul x0 atanh Mul asec log x3 Mul x0 asech acos Mul csc x0 x2 
Add atanh Mul asec log x3 Mul x0 asech acos Mul csc x0 x2 Mul x0 Mul Mul asec log x3 Add asech acos Mul csc x0 x2 Mul x0 Mul Mul -1 Mul Mul x2 Mul Mul -1 cot x0 csc x0 Pow sqrt Add 1 Mul -1 Mul Mul csc x0 x2 Mul csc x0 x2 -1 Pow Mul Mul acos Mul csc x0 x2 acos Mul csc x0 x2 sqrt Add 1 Mul -1 Pow Mul acos Mul csc x0 x2 acos Mul csc x0 x2 -1 -1 Pow Add 1 Mul -1 Mul Mul asec log x3 Mul x0 asech acos Mul csc x0 x2 Mul asec log x3 Mul x0 asech acos Mul csc x0 x2 -1 