log Mul Pow Pow acoth x7 Add x1 Pow Add Mul x0 Pow Mul pi x0 exp cbrt x5 x1 log pi x0 -4 
Mul Mul -4 Mul Pow Pow acoth x7 Add x1 Pow Add Mul x0 Pow Mul pi x0 exp cbrt x5 x1 log pi Add x0 -1 Add Mul x0 Mul Pow acoth x7 Add Add x1 Pow Add Mul x0 Pow Mul pi x0 exp cbrt x5 x1 log pi -1 Mul Mul acoth x7 log acoth x7 Mul Pow Add Mul x0 Pow Mul pi x0 exp cbrt x5 x1 Add log pi -1 Mul log pi Add Pow Mul pi x0 exp cbrt x5 Mul x0 Mul Pow Mul pi x0 Add exp cbrt x5 -1 Mul exp cbrt x5 pi Mul Pow acoth x7 Add x1 Pow Add Mul x0 Pow Mul pi x0 exp cbrt x5 x1 log pi log Pow acoth x7 Add x1 Pow Add Mul x0 Pow Mul pi x0 exp cbrt x5 x1 log pi Pow Mul Pow Pow acoth x7 Add x1 Pow Add Mul x0 Pow Mul pi x0 exp cbrt x5 x1 log pi x0 -4 -1 