Mul x0 Pow Pow asech coth acoth x5 5 Mul x0 Pow x3 asec x4 
Add Pow Pow asech coth acoth x5 5 Mul x0 Pow x3 asec x4 Mul x0 Mul Pow Pow asech coth acoth x5 5 Add Mul x0 Pow x3 asec x4 -1 Mul Mul Pow asech coth acoth x5 5 log Pow asech coth acoth x5 5 Pow x3 asec x4 