Add Pow tan acosh x0 0.642092615934331 Mul Pow Mul x0 exp acoth Add x0 atan x1 sinh x0 x0 
Add Mul Pow tan acosh x0 -0.357907384065669 Mul 0.642092615934331 Mul Pow sec acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Mul x0 Mul Pow Mul x0 exp acoth Add x0 atan x1 Add sinh x0 -1 Add Mul sinh x0 Add exp acoth Add x0 atan x1 Mul x0 Mul exp acoth Add x0 atan x1 Pow Add 1 Mul -1 Mul Add x0 atan x1 Add x0 atan x1 -1 Mul Mul Mul x0 exp acoth Add x0 atan x1 log Mul x0 exp acoth Add x0 atan x1 cosh x0 Pow Mul x0 exp acoth Add x0 atan x1 sinh x0 