Add Pow sqrt atanh x0 Add Mul x2 Pow sec Add Mul x0 x2 pi x0 Mul Mul E exp x0 x0 Pow x0 x0 
Add Mul Pow sqrt atanh x0 Add Add Mul x2 Pow sec Add Mul x0 x2 pi x0 Mul Mul E exp x0 x0 -1 Add Mul Add Mul x2 Pow sec Add Mul x0 x2 pi x0 Mul Mul E exp x0 x0 Mul Pow Mul 2 sqrt atanh x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sqrt atanh x0 log sqrt atanh x0 Add Mul x2 Mul Pow sec Add Mul x0 x2 pi Add x0 -1 Add Mul x0 Mul Mul tan Add Mul x0 x2 pi sec Add Mul x0 x2 pi x2 Mul sec Add Mul x0 x2 pi log sec Add Mul x0 x2 pi Add Mul x0 Mul E exp x0 Mul E exp x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 