asech Add Pow x0 asinh exp x3 3 
Mul Mul Pow x0 Add asinh exp x3 -1 asinh exp x3 Pow Mul Mul Add Pow x0 asinh exp x3 3 Add Pow x0 asinh exp x3 3 sqrt Add 1 Mul -1 Pow Mul Add Pow x0 asinh exp x3 3 Add Pow x0 asinh exp x3 3 -1 -1 