atanh Pow sinh Mul 5 asec x6 Add x2 Mul x0 -4 
Mul Mul Pow sinh Mul 5 asec x6 Add Add x2 Mul x0 -4 -1 Mul Mul sinh Mul 5 asec x6 log sinh Mul 5 asec x6 -4 Pow Add 1 Mul -1 Mul Pow sinh Mul 5 asec x6 Add x2 Mul x0 -4 Pow sinh Mul 5 asec x6 Add x2 Mul x0 -4 -1 