Add Pow coth x4 Add sec Add Add asin coth acosh x6 2 x0 Mul x0 x0 x0 
Add Mul Pow coth x4 Add Add sec Add Add asin coth acosh x6 2 x0 Mul x0 x0 -1 Mul Mul coth x4 log coth x4 Add Mul tan Add Add asin coth acosh x6 2 x0 sec Add Add asin coth acosh x6 2 x0 Add x0 x0 1 