log Add -3 acoth Pow sin Mul x0 acoth x0 Mul 2 x0 
Mul Mul Mul Pow sin Mul x0 acoth x0 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Mul cos Mul x0 acoth x0 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sin Mul x0 acoth x0 log sin Mul x0 acoth x0 2 Pow Add 1 Mul -1 Mul Pow sin Mul x0 acoth x0 Mul 2 x0 Pow sin Mul x0 acoth x0 Mul 2 x0 -1 Pow Add -3 acoth Pow sin Mul x0 acoth x0 Mul 2 x0 -1 