Pow cosh Pow sinh x0 x0 1.57079632679490 
Mul Pow cosh Pow sinh x0 x0 0.570796326794897 Mul 1.57079632679490 Mul sinh Pow sinh x0 x0 Mul Pow sinh x0 Add x0 -1 Add Mul x0 cosh x0 Mul sinh x0 log sinh x0 