Mul sec Pow atanh x0 x0 Mul Mul 0.265802228834080 x0 x0 
Add Mul Mul Mul 0.265802228834080 x0 x0 Mul Mul tan Pow atanh x0 x0 sec Pow atanh x0 x0 Mul Pow atanh x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 log atanh x0 Mul sec Pow atanh x0 x0 Add Mul x0 0.265802228834080 Mul 0.265802228834080 x0 