Add Pow Mul sqrt x0 exp x7 Add x0 Mul -4 asec acoth Pow x0 Add 4 Mul x0 pi x1 
Mul Pow Mul sqrt x0 exp x7 Add Add x0 Mul -4 asec acoth Pow x0 Add 4 Mul x0 pi -1 Add Mul Add x0 Mul -4 asec acoth Pow x0 Add 4 Mul x0 pi Mul exp x7 Pow Mul 2 sqrt x0 -1 Mul Mul Mul sqrt x0 exp x7 log Mul sqrt x0 exp x7 Add 1 Mul -4 Mul Mul Mul Pow x0 Add Add 4 Mul x0 pi -1 Add Add 4 Mul x0 pi Mul Mul x0 log x0 pi Pow Add 1 Mul -1 Mul Pow x0 Add 4 Mul x0 pi Pow x0 Add 4 Mul x0 pi -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth Pow x0 Add 4 Mul x0 pi acoth Pow x0 Add 4 Mul x0 pi -1 acoth Pow x0 Add 4 Mul x0 pi acoth Pow x0 Add 4 Mul x0 pi -1 