Add x0 Add Mul Pow acsch Mul Mul acosh x4 x6 E x0 x0 0.897089962539917 
Add 1 Add Mul x0 Mul Pow acsch Mul Mul acosh x4 x6 E Add x0 -1 Mul acsch Mul Mul acosh x4 x6 E log acsch Mul Mul acosh x4 x6 E Pow acsch Mul Mul acosh x4 x6 E x0 