Pow Pow Pow asech Add x6 3 Pow Pow Mul x4 x0 acoth Add x7 pi 5 x0 x0 
Mul Pow Pow Pow asech Add x6 3 Pow Pow Mul x4 x0 acoth Add x7 pi 5 x0 Add x0 -1 Add Mul x0 Mul Pow Pow asech Add x6 3 Pow Pow Mul x4 x0 acoth Add x7 pi 5 Add x0 -1 Add Mul x0 Mul Pow asech Add x6 3 Add Pow Pow Mul x4 x0 acoth Add x7 pi 5 -1 Mul Mul asech Add x6 3 log asech Add x6 3 Mul Pow Pow Mul x4 x0 acoth Add x7 pi 4 Mul 5 Mul Pow Mul x4 x0 Add acoth Add x7 pi -1 Mul acoth Add x7 pi x4 Mul Pow asech Add x6 3 Pow Pow Mul x4 x0 acoth Add x7 pi 5 log Pow asech Add x6 3 Pow Pow Mul x4 x0 acoth Add x7 pi 5 Mul Pow Pow asech Add x6 3 Pow Pow Mul x4 x0 acoth Add x7 pi 5 x0 log Pow Pow asech Add x6 3 Pow Pow Mul x4 x0 acoth Add x7 pi 5 x0 