Pow Add x0 acosh Mul Add Add x0 x0 Mul Mul E x4 x0 Pow acot asech x5 Pow exp x7 -2 E 
Mul Pow Add x0 acosh Mul Add Add x0 x0 Mul Mul E x4 x0 Pow acot asech x5 Pow exp x7 -2 Add E -1 Mul E Add 1 Mul Mul Pow acot asech x5 Pow exp x7 -2 Add 2 Mul E x4 Pow Mul sqrt Add Mul Add Add x0 x0 Mul Mul E x4 x0 Pow acot asech x5 Pow exp x7 -2 -1 sqrt Add 1 Mul Add Add x0 x0 Mul Mul E x4 x0 Pow acot asech x5 Pow exp x7 -2 -1 