sech cosh acoth Add Mul x0 Add 1 x0 1024 
Mul Mul tanh cosh acoth Add Mul x0 Add 1 x0 1024 Mul -1 sech cosh acoth Add Mul x0 Add 1 x0 1024 Mul sinh acoth Add Mul x0 Add 1 x0 1024 Mul Add Add 1 x0 x0 Pow Add 1 Mul -1 Mul Add Mul x0 Add 1 x0 1024 Add Mul x0 Add 1 x0 1024 -1 