Add Pow Pow sech Add 4 x3 acosh atan Mul x0 x1 Add 4 tanh tanh Add sqrt x0 Mul x7 8 -2 
Mul Pow Pow sech Add 4 x3 acosh atan Mul x0 x1 Add Add 4 tanh tanh Add sqrt x0 Mul x7 8 -1 Add Mul Add 4 tanh tanh Add sqrt x0 Mul x7 8 Mul Pow sech Add 4 x3 Add acosh atan Mul x0 x1 -1 Mul Mul sech Add 4 x3 log sech Add 4 x3 Mul Mul x1 Pow Add 1 Mul Mul x0 x1 Mul x0 x1 -1 Pow Mul sqrt Add atan Mul x0 x1 -1 sqrt Add 1 atan Mul x0 x1 -1 Mul Mul Pow sech Add 4 x3 acosh atan Mul x0 x1 log Pow sech Add 4 x3 acosh atan Mul x0 x1 Mul Pow sech tanh Add sqrt x0 Mul x7 8 2 Mul Pow sech Add sqrt x0 Mul x7 8 2 Pow Mul 2 sqrt x0 -1 