Pow sinh Mul atanh x0 pi Mul x2 0.756802495307928 
Mul Pow sinh Mul atanh x0 pi Add Mul x2 0.756802495307928 -1 Mul Mul x2 0.756802495307928 Mul cosh Mul atanh x0 pi Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 