Mul Mul x0 Mul Mul x0 Pow atanh sec x0 x0 pi Mul cot Add x0 x0 x0 
Add Mul Mul cot Add x0 x0 x0 Add Mul Mul x0 Pow atanh sec x0 x0 pi Mul x0 Mul pi Add Pow atanh sec x0 x0 Mul x0 Mul Pow atanh sec x0 Add x0 -1 Add Mul x0 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Mul atanh sec x0 log atanh sec x0 Mul Mul x0 Mul Mul x0 Pow atanh sec x0 x0 pi Add Mul x0 Mul Mul -1 Pow csc Add x0 x0 2 2 cot Add x0 x0 