Pow Mul x4 acoth pi Pow x0 Add cos x0 Mul x0 -1 
Mul Pow Mul x4 acoth pi Add Pow x0 Add cos x0 Mul x0 -1 -1 Mul Mul Mul x4 acoth pi log Mul x4 acoth pi Mul Pow x0 Add Add cos x0 Mul x0 -1 -1 Add Add cos x0 Mul x0 -1 Mul Mul x0 log x0 Add Mul -1 sin x0 -1 