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