Add Pow Mul Pow Add acoth x0 log x3 asec x1 x0 x0 cot asech atan x0 
Add Mul Pow Mul Pow Add acoth x0 log x3 asec x1 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Pow Add acoth x0 log x3 Add asec x1 -1 Mul asec x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add acoth x0 log x3 asec x1 Mul Mul Pow Add acoth x0 log x3 asec x1 x0 log Mul Pow Add acoth x0 log x3 asec x1 x0 Mul Mul -1 Pow csc asech atan x0 2 Mul Pow Add 1 Mul x0 x0 -1 Pow Mul Mul atan x0 atan x0 sqrt Add 1 Mul -1 Pow Mul atan x0 atan x0 -1 -1 