Mul asech x0 Add sec x0 Pow Add sqrt Pow x6 4 exp Mul x1 x0 Mul -1 exp Mul x0 acsch x4 
Add Mul Add sec x0 Pow Add sqrt Pow x6 4 exp Mul x1 x0 Mul -1 exp Mul x0 acsch x4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Add Mul tan x0 sec x0 Mul Pow Add sqrt Pow x6 4 exp Mul x1 x0 Add Mul -1 exp Mul x0 acsch x4 -1 Add Mul Mul -1 exp Mul x0 acsch x4 Mul exp Mul x1 x0 x1 Mul Mul Add sqrt Pow x6 4 exp Mul x1 x0 log Add sqrt Pow x6 4 exp Mul x1 x0 Mul -1 Mul exp Mul x0 acsch x4 acsch x4 