Add sech asinh Mul x0 log Mul asinh Add x0 1 2 sqrt x0 
Add Mul Mul tanh asinh Mul x0 log Mul asinh Add x0 1 2 Mul -1 sech asinh Mul x0 log Mul asinh Add x0 1 2 Mul Add log Mul asinh Add x0 1 2 Mul x0 Mul Mul 2 Pow sqrt Add 1 Mul Add x0 1 Add x0 1 -1 Pow Mul asinh Add x0 1 2 -1 Pow sqrt Add 1 Mul Mul x0 log Mul asinh Add x0 1 2 Mul x0 log Mul asinh Add x0 1 2 -1 Pow Mul 2 sqrt x0 -1 