Add Pow Pow acoth x7 Mul x0 x0 x0 Add 4 pi 
Mul Pow Pow acoth x7 Mul x0 x0 Add x0 -1 Add Mul x0 Mul Pow acoth x7 Add Mul x0 x0 -1 Mul Mul acoth x7 log acoth x7 Add x0 x0 Mul Pow acoth x7 Mul x0 x0 log Pow acoth x7 Mul x0 x0 