Mul Pow cbrt x0 pi sinh Pow Mul Mul atanh x0 x7 x1 3 
Add Mul sinh Pow Mul Mul atanh x0 x7 x1 3 Mul Pow cbrt x0 Add pi -1 Mul pi Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Mul Pow cbrt x0 pi Mul cosh Pow Mul Mul atanh x0 x7 x1 3 Mul Pow Mul Mul atanh x0 x7 x1 2 Mul 3 Mul x1 Mul x7 Pow Add 1 Mul -1 Mul x0 x0 -1 