exp Add Mul Pow Pow sech x4 4 x0 Mul Pow Pow acoth x0 x4 x2 Mul Mul x5 x1 Pow Add x1 x0 Mul x0 x3 x0 
Mul exp Add Mul Pow Pow sech x4 4 x0 Mul Pow Pow acoth x0 x4 x2 Mul Mul x5 x1 Pow Add x1 x0 Mul x0 x3 x0 Add Add Mul Mul Pow Pow acoth x0 x4 x2 Mul Mul x5 x1 Pow Add x1 x0 Mul x0 x3 Mul Pow Pow sech x4 4 Add x0 -1 Mul Pow sech x4 4 log Pow sech x4 4 Mul Pow Pow sech x4 4 x0 Add Mul Mul Mul x5 x1 Pow Add x1 x0 Mul x0 x3 Mul Pow Pow acoth x0 x4 Add x2 -1 Mul x2 Mul Pow acoth x0 Add x4 -1 Mul x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow acoth x0 x4 x2 Mul Mul x5 x1 Mul Pow Add x1 x0 Add Mul x0 x3 -1 Add Mul x0 x3 Mul Mul Add x1 x0 log Add x1 x0 x3 1 