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