tan Mul -2 Mul tanh Pow x0 coth acot Add x0 Add Pow x0 Mul 3 E x0 atan x1 
Mul Pow sec Mul -2 Mul tanh Pow x0 coth acot Add x0 Add Pow x0 Mul 3 E x0 atan x1 2 Mul -2 Mul atan x1 Mul Pow sech Pow x0 coth acot Add x0 Add Pow x0 Mul 3 E x0 2 Mul Pow x0 Add coth acot Add x0 Add Pow x0 Mul 3 E x0 -1 Add coth acot Add x0 Add Pow x0 Mul 3 E x0 Mul Mul x0 log x0 Mul Mul -1 Pow csch acot Add x0 Add Pow x0 Mul 3 E x0 2 Mul -1 Mul Add 1 Add Mul Pow x0 Add Mul 3 E -1 Mul 3 E 1 Pow Add 1 Mul Add x0 Add Pow x0 Mul 3 E x0 Add x0 Add Pow x0 Mul 3 E x0 -1 