Mul 3 asinh sinh tan Add exp x5 Add coth x0 asech x3 
Mul 3 Mul Mul cosh tan Add exp x5 Add coth x0 asech x3 Mul Pow sec Add exp x5 Add coth x0 asech x3 2 Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul sinh tan Add exp x5 Add coth x0 asech x3 sinh tan Add exp x5 Add coth x0 asech x3 -1 