Add Pow x4 1.57079632679490 Add Mul Mul Mul x7 Pow x2 Add cosh Mul Add 1 Add x0 sqrt pi x5 5 asech x0 -5 x6 
Mul -5 Add Mul asech x0 Mul x7 Mul Pow x2 Add Add cosh Mul Add 1 Add x0 sqrt pi x5 5 -1 Mul Mul x2 log x2 Mul sinh Mul Add 1 Add x0 sqrt pi x5 x5 Mul Mul x7 Pow x2 Add cosh Mul Add 1 Add x0 sqrt pi x5 5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 