Mul Pow x0 Add x0 x2 Add Mul -2.90067207258057 sec x0 Add Add x0 atanh x7 7 
Add Mul Add Mul -2.90067207258057 sec x0 Add Add x0 atanh x7 7 Mul Pow x0 Add Add x0 x2 -1 Add Add x0 x2 Mul x0 log x0 Mul Pow x0 Add x0 x2 Add Mul -2.90067207258057 Mul tan x0 sec x0 1 