Mul Mul Pow Pow x7 x4 x0 acot Pow atanh x0 Mul pi x0 sech x1 
Mul sech x1 Add Mul acot Pow atanh x0 Mul pi x0 Mul Pow Pow x7 x4 Add x0 -1 Mul Pow x7 x4 log Pow x7 x4 Mul Pow Pow x7 x4 x0 Mul -1 Mul Mul Pow atanh x0 Add Mul pi x0 -1 Add Mul Mul pi x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 pi Pow Add 1 Mul Pow atanh x0 Mul pi x0 Pow atanh x0 Mul pi x0 -1 