Mul x0 atanh Add Mul Mul E Add acsch Pow x0 -2 x0 Add tan x3 x1 5 
Add atanh Add Mul Mul E Add acsch Pow x0 -2 x0 Add tan x3 x1 5 Mul x0 Mul Mul Add tan x3 x1 Mul E Add Mul Mul -1 Mul Pow x0 3 -2 Pow Mul Mul Pow x0 -2 Pow x0 -2 sqrt Add 1 Mul -1 Pow Mul Pow x0 -2 Pow x0 -2 -1 -1 1 Pow Add 1 Mul -1 Mul Add Mul Mul E Add acsch Pow x0 -2 x0 Add tan x3 x1 5 Add Mul Mul E Add acsch Pow x0 -2 x0 Add tan x3 x1 5 -1 