Pow Mul acoth asech exp asech x7 x0 sqrt Add x0 Mul Mul 4 Add x1 x0 5 
Mul Pow Mul acoth asech exp asech x7 x0 Add sqrt Add x0 Mul Mul 4 Add x1 x0 5 -1 Add Mul sqrt Add x0 Mul Mul 4 Add x1 x0 5 acoth asech exp asech x7 Mul Mul Mul acoth asech exp asech x7 x0 log Mul acoth asech exp asech x7 x0 Mul Pow Mul 2 sqrt Add x0 Mul Mul 4 Add x1 x0 5 -1 10 