exp Add Add sech x3 Add acsch x7 x0 Add Pow Mul Add x0 asinh x3 Mul -3 x0 -3 x0 
Mul exp Add Add sech x3 Add acsch x7 x0 Add Pow Mul Add x0 asinh x3 Mul -3 x0 -3 x0 Add 1 Add Mul Pow Mul Add x0 asinh x3 Mul -3 x0 4 Mul -3 Add Mul -3 x0 Mul Add x0 asinh x3 -3 1 