Add Pow 3 Pow Add Pow Mul acosh x0 pi Add x0 -4 Add x0 Pow x0 x0 atan x0 x0 
Add Mul Pow 3 Add Pow Add Pow Mul acosh x0 pi Add x0 -4 Add x0 Pow x0 x0 atan x0 -1 Mul 4.09861228866811 Mul Pow Add Pow Mul acosh x0 pi Add x0 -4 Add x0 Pow x0 x0 Add atan x0 -1 Add Mul atan x0 Add Mul Pow Mul acosh x0 pi Add Add x0 -4 -1 Add Mul Add x0 -4 Mul pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 pi log Mul acosh x0 pi Add 1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Add Pow Mul acosh x0 pi Add x0 -4 Add x0 Pow x0 x0 log Add Pow Mul acosh x0 pi Add x0 -4 Add x0 Pow x0 x0 Pow Add 1 Mul x0 x0 -1 1 