Mul Pow Mul x0 -5 x7 Pow asinh Mul -4 Mul x1 cosh sinh x0 pi 
Add Mul Pow asinh Mul -4 Mul x1 cosh sinh x0 pi Mul Pow Mul x0 -5 Add x7 -1 Mul x7 -5 Mul Pow Mul x0 -5 x7 Mul Pow asinh Mul -4 Mul x1 cosh sinh x0 Add pi -1 Mul pi Mul Mul -4 Mul x1 Mul sinh sinh x0 cosh x0 Pow sqrt Add 1 Mul Mul -4 Mul x1 cosh sinh x0 Mul -4 Mul x1 cosh sinh x0 -1 