Pow sin acoth acoth Pow x0 -4 acoth Add acosh x3 x4 
Mul Pow sin acoth acoth Pow x0 -4 Add acoth Add acosh x3 x4 -1 Mul acoth Add acosh x3 x4 Mul cos acoth acoth Pow x0 -4 Mul Mul Mul Pow x0 5 -4 Pow Add 1 Mul -1 Mul Pow x0 -4 Pow x0 -4 -1 Pow Add 1 Mul -1 Mul acoth Pow x0 -4 acoth Pow x0 -4 -1 