Add Mul Add Pow sqrt x0 x0 4 acsch Add x0 Mul x0 acos E Pow x0 sech x1 
Add Add Mul acsch Add x0 Mul x0 acos E Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Mul Add Pow sqrt x0 x0 4 Mul Mul -1 Add 1 acos E Pow Mul Mul Add x0 Mul x0 acos E Add x0 Mul x0 acos E sqrt Add 1 Mul -1 Pow Mul Add x0 Mul x0 acos E Add x0 Mul x0 acos E -1 -1 Mul Pow x0 Add sech x1 -1 sech x1 