Pow x0 Mul x0 Mul x0 atanh log tan cosh x0 
Mul Pow x0 Add Mul x0 Mul x0 atanh log tan cosh x0 -1 Add Mul x0 Mul x0 atanh log tan cosh x0 Mul Mul x0 log x0 Add Mul x0 atanh log tan cosh x0 Mul x0 Add atanh log tan cosh x0 Mul x0 Mul Mul Mul Pow sec cosh x0 2 sinh x0 Pow tan cosh x0 -1 Pow Add 1 Mul -1 Mul log tan cosh x0 log tan cosh x0 -1 