Mul acosh Mul Mul acos Add x0 pi x0 x0 Add -3 sinh x0 
Add Mul Add -3 sinh x0 Mul Add Mul x0 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 pi Add x0 pi -1 acos Add x0 pi Mul acos Add x0 pi x0 Pow Mul sqrt Add Mul Mul acos Add x0 pi x0 x0 -1 sqrt Add 1 Mul Mul acos Add x0 pi x0 x0 -1 Mul acosh Mul Mul acos Add x0 pi x0 x0 cosh x0 