Mul Mul x6 x2 Mul x0 Mul tan x1 asin Mul x0 cosh acsch x0 
Mul Mul x6 x2 Add Mul tan x1 asin Mul x0 cosh acsch x0 Mul x0 Mul tan x1 Mul Add cosh acsch x0 Mul x0 Mul sinh acsch x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 cosh acsch x0 Mul x0 cosh acsch x0 -1 