Pow sin Mul acoth x4 -5 Mul atan x0 Mul x0 2 
Mul Pow sin Mul acoth x4 -5 Add Mul atan x0 Mul x0 2 -1 Mul Mul sin Mul acoth x4 -5 log sin Mul acoth x4 -5 Add Mul Mul x0 2 Pow Add 1 Mul x0 x0 -1 Mul atan x0 2 