acosh Mul x7 Pow Mul acoth x0 5 Mul 4 Mul Pow x0 x0 -5 
Mul Mul x7 Mul Pow Mul acoth x0 5 Add Mul 4 Mul Pow x0 x0 -5 -1 Add Mul Mul 4 Mul Pow x0 x0 -5 Mul 5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul acoth x0 5 log Mul acoth x0 5 Mul 4 Mul -5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul sqrt Add Mul x7 Pow Mul acoth x0 5 Mul 4 Mul Pow x0 x0 -5 -1 sqrt Add 1 Mul x7 Pow Mul acoth x0 5 Mul 4 Mul Pow x0 x0 -5 -1 