Add Pow sec Pow Pow x1 x0 x0 Pow Add acot x5 Add acoth x0 x0 x0 pi 
Mul Pow sec Pow Pow x1 x0 x0 Add Pow Add acot x5 Add acoth x0 x0 x0 -1 Add Mul Pow Add acot x5 Add acoth x0 x0 x0 Mul Mul tan Pow Pow x1 x0 x0 sec Pow Pow x1 x0 x0 Mul Pow Pow x1 x0 Add x0 -1 Add Mul x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Pow x1 x0 log Pow x1 x0 Mul Mul sec Pow Pow x1 x0 x0 log sec Pow Pow x1 x0 x0 Mul Pow Add acot x5 Add acoth x0 x0 Add x0 -1 Add Mul x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Add acot x5 Add acoth x0 x0 log Add acot x5 Add acoth x0 x0 