Mul x0 Pow sin Mul 3 Mul x3 Pow x3 x2 acoth x0 
Add Pow sin Mul 3 Mul x3 Pow x3 x2 acoth x0 Mul x0 Mul Pow sin Mul 3 Mul x3 Pow x3 x2 Add acoth x0 -1 Mul Mul sin Mul 3 Mul x3 Pow x3 x2 log sin Mul 3 Mul x3 Pow x3 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 