Add Pow Mul acoth x0 Mul x7 Pow x1 2 x0 Pow log Add x6 0.536113688476742 x0 
Add Mul Pow Mul acoth x0 Mul x7 Pow x1 2 Add x0 -1 Add Mul x0 Mul Mul x7 Pow x1 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 Mul x7 Pow x1 2 log Mul acoth x0 Mul x7 Pow x1 2 Mul Pow log Add x6 0.536113688476742 Add x0 -1 Mul log Add x6 0.536113688476742 log log Add x6 0.536113688476742 