Pow x0 Mul Pow Mul cosh asin x0 -4 -1 Mul x0 -3 
Mul Pow x0 Add Mul Pow Mul cosh asin x0 -4 -1 Mul x0 -3 -1 Add Mul Pow Mul cosh asin x0 -4 -1 Mul x0 -3 Mul Mul x0 log x0 Add Mul Mul x0 -3 Mul Pow Mul cosh asin x0 -4 2 Mul -1 Mul -4 Mul sinh asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul cosh asin x0 -4 -1 -3 