atanh Pow Add x2 Mul acsch x4 sqrt x0 -5 
Mul Mul Pow Add x2 Mul acsch x4 sqrt x0 6 Mul -5 Mul acsch x4 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Pow Add x2 Mul acsch x4 sqrt x0 -5 Pow Add x2 Mul acsch x4 sqrt x0 -5 -1 