atanh Mul Mul Mul x4 x0 x0 acot sinh x0 
Mul Add Mul acot sinh x0 Add Mul x0 x4 Mul x4 x0 Mul Mul Mul x4 x0 x0 Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Pow Add 1 Mul -1 Mul Mul Mul Mul x4 x0 x0 acot sinh x0 Mul Mul Mul x4 x0 x0 acot sinh x0 -1 