Pow asinh acosh exp E Mul x0 Mul Add x0 3.99999999999999 x0 
Mul Pow asinh acosh exp E Add Mul x0 Mul Add x0 3.99999999999999 x0 -1 Mul Mul asinh acosh exp E log asinh acosh exp E Add Mul Add x0 3.99999999999999 x0 Mul x0 Add x0 Add x0 3.99999999999999 