atanh Pow Add x0 Add Mul tanh x0 pi sinh Add sqrt x0 x5 x0 
Mul Mul Pow Add x0 Add Mul tanh x0 pi sinh Add sqrt x0 x5 Add x0 -1 Add Mul x0 Add 1 Add Mul pi Pow sech x0 2 Mul cosh Add sqrt x0 x5 Pow Mul 2 sqrt x0 -1 Mul Add x0 Add Mul tanh x0 pi sinh Add sqrt x0 x5 log Add x0 Add Mul tanh x0 pi sinh Add sqrt x0 x5 Pow Add 1 Mul -1 Mul Pow Add x0 Add Mul tanh x0 pi sinh Add sqrt x0 x5 x0 Pow Add x0 Add Mul tanh x0 pi sinh Add sqrt x0 x5 x0 -1 