Add -2 Pow x0 Mul Mul x0 4 Pow csc acoth tan Add x0 Add x6 pi 2 
Mul Pow x0 Add Mul Mul x0 4 Pow csc acoth tan Add x0 Add x6 pi 2 -1 Add Mul Mul x0 4 Pow csc acoth tan Add x0 Add x6 pi 2 Mul Mul x0 log x0 Add Mul Pow csc acoth tan Add x0 Add x6 pi 2 4 Mul Mul x0 4 Mul csc acoth tan Add x0 Add x6 pi Mul 2 Mul Mul Mul -1 cot acoth tan Add x0 Add x6 pi csc acoth tan Add x0 Add x6 pi Mul Pow sec Add x0 Add x6 pi 2 Pow Add 1 Mul -1 Mul tan Add x0 Add x6 pi tan Add x0 Add x6 pi -1 