Pow x0 sec asec Mul tan atanh acoth acoth x0 Pow x3 x3 
Mul Pow x0 Add sec asec Mul tan atanh acoth acoth x0 Pow x3 x3 -1 Add sec asec Mul tan atanh acoth acoth x0 Pow x3 x3 Mul Mul x0 log x0 Mul Mul tan asec Mul tan atanh acoth acoth x0 Pow x3 x3 sec asec Mul tan atanh acoth acoth x0 Pow x3 x3 Mul Mul Pow x3 x3 Mul Pow sec atanh acoth acoth x0 2 Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Pow Add 1 Mul -1 Mul acoth acoth x0 acoth acoth x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul tan atanh acoth acoth x0 Pow x3 x3 Mul tan atanh acoth acoth x0 Pow x3 x3 -1 Mul tan atanh acoth acoth x0 Pow x3 x3 Mul tan atanh acoth acoth x0 Pow x3 x3 -1 