Pow tan atanh x0 Mul 4.30468990349080 sech sinh x3 
Mul Pow tan atanh x0 Add Mul 4.30468990349080 sech sinh x3 -1 Mul Mul 4.30468990349080 sech sinh x3 Mul Pow sec atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 