atanh Mul Add Mul x4 5 Pow Add -4 Pow sin x0 acoth x4 Mul -3 x0 cosh x5 
Mul Mul cosh x5 Mul Pow Add -4 Pow sin x0 acoth x4 Add Mul -3 x0 -1 Add Mul Mul -3 x0 Mul Pow sin x0 Add acoth x4 -1 Mul acoth x4 cos x0 Mul Mul Add -4 Pow sin x0 acoth x4 log Add -4 Pow sin x0 acoth x4 -3 Pow Add 1 Mul -1 Mul Mul Add Mul x4 5 Pow Add -4 Pow sin x0 acoth x4 Mul -3 x0 cosh x5 Mul Add Mul x4 5 Pow Add -4 Pow sin x0 acoth x4 Mul -3 x0 cosh x5 -1 