Pow atanh x0 sec Mul Add x5 Mul pi x3 exp Pow x0 x0 
Mul Pow atanh x0 Add sec Mul Add x5 Mul pi x3 exp Pow x0 x0 -1 Add Mul sec Mul Add x5 Mul pi x3 exp Pow x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Mul Mul tan Mul Add x5 Mul pi x3 exp Pow x0 x0 sec Mul Add x5 Mul pi x3 exp Pow x0 x0 Mul Add x5 Mul pi x3 Mul exp Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 