Add Pow Pow asinh asech x7 sqrt x0 x0 1 
Mul Pow Pow asinh asech x7 sqrt x0 Add x0 -1 Add Mul x0 Mul Pow asinh asech x7 Add sqrt x0 -1 Mul Mul asinh asech x7 log asinh asech x7 Pow Mul 2 sqrt x0 -1 Mul Pow asinh asech x7 sqrt x0 log Pow asinh asech x7 sqrt x0 