Pow x3 Mul tan atanh x0 Mul Pow Mul E Mul x0 -2 E x3 
Mul Pow x3 Add Mul tan atanh x0 Mul Pow Mul E Mul x0 -2 E x3 -1 Mul Mul x3 log x3 Add Mul Mul Pow Mul E Mul x0 -2 E x3 Mul Pow sec atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul tan atanh x0 Mul x3 Mul Pow Mul E Mul x0 -2 Add E -1 Mul E Mul E -2 