asec Add x0 Mul Mul x0 Pow x6 Mul -4 acosh Mul x0 Pow pi 4 sqrt pi 
Mul Add 1 Mul sqrt pi Add Pow x6 Mul -4 acosh Mul x0 Pow pi 4 Mul x0 Mul Pow x6 Add Mul -4 acosh Mul x0 Pow pi 4 -1 Mul Mul x6 log x6 Mul -4 Mul Pow pi 4 Pow Mul sqrt Add Mul x0 Pow pi 4 -1 sqrt Add 1 Mul x0 Pow pi 4 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 Mul Mul x0 Pow x6 Mul -4 acosh Mul x0 Pow pi 4 sqrt pi Add x0 Mul Mul x0 Pow x6 Mul -4 acosh Mul x0 Pow pi 4 sqrt pi -1 Add x0 Mul Mul x0 Pow x6 Mul -4 acosh Mul x0 Pow pi 4 sqrt pi Add x0 Mul Mul x0 Pow x6 Mul -4 acosh Mul x0 Pow pi 4 sqrt pi -1 