Add asin x0 Add Pow x5 Add x0 Mul acosh x6 Pow x0 Add x4 Mul -3 x2 Add Pow Add Add -2 pi x0 acosh x0 -4 
Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add Mul Pow x5 Add Add x0 Mul acosh x6 Pow x0 Add x4 Mul -3 x2 -1 Mul Mul x5 log x5 Add 1 Mul acosh x6 Mul Pow x0 Add Add x4 Mul -3 x2 -1 Add x4 Mul -3 x2 Mul Pow Add Add -2 pi x0 Add acosh x0 -1 Add acosh x0 Mul Mul Add Add -2 pi x0 log Add Add -2 pi x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 