Mul Add atan Mul x0 x5 Add acot Add Add tan x0 Mul Add Pow x0 acosh x0 x0 x1 x6 x0 x0 
Add Mul x0 Add Mul x5 Pow Add 1 Mul Mul x0 x5 Mul x0 x5 -1 Add Mul -1 Mul Add Pow sec x0 2 Mul x1 Add Mul Pow x0 Add acosh x0 -1 Add acosh x0 Mul Mul x0 log x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow Add 1 Mul Add Add tan x0 Mul Add Pow x0 acosh x0 x0 x1 x6 Add Add tan x0 Mul Add Pow x0 acosh x0 x0 x1 x6 -1 1 Add atan Mul x0 x5 Add acot Add Add tan x0 Mul Add Pow x0 acosh x0 x0 x1 x6 x0 