Mul x0 asin Pow Pow Pow Mul cosh x1 Pow 1.60943791243410 E x0 Pow 2 x0 Add Pow acoth x0 x0 x0 
Add asin Pow Pow Pow Mul cosh x1 Pow 1.60943791243410 E x0 Pow 2 x0 Add Pow acoth x0 x0 x0 Mul x0 Mul Mul Pow Pow Pow Mul cosh x1 Pow 1.60943791243410 E x0 Pow 2 x0 Add Add Pow acoth x0 x0 x0 -1 Add Mul Add Pow acoth x0 x0 x0 Mul Pow Pow Mul cosh x1 Pow 1.60943791243410 E x0 Add Pow 2 x0 -1 Add Mul Pow 2 x0 Mul Pow Mul cosh x1 Pow 1.60943791243410 E Add x0 -1 Mul Mul cosh x1 Pow 1.60943791243410 E log Mul cosh x1 Pow 1.60943791243410 E Mul Mul Pow Mul cosh x1 Pow 1.60943791243410 E x0 log Pow Mul cosh x1 Pow 1.60943791243410 E x0 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Mul Pow Pow Mul cosh x1 Pow 1.60943791243410 E x0 Pow 2 x0 log Pow Pow Mul cosh x1 Pow 1.60943791243410 E x0 Pow 2 x0 Add Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 1 Pow sqrt Add 1 Mul -1 Mul Pow Pow Pow Mul cosh x1 Pow 1.60943791243410 E x0 Pow 2 x0 Add Pow acoth x0 x0 x0 Pow Pow Pow Mul cosh x1 Pow 1.60943791243410 E x0 Pow 2 x0 Add Pow acoth x0 x0 x0 -1 