sech Add Mul Mul Pow x0 1.54308063481524 x0 acoth x2 x0 
Mul Mul tanh Add Mul Mul Pow x0 1.54308063481524 x0 acoth x2 x0 Mul -1 sech Add Mul Mul Pow x0 1.54308063481524 x0 acoth x2 x0 Add Mul acoth x2 Add Mul x0 Mul Pow x0 0.543080634815244 1.54308063481524 Pow x0 1.54308063481524 1 