Mul tanh x2 Pow Pow x1 Add sec Add x0 x3 acosh x0 Add x0 x0 
Mul tanh x2 Mul Pow Pow x1 Add sec Add x0 x3 acosh x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Pow x1 Add Add sec Add x0 x3 acosh x0 -1 Mul Mul x1 log x1 Add Mul tan Add x0 x3 sec Add x0 x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow x1 Add sec Add x0 x3 acosh x0 log Pow x1 Add sec Add x0 x3 acosh x0 2 