Pow Mul 2 sec Mul x0 Add Add x0 x0 sech Mul Pow x7 x7 acosh x0 x3 
Mul Pow Mul 2 sec Mul x0 Add Add x0 x0 sech Mul Pow x7 x7 acosh x0 Add x3 -1 Mul x3 Mul 2 Mul Mul tan Mul x0 Add Add x0 x0 sech Mul Pow x7 x7 acosh x0 sec Mul x0 Add Add x0 x0 sech Mul Pow x7 x7 acosh x0 Add Add Add x0 x0 sech Mul Pow x7 x7 acosh x0 Mul x0 Add 2 Mul Mul tanh Mul Pow x7 x7 acosh x0 Mul -1 sech Mul Pow x7 x7 acosh x0 Mul Pow x7 x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 