Mul x0 Add Mul asech acosh Mul x3 sech x0 Add 2 x0 Add x3 x0 
Add Add Mul asech acosh Mul x3 sech x0 Add 2 x0 Add x3 x0 Mul x0 Add Add Mul Add 2 x0 Mul Mul Mul x3 Mul tanh x0 Mul -1 sech x0 Pow Mul sqrt Add Mul x3 sech x0 -1 sqrt Add 1 Mul x3 sech x0 -1 Pow Mul Mul acosh Mul x3 sech x0 acosh Mul x3 sech x0 sqrt Add 1 Mul -1 Pow Mul acosh Mul x3 sech x0 acosh Mul x3 sech x0 -1 -1 asech acosh Mul x3 sech x0 1 