16.201 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.056 * * * [progress]: [2/2] Setting up program.
0.058 * [progress]: [Phase 2 of 3] Improving.
0.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)))
0.059 * * [simplify]: iteration  0 :  13  enodes  (cost  20 )
0.061 * * [simplify]: iteration  1 :  27  enodes  (cost  20 )
0.065 * * [simplify]: iteration  2 :  74  enodes  (cost  19 )
0.077 * * [simplify]: iteration  3 :  192  enodes  (cost  19 )
0.111 * * [simplify]: iteration  4 :  448  enodes  (cost  19 )
0.195 * * [simplify]: iteration  5 :  888  enodes  (cost  19 )
0.375 * * [simplify]: iteration  6 :  1616  enodes  (cost  19 )
0.741 * * [simplify]: iteration  7 :  2761  enodes  (cost  19 )
1.605 * * [simplify]: iteration  done :  5000  enodes  (cost  19 )
1.605 * [simplify]: Simplified to:
   (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))
1.611 * * [progress]: iteration 1 / 4
1.611 * * * [progress]: picking best candidate
1.614 * * * * [pick]: Picked  #<alt (λ (a rand) (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))))>
1.614 * * * [progress]: localizing error
1.624 * * * [progress]: generating rewritten candidates
1.624 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
1.655 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.663 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.695 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.704 * * * [progress]: generating series expansions
1.704 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
1.705 * [approximate]: Taking taylor expansion of (* (sqrt (- a 0.3333333333333333)) (sqrt 9.0)) in (a) around 0
1.705 * [taylor]: Taking taylor expansion of (* (sqrt (- a 0.3333333333333333)) (sqrt 9.0)) in a
1.705 * [taylor]: Taking taylor expansion of (sqrt (- a 0.3333333333333333)) in a
1.705 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
1.705 * [taylor]: Taking taylor expansion of a in a
1.705 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.708 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.708 * [taylor]: Taking taylor expansion of 9.0 in a
1.709 * [taylor]: Taking taylor expansion of (* (sqrt (- a 0.3333333333333333)) (sqrt 9.0)) in a
1.709 * [taylor]: Taking taylor expansion of (sqrt (- a 0.3333333333333333)) in a
1.709 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
1.709 * [taylor]: Taking taylor expansion of a in a
1.709 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.712 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.712 * [taylor]: Taking taylor expansion of 9.0 in a
1.740 * [approximate]: Taking taylor expansion of (* (sqrt (- (/ 1 a) 0.3333333333333333)) (sqrt 9.0)) in (a) around 0
1.740 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 a) 0.3333333333333333)) (sqrt 9.0)) in a
1.740 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 a) 0.3333333333333333)) in a
1.740 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
1.740 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.740 * [taylor]: Taking taylor expansion of a in a
1.741 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.742 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.742 * [taylor]: Taking taylor expansion of 9.0 in a
1.743 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 a) 0.3333333333333333)) (sqrt 9.0)) in a
1.743 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 a) 0.3333333333333333)) in a
1.743 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
1.743 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.743 * [taylor]: Taking taylor expansion of a in a
1.743 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.745 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.745 * [taylor]: Taking taylor expansion of 9.0 in a
1.770 * [approximate]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in (a) around 0
1.770 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in a
1.770 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in a
1.770 * [taylor]: Taking taylor expansion of -9.0 in a
1.770 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
1.770 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.770 * [taylor]: Taking taylor expansion of a in a
1.771 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.772 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in a
1.772 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in a
1.772 * [taylor]: Taking taylor expansion of -9.0 in a
1.772 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
1.772 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.772 * [taylor]: Taking taylor expansion of a in a
1.773 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.782 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.782 * [approximate]: Taking taylor expansion of (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) in (a) around 0
1.782 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) in a
1.782 * [taylor]: Taking taylor expansion of 1.0 in a
1.782 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333)))) in a
1.782 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
1.782 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.782 * [taylor]: Taking taylor expansion of 9.0 in a
1.784 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- a 0.3333333333333333))) in a
1.784 * [taylor]: Taking taylor expansion of (/ 1 (- a 0.3333333333333333)) in a
1.784 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
1.784 * [taylor]: Taking taylor expansion of a in a
1.784 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.789 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) in a
1.789 * [taylor]: Taking taylor expansion of 1.0 in a
1.789 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333)))) in a
1.789 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
1.789 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.789 * [taylor]: Taking taylor expansion of 9.0 in a
1.791 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- a 0.3333333333333333))) in a
1.791 * [taylor]: Taking taylor expansion of (/ 1 (- a 0.3333333333333333)) in a
1.791 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
1.791 * [taylor]: Taking taylor expansion of a in a
1.791 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.863 * [approximate]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) in (a) around 0
1.863 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) in a
1.863 * [taylor]: Taking taylor expansion of 1.0 in a
1.863 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0))) in a
1.863 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) in a
1.863 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) 0.3333333333333333)) in a
1.863 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
1.863 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.863 * [taylor]: Taking taylor expansion of a in a
1.863 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.865 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
1.865 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.865 * [taylor]: Taking taylor expansion of 9.0 in a
1.866 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) in a
1.866 * [taylor]: Taking taylor expansion of 1.0 in a
1.866 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0))) in a
1.866 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) in a
1.866 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) 0.3333333333333333)) in a
1.866 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
1.866 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.866 * [taylor]: Taking taylor expansion of a in a
1.866 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.868 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
1.868 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.868 * [taylor]: Taking taylor expansion of 9.0 in a
1.913 * [approximate]: Taking taylor expansion of (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) in (a) around 0
1.913 * [taylor]: Taking taylor expansion of (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) in a
1.913 * [taylor]: Taking taylor expansion of 1.0 in a
1.913 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in a
1.913 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in a
1.913 * [taylor]: Taking taylor expansion of -9.0 in a
1.913 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
1.913 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.913 * [taylor]: Taking taylor expansion of a in a
1.913 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.918 * [taylor]: Taking taylor expansion of (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) in a
1.918 * [taylor]: Taking taylor expansion of 1.0 in a
1.918 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in a
1.918 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in a
1.918 * [taylor]: Taking taylor expansion of -9.0 in a
1.918 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
1.918 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.918 * [taylor]: Taking taylor expansion of a in a
1.918 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.933 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.933 * [approximate]: Taking taylor expansion of (* (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) (- a 0.3333333333333333)) in (a rand) around 0
1.934 * [taylor]: Taking taylor expansion of (* (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) (- a 0.3333333333333333)) in rand
1.934 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) in rand
1.934 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) 1.0)
1.934 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) in rand
1.934 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) in rand
1.934 * [taylor]: Taking taylor expansion of 1.0 in rand
1.934 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333)))) in rand
1.934 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in rand
1.934 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
1.934 * [taylor]: Taking taylor expansion of 9.0 in rand
1.935 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- a 0.3333333333333333))) in rand
1.935 * [taylor]: Taking taylor expansion of (/ 1 (- a 0.3333333333333333)) in rand
1.935 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in rand
1.935 * [taylor]: Taking taylor expansion of a in rand
1.935 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
1.936 * [taylor]: Taking taylor expansion of rand in rand
1.936 * [taylor]: Taking taylor expansion of 1.0 in rand
1.936 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in rand
1.936 * [taylor]: Taking taylor expansion of a in rand
1.936 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
1.936 * [taylor]: Taking taylor expansion of (* (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) (- a 0.3333333333333333)) in a
1.936 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) in a
1.937 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) 1.0)
1.937 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) in a
1.937 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) in a
1.937 * [taylor]: Taking taylor expansion of 1.0 in a
1.937 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333)))) in a
1.937 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
1.937 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.937 * [taylor]: Taking taylor expansion of 9.0 in a
1.938 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- a 0.3333333333333333))) in a
1.938 * [taylor]: Taking taylor expansion of (/ 1 (- a 0.3333333333333333)) in a
1.938 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
1.938 * [taylor]: Taking taylor expansion of a in a
1.938 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.943 * [taylor]: Taking taylor expansion of rand in a
1.943 * [taylor]: Taking taylor expansion of 1.0 in a
1.943 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
1.943 * [taylor]: Taking taylor expansion of a in a
1.943 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.943 * [taylor]: Taking taylor expansion of (* (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) (- a 0.3333333333333333)) in a
1.943 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) in a
1.944 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) 1.0)
1.944 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) in a
1.944 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) in a
1.944 * [taylor]: Taking taylor expansion of 1.0 in a
1.944 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333)))) in a
1.944 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
1.944 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
1.944 * [taylor]: Taking taylor expansion of 9.0 in a
1.945 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- a 0.3333333333333333))) in a
1.945 * [taylor]: Taking taylor expansion of (/ 1 (- a 0.3333333333333333)) in a
1.945 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
1.945 * [taylor]: Taking taylor expansion of a in a
1.945 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.950 * [taylor]: Taking taylor expansion of rand in a
1.950 * [taylor]: Taking taylor expansion of 1.0 in a
1.950 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
1.950 * [taylor]: Taking taylor expansion of a in a
1.950 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
1.957 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (+ (* 1.0 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) 1.0)) in rand
1.957 * [taylor]: Taking taylor expansion of -0.3333333333333333 in rand
1.957 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) 1.0) in rand
1.957 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) in rand
1.957 * [taylor]: Taking taylor expansion of 1.0 in rand
1.957 * [taylor]: Taking taylor expansion of (/ (* rand (sqrt -3.0)) (sqrt 9.0)) in rand
1.957 * [taylor]: Taking taylor expansion of (* rand (sqrt -3.0)) in rand
1.957 * [taylor]: Taking taylor expansion of rand in rand
1.957 * [taylor]: Taking taylor expansion of (sqrt -3.0) in rand
1.957 * [taylor]: Taking taylor expansion of -3.0 in rand
1.958 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
1.958 * [taylor]: Taking taylor expansion of 9.0 in rand
1.961 * [taylor]: Taking taylor expansion of 1.0 in rand
1.976 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ rand (* (sqrt 9.0) (sqrt -3.0)))) (+ (* 1.0 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) 1.0)) in rand
1.976 * [taylor]: Taking taylor expansion of (* 1.5 (/ rand (* (sqrt 9.0) (sqrt -3.0)))) in rand
1.976 * [taylor]: Taking taylor expansion of 1.5 in rand
1.976 * [taylor]: Taking taylor expansion of (/ rand (* (sqrt 9.0) (sqrt -3.0))) in rand
1.976 * [taylor]: Taking taylor expansion of rand in rand
1.976 * [taylor]: Taking taylor expansion of (* (sqrt 9.0) (sqrt -3.0)) in rand
1.976 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
1.976 * [taylor]: Taking taylor expansion of 9.0 in rand
1.977 * [taylor]: Taking taylor expansion of (sqrt -3.0) in rand
1.977 * [taylor]: Taking taylor expansion of -3.0 in rand
1.980 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) 1.0) in rand
1.980 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) in rand
1.980 * [taylor]: Taking taylor expansion of 1.0 in rand
1.980 * [taylor]: Taking taylor expansion of (/ (* rand (sqrt -3.0)) (sqrt 9.0)) in rand
1.980 * [taylor]: Taking taylor expansion of (* rand (sqrt -3.0)) in rand
1.980 * [taylor]: Taking taylor expansion of rand in rand
1.980 * [taylor]: Taking taylor expansion of (sqrt -3.0) in rand
1.980 * [taylor]: Taking taylor expansion of -3.0 in rand
1.981 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
1.981 * [taylor]: Taking taylor expansion of 9.0 in rand
1.984 * [taylor]: Taking taylor expansion of 1.0 in rand
1.996 * [approximate]: Taking taylor expansion of (* (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) (- (/ 1 a) 0.3333333333333333)) in (a rand) around 0
1.996 * [taylor]: Taking taylor expansion of (* (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) (- (/ 1 a) 0.3333333333333333)) in rand
1.996 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) in rand
1.996 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) 1.0)
1.996 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) in rand
1.996 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) in rand
1.996 * [taylor]: Taking taylor expansion of 1.0 in rand
1.996 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0))) in rand
1.996 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) in rand
1.996 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) 0.3333333333333333)) in rand
1.996 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in rand
1.996 * [taylor]: Taking taylor expansion of (/ 1 a) in rand
1.996 * [taylor]: Taking taylor expansion of a in rand
1.996 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
2.001 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in rand
2.001 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.001 * [taylor]: Taking taylor expansion of 9.0 in rand
2.002 * [taylor]: Taking taylor expansion of (/ 1 rand) in rand
2.002 * [taylor]: Taking taylor expansion of rand in rand
2.003 * [taylor]: Taking taylor expansion of 1.0 in rand
2.003 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in rand
2.003 * [taylor]: Taking taylor expansion of (/ 1 a) in rand
2.003 * [taylor]: Taking taylor expansion of a in rand
2.003 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
2.003 * [taylor]: Taking taylor expansion of (* (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) (- (/ 1 a) 0.3333333333333333)) in a
2.003 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) in a
2.003 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) 1.0)
2.003 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) in a
2.003 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) in a
2.003 * [taylor]: Taking taylor expansion of 1.0 in a
2.003 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0))) in a
2.003 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) in a
2.003 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) 0.3333333333333333)) in a
2.003 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
2.003 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.003 * [taylor]: Taking taylor expansion of a in a
2.003 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.005 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
2.005 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
2.005 * [taylor]: Taking taylor expansion of 9.0 in a
2.006 * [taylor]: Taking taylor expansion of (/ 1 rand) in a
2.006 * [taylor]: Taking taylor expansion of rand in a
2.006 * [taylor]: Taking taylor expansion of 1.0 in a
2.006 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
2.006 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.006 * [taylor]: Taking taylor expansion of a in a
2.007 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.007 * [taylor]: Taking taylor expansion of (* (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) (- (/ 1 a) 0.3333333333333333)) in a
2.007 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) in a
2.007 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) 1.0)
2.007 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) in a
2.007 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) in a
2.007 * [taylor]: Taking taylor expansion of 1.0 in a
2.007 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0))) in a
2.007 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) in a
2.007 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) 0.3333333333333333)) in a
2.007 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
2.007 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.007 * [taylor]: Taking taylor expansion of a in a
2.007 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.009 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
2.009 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
2.009 * [taylor]: Taking taylor expansion of 9.0 in a
2.010 * [taylor]: Taking taylor expansion of (/ 1 rand) in a
2.010 * [taylor]: Taking taylor expansion of rand in a
2.010 * [taylor]: Taking taylor expansion of 1.0 in a
2.010 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
2.010 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.010 * [taylor]: Taking taylor expansion of a in a
2.011 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.012 * [taylor]: Taking taylor expansion of 1.0 in rand
2.022 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* rand (sqrt 9.0)))) 0.3333333333333333)) in rand
2.022 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* rand (sqrt 9.0)))) 0.3333333333333333) in rand
2.022 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* rand (sqrt 9.0)))) in rand
2.022 * [taylor]: Taking taylor expansion of +nan.0 in rand
2.022 * [taylor]: Taking taylor expansion of (/ 1 (* rand (sqrt 9.0))) in rand
2.022 * [taylor]: Taking taylor expansion of (* rand (sqrt 9.0)) in rand
2.022 * [taylor]: Taking taylor expansion of rand in rand
2.022 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.022 * [taylor]: Taking taylor expansion of 9.0 in rand
2.025 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
2.048 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* rand (sqrt 9.0))))) in rand
2.048 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* rand (sqrt 9.0)))) in rand
2.048 * [taylor]: Taking taylor expansion of +nan.0 in rand
2.048 * [taylor]: Taking taylor expansion of (/ 1 (* rand (sqrt 9.0))) in rand
2.048 * [taylor]: Taking taylor expansion of (* rand (sqrt 9.0)) in rand
2.048 * [taylor]: Taking taylor expansion of rand in rand
2.048 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.048 * [taylor]: Taking taylor expansion of 9.0 in rand
2.058 * [approximate]: Taking taylor expansion of (* -1 (* (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) (+ (/ 1 a) 0.3333333333333333))) in (a rand) around 0
2.058 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) (+ (/ 1 a) 0.3333333333333333))) in rand
2.058 * [taylor]: Taking taylor expansion of -1 in rand
2.058 * [taylor]: Taking taylor expansion of (* (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) (+ (/ 1 a) 0.3333333333333333)) in rand
2.058 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) in rand
2.058 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) 1.0)
2.058 * [taylor]: Taking taylor expansion of (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) in rand
2.058 * [taylor]: Taking taylor expansion of (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) in rand
2.058 * [taylor]: Taking taylor expansion of 1.0 in rand
2.058 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in rand
2.058 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in rand
2.059 * [taylor]: Taking taylor expansion of -9.0 in rand
2.059 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in rand
2.059 * [taylor]: Taking taylor expansion of (/ 1 a) in rand
2.059 * [taylor]: Taking taylor expansion of a in rand
2.059 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
2.059 * [taylor]: Taking taylor expansion of (/ -1 rand) in rand
2.060 * [taylor]: Taking taylor expansion of -1 in rand
2.060 * [taylor]: Taking taylor expansion of rand in rand
2.060 * [taylor]: Taking taylor expansion of 1.0 in rand
2.060 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in rand
2.060 * [taylor]: Taking taylor expansion of (/ 1 a) in rand
2.060 * [taylor]: Taking taylor expansion of a in rand
2.060 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
2.060 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) (+ (/ 1 a) 0.3333333333333333))) in a
2.060 * [taylor]: Taking taylor expansion of -1 in a
2.060 * [taylor]: Taking taylor expansion of (* (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) (+ (/ 1 a) 0.3333333333333333)) in a
2.060 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) in a
2.060 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) 1.0)
2.060 * [taylor]: Taking taylor expansion of (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) in a
2.060 * [taylor]: Taking taylor expansion of (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) in a
2.060 * [taylor]: Taking taylor expansion of 1.0 in a
2.060 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in a
2.060 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in a
2.060 * [taylor]: Taking taylor expansion of -9.0 in a
2.060 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
2.060 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.060 * [taylor]: Taking taylor expansion of a in a
2.061 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.062 * [taylor]: Taking taylor expansion of (/ -1 rand) in a
2.063 * [taylor]: Taking taylor expansion of -1 in a
2.063 * [taylor]: Taking taylor expansion of rand in a
2.063 * [taylor]: Taking taylor expansion of 1.0 in a
2.063 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
2.063 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.063 * [taylor]: Taking taylor expansion of a in a
2.063 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.063 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) (+ (/ 1 a) 0.3333333333333333))) in a
2.063 * [taylor]: Taking taylor expansion of -1 in a
2.063 * [taylor]: Taking taylor expansion of (* (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) (+ (/ 1 a) 0.3333333333333333)) in a
2.063 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) in a
2.063 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) 1.0)
2.063 * [taylor]: Taking taylor expansion of (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) in a
2.063 * [taylor]: Taking taylor expansion of (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) in a
2.063 * [taylor]: Taking taylor expansion of 1.0 in a
2.063 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in a
2.063 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in a
2.063 * [taylor]: Taking taylor expansion of -9.0 in a
2.063 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
2.063 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.063 * [taylor]: Taking taylor expansion of a in a
2.064 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.065 * [taylor]: Taking taylor expansion of (/ -1 rand) in a
2.065 * [taylor]: Taking taylor expansion of -1 in a
2.065 * [taylor]: Taking taylor expansion of rand in a
2.066 * [taylor]: Taking taylor expansion of 1.0 in a
2.066 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
2.066 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.066 * [taylor]: Taking taylor expansion of a in a
2.066 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.066 * [taylor]: Taking taylor expansion of (* -1 (- 1.0 (* +nan.0 (/ 1 rand)))) in rand
2.066 * [taylor]: Taking taylor expansion of -1 in rand
2.066 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 rand))) in rand
2.066 * [taylor]: Taking taylor expansion of 1.0 in rand
2.066 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 rand)) in rand
2.066 * [taylor]: Taking taylor expansion of +nan.0 in rand
2.066 * [taylor]: Taking taylor expansion of (/ 1 rand) in rand
2.066 * [taylor]: Taking taylor expansion of rand in rand
2.075 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 rand)) 0.3333333333333333)) in rand
2.075 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 rand)) 0.3333333333333333) in rand
2.075 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 rand)) in rand
2.075 * [taylor]: Taking taylor expansion of +nan.0 in rand
2.075 * [taylor]: Taking taylor expansion of (/ 1 rand) in rand
2.075 * [taylor]: Taking taylor expansion of rand in rand
2.076 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
2.080 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.081 * [approximate]: Taking taylor expansion of (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) in (a rand) around 0
2.081 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) in rand
2.081 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) 1.0)
2.081 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) in rand
2.081 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) in rand
2.081 * [taylor]: Taking taylor expansion of 1.0 in rand
2.081 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333)))) in rand
2.081 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in rand
2.081 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.081 * [taylor]: Taking taylor expansion of 9.0 in rand
2.082 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- a 0.3333333333333333))) in rand
2.082 * [taylor]: Taking taylor expansion of (/ 1 (- a 0.3333333333333333)) in rand
2.082 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in rand
2.082 * [taylor]: Taking taylor expansion of a in rand
2.082 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
2.087 * [taylor]: Taking taylor expansion of rand in rand
2.087 * [taylor]: Taking taylor expansion of 1.0 in rand
2.087 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) in a
2.087 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) 1.0)
2.087 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) in a
2.087 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) in a
2.087 * [taylor]: Taking taylor expansion of 1.0 in a
2.087 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333)))) in a
2.087 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
2.087 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
2.087 * [taylor]: Taking taylor expansion of 9.0 in a
2.088 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- a 0.3333333333333333))) in a
2.088 * [taylor]: Taking taylor expansion of (/ 1 (- a 0.3333333333333333)) in a
2.088 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
2.088 * [taylor]: Taking taylor expansion of a in a
2.088 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.094 * [taylor]: Taking taylor expansion of rand in a
2.094 * [taylor]: Taking taylor expansion of 1.0 in a
2.094 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand 1.0) in a
2.094 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) 1.0)
2.094 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) rand) in a
2.094 * [taylor]: Taking taylor expansion of (* 1.0 (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333))))) in a
2.094 * [taylor]: Taking taylor expansion of 1.0 in a
2.094 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt 9.0)) (sqrt (/ 1 (- a 0.3333333333333333)))) in a
2.094 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
2.094 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
2.094 * [taylor]: Taking taylor expansion of 9.0 in a
2.096 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- a 0.3333333333333333))) in a
2.096 * [taylor]: Taking taylor expansion of (/ 1 (- a 0.3333333333333333)) in a
2.096 * [taylor]: Taking taylor expansion of (- a 0.3333333333333333) in a
2.096 * [taylor]: Taking taylor expansion of a in a
2.096 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.101 * [taylor]: Taking taylor expansion of rand in a
2.101 * [taylor]: Taking taylor expansion of 1.0 in a
2.105 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) 1.0) in rand
2.106 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) in rand
2.106 * [taylor]: Taking taylor expansion of 1.0 in rand
2.106 * [taylor]: Taking taylor expansion of (/ (* rand (sqrt -3.0)) (sqrt 9.0)) in rand
2.106 * [taylor]: Taking taylor expansion of (* rand (sqrt -3.0)) in rand
2.106 * [taylor]: Taking taylor expansion of rand in rand
2.106 * [taylor]: Taking taylor expansion of (sqrt -3.0) in rand
2.106 * [taylor]: Taking taylor expansion of -3.0 in rand
2.106 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.106 * [taylor]: Taking taylor expansion of 9.0 in rand
2.109 * [taylor]: Taking taylor expansion of 1.0 in rand
2.123 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ rand (* (sqrt -3.0) (sqrt 9.0))))) in rand
2.123 * [taylor]: Taking taylor expansion of (* 4.5 (/ rand (* (sqrt -3.0) (sqrt 9.0)))) in rand
2.123 * [taylor]: Taking taylor expansion of 4.5 in rand
2.123 * [taylor]: Taking taylor expansion of (/ rand (* (sqrt -3.0) (sqrt 9.0))) in rand
2.123 * [taylor]: Taking taylor expansion of rand in rand
2.123 * [taylor]: Taking taylor expansion of (* (sqrt -3.0) (sqrt 9.0)) in rand
2.123 * [taylor]: Taking taylor expansion of (sqrt -3.0) in rand
2.123 * [taylor]: Taking taylor expansion of -3.0 in rand
2.124 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.124 * [taylor]: Taking taylor expansion of 9.0 in rand
2.174 * [taylor]: Taking taylor expansion of (- (+ (* 13.5 (/ rand (* (sqrt -3.0) (sqrt 9.0)))) (* 10.125 (/ rand (* (pow (sqrt -3.0) 3) (sqrt 9.0)))))) in rand
2.175 * [taylor]: Taking taylor expansion of (+ (* 13.5 (/ rand (* (sqrt -3.0) (sqrt 9.0)))) (* 10.125 (/ rand (* (pow (sqrt -3.0) 3) (sqrt 9.0))))) in rand
2.175 * [taylor]: Taking taylor expansion of (* 13.5 (/ rand (* (sqrt -3.0) (sqrt 9.0)))) in rand
2.175 * [taylor]: Taking taylor expansion of 13.5 in rand
2.175 * [taylor]: Taking taylor expansion of (/ rand (* (sqrt -3.0) (sqrt 9.0))) in rand
2.175 * [taylor]: Taking taylor expansion of rand in rand
2.175 * [taylor]: Taking taylor expansion of (* (sqrt -3.0) (sqrt 9.0)) in rand
2.175 * [taylor]: Taking taylor expansion of (sqrt -3.0) in rand
2.175 * [taylor]: Taking taylor expansion of -3.0 in rand
2.175 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.175 * [taylor]: Taking taylor expansion of 9.0 in rand
2.178 * [taylor]: Taking taylor expansion of (* 10.125 (/ rand (* (pow (sqrt -3.0) 3) (sqrt 9.0)))) in rand
2.178 * [taylor]: Taking taylor expansion of 10.125 in rand
2.178 * [taylor]: Taking taylor expansion of (/ rand (* (pow (sqrt -3.0) 3) (sqrt 9.0))) in rand
2.178 * [taylor]: Taking taylor expansion of rand in rand
2.178 * [taylor]: Taking taylor expansion of (* (pow (sqrt -3.0) 3) (sqrt 9.0)) in rand
2.178 * [taylor]: Taking taylor expansion of (pow (sqrt -3.0) 3) in rand
2.178 * [taylor]: Taking taylor expansion of (sqrt -3.0) in rand
2.178 * [taylor]: Taking taylor expansion of -3.0 in rand
2.179 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.179 * [taylor]: Taking taylor expansion of 9.0 in rand
2.196 * [approximate]: Taking taylor expansion of (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) in (a rand) around 0
2.196 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) in rand
2.196 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) 1.0)
2.197 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) in rand
2.197 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) in rand
2.197 * [taylor]: Taking taylor expansion of 1.0 in rand
2.197 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0))) in rand
2.197 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) in rand
2.197 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) 0.3333333333333333)) in rand
2.197 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in rand
2.197 * [taylor]: Taking taylor expansion of (/ 1 a) in rand
2.197 * [taylor]: Taking taylor expansion of a in rand
2.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
2.198 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in rand
2.198 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.198 * [taylor]: Taking taylor expansion of 9.0 in rand
2.199 * [taylor]: Taking taylor expansion of (/ 1 rand) in rand
2.199 * [taylor]: Taking taylor expansion of rand in rand
2.200 * [taylor]: Taking taylor expansion of 1.0 in rand
2.200 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) in a
2.200 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) 1.0)
2.200 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) in a
2.200 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) in a
2.200 * [taylor]: Taking taylor expansion of 1.0 in a
2.200 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0))) in a
2.200 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) in a
2.200 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) 0.3333333333333333)) in a
2.200 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
2.200 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.200 * [taylor]: Taking taylor expansion of a in a
2.200 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.202 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
2.202 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
2.202 * [taylor]: Taking taylor expansion of 9.0 in a
2.203 * [taylor]: Taking taylor expansion of (/ 1 rand) in a
2.203 * [taylor]: Taking taylor expansion of rand in a
2.203 * [taylor]: Taking taylor expansion of 1.0 in a
2.203 * [taylor]: Taking taylor expansion of (fma (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand) 1.0) in a
2.204 * [taylor]: Rewrote expression to (+ (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) 1.0)
2.204 * [taylor]: Taking taylor expansion of (* (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) (/ 1 rand)) in a
2.204 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0)))) in a
2.204 * [taylor]: Taking taylor expansion of 1.0 in a
2.204 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) (/ 1 (sqrt 9.0))) in a
2.204 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 a) 0.3333333333333333))) in a
2.204 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) 0.3333333333333333)) in a
2.204 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.3333333333333333) in a
2.204 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.204 * [taylor]: Taking taylor expansion of a in a
2.204 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.206 * [taylor]: Taking taylor expansion of (/ 1 (sqrt 9.0)) in a
2.206 * [taylor]: Taking taylor expansion of (sqrt 9.0) in a
2.206 * [taylor]: Taking taylor expansion of 9.0 in a
2.207 * [taylor]: Taking taylor expansion of (/ 1 rand) in a
2.207 * [taylor]: Taking taylor expansion of rand in a
2.207 * [taylor]: Taking taylor expansion of 1.0 in a
2.208 * [taylor]: Taking taylor expansion of 1.0 in rand
2.216 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* rand (sqrt 9.0))))) in rand
2.216 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* rand (sqrt 9.0)))) in rand
2.216 * [taylor]: Taking taylor expansion of +nan.0 in rand
2.216 * [taylor]: Taking taylor expansion of (/ 1 (* rand (sqrt 9.0))) in rand
2.216 * [taylor]: Taking taylor expansion of (* rand (sqrt 9.0)) in rand
2.216 * [taylor]: Taking taylor expansion of rand in rand
2.216 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.216 * [taylor]: Taking taylor expansion of 9.0 in rand
2.238 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* rand (sqrt 9.0))))) in rand
2.238 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* rand (sqrt 9.0)))) in rand
2.239 * [taylor]: Taking taylor expansion of +nan.0 in rand
2.239 * [taylor]: Taking taylor expansion of (/ 1 (* rand (sqrt 9.0))) in rand
2.239 * [taylor]: Taking taylor expansion of (* rand (sqrt 9.0)) in rand
2.239 * [taylor]: Taking taylor expansion of rand in rand
2.239 * [taylor]: Taking taylor expansion of (sqrt 9.0) in rand
2.239 * [taylor]: Taking taylor expansion of 9.0 in rand
2.249 * [approximate]: Taking taylor expansion of (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) in (a rand) around 0
2.249 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) in rand
2.249 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) 1.0)
2.249 * [taylor]: Taking taylor expansion of (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) in rand
2.249 * [taylor]: Taking taylor expansion of (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) in rand
2.249 * [taylor]: Taking taylor expansion of 1.0 in rand
2.249 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in rand
2.249 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in rand
2.249 * [taylor]: Taking taylor expansion of -9.0 in rand
2.249 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in rand
2.249 * [taylor]: Taking taylor expansion of (/ 1 a) in rand
2.249 * [taylor]: Taking taylor expansion of a in rand
2.249 * [taylor]: Taking taylor expansion of 0.3333333333333333 in rand
2.256 * [taylor]: Taking taylor expansion of (/ -1 rand) in rand
2.257 * [taylor]: Taking taylor expansion of -1 in rand
2.257 * [taylor]: Taking taylor expansion of rand in rand
2.257 * [taylor]: Taking taylor expansion of 1.0 in rand
2.257 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) in a
2.257 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) 1.0)
2.257 * [taylor]: Taking taylor expansion of (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) in a
2.257 * [taylor]: Taking taylor expansion of (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) in a
2.257 * [taylor]: Taking taylor expansion of 1.0 in a
2.257 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in a
2.257 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in a
2.257 * [taylor]: Taking taylor expansion of -9.0 in a
2.257 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
2.257 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.257 * [taylor]: Taking taylor expansion of a in a
2.258 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.260 * [taylor]: Taking taylor expansion of (/ -1 rand) in a
2.260 * [taylor]: Taking taylor expansion of -1 in a
2.260 * [taylor]: Taking taylor expansion of rand in a
2.260 * [taylor]: Taking taylor expansion of 1.0 in a
2.260 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand) 1.0) in a
2.260 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) 1.0)
2.260 * [taylor]: Taking taylor expansion of (* (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) (/ -1 rand)) in a
2.260 * [taylor]: Taking taylor expansion of (/ 1.0 (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333)))) in a
2.260 * [taylor]: Taking taylor expansion of 1.0 in a
2.260 * [taylor]: Taking taylor expansion of (sqrt (* -9.0 (+ (/ 1 a) 0.3333333333333333))) in a
2.260 * [taylor]: Taking taylor expansion of (* -9.0 (+ (/ 1 a) 0.3333333333333333)) in a
2.260 * [taylor]: Taking taylor expansion of -9.0 in a
2.260 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.3333333333333333) in a
2.260 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.260 * [taylor]: Taking taylor expansion of a in a
2.261 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
2.263 * [taylor]: Taking taylor expansion of (/ -1 rand) in a
2.263 * [taylor]: Taking taylor expansion of -1 in a
2.263 * [taylor]: Taking taylor expansion of rand in a
2.263 * [taylor]: Taking taylor expansion of 1.0 in a
2.263 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 rand))) in rand
2.263 * [taylor]: Taking taylor expansion of 1.0 in rand
2.263 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 rand)) in rand
2.263 * [taylor]: Taking taylor expansion of +nan.0 in rand
2.263 * [taylor]: Taking taylor expansion of (/ 1 rand) in rand
2.263 * [taylor]: Taking taylor expansion of rand in rand
2.271 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 rand))) in rand
2.271 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 rand)) in rand
2.271 * [taylor]: Taking taylor expansion of +nan.0 in rand
2.271 * [taylor]: Taking taylor expansion of (/ 1 rand) in rand
2.271 * [taylor]: Taking taylor expansion of rand in rand
2.274 * * * [progress]: simplifying candidates
2.278 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (log1p (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (log (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (exp (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (* (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))) (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (* (* (sqrt (* 9.0 (- a (/ 1.0 3.0)))) (sqrt (* 9.0 (- a (/ 1.0 3.0))))) (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (sqrt 9.0)
  (sqrt (- a (/ 1.0 3.0)))
  (sqrt (* 9.0 (- (pow a 3) (pow (/ 1.0 3.0) 3))))
  (sqrt (+ (* a a) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* a (/ 1.0 3.0)))))
  (sqrt (* 9.0 (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (sqrt (+ a (/ 1.0 3.0)))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (sqrt (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (expm1 (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (log1p (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (- (log 1.0) (log (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (log (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (exp (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ (* (* 1.0 1.0) 1.0) (* (* (sqrt (* 9.0 (- a (/ 1.0 3.0)))) (sqrt (* 9.0 (- a (/ 1.0 3.0))))) (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (* (cbrt (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))) (cbrt (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))))
  (cbrt (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (* (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))) (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (sqrt (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (sqrt (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (- 1.0)
  (- (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))) (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0)))))))
  (/ (cbrt 1.0) (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 9.0))
  (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ (cbrt 1.0) (sqrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) 1)
  (/ (cbrt 1.0) (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (/ (sqrt 1.0) (* (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))) (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0)))))))
  (/ (sqrt 1.0) (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ (sqrt 1.0) (sqrt 9.0))
  (/ (sqrt 1.0) (sqrt (- a (/ 1.0 3.0))))
  (/ (sqrt 1.0) (sqrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ (sqrt 1.0) (sqrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ (sqrt 1.0) 1)
  (/ (sqrt 1.0) (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (/ 1 (* (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))) (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0)))))))
  (/ 1.0 (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ 1 (sqrt 9.0))
  (/ 1.0 (sqrt (- a (/ 1.0 3.0))))
  (/ 1 (sqrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ 1.0 (sqrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ 1 1)
  (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (/ 1 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
  (/ (sqrt (* 9.0 (- a (/ 1.0 3.0)))) 1.0)
  (/ 1.0 (* (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))) (cbrt (sqrt (* 9.0 (- a (/ 1.0 3.0)))))))
  (/ 1.0 (sqrt 9.0))
  (/ 1.0 (sqrt (sqrt (* 9.0 (- a (/ 1.0 3.0))))))
  (/ 1.0 1)
  (/ (sqrt (* 9.0 (- a (/ 1.0 3.0)))) (cbrt 1.0))
  (/ (sqrt (* 9.0 (- a (/ 1.0 3.0)))) (sqrt 1.0))
  (/ (sqrt (* 9.0 (- a (/ 1.0 3.0)))) 1.0)
  (/ 1.0 (sqrt (* 9.0 (- (pow a 3) (pow (/ 1.0 3.0) 3)))))
  (/ 1.0 (sqrt (* 9.0 (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0))))))
  (expm1 (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))))
  (log1p (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))
  (+ (log (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)) (log (- a (/ 1.0 3.0))))
  (log (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))))
  (exp (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))))
  (* (* (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)) (* (* (- a (/ 1.0 3.0)) (- a (/ 1.0 3.0))) (- a (/ 1.0 3.0))))
  (* (cbrt (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))) (cbrt (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))))
  (cbrt (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))))
  (* (* (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))) (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))) (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))))
  (sqrt (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))))
  (sqrt (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0))))
  (* (sqrt (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)) (sqrt (- a (/ 1.0 3.0))))
  (* (sqrt (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)) (sqrt (- a (/ 1.0 3.0))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (sqrt (/ 1.0 3.0))) (sqrt (/ 1.0 3.0)) (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (cbrt 1.0) (cbrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (cbrt 1.0) (sqrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)) (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (cbrt 1.0) 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (sqrt 1.0) (cbrt 3.0))) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (sqrt 1.0) (sqrt 3.0))) (/ (sqrt 1.0) (sqrt 3.0)) (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (sqrt 1.0) 3.0)) (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 (sqrt 3.0))) (/ 1 (sqrt 3.0)) (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1.0 3.0) (/ 1 1)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 3.0)) (/ 1 1) (* (/ 1.0 3.0) (/ 1 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1.0 3.0) 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 3.0)) 1 (* (/ 1.0 3.0) 1)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1 3.0) 1.0))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1 3.0)) 1.0 (* (/ 1 3.0) 1.0)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (sqrt (/ 1.0 3.0))) (sqrt (/ 1.0 3.0)) (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (cbrt 1.0) (cbrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (cbrt 1.0) (sqrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)) (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (cbrt 1.0) 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (sqrt 1.0) (cbrt 3.0))) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (sqrt 1.0) (sqrt 3.0))) (/ (sqrt 1.0) (sqrt 3.0)) (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (sqrt 1.0) 3.0)) (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 (sqrt 3.0))) (/ 1 (sqrt 3.0)) (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ 1.0 3.0) (/ 1 1)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 3.0)) (/ 1 1) (* (/ 1.0 3.0) (/ 1 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ 1.0 3.0) 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 3.0)) 1 (* (/ 1.0 3.0) 1)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (sqrt a) (sqrt a) (- (* (/ 1 3.0) 1.0))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1 3.0)) 1.0 (* (/ 1 3.0) 1.0)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (sqrt (/ 1.0 3.0))) (sqrt (/ 1.0 3.0)) (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (cbrt 1.0) (cbrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (cbrt 1.0) (sqrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)) (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (cbrt 1.0) 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (sqrt 1.0) (cbrt 3.0))) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (sqrt 1.0) (sqrt 3.0))) (/ (sqrt 1.0) (sqrt 3.0)) (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ (sqrt 1.0) 3.0)) (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 (sqrt 3.0))) (/ 1 (sqrt 3.0)) (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ 1.0 3.0) (/ 1 1)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 3.0)) (/ 1 1) (* (/ 1.0 3.0) (/ 1 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ 1.0 3.0) 1))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1.0 3.0)) 1 (* (/ 1.0 3.0) 1)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma 1 a (- (* (/ 1 3.0) 1.0))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (- (/ 1 3.0)) 1.0 (* (/ 1 3.0) 1.0)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) a)
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- (/ 1.0 3.0)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) a)
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- (/ 1.0 3.0)))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (sqrt (/ 1.0 3.0))) (sqrt (/ 1.0 3.0)) (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (cbrt 1.0) (cbrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (cbrt 1.0) (sqrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)) (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (cbrt 1.0) 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (sqrt 1.0) (cbrt 3.0))) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (sqrt 1.0) (sqrt 3.0))) (/ (sqrt 1.0) (sqrt 3.0)) (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (sqrt 1.0) 3.0)) (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 (sqrt 3.0))) (/ 1 (sqrt 3.0)) (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1.0 3.0) (/ 1 1)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 3.0)) (/ 1 1) (* (/ 1.0 3.0) (/ 1 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1.0 3.0) 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 3.0)) 1 (* (/ 1.0 3.0) 1)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (/ 1 3.0) 1.0))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1 3.0)) 1.0 (* (/ 1 3.0) 1.0)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (sqrt (/ 1.0 3.0))) (sqrt (/ 1.0 3.0)) (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (cbrt 1.0) (cbrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (cbrt 1.0) (sqrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)) (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (cbrt 1.0) 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (sqrt 1.0) (cbrt 3.0))) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (sqrt 1.0) (sqrt 3.0))) (/ (sqrt 1.0) (sqrt 3.0)) (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (sqrt 1.0) 3.0)) (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 (sqrt 3.0))) (/ 1 (sqrt 3.0)) (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ 1.0 3.0) (/ 1 1)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 3.0)) (/ 1 1) (* (/ 1.0 3.0) (/ 1 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ 1.0 3.0) 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 3.0)) 1 (* (/ 1.0 3.0) 1)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (sqrt a) (sqrt a) (- (* (/ 1 3.0) 1.0))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1 3.0)) 1.0 (* (/ 1 3.0) 1.0)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))) (* (cbrt (/ 1.0 3.0)) (* (cbrt (/ 1.0 3.0)) (cbrt (/ 1.0 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (sqrt (/ 1.0 3.0))) (sqrt (/ 1.0 3.0)) (* (sqrt (/ 1.0 3.0)) (sqrt (/ 1.0 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (cbrt 1.0) (cbrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (cbrt 1.0) (sqrt 3.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)) (* (/ (cbrt 1.0) (sqrt 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (cbrt 1.0) 3.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) 3.0) (/ (* (cbrt 1.0) (cbrt 1.0)) 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (sqrt 1.0) (cbrt 3.0))) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (* (cbrt 3.0) (cbrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (sqrt 1.0) (sqrt 3.0))) (/ (sqrt 1.0) (sqrt 3.0)) (* (/ (sqrt 1.0) (sqrt 3.0)) (/ (sqrt 1.0) (sqrt 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ (sqrt 1.0) 3.0)) (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) 3.0) (/ (sqrt 1.0) 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 (cbrt 3.0))) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (* (/ 1.0 (cbrt 3.0)) (/ 1 (* (cbrt 3.0) (cbrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0))))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 (sqrt 3.0))) (/ 1 (sqrt 3.0)) (* (/ 1.0 (sqrt 3.0)) (/ 1 (sqrt 3.0)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ 1.0 3.0) (/ 1 1)))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 3.0)) (/ 1 1) (* (/ 1.0 3.0) (/ 1 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ 1.0 3.0) 1))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1.0 3.0)) 1 (* (/ 1.0 3.0) 1)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma 1 a (- (* (/ 1 3.0) 1.0))) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (- (/ 1 3.0)) 1.0 (* (/ 1 3.0) 1.0)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* a (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (- (/ 1.0 3.0)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* a (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (- (/ 1.0 3.0)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (* (cbrt (- a (/ 1.0 3.0))) (cbrt (- a (/ 1.0 3.0)))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (sqrt (- a (/ 1.0 3.0))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) 1)
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (+ (sqrt a) (sqrt (/ 1.0 3.0))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (+ (sqrt a) (/ (sqrt 1.0) (sqrt 3.0))))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) 1)
  (* (cbrt (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)) (- a (/ 1.0 3.0)))
  (* (sqrt (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)) (- a (/ 1.0 3.0)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- (pow a 3) (pow (/ 1.0 3.0) 3)))
  (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0))))
  (expm1 (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (log1p (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)
  (log (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (exp (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (cbrt (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)) (cbrt (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)))
  (cbrt (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (* (* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (sqrt (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (sqrt (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
  (- (+ (* 1/2 (/ (* a (sqrt 9.0)) (sqrt (- 0.3333333333333333)))) (* (sqrt (- 0.3333333333333333)) (sqrt 9.0))) (* 1/8 (/ (* (pow a 2) (sqrt 9.0)) (pow (sqrt (- 0.3333333333333333)) 3))))
  (- (+ (* +nan.0 (/ (sqrt 9.0) (pow a 2))) (- (+ (* +nan.0 (/ (sqrt 9.0) a)) (- (* +nan.0 (sqrt 9.0)))))))
  (- (+ (* +nan.0 (/ 1 a)) (- (+ (* +nan.0 (/ 1 (pow a 2))) (- +nan.0)))))
  (- (* 1.0 (/ (sqrt -3.0) (sqrt 9.0))) (+ (* 4.5 (/ a (* (sqrt -3.0) (sqrt 9.0)))) (+ (* 13.5 (/ (pow a 2) (* (sqrt -3.0) (sqrt 9.0)))) (* 10.125 (/ (pow a 2) (* (pow (sqrt -3.0) 3) (sqrt 9.0)))))))
  (- (+ (* +nan.0 (/ 1 (* (pow a 2) (sqrt 9.0)))) (- (+ (* +nan.0 (/ 1 (* (pow a 3) (sqrt 9.0)))) (- (* +nan.0 (/ 1 (* a (sqrt 9.0)))))))))
  (- (+ (* +nan.0 (/ 1 a)) (- (+ (* +nan.0 (/ 1 (pow a 2))) (- +nan.0)))))
  (- (* 1.0 a) (+ (* 0.3333333333333333 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) 0.3333333333333333))
  (- (* 1.0 a) (+ (* +nan.0 (/ rand (sqrt 9.0))) (- (* +nan.0 (/ rand (* a (sqrt 9.0)))))))
  (- (* 1.0 a) (+ (* +nan.0 rand) (- (* +nan.0 (* a rand)))))
  (- (+ (* 1.0 (/ (* rand (sqrt -3.0)) (sqrt 9.0))) 1.0) (* 4.5 (/ (* a rand) (* (sqrt -3.0) (sqrt 9.0)))))
  (- 1.0 (+ (* +nan.0 (/ rand (* a (sqrt 9.0)))) (- (* +nan.0 (/ rand (* (pow a 2) (sqrt 9.0)))))))
  (- 1.0 (+ (* +nan.0 (/ rand a)) (- (* +nan.0 rand))))
2.295 * * [simplify]: iteration  0 :  453  enodes  (cost  7178 )
2.380 * * [simplify]: iteration  1 :  962  enodes  (cost  6698 )