acoth Add x0 Pow Mul x0 Add Mul acsch x5 Mul Mul x3 x0 x0 x5 acoth Add x0 x0 
Mul Add 1 Mul Pow Mul x0 Add Mul acsch x5 Mul Mul x3 x0 x0 x5 Add acoth Add x0 x0 -1 Add Mul acoth Add x0 x0 Add Add Mul acsch x5 Mul Mul x3 x0 x0 x5 Mul x0 Mul acsch x5 Add Mul x0 x3 Mul x3 x0 Mul Mul Mul x0 Add Mul acsch x5 Mul Mul x3 x0 x0 x5 log Mul x0 Add Mul acsch x5 Mul Mul x3 x0 x0 x5 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Pow Add 1 Mul -1 Mul Add x0 Pow Mul x0 Add Mul acsch x5 Mul Mul x3 x0 x0 x5 acoth Add x0 x0 Add x0 Pow Mul x0 Add Mul acsch x5 Mul Mul x3 x0 x0 x5 acoth Add x0 x0 -1 