Pow x0 Mul Pow Mul Pow x0 Add 3 acoth acsc x7 acsch acot pi x2 Mul x1 4 
Mul Pow x0 Add Mul Pow Mul Pow x0 Add 3 acoth acsc x7 acsch acot pi x2 Mul x1 4 -1 Add Mul Pow Mul Pow x0 Add 3 acoth acsc x7 acsch acot pi x2 Mul x1 4 Mul Mul x0 log x0 Mul Mul x1 4 Mul Pow Mul Pow x0 Add 3 acoth acsc x7 acsch acot pi Add x2 -1 Mul x2 Mul acsch acot pi Mul Pow x0 Add Add 3 acoth acsc x7 -1 Add 3 acoth acsc x7 