atanh Mul cos x0 Add Pow x1 E Add Add sin x0 x0 Pow Mul Add x0 2 sech x0 Pow x0 sinh x0 
Mul Add Mul Add Pow x1 E Add Add sin x0 x0 Pow Mul Add x0 2 sech x0 Pow x0 sinh x0 Mul -1 sin x0 Mul cos x0 Add Add cos x0 1 Mul Pow Mul Add x0 2 sech x0 Add Pow x0 sinh x0 -1 Add Mul Pow x0 sinh x0 Add sech x0 Mul Add x0 2 Mul tanh x0 Mul -1 sech x0 Mul Mul Mul Add x0 2 sech x0 log Mul Add x0 2 sech x0 Mul Pow x0 Add sinh x0 -1 Add sinh x0 Mul Mul x0 log x0 cosh x0 Pow Add 1 Mul -1 Mul Mul cos x0 Add Pow x1 E Add Add sin x0 x0 Pow Mul Add x0 2 sech x0 Pow x0 sinh x0 Mul cos x0 Add Pow x1 E Add Add sin x0 x0 Pow Mul Add x0 2 sech x0 Pow x0 sinh x0 -1 