Add Mul acos Add sin Add Mul asech x0 x2 Mul x2 x2 cosh pi Pow Add x6 x7 x0 Add Add x0 Add x0 5 x0 
Add Add Mul Pow Add x6 x7 x0 Mul -1 Mul Mul cos Add Mul asech x0 x2 Mul x2 x2 Mul x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Add sin Add Mul asech x0 x2 Mul x2 x2 cosh pi Add sin Add Mul asech x0 x2 Mul x2 x2 cosh pi -1 Mul acos Add sin Add Mul asech x0 x2 Mul x2 x2 cosh pi Mul Pow Add x6 x7 Add x0 -1 Mul Add x6 x7 log Add x6 x7 3 