log asinh Add -1 cosh Add x0 sqrt asech x3 
Mul Mul sinh Add x0 sqrt asech x3 Pow sqrt Add 1 Mul Add -1 cosh Add x0 sqrt asech x3 Add -1 cosh Add x0 sqrt asech x3 -1 Pow asinh Add -1 cosh Add x0 sqrt asech x3 -1 