Mul acoth acoth x0 Add Mul x0 Mul x6 log Mul x0 20.0855369231877 x0 
Add Mul Add Mul x0 Mul x6 log Mul x0 20.0855369231877 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul acoth acoth x0 Add Add Mul x6 log Mul x0 20.0855369231877 Mul x0 Mul x6 Mul 20.0855369231877 Pow Mul x0 20.0855369231877 -1 1 