Mul -2 Mul log Add cosh log Pow x0 x0 x0 Pow sec Mul x3 acoth x0 Add Mul x0 x0 4 
Mul -2 Add Mul Pow sec Mul x3 acoth x0 Add Mul x0 x0 4 Mul Add Mul sinh log Pow x0 x0 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Pow x0 x0 -1 1 Pow Add cosh log Pow x0 x0 x0 -1 Mul log Add cosh log Pow x0 x0 x0 Mul Pow sec Mul x3 acoth x0 Add Add Mul x0 x0 4 -1 Add Mul Add Mul x0 x0 4 Mul Mul tan Mul x3 acoth x0 sec Mul x3 acoth x0 Mul x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sec Mul x3 acoth x0 log sec Mul x3 acoth x0 Add x0 x0 