Mul Pow acoth x0 -3 Add Mul x0 -5 Pow Pow Mul log Add x6 x0 Pow 0.265802228834080 x0 Mul Mul x5 -5 x3 x0 
Add Mul Add Mul x0 -5 Pow Pow Mul log Add x6 x0 Pow 0.265802228834080 x0 Mul Mul x5 -5 x3 x0 Mul Pow acoth x0 4 Mul -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acoth x0 -3 Add -5 Mul Pow Pow Mul log Add x6 x0 Pow 0.265802228834080 x0 Mul Mul x5 -5 x3 Add x0 -1 Add Mul x0 Mul Pow Mul log Add x6 x0 Pow 0.265802228834080 x0 Add Mul Mul x5 -5 x3 -1 Mul Mul Mul x5 -5 x3 Add Mul Pow 0.265802228834080 x0 Pow Add x6 x0 -1 Mul log Add x6 x0 Mul Pow 0.265802228834080 Add x0 -1 -1.05920051852378 Mul Pow Mul log Add x6 x0 Pow 0.265802228834080 x0 Mul Mul x5 -5 x3 log Pow Mul log Add x6 x0 Pow 0.265802228834080 x0 Mul Mul x5 -5 x3 