acsch acosh Add Add sech x0 Pow Add 2 atan x0 16 x0 
Mul Mul -1 Mul Add Add Mul tanh x0 Mul -1 sech x0 Mul Pow Add 2 atan x0 15 Mul 16 Pow Add 1 Mul x0 x0 -1 1 Pow Mul sqrt Add Add Add sech x0 Pow Add 2 atan x0 16 x0 -1 sqrt Add 1 Add Add sech x0 Pow Add 2 atan x0 16 x0 -1 Pow Mul Mul acosh Add Add sech x0 Pow Add 2 atan x0 16 x0 acosh Add Add sech x0 Pow Add 2 atan x0 16 x0 sqrt Add 1 Mul -1 Pow Mul acosh Add Add sech x0 Pow Add 2 atan x0 16 x0 acosh Add Add sech x0 Pow Add 2 atan x0 16 x0 -1 -1 