sech Mul Add Pow Add x0 acosh x0 -3 Add x0 x0 Mul -2 sec Add Mul Mul -4 x6 x0 x3 
Mul Mul tanh Mul Add Pow Add x0 acosh x0 -3 Add x0 x0 Mul -2 sec Add Mul Mul -4 x6 x0 x3 Mul -1 sech Mul Add Pow Add x0 acosh x0 -3 Add x0 x0 Mul -2 sec Add Mul Mul -4 x6 x0 x3 Add Mul Mul -2 sec Add Mul Mul -4 x6 x0 x3 Add Mul Pow Add x0 acosh x0 4 Mul -3 Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 2 Mul Add Pow Add x0 acosh x0 -3 Add x0 x0 Mul -2 Mul Mul tan Add Mul Mul -4 x6 x0 x3 sec Add Mul Mul -4 x6 x0 x3 Mul -4 x6 