tan Add x0 Add Add 3 log Mul csc Add E Mul 2 x0 exp acoth Mul Mul x0 x0 E 1 
Mul Pow sec Add x0 Add Add 3 log Mul csc Add E Mul 2 x0 exp acoth Mul Mul x0 x0 E 1 2 Add 1 Mul Add Mul exp acoth Mul Mul x0 x0 E Mul Mul Mul -1 cot Add E Mul 2 x0 csc Add E Mul 2 x0 2 Mul csc Add E Mul 2 x0 Mul exp acoth Mul Mul x0 x0 E Mul Mul E Add x0 x0 Pow Add 1 Mul -1 Mul Mul Mul x0 x0 E Mul Mul x0 x0 E -1 Pow Mul csc Add E Mul 2 x0 exp acoth Mul Mul x0 x0 E -1 