Pow acoth Add acot cot x0 x0 Pow pi sec Pow Add Mul 4 x1 2 Add acot x0 Pow Add x0 x0 x4 
Mul Pow acoth Add acot cot x0 x0 Add Pow pi sec Pow Add Mul 4 x1 2 Add acot x0 Pow Add x0 x0 x4 -1 Add Mul Pow pi sec Pow Add Mul 4 x1 2 Add acot x0 Pow Add x0 x0 x4 Mul Add Mul -1 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul cot x0 cot x0 -1 1 Pow Add 1 Mul -1 Mul Add acot cot x0 x0 Add acot cot x0 x0 -1 Mul Mul acoth Add acot cot x0 x0 log acoth Add acot cot x0 x0 Mul Pow pi Add sec Pow Add Mul 4 x1 2 Add acot x0 Pow Add x0 x0 x4 -1 Mul Mul pi log pi Mul Mul tan Pow Add Mul 4 x1 2 Add acot x0 Pow Add x0 x0 x4 sec Pow Add Mul 4 x1 2 Add acot x0 Pow Add x0 x0 x4 Mul Pow Add Mul 4 x1 2 Add Add acot x0 Pow Add x0 x0 x4 -1 Mul Mul Add Mul 4 x1 2 log Add Mul 4 x1 2 Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Add x0 x0 Add x4 -1 Mul x4 2 