acos Add 5 Pow Add Mul Add x0 -3 Mul x5 pi Mul Pow acosh Add x0 -2 x0 4 x3 
Mul -1 Mul Mul Pow Add Mul Add x0 -3 Mul x5 pi Mul Pow acosh Add x0 -2 x0 4 Add x3 -1 Mul x3 Add Mul x5 pi Mul 4 Mul Pow acosh Add x0 -2 Add x0 -1 Add Mul x0 Pow Mul sqrt Add Add x0 -2 -1 sqrt Add 1 Add x0 -2 -1 Mul acosh Add x0 -2 log acosh Add x0 -2 Pow sqrt Add 1 Mul -1 Mul Add 5 Pow Add Mul Add x0 -3 Mul x5 pi Mul Pow acosh Add x0 -2 x0 4 x3 Add 5 Pow Add Mul Add x0 -3 Mul x5 pi Mul Pow acosh Add x0 -2 x0 4 x3 -1 