Mul x0 atanh sec Mul Pow Add Mul x0 Add x0 2 x5 -2 pi 
Add atanh sec Mul Pow Add Mul x0 Add x0 2 x5 -2 pi Mul x0 Mul Mul Mul tan Mul Pow Add Mul x0 Add x0 2 x5 -2 pi sec Mul Pow Add Mul x0 Add x0 2 x5 -2 pi Mul pi Mul Pow Add Mul x0 Add x0 2 x5 3 Mul -2 Add Add x0 2 x0 Pow Add 1 Mul -1 Mul sec Mul Pow Add Mul x0 Add x0 2 x5 -2 pi sec Mul Pow Add Mul x0 Add x0 2 x5 -2 pi -1 