acos Add sec E Pow asinh Add x0 -4 Pow x0 Mul x1 5 
Mul -1 Mul Mul Pow asinh Add x0 -4 Add Pow x0 Mul x1 5 -1 Add Mul Pow x0 Mul x1 5 Pow sqrt Add 1 Mul Add x0 -4 Add x0 -4 -1 Mul Mul asinh Add x0 -4 log asinh Add x0 -4 Mul Pow x0 Add Mul x1 5 -1 Mul x1 5 Pow sqrt Add 1 Mul -1 Mul Add sec E Pow asinh Add x0 -4 Pow x0 Mul x1 5 Add sec E Pow asinh Add x0 -4 Pow x0 Mul x1 5 -1 