Pow Mul x0 -0.416146836547142 Add Add -4 acosh x5 acoth Add tan x7 x2 
Mul Pow Mul x0 -0.416146836547142 Add Add Add -4 acosh x5 acoth Add tan x7 x2 -1 Mul Add Add -4 acosh x5 acoth Add tan x7 x2 -0.416146836547142 