Add x5 Mul Add x0 Add Mul x0 Add x0 Pow sec x1 Pow acosh x7 x0 Mul Add x0 sech x0 Mul x0 3 -3 
Mul -3 Add 1 Add Add Add x0 Pow sec x1 Pow acosh x7 x0 Mul x0 Add 1 Mul Pow sec x1 Add Pow acosh x7 x0 -1 Mul Mul sec x1 log sec x1 Mul Pow acosh x7 Add x0 -1 Mul acosh x7 log acosh x7 Add Mul Mul x0 3 Add 1 Mul tanh x0 Mul -1 sech x0 Mul Add x0 sech x0 3 