atanh sqrt Mul cosh asinh Add acosh Pow Mul x0 3 Add x0 -4 x0 pi 
Mul Mul Pow Mul 2 sqrt Mul cosh asinh Add acosh Pow Mul x0 3 Add x0 -4 x0 pi -1 Mul pi Mul sinh asinh Add acosh Pow Mul x0 3 Add x0 -4 x0 Mul Add Mul Mul Pow Mul x0 3 Add Add x0 -4 -1 Add Mul Add x0 -4 3 Mul Mul x0 3 log Mul x0 3 Pow Mul sqrt Add Pow Mul x0 3 Add x0 -4 -1 sqrt Add 1 Pow Mul x0 3 Add x0 -4 -1 1 Pow sqrt Add 1 Mul Add acosh Pow Mul x0 3 Add x0 -4 x0 Add acosh Pow Mul x0 3 Add x0 -4 x0 -1 Pow Add 1 Mul -1 Mul sqrt Mul cosh asinh Add acosh Pow Mul x0 3 Add x0 -4 x0 pi sqrt Mul cosh asinh Add acosh Pow Mul x0 3 Add x0 -4 x0 pi -1 