Pow x0 tan Mul acoth Mul x0 -4 x2 
Mul Pow x0 Add tan Mul acoth Mul x0 -4 x2 -1 Add tan Mul acoth Mul x0 -4 x2 Mul Mul x0 log x0 Mul Pow sec Mul acoth Mul x0 -4 x2 2 Mul x2 Mul -4 Pow Add 1 Mul -1 Mul Mul x0 -4 Mul x0 -4 -1 