Mul Pow x0 Mul Add x0 sec acot asec x0 x2 Pow atan acoth x0 Pow x3 x0 
Add Mul Pow atan acoth x0 Pow x3 x0 Mul Pow x0 Add Mul Add x0 sec acot asec x0 x2 -1 Add Mul Add x0 sec acot asec x0 x2 Mul Mul x0 log x0 Mul x2 Add 1 Mul Mul tan acot asec x0 sec acot asec x0 Mul -1 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul asec x0 asec x0 -1 Mul Pow x0 Mul Add x0 sec acot asec x0 x2 Mul Pow atan acoth x0 Add Pow x3 x0 -1 Add Mul Pow x3 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Mul Mul atan acoth x0 log atan acoth x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 