log csc Add x2 Pow asech sqrt x0 Pow acot x0 Pow Pow x3 x0 atanh x0 
Mul Mul Mul Mul -1 cot Add x2 Pow asech sqrt x0 Pow acot x0 Pow Pow x3 x0 atanh x0 csc Add x2 Pow asech sqrt x0 Pow acot x0 Pow Pow x3 x0 atanh x0 Mul Pow asech sqrt x0 Add Pow acot x0 Pow Pow x3 x0 atanh x0 -1 Add Mul Pow acot x0 Pow Pow x3 x0 atanh x0 Mul Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 Mul Mul asech sqrt x0 log asech sqrt x0 Mul Pow acot x0 Add Pow Pow x3 x0 atanh x0 -1 Add Mul Pow Pow x3 x0 atanh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow Pow x3 x0 Add atanh x0 -1 Add Mul atanh x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul Pow x3 x0 log Pow x3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow csc Add x2 Pow asech sqrt x0 Pow acot x0 Pow Pow x3 x0 atanh x0 -1 