Mul Pow Mul Mul x0 x3 -0.255412811882995 x0 cosh asech x7 
Mul cosh asech x7 Mul Pow Mul Mul x0 x3 -0.255412811882995 Add x0 -1 Add Mul x0 Mul -0.255412811882995 x3 Mul Mul Mul x0 x3 -0.255412811882995 log Mul Mul x0 x3 -0.255412811882995 