Mul Add Mul asech Mul Pow x6 cosh Mul Mul -2 acos x2 x0 3 pi Add Add 4 x0 x0 Pow x3 -1 
Mul Pow x3 -1 Add Mul pi Mul Mul 3 Mul Pow x6 Add cosh Mul Mul -2 acos x2 x0 -1 Mul Mul x6 log x6 Mul sinh Mul Mul -2 acos x2 x0 Mul -2 acos x2 Pow Mul Mul Mul Pow x6 cosh Mul Mul -2 acos x2 x0 3 Mul Pow x6 cosh Mul Mul -2 acos x2 x0 3 sqrt Add 1 Mul -1 Pow Mul Mul Pow x6 cosh Mul Mul -2 acos x2 x0 3 Mul Pow x6 cosh Mul Mul -2 acos x2 x0 3 -1 -1 2 