Mul x0 Add Add x0 Mul -5 Add coth x0 Pow tan x2 5 acosh x0 
Add Add Add x0 Mul -5 Add coth x0 Pow tan x2 5 acosh x0 Mul x0 Add Add 1 Mul -5 Mul -1 Pow csch x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 