Mul x0 Add Add Pow x4 x0 acoth Pow Add 1 x0 asin Add Pow Pow exp Mul x0 pi sec E x0 0.958924274663138 E 
Add Add Add Pow x4 x0 acoth Pow Add 1 x0 asin Add Pow Pow exp Mul x0 pi sec E x0 0.958924274663138 E Mul x0 Add Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul Pow Add 1 x0 Add asin Add Pow Pow exp Mul x0 pi sec E x0 0.958924274663138 -1 Add asin Add Pow Pow exp Mul x0 pi sec E x0 0.958924274663138 Mul Mul Add 1 x0 log Add 1 x0 Mul Mul Pow Pow exp Mul x0 pi sec E Add x0 -1 Add Mul x0 Mul Pow exp Mul x0 pi Add sec E -1 Mul sec E Mul exp Mul x0 pi pi Mul Pow exp Mul x0 pi sec E log Pow exp Mul x0 pi sec E Pow sqrt Add 1 Mul -1 Mul Add Pow Pow exp Mul x0 pi sec E x0 0.958924274663138 Add Pow Pow exp Mul x0 pi sec E x0 0.958924274663138 -1 Pow Add 1 Mul -1 Mul Pow Add 1 x0 asin Add Pow Pow exp Mul x0 pi sec E x0 0.958924274663138 Pow Add 1 x0 asin Add Pow Pow exp Mul x0 pi sec E x0 0.958924274663138 -1 