cos Mul x0 Add x0 atanh Add Pow x0 acoth x4 acosh x1 
Mul Mul -1 sin Mul x0 Add x0 atanh Add Pow x0 acoth x4 acosh x1 Add Add x0 atanh Add Pow x0 acoth x4 acosh x1 Mul x0 Add 1 Mul Mul Pow x0 Add acoth x4 -1 acoth x4 Pow Add 1 Mul -1 Mul Add Pow x0 acoth x4 acosh x1 Add Pow x0 acoth x4 acosh x1 -1 