Pow Add 2 sec acoth Mul Mul sqrt acosh x0 Add x0 x0 x4 -4 
Mul Pow Add 2 sec acoth Mul Mul sqrt acosh x0 Add x0 x0 x4 5 Mul -4 Mul Mul tan acoth Mul Mul sqrt acosh x0 Add x0 x0 x4 sec acoth Mul Mul sqrt acosh x0 Add x0 x0 x4 Mul Mul x4 Add Mul Add x0 x0 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul sqrt acosh x0 2 Pow Add 1 Mul -1 Mul Mul Mul sqrt acosh x0 Add x0 x0 x4 Mul Mul sqrt acosh x0 Add x0 x0 x4 -1 