atanh Add E Mul Add coth x0 Mul x0 Pow acos x1 -0.393679392799240 -3 
Mul Mul -3 Add Mul -1 Pow csch x0 2 Pow acos x1 -0.393679392799240 Pow Add 1 Mul -1 Mul Add E Mul Add coth x0 Mul x0 Pow acos x1 -0.393679392799240 -3 Add E Mul Add coth x0 Mul x0 Pow acos x1 -0.393679392799240 -3 -1 