Pow sech x3 Mul csc sech atanh x0 2 
Mul Pow sech x3 Add Mul csc sech atanh x0 2 -1 Mul Mul sech x3 log sech x3 Mul 2 Mul Mul Mul -1 cot sech atanh x0 csc sech atanh x0 Mul Mul tanh atanh x0 Mul -1 sech atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 