acosh Add x4 acosh Pow Add Add 8 Add Mul x0 Add x0 pi 2 x0 -2 
Mul Mul Mul Pow Add Add 8 Add Mul x0 Add x0 pi 2 x0 3 Mul -2 Add Add Add x0 pi x0 1 Pow Mul sqrt Add Pow Add Add 8 Add Mul x0 Add x0 pi 2 x0 -2 -1 sqrt Add 1 Pow Add Add 8 Add Mul x0 Add x0 pi 2 x0 -2 -1 Pow Mul sqrt Add Add x4 acosh Pow Add Add 8 Add Mul x0 Add x0 pi 2 x0 -2 -1 sqrt Add 1 Add x4 acosh Pow Add Add 8 Add Mul x0 Add x0 pi 2 x0 -2 -1 