Mul Add 2 Mul Pow Pow coth acot x0 x0 acot x7 Mul Pow Pow x0 x0 atan Add 5 Add x0 x0 x2 x7 
Mul x7 Add Mul Mul Pow Pow x0 x0 atan Add 5 Add x0 x0 x2 Mul Pow Pow coth acot x0 x0 Add acot x7 -1 Mul acot x7 Mul Pow coth acot x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul coth acot x0 log coth acot x0 Mul Pow Pow coth acot x0 x0 acot x7 Mul x2 Mul Pow Pow x0 x0 Add atan Add 5 Add x0 x0 -1 Add Mul atan Add 5 Add x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 log Pow x0 x0 Mul 2 Pow Add 1 Mul Add 5 Add x0 x0 Add 5 Add x0 x0 -1 