Mul x0 Add Pow acosh x0 Pow Add Mul 4 Mul -4 x0 log Mul x0 Add x0 x0 Pow Pow x1 pi x0 sqrt x0 
Add Add Pow acosh x0 Pow Add Mul 4 Mul -4 x0 log Mul x0 Add x0 x0 Pow Pow x1 pi x0 sqrt x0 Mul x0 Add Mul Pow acosh x0 Add Pow Add Mul 4 Mul -4 x0 log Mul x0 Add x0 x0 Pow Pow x1 pi x0 -1 Add Mul Pow Add Mul 4 Mul -4 x0 log Mul x0 Add x0 x0 Pow Pow x1 pi x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Pow Add Mul 4 Mul -4 x0 log Mul x0 Add x0 x0 Add Pow Pow x1 pi x0 -1 Add Mul Pow Pow x1 pi x0 Mul Add Add x0 x0 Mul x0 2 Pow Mul x0 Add x0 x0 -1 Mul Mul Add Mul 4 Mul -4 x0 log Mul x0 Add x0 x0 log Add Mul 4 Mul -4 x0 log Mul x0 Add x0 x0 Mul Pow Pow x1 pi Add x0 -1 Mul Pow x1 pi log Pow x1 pi Pow Mul 2 sqrt x0 -1 