Pow Mul Add x7 x0 x0 Mul acot x0 Mul cosh asech Add x1 x0 x0 
Mul Pow Mul Add x7 x0 x0 Add Mul acot x0 Mul cosh asech Add x1 x0 x0 -1 Add Mul Mul acot x0 Mul cosh asech Add x1 x0 x0 Add x0 Add x7 x0 Mul Mul Mul Add x7 x0 x0 log Mul Add x7 x0 x0 Add Mul Mul cosh asech Add x1 x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Mul x0 Mul sinh asech Add x1 x0 Pow Mul Mul Add x1 x0 Add x1 x0 sqrt Add 1 Mul -1 Pow Mul Add x1 x0 Add x1 x0 -1 -1 cosh asech Add x1 x0 