Mul acsch Add x0 Mul -1 sech acsch x6 Add 125 Add x0 Mul x4 x0 
Add Mul Add 125 Add x0 Mul x4 x0 Mul -1 Pow Mul Mul Add x0 Mul -1 sech acsch x6 Add x0 Mul -1 sech acsch x6 sqrt Add 1 Mul -1 Pow Mul Add x0 Mul -1 sech acsch x6 Add x0 Mul -1 sech acsch x6 -1 -1 Mul acsch Add x0 Mul -1 sech acsch x6 Add 1 x4 