Mul x7 Add Mul sin acot pi Add 1.54308063481524 Mul Pow atan sin x0 Pow asinh x5 Add -4 x5 x0 148.413159102577 
Mul x7 Mul sin acot pi Add Mul x0 Mul Pow atan sin x0 Add Pow asinh x5 Add -4 x5 -1 Mul Pow asinh x5 Add -4 x5 Mul cos x0 Pow Add 1 Mul sin x0 sin x0 -1 Pow atan sin x0 Pow asinh x5 Add -4 x5 