Mul x0 Mul Add Mul acsch x0 acoth sec tan x1 x0 Mul x1 x0 
Add Mul Add Mul acsch x0 acoth sec tan x1 x0 Mul x1 x0 Mul x0 Add Mul Mul x1 x0 Add Mul acoth sec tan x1 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Mul Add Mul acsch x0 acoth sec tan x1 x0 x1 