atanh Mul acot Pow sinh Pow x2 8165619676597685 x0 3 
Mul Mul 3 Mul -1 Mul Mul Pow sinh Pow x2 8165619676597685 Add x0 -1 Mul sinh Pow x2 8165619676597685 log sinh Pow x2 8165619676597685 Pow Add 1 Mul Pow sinh Pow x2 8165619676597685 x0 Pow sinh Pow x2 8165619676597685 x0 -1 Pow Add 1 Mul -1 Mul Mul acot Pow sinh Pow x2 8165619676597685 x0 3 Mul acot Pow sinh Pow x2 8165619676597685 x0 3 -1 