Pow coth Add sec Add x0 pi Pow acoth acos x6 Pow x0 4 x6 
Mul Pow coth Add sec Add x0 pi Pow acoth acos x6 Pow x0 4 Add x6 -1 Mul x6 Mul Mul -1 Pow csch Add sec Add x0 pi Pow acoth acos x6 Pow x0 4 2 Add Mul tan Add x0 pi sec Add x0 pi Mul Pow acoth acos x6 Add Pow x0 4 -1 Mul Mul acoth acos x6 log acoth acos x6 Mul Pow x0 3 4 