tanh Add Add atan x0 Mul -2 Mul Add x0 4 Add sqrt x0 atanh x2 x4 
Mul Pow sech Add Add atan x0 Mul -2 Mul Add x0 4 Add sqrt x0 atanh x2 x4 2 Add Pow Add 1 Mul x0 x0 -1 Mul -2 Add Add sqrt x0 atanh x2 Mul Add x0 4 Pow Mul 2 sqrt x0 -1 