asin Mul Pow x1 Add x0 cosh Mul x0 x5 acot Add Add x0 x0 x0 
Mul Add Mul acot Add Add x0 x0 x0 Mul Pow x1 Add Add x0 cosh Mul x0 x5 -1 Mul Mul x1 log x1 Add 1 Mul sinh Mul x0 x5 x5 Mul Pow x1 Add x0 cosh Mul x0 x5 Mul -1 Mul 3 Pow Add 1 Mul Add Add x0 x0 x0 Add Add x0 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Pow x1 Add x0 cosh Mul x0 x5 acot Add Add x0 x0 x0 Mul Pow x1 Add x0 cosh Mul x0 x5 acot Add Add x0 x0 x0 -1 