sec Pow Add sech Mul x0 x0 x0 Mul sqrt atanh x0 Mul x3 x2 
Mul Mul tan Pow Add sech Mul x0 x0 x0 Mul sqrt atanh x0 Mul x3 x2 sec Pow Add sech Mul x0 x0 x0 Mul sqrt atanh x0 Mul x3 x2 Mul Pow Add sech Mul x0 x0 x0 Add Mul sqrt atanh x0 Mul x3 x2 -1 Add Mul Mul sqrt atanh x0 Mul x3 x2 Add Mul Mul tanh Mul x0 x0 Mul -1 sech Mul x0 x0 Add x0 x0 1 Mul Mul Add sech Mul x0 x0 x0 log Add sech Mul x0 x0 x0 Mul Mul x3 x2 Mul Pow Mul 2 sqrt atanh x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 