atan Add coth Mul x0 Pow x0 Add 4 asech x4 x5 
Mul Mul Mul -1 Pow csch Mul x0 Pow x0 Add 4 asech x4 2 Add Pow x0 Add 4 asech x4 Mul x0 Mul Pow x0 Add Add 4 asech x4 -1 Add 4 asech x4 Pow Add 1 Mul Add coth Mul x0 Pow x0 Add 4 asech x4 x5 Add coth Mul x0 Pow x0 Add 4 asech x4 x5 -1 