Mul x1 Pow acoth Add Pow Mul Mul x2 x2 2 x7 Add Add x0 Mul asech x3 x5 Mul -4 pi Add x0 Add E sqrt x7 
Mul x1 Mul Pow acoth Add Pow Mul Mul x2 x2 2 x7 Add Add x0 Mul asech x3 x5 Mul -4 pi Add Add x0 Add E sqrt x7 -1 Add Mul Add x0 Add E sqrt x7 Pow Add 1 Mul -1 Mul Add Pow Mul Mul x2 x2 2 x7 Add Add x0 Mul asech x3 x5 Mul -4 pi Add Pow Mul Mul x2 x2 2 x7 Add Add x0 Mul asech x3 x5 Mul -4 pi -1 Mul acoth Add Pow Mul Mul x2 x2 2 x7 Add Add x0 Mul asech x3 x5 Mul -4 pi log acoth Add Pow Mul Mul x2 x2 2 x7 Add Add x0 Mul asech x3 x5 Mul -4 pi 