acosh Mul Pow Add acos x0 Mul Add Mul x0 x4 pi x7 x0 Add -5.16372470655367 x0 
Mul Add Mul Add -5.16372470655367 x0 Mul Pow Add acos x0 Mul Add Mul x0 x4 pi x7 Add x0 -1 Add Mul x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul x7 x4 Mul Add acos x0 Mul Add Mul x0 x4 pi x7 log Add acos x0 Mul Add Mul x0 x4 pi x7 Pow Add acos x0 Mul Add Mul x0 x4 pi x7 x0 Pow Mul sqrt Add Mul Pow Add acos x0 Mul Add Mul x0 x4 pi x7 x0 Add -5.16372470655367 x0 -1 sqrt Add 1 Mul Pow Add acos x0 Mul Add Mul x0 x4 pi x7 x0 Add -5.16372470655367 x0 -1 