sech Pow x6 Pow acot x0 -2 
Mul Mul tanh Pow x6 Pow acot x0 -2 Mul -1 sech Pow x6 Pow acot x0 -2 Mul Pow x6 Add Pow acot x0 -2 -1 Mul Mul x6 log x6 Mul Pow acot x0 3 Mul -2 Mul -1 Pow Add 1 Mul x0 x0 -1 