acoth Mul x0 Add x0 Pow Pow Mul Mul Mul Pow x0 Add Add x5 Add x0 x0 1 Mul x0 3 x0 x5 -5 Add Add x0 pi x0 
Mul Add Add x0 Pow Pow Mul Mul Mul Pow x0 Add Add x5 Add x0 x0 1 Mul x0 3 x0 x5 -5 Add Add x0 pi x0 Mul x0 Add 1 Mul Pow Pow Mul Mul Mul Pow x0 Add Add x5 Add x0 x0 1 Mul x0 3 x0 x5 -5 Add Add Add x0 pi x0 -1 Add Mul Add Add x0 pi x0 Mul Pow Mul Mul Mul Pow x0 Add Add x5 Add x0 x0 1 Mul x0 3 x0 x5 6 Mul -5 Mul x5 Add Mul x0 Add Mul Mul x0 3 Mul Pow x0 Add Add Add x5 Add x0 x0 1 -1 Add Add Add x5 Add x0 x0 1 Mul Mul x0 log x0 2 Mul Pow x0 Add Add x5 Add x0 x0 1 3 Mul Pow x0 Add Add x5 Add x0 x0 1 Mul x0 3 Mul Mul Pow Mul Mul Mul Pow x0 Add Add x5 Add x0 x0 1 Mul x0 3 x0 x5 -5 log Pow Mul Mul Mul Pow x0 Add Add x5 Add x0 x0 1 Mul x0 3 x0 x5 -5 2 Pow Add 1 Mul -1 Mul Mul x0 Add x0 Pow Pow Mul Mul Mul Pow x0 Add Add x5 Add x0 x0 1 Mul x0 3 x0 x5 -5 Add Add x0 pi x0 Mul x0 Add x0 Pow Pow Mul Mul Mul Pow x0 Add Add x5 Add x0 x0 1 Mul x0 3 x0 x5 -5 Add Add x0 pi x0 -1 