atanh Mul x2 Add Mul Mul acos Add Mul x0 -3 Mul x2 x0 exp coth x0 cos x0 E 
Mul Mul x2 Add Mul cos x0 Add Mul exp coth x0 Mul -1 Mul Add -3 x2 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 -3 Mul x2 x0 Add Mul x0 -3 Mul x2 x0 -1 Mul acos Add Mul x0 -3 Mul x2 x0 Mul exp coth x0 Mul -1 Pow csch x0 2 Mul Mul acos Add Mul x0 -3 Mul x2 x0 exp coth x0 Mul -1 sin x0 Pow Add 1 Mul -1 Mul Mul x2 Add Mul Mul acos Add Mul x0 -3 Mul x2 x0 exp coth x0 cos x0 E Mul x2 Add Mul Mul acos Add Mul x0 -3 Mul x2 x0 exp coth x0 cos x0 E -1 