41.963 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.038 * * * [progress]: [2/2] Setting up program.
0.041 * [progress]: [Phase 2 of 3] Improving.
0.042 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: Extracting # 3 : cost  0
0.042 * * [simplify]: Extracting # 4 : cost  0
0.042 * * [simplify]: Extracting # 5 : cost  0
0.042 * * [simplify]: Extracting # 6 : cost  0
0.042 * * [simplify]: iteration  0 :  13  enodes  (cost  13 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.046 * * [simplify]: Extracting # 1 : cost  0
0.046 * * [simplify]: Extracting # 2 : cost  0
0.046 * * [simplify]: iteration  1 :  25  enodes  (cost  13 )
0.063 * * [simplify]: Extracting # 0 : cost  0
0.063 * * [simplify]: Extracting # 1 : cost  0
0.063 * * [simplify]: Extracting # 2 : cost  0
0.063 * * [simplify]: iteration  2 :  50  enodes  (cost  13 )
0.077 * * [simplify]: Extracting # 0 : cost  0
0.077 * * [simplify]: Extracting # 1 : cost  0
0.077 * * [simplify]: Extracting # 2 : cost  0
0.077 * * [simplify]: iteration  3 :  79  enodes  (cost  13 )
0.101 * * [simplify]: Extracting # 0 : cost  0
0.102 * * [simplify]: Extracting # 1 : cost  0
0.102 * * [simplify]: Extracting # 2 : cost  0
0.102 * * [simplify]: iteration  4 :  156  enodes  (cost  12 )
0.465 * * [simplify]: Extracting # 0 : cost  0
0.465 * * [simplify]: Extracting # 1 : cost  0
0.466 * * [simplify]: Extracting # 2 : cost  0
0.466 * * [simplify]: iteration  5 :  352  enodes  (cost  12 )
0.653 * * [simplify]: Extracting # 0 : cost  0
0.654 * * [simplify]: Extracting # 1 : cost  0
0.655 * * [simplify]: Extracting # 2 : cost  0
0.656 * * [simplify]: iteration  6 :  752  enodes  (cost  12 )
1.030 * * [simplify]: Extracting # 0 : cost  0
1.031 * * [simplify]: Extracting # 1 : cost  0
1.032 * * [simplify]: Extracting # 2 : cost  0
1.037 * * [simplify]: iteration  7 :  1590  enodes  (cost  12 )
3.383 * * [simplify]: Extracting # 0 : cost  0
3.386 * * [simplify]: Extracting # 1 : cost  0
3.389 * * [simplify]: Extracting # 2 : cost  0
3.391 * * [simplify]: iteration  8 :  3857  enodes  (cost  12 )
4.846 * * [simplify]: Extracting # 0 : cost  0
4.853 * * [simplify]: Extracting # 1 : cost  0
4.860 * * [simplify]: iteration done:  5000  enodes  (cost  12 )
4.860 * [simplify]: Simplified to:
  (fma (- (/ y 2.0)) z (fma x (/ 1.0 8.0) t))
4.865 * * [progress]: iteration 1 / 4
4.865 * * * [progress]: picking best candidate
4.868 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))>
4.869 * * * [progress]: localizing error
4.891 * * * [progress]: generating rewritten candidates
4.892 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
4.914 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2)
4.934 * * * [progress]: generating series expansions
4.934 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
4.935 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) into (- (* 0.125 x) (* 0.5 (* z y)))
4.935 * [approximate]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in (x y z) around 0
4.935 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in z
4.935 * [taylor]: Taking taylor expansion of (* 0.125 x) in z
4.935 * [taylor]: Taking taylor expansion of 0.125 in z
4.935 * [backup-simplify]: Simplify 0.125 into 0.125
4.935 * [taylor]: Taking taylor expansion of x in z
4.935 * [backup-simplify]: Simplify x into x
4.935 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
4.935 * [taylor]: Taking taylor expansion of 0.5 in z
4.935 * [backup-simplify]: Simplify 0.5 into 0.5
4.935 * [taylor]: Taking taylor expansion of (* z y) in z
4.935 * [taylor]: Taking taylor expansion of z in z
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify 1 into 1
4.935 * [taylor]: Taking taylor expansion of y in z
4.935 * [backup-simplify]: Simplify y into y
4.935 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in y
4.935 * [taylor]: Taking taylor expansion of (* 0.125 x) in y
4.935 * [taylor]: Taking taylor expansion of 0.125 in y
4.935 * [backup-simplify]: Simplify 0.125 into 0.125
4.935 * [taylor]: Taking taylor expansion of x in y
4.936 * [backup-simplify]: Simplify x into x
4.936 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
4.936 * [taylor]: Taking taylor expansion of 0.5 in y
4.936 * [backup-simplify]: Simplify 0.5 into 0.5
4.936 * [taylor]: Taking taylor expansion of (* z y) in y
4.936 * [taylor]: Taking taylor expansion of z in y
4.936 * [backup-simplify]: Simplify z into z
4.936 * [taylor]: Taking taylor expansion of y in y
4.936 * [backup-simplify]: Simplify 0 into 0
4.936 * [backup-simplify]: Simplify 1 into 1
4.936 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x
4.936 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
4.936 * [taylor]: Taking taylor expansion of 0.125 in x
4.936 * [backup-simplify]: Simplify 0.125 into 0.125
4.936 * [taylor]: Taking taylor expansion of x in x
4.936 * [backup-simplify]: Simplify 0 into 0
4.936 * [backup-simplify]: Simplify 1 into 1
4.936 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
4.936 * [taylor]: Taking taylor expansion of 0.5 in x
4.936 * [backup-simplify]: Simplify 0.5 into 0.5
4.936 * [taylor]: Taking taylor expansion of (* z y) in x
4.936 * [taylor]: Taking taylor expansion of z in x
4.936 * [backup-simplify]: Simplify z into z
4.936 * [taylor]: Taking taylor expansion of y in x
4.936 * [backup-simplify]: Simplify y into y
4.936 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x
4.936 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
4.936 * [taylor]: Taking taylor expansion of 0.125 in x
4.936 * [backup-simplify]: Simplify 0.125 into 0.125
4.936 * [taylor]: Taking taylor expansion of x in x
4.936 * [backup-simplify]: Simplify 0 into 0
4.936 * [backup-simplify]: Simplify 1 into 1
4.936 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x
4.936 * [taylor]: Taking taylor expansion of 0.5 in x
4.936 * [backup-simplify]: Simplify 0.5 into 0.5
4.936 * [taylor]: Taking taylor expansion of (* z y) in x
4.936 * [taylor]: Taking taylor expansion of z in x
4.936 * [backup-simplify]: Simplify z into z
4.937 * [taylor]: Taking taylor expansion of y in x
4.937 * [backup-simplify]: Simplify y into y
4.937 * [backup-simplify]: Simplify (* 0.125 0) into 0
4.937 * [backup-simplify]: Simplify (* z y) into (* z y)
4.938 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
4.938 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y)))
4.938 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (* z y)))) into (- (* 0.5 (* z y)))
4.938 * [taylor]: Taking taylor expansion of (- (* 0.5 (* z y))) in y
4.938 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
4.938 * [taylor]: Taking taylor expansion of 0.5 in y
4.938 * [backup-simplify]: Simplify 0.5 into 0.5
4.938 * [taylor]: Taking taylor expansion of (* z y) in y
4.938 * [taylor]: Taking taylor expansion of z in y
4.938 * [backup-simplify]: Simplify z into z
4.938 * [taylor]: Taking taylor expansion of y in y
4.938 * [backup-simplify]: Simplify 0 into 0
4.938 * [backup-simplify]: Simplify 1 into 1
4.938 * [backup-simplify]: Simplify (* z 0) into 0
4.939 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.939 * [backup-simplify]: Simplify (- 0) into 0
4.939 * [taylor]: Taking taylor expansion of 0 in z
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 0 into 0
4.941 * [backup-simplify]: Simplify (+ (* 0.125 1) (* 0 0)) into 0.125
4.941 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.942 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0
4.942 * [backup-simplify]: Simplify (- 0) into 0
4.942 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
4.942 * [taylor]: Taking taylor expansion of 0.125 in y
4.942 * [backup-simplify]: Simplify 0.125 into 0.125
4.942 * [taylor]: Taking taylor expansion of 0.125 in z
4.943 * [backup-simplify]: Simplify 0.125 into 0.125
4.943 * [backup-simplify]: Simplify 0.125 into 0.125
4.943 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.944 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z)
4.944 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z))
4.944 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z
4.944 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
4.944 * [taylor]: Taking taylor expansion of 0.5 in z
4.944 * [backup-simplify]: Simplify 0.5 into 0.5
4.944 * [taylor]: Taking taylor expansion of z in z
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify 1 into 1
4.944 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.945 * [backup-simplify]: Simplify (- 0) into 0
4.945 * [backup-simplify]: Simplify 0 into 0
4.945 * [backup-simplify]: Simplify 0 into 0
4.946 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 1) (* 0 0))) into 0
4.946 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.948 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0
4.948 * [backup-simplify]: Simplify (- 0) into 0
4.949 * [backup-simplify]: Simplify (+ 0 0) into 0
4.949 * [taylor]: Taking taylor expansion of 0 in y
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [taylor]: Taking taylor expansion of 0 in z
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [taylor]: Taking taylor expansion of 0 in z
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.951 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0
4.951 * [backup-simplify]: Simplify (- 0) into 0
4.951 * [taylor]: Taking taylor expansion of 0 in z
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify (* 0.125 (* 1 (* 1 x))) into (* 0.125 x)
4.952 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) (/ 1 x)) (/ (* (/ 1 y) (/ 1 z)) 2.0)) into (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y))))
4.952 * [approximate]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in (x y z) around 0
4.952 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in z
4.952 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z
4.952 * [taylor]: Taking taylor expansion of 0.125 in z
4.952 * [backup-simplify]: Simplify 0.125 into 0.125
4.952 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.952 * [taylor]: Taking taylor expansion of x in z
4.952 * [backup-simplify]: Simplify x into x
4.952 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
4.952 * [taylor]: Taking taylor expansion of 0.5 in z
4.952 * [backup-simplify]: Simplify 0.5 into 0.5
4.952 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.952 * [taylor]: Taking taylor expansion of (* z y) in z
4.952 * [taylor]: Taking taylor expansion of z in z
4.953 * [backup-simplify]: Simplify 0 into 0
4.953 * [backup-simplify]: Simplify 1 into 1
4.953 * [taylor]: Taking taylor expansion of y in z
4.953 * [backup-simplify]: Simplify y into y
4.953 * [backup-simplify]: Simplify (* 0 y) into 0
4.953 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.953 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.953 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in y
4.953 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y
4.953 * [taylor]: Taking taylor expansion of 0.125 in y
4.953 * [backup-simplify]: Simplify 0.125 into 0.125
4.953 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.953 * [taylor]: Taking taylor expansion of x in y
4.953 * [backup-simplify]: Simplify x into x
4.953 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.954 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
4.954 * [taylor]: Taking taylor expansion of 0.5 in y
4.954 * [backup-simplify]: Simplify 0.5 into 0.5
4.954 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.954 * [taylor]: Taking taylor expansion of (* z y) in y
4.954 * [taylor]: Taking taylor expansion of z in y
4.954 * [backup-simplify]: Simplify z into z
4.954 * [taylor]: Taking taylor expansion of y in y
4.954 * [backup-simplify]: Simplify 0 into 0
4.954 * [backup-simplify]: Simplify 1 into 1
4.954 * [backup-simplify]: Simplify (* z 0) into 0
4.954 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.954 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.954 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x
4.955 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
4.955 * [taylor]: Taking taylor expansion of 0.125 in x
4.955 * [backup-simplify]: Simplify 0.125 into 0.125
4.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.955 * [taylor]: Taking taylor expansion of x in x
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify 1 into 1
4.955 * [backup-simplify]: Simplify (/ 1 1) into 1
4.955 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
4.955 * [taylor]: Taking taylor expansion of 0.5 in x
4.955 * [backup-simplify]: Simplify 0.5 into 0.5
4.955 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.955 * [taylor]: Taking taylor expansion of (* z y) in x
4.955 * [taylor]: Taking taylor expansion of z in x
4.955 * [backup-simplify]: Simplify z into z
4.955 * [taylor]: Taking taylor expansion of y in x
4.955 * [backup-simplify]: Simplify y into y
4.955 * [backup-simplify]: Simplify (* z y) into (* z y)
4.956 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.956 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x
4.956 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
4.956 * [taylor]: Taking taylor expansion of 0.125 in x
4.956 * [backup-simplify]: Simplify 0.125 into 0.125
4.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.956 * [taylor]: Taking taylor expansion of x in x
4.956 * [backup-simplify]: Simplify 0 into 0
4.956 * [backup-simplify]: Simplify 1 into 1
4.956 * [backup-simplify]: Simplify (/ 1 1) into 1
4.956 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
4.956 * [taylor]: Taking taylor expansion of 0.5 in x
4.956 * [backup-simplify]: Simplify 0.5 into 0.5
4.956 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.956 * [taylor]: Taking taylor expansion of (* z y) in x
4.956 * [taylor]: Taking taylor expansion of z in x
4.956 * [backup-simplify]: Simplify z into z
4.956 * [taylor]: Taking taylor expansion of y in x
4.957 * [backup-simplify]: Simplify y into y
4.957 * [backup-simplify]: Simplify (* z y) into (* z y)
4.957 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.957 * [backup-simplify]: Simplify (* 0.125 1) into 0.125
4.958 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125
4.958 * [taylor]: Taking taylor expansion of 0.125 in y
4.958 * [backup-simplify]: Simplify 0.125 into 0.125
4.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.959 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0
4.959 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
4.959 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y))))
4.960 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 (* z y))))) into (- (* 0.5 (/ 1 (* z y))))
4.960 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in y
4.960 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
4.960 * [taylor]: Taking taylor expansion of 0.5 in y
4.960 * [backup-simplify]: Simplify 0.5 into 0.5
4.960 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.960 * [taylor]: Taking taylor expansion of (* z y) in y
4.960 * [taylor]: Taking taylor expansion of z in y
4.960 * [backup-simplify]: Simplify z into z
4.960 * [taylor]: Taking taylor expansion of y in y
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 1 into 1
4.960 * [backup-simplify]: Simplify (* z 0) into 0
4.960 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.961 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.961 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
4.961 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
4.961 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
4.961 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.961 * [taylor]: Taking taylor expansion of 0.5 in z
4.961 * [backup-simplify]: Simplify 0.5 into 0.5
4.961 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.961 * [taylor]: Taking taylor expansion of z in z
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 1 into 1
4.961 * [backup-simplify]: Simplify (/ 1 1) into 1
4.962 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.962 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.963 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.963 * [taylor]: Taking taylor expansion of 0.125 in z
4.963 * [backup-simplify]: Simplify 0.125 into 0.125
4.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.965 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
4.965 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
4.966 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
4.966 * [backup-simplify]: Simplify (- 0) into 0
4.966 * [backup-simplify]: Simplify (+ 0 0) into 0
4.966 * [taylor]: Taking taylor expansion of 0 in y
4.966 * [backup-simplify]: Simplify 0 into 0
4.967 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.967 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.968 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
4.968 * [backup-simplify]: Simplify (- 0) into 0
4.968 * [taylor]: Taking taylor expansion of 0 in z
4.968 * [backup-simplify]: Simplify 0 into 0
4.968 * [taylor]: Taking taylor expansion of 0 in z
4.968 * [backup-simplify]: Simplify 0 into 0
4.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.969 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
4.969 * [backup-simplify]: Simplify (- 0) into 0
4.969 * [backup-simplify]: Simplify 0 into 0
4.969 * [backup-simplify]: Simplify 0.125 into 0.125
4.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.971 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.971 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.971 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
4.972 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
4.972 * [backup-simplify]: Simplify (- 0) into 0
4.972 * [backup-simplify]: Simplify (+ 0 0) into 0
4.972 * [taylor]: Taking taylor expansion of 0 in y
4.972 * [backup-simplify]: Simplify 0 into 0
4.972 * [taylor]: Taking taylor expansion of 0 in z
4.973 * [backup-simplify]: Simplify 0 into 0
4.973 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.973 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.974 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
4.974 * [backup-simplify]: Simplify (- 0) into 0
4.974 * [taylor]: Taking taylor expansion of 0 in z
4.974 * [backup-simplify]: Simplify 0 into 0
4.974 * [taylor]: Taking taylor expansion of 0 in z
4.974 * [backup-simplify]: Simplify 0 into 0
4.974 * [backup-simplify]: Simplify 0 into 0
4.974 * [backup-simplify]: Simplify 0 into 0
4.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.975 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
4.976 * [backup-simplify]: Simplify (- 0) into 0
4.976 * [backup-simplify]: Simplify 0 into 0
4.976 * [backup-simplify]: Simplify 0 into 0
4.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.977 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.978 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.978 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
4.979 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
4.979 * [backup-simplify]: Simplify (- 0) into 0
4.979 * [backup-simplify]: Simplify (+ 0 0) into 0
4.980 * [taylor]: Taking taylor expansion of 0 in y
4.980 * [backup-simplify]: Simplify 0 into 0
4.980 * [taylor]: Taking taylor expansion of 0 in z
4.980 * [backup-simplify]: Simplify 0 into 0
4.980 * [taylor]: Taking taylor expansion of 0 in z
4.980 * [backup-simplify]: Simplify 0 into 0
4.980 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.980 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.981 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
4.982 * [backup-simplify]: Simplify (- 0) into 0
4.982 * [taylor]: Taking taylor expansion of 0 in z
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [taylor]: Taking taylor expansion of 0 in z
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify (+ (* 0.125 (* 1 (* 1 (/ 1 (/ 1 x))))) (* (- 0.5) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* 0.125 x) (* 0.5 (* z y)))
4.983 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) (/ 1 (- x))) (/ (* (/ 1 (- y)) (/ 1 (- z))) 2.0)) into (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))))
4.983 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in (x y z) around 0
4.983 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in z
4.983 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in z
4.983 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
4.983 * [taylor]: Taking taylor expansion of 0.5 in z
4.983 * [backup-simplify]: Simplify 0.5 into 0.5
4.983 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.983 * [taylor]: Taking taylor expansion of (* z y) in z
4.983 * [taylor]: Taking taylor expansion of z in z
4.983 * [backup-simplify]: Simplify 0 into 0
4.983 * [backup-simplify]: Simplify 1 into 1
4.983 * [taylor]: Taking taylor expansion of y in z
4.983 * [backup-simplify]: Simplify y into y
4.983 * [backup-simplify]: Simplify (* 0 y) into 0
4.983 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.983 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.983 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z
4.983 * [taylor]: Taking taylor expansion of 0.125 in z
4.983 * [backup-simplify]: Simplify 0.125 into 0.125
4.983 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.983 * [taylor]: Taking taylor expansion of x in z
4.984 * [backup-simplify]: Simplify x into x
4.984 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.984 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in y
4.984 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in y
4.984 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
4.984 * [taylor]: Taking taylor expansion of 0.5 in y
4.984 * [backup-simplify]: Simplify 0.5 into 0.5
4.984 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.984 * [taylor]: Taking taylor expansion of (* z y) in y
4.984 * [taylor]: Taking taylor expansion of z in y
4.984 * [backup-simplify]: Simplify z into z
4.984 * [taylor]: Taking taylor expansion of y in y
4.984 * [backup-simplify]: Simplify 0 into 0
4.984 * [backup-simplify]: Simplify 1 into 1
4.984 * [backup-simplify]: Simplify (* z 0) into 0
4.984 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.984 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.984 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y
4.984 * [taylor]: Taking taylor expansion of 0.125 in y
4.984 * [backup-simplify]: Simplify 0.125 into 0.125
4.984 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.984 * [taylor]: Taking taylor expansion of x in y
4.984 * [backup-simplify]: Simplify x into x
4.984 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.984 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x
4.984 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x
4.984 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
4.984 * [taylor]: Taking taylor expansion of 0.5 in x
4.984 * [backup-simplify]: Simplify 0.5 into 0.5
4.984 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.984 * [taylor]: Taking taylor expansion of (* z y) in x
4.984 * [taylor]: Taking taylor expansion of z in x
4.985 * [backup-simplify]: Simplify z into z
4.985 * [taylor]: Taking taylor expansion of y in x
4.985 * [backup-simplify]: Simplify y into y
4.985 * [backup-simplify]: Simplify (* z y) into (* z y)
4.985 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.985 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
4.985 * [taylor]: Taking taylor expansion of 0.125 in x
4.985 * [backup-simplify]: Simplify 0.125 into 0.125
4.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.985 * [taylor]: Taking taylor expansion of x in x
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify 1 into 1
4.985 * [backup-simplify]: Simplify (/ 1 1) into 1
4.985 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x
4.985 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x
4.985 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x
4.985 * [taylor]: Taking taylor expansion of 0.5 in x
4.985 * [backup-simplify]: Simplify 0.5 into 0.5
4.985 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
4.985 * [taylor]: Taking taylor expansion of (* z y) in x
4.985 * [taylor]: Taking taylor expansion of z in x
4.985 * [backup-simplify]: Simplify z into z
4.985 * [taylor]: Taking taylor expansion of y in x
4.985 * [backup-simplify]: Simplify y into y
4.985 * [backup-simplify]: Simplify (* z y) into (* z y)
4.985 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
4.985 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
4.985 * [taylor]: Taking taylor expansion of 0.125 in x
4.985 * [backup-simplify]: Simplify 0.125 into 0.125
4.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.985 * [taylor]: Taking taylor expansion of x in x
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify 1 into 1
4.986 * [backup-simplify]: Simplify (/ 1 1) into 1
4.986 * [backup-simplify]: Simplify (* 0.125 1) into 0.125
4.986 * [backup-simplify]: Simplify (+ 0 0.125) into 0.125
4.987 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
4.987 * [taylor]: Taking taylor expansion of (- 0.125) in y
4.987 * [taylor]: Taking taylor expansion of 0.125 in y
4.987 * [backup-simplify]: Simplify 0.125 into 0.125
4.987 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y))
4.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.988 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0
4.988 * [backup-simplify]: Simplify (+ (/ 0.5 (* z y)) 0) into (* 0.5 (/ 1 (* z y)))
4.988 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (* z y)))) into (- (* 0.5 (/ 1 (* z y))))
4.988 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in y
4.988 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
4.988 * [taylor]: Taking taylor expansion of 0.5 in y
4.988 * [backup-simplify]: Simplify 0.5 into 0.5
4.988 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.988 * [taylor]: Taking taylor expansion of (* z y) in y
4.988 * [taylor]: Taking taylor expansion of z in y
4.988 * [backup-simplify]: Simplify z into z
4.988 * [taylor]: Taking taylor expansion of y in y
4.988 * [backup-simplify]: Simplify 0 into 0
4.988 * [backup-simplify]: Simplify 1 into 1
4.988 * [backup-simplify]: Simplify (* z 0) into 0
4.989 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.989 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.989 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
4.989 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
4.989 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
4.989 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.989 * [taylor]: Taking taylor expansion of 0.5 in z
4.989 * [backup-simplify]: Simplify 0.5 into 0.5
4.989 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.989 * [taylor]: Taking taylor expansion of z in z
4.989 * [backup-simplify]: Simplify 0 into 0
4.989 * [backup-simplify]: Simplify 1 into 1
4.989 * [backup-simplify]: Simplify (/ 1 1) into 1
4.990 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.990 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.990 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.990 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
4.990 * [taylor]: Taking taylor expansion of (- 0.125) in z
4.991 * [taylor]: Taking taylor expansion of 0.125 in z
4.991 * [backup-simplify]: Simplify 0.125 into 0.125
4.991 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
4.991 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
4.991 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0
4.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.992 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
4.993 * [backup-simplify]: Simplify (+ 0 0) into 0
4.993 * [backup-simplify]: Simplify (- 0) into 0
4.993 * [taylor]: Taking taylor expansion of 0 in y
4.993 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.994 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.995 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0
4.995 * [backup-simplify]: Simplify (- 0) into 0
4.995 * [taylor]: Taking taylor expansion of 0 in z
4.995 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify (- 0) into 0
4.996 * [taylor]: Taking taylor expansion of 0 in z
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.997 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
4.997 * [backup-simplify]: Simplify (- 0) into 0
4.997 * [backup-simplify]: Simplify 0 into 0
4.998 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
4.998 * [backup-simplify]: Simplify (- 0.125) into (- 0.125)
4.999 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
4.999 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
5.000 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0
5.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.001 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.002 * [backup-simplify]: Simplify (+ 0 0) into 0
5.002 * [backup-simplify]: Simplify (- 0) into 0
5.002 * [taylor]: Taking taylor expansion of 0 in y
5.002 * [backup-simplify]: Simplify 0 into 0
5.002 * [taylor]: Taking taylor expansion of 0 in z
5.002 * [backup-simplify]: Simplify 0 into 0
5.003 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.004 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
5.004 * [backup-simplify]: Simplify (- 0) into 0
5.004 * [taylor]: Taking taylor expansion of 0 in z
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify (- 0) into 0
5.004 * [taylor]: Taking taylor expansion of 0 in z
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify 0 into 0
5.005 * [backup-simplify]: Simplify 0 into 0
5.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.006 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
5.010 * [backup-simplify]: Simplify (- 0) into 0
5.010 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify (- 0) into 0
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
5.013 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0
5.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.014 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.014 * [backup-simplify]: Simplify (+ 0 0) into 0
5.015 * [backup-simplify]: Simplify (- 0) into 0
5.015 * [taylor]: Taking taylor expansion of 0 in y
5.015 * [backup-simplify]: Simplify 0 into 0
5.015 * [taylor]: Taking taylor expansion of 0 in z
5.015 * [backup-simplify]: Simplify 0 into 0
5.015 * [taylor]: Taking taylor expansion of 0 in z
5.015 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.016 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.017 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
5.017 * [backup-simplify]: Simplify (- 0) into 0
5.017 * [taylor]: Taking taylor expansion of 0 in z
5.017 * [backup-simplify]: Simplify 0 into 0
5.017 * [backup-simplify]: Simplify (- 0) into 0
5.017 * [taylor]: Taking taylor expansion of 0 in z
5.017 * [backup-simplify]: Simplify 0 into 0
5.017 * [backup-simplify]: Simplify 0 into 0
5.017 * [backup-simplify]: Simplify 0 into 0
5.018 * [backup-simplify]: Simplify (+ (* (- 0.125) (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* (- 0.5) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* 0.125 x) (* 0.5 (* z y)))
5.018 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2)
5.018 * [backup-simplify]: Simplify (/ (* y z) 2.0) into (* 0.5 (* z y))
5.018 * [approximate]: Taking taylor expansion of (* 0.5 (* z y)) in (y z) around 0
5.018 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
5.018 * [taylor]: Taking taylor expansion of 0.5 in z
5.018 * [backup-simplify]: Simplify 0.5 into 0.5
5.018 * [taylor]: Taking taylor expansion of (* z y) in z
5.018 * [taylor]: Taking taylor expansion of z in z
5.018 * [backup-simplify]: Simplify 0 into 0
5.018 * [backup-simplify]: Simplify 1 into 1
5.018 * [taylor]: Taking taylor expansion of y in z
5.019 * [backup-simplify]: Simplify y into y
5.019 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
5.019 * [taylor]: Taking taylor expansion of 0.5 in y
5.019 * [backup-simplify]: Simplify 0.5 into 0.5
5.019 * [taylor]: Taking taylor expansion of (* z y) in y
5.019 * [taylor]: Taking taylor expansion of z in y
5.019 * [backup-simplify]: Simplify z into z
5.019 * [taylor]: Taking taylor expansion of y in y
5.019 * [backup-simplify]: Simplify 0 into 0
5.019 * [backup-simplify]: Simplify 1 into 1
5.019 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
5.019 * [taylor]: Taking taylor expansion of 0.5 in y
5.019 * [backup-simplify]: Simplify 0.5 into 0.5
5.019 * [taylor]: Taking taylor expansion of (* z y) in y
5.019 * [taylor]: Taking taylor expansion of z in y
5.019 * [backup-simplify]: Simplify z into z
5.019 * [taylor]: Taking taylor expansion of y in y
5.019 * [backup-simplify]: Simplify 0 into 0
5.019 * [backup-simplify]: Simplify 1 into 1
5.019 * [backup-simplify]: Simplify (* z 0) into 0
5.019 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.019 * [taylor]: Taking taylor expansion of 0 in z
5.019 * [backup-simplify]: Simplify 0 into 0
5.019 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.020 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z)
5.020 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
5.020 * [taylor]: Taking taylor expansion of 0.5 in z
5.020 * [backup-simplify]: Simplify 0.5 into 0.5
5.020 * [taylor]: Taking taylor expansion of z in z
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify 1 into 1
5.021 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.021 * [backup-simplify]: Simplify 0 into 0
5.021 * [backup-simplify]: Simplify 0 into 0
5.021 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
5.022 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0
5.022 * [taylor]: Taking taylor expansion of 0 in z
5.022 * [backup-simplify]: Simplify 0 into 0
5.022 * [backup-simplify]: Simplify 0 into 0
5.023 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
5.023 * [backup-simplify]: Simplify 0.5 into 0.5
5.023 * [backup-simplify]: Simplify 0 into 0
5.023 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.024 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 z) (* 0 0)))) into 0
5.024 * [taylor]: Taking taylor expansion of 0 in z
5.024 * [backup-simplify]: Simplify 0 into 0
5.024 * [backup-simplify]: Simplify 0 into 0
5.024 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify 0 into 0
5.026 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.027 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 z) (* 0 0))))) into 0
5.027 * [taylor]: Taking taylor expansion of 0 in z
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y))
5.027 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 z)) 2.0) into (/ 0.5 (* z y))
5.027 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
5.027 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
5.027 * [taylor]: Taking taylor expansion of 0.5 in z
5.027 * [backup-simplify]: Simplify 0.5 into 0.5
5.027 * [taylor]: Taking taylor expansion of (* z y) in z
5.027 * [taylor]: Taking taylor expansion of z in z
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify 1 into 1
5.027 * [taylor]: Taking taylor expansion of y in z
5.027 * [backup-simplify]: Simplify y into y
5.027 * [backup-simplify]: Simplify (* 0 y) into 0
5.028 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.028 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
5.028 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
5.028 * [taylor]: Taking taylor expansion of 0.5 in y
5.028 * [backup-simplify]: Simplify 0.5 into 0.5
5.028 * [taylor]: Taking taylor expansion of (* z y) in y
5.028 * [taylor]: Taking taylor expansion of z in y
5.028 * [backup-simplify]: Simplify z into z
5.028 * [taylor]: Taking taylor expansion of y in y
5.028 * [backup-simplify]: Simplify 0 into 0
5.028 * [backup-simplify]: Simplify 1 into 1
5.028 * [backup-simplify]: Simplify (* z 0) into 0
5.028 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.028 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
5.028 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
5.028 * [taylor]: Taking taylor expansion of 0.5 in y
5.028 * [backup-simplify]: Simplify 0.5 into 0.5
5.028 * [taylor]: Taking taylor expansion of (* z y) in y
5.028 * [taylor]: Taking taylor expansion of z in y
5.028 * [backup-simplify]: Simplify z into z
5.028 * [taylor]: Taking taylor expansion of y in y
5.028 * [backup-simplify]: Simplify 0 into 0
5.028 * [backup-simplify]: Simplify 1 into 1
5.028 * [backup-simplify]: Simplify (* z 0) into 0
5.029 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.029 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
5.029 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
5.029 * [taylor]: Taking taylor expansion of 0.5 in z
5.029 * [backup-simplify]: Simplify 0.5 into 0.5
5.029 * [taylor]: Taking taylor expansion of z in z
5.029 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify 1 into 1
5.029 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
5.029 * [backup-simplify]: Simplify 0.5 into 0.5
5.030 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
5.030 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [backup-simplify]: Simplify 0 into 0
5.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
5.030 * [backup-simplify]: Simplify 0 into 0
5.031 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.031 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.031 * [taylor]: Taking taylor expansion of 0 in z
5.031 * [backup-simplify]: Simplify 0 into 0
5.031 * [backup-simplify]: Simplify 0 into 0
5.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.032 * [backup-simplify]: Simplify 0 into 0
5.033 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.033 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.033 * [taylor]: Taking taylor expansion of 0 in z
5.033 * [backup-simplify]: Simplify 0 into 0
5.033 * [backup-simplify]: Simplify 0 into 0
5.033 * [backup-simplify]: Simplify 0 into 0
5.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.034 * [backup-simplify]: Simplify 0 into 0
5.034 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y)))) into (* 0.5 (* z y))
5.034 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- z))) 2.0) into (/ 0.5 (* z y))
5.034 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0
5.034 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
5.034 * [taylor]: Taking taylor expansion of 0.5 in z
5.034 * [backup-simplify]: Simplify 0.5 into 0.5
5.034 * [taylor]: Taking taylor expansion of (* z y) in z
5.034 * [taylor]: Taking taylor expansion of z in z
5.034 * [backup-simplify]: Simplify 0 into 0
5.034 * [backup-simplify]: Simplify 1 into 1
5.034 * [taylor]: Taking taylor expansion of y in z
5.035 * [backup-simplify]: Simplify y into y
5.035 * [backup-simplify]: Simplify (* 0 y) into 0
5.035 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.035 * [backup-simplify]: Simplify (/ 0.5 y) into (/ 0.5 y)
5.035 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
5.035 * [taylor]: Taking taylor expansion of 0.5 in y
5.035 * [backup-simplify]: Simplify 0.5 into 0.5
5.035 * [taylor]: Taking taylor expansion of (* z y) in y
5.035 * [taylor]: Taking taylor expansion of z in y
5.035 * [backup-simplify]: Simplify z into z
5.035 * [taylor]: Taking taylor expansion of y in y
5.035 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify 1 into 1
5.035 * [backup-simplify]: Simplify (* z 0) into 0
5.035 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.035 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
5.036 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
5.036 * [taylor]: Taking taylor expansion of 0.5 in y
5.036 * [backup-simplify]: Simplify 0.5 into 0.5
5.036 * [taylor]: Taking taylor expansion of (* z y) in y
5.036 * [taylor]: Taking taylor expansion of z in y
5.036 * [backup-simplify]: Simplify z into z
5.036 * [taylor]: Taking taylor expansion of y in y
5.036 * [backup-simplify]: Simplify 0 into 0
5.036 * [backup-simplify]: Simplify 1 into 1
5.036 * [backup-simplify]: Simplify (* z 0) into 0
5.036 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
5.036 * [backup-simplify]: Simplify (/ 0.5 z) into (/ 0.5 z)
5.036 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
5.036 * [taylor]: Taking taylor expansion of 0.5 in z
5.036 * [backup-simplify]: Simplify 0.5 into 0.5
5.036 * [taylor]: Taking taylor expansion of z in z
5.036 * [backup-simplify]: Simplify 0 into 0
5.036 * [backup-simplify]: Simplify 1 into 1
5.037 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
5.037 * [backup-simplify]: Simplify 0.5 into 0.5
5.037 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
5.037 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)))) into 0
5.037 * [taylor]: Taking taylor expansion of 0 in z
5.037 * [backup-simplify]: Simplify 0 into 0
5.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
5.038 * [backup-simplify]: Simplify 0 into 0
5.038 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.039 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [backup-simplify]: Simplify 0 into 0
5.039 * [backup-simplify]: Simplify 0 into 0
5.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.039 * [backup-simplify]: Simplify 0 into 0
5.040 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.040 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 0.5 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.040 * [taylor]: Taking taylor expansion of 0 in z
5.040 * [backup-simplify]: Simplify 0 into 0
5.040 * [backup-simplify]: Simplify 0 into 0
5.040 * [backup-simplify]: Simplify 0 into 0
5.041 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.041 * [backup-simplify]: Simplify 0 into 0
5.041 * [backup-simplify]: Simplify (* 0.5 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y))))) into (* 0.5 (* z y))
5.041 * * * [progress]: simplifying candidates
5.042 * [simplify]: Simplifying:
  (fma (/ 1.0 8.0) x (- (* (cbrt (/ (* y z) 2.0)) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0))))))
  (fma (- (cbrt (/ (* y z) 2.0))) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0))) (* (cbrt (/ (* y z) 2.0)) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))))
  (fma (/ 1.0 8.0) x (- (* (sqrt (/ (* y z) 2.0)) (sqrt (/ (* y z) 2.0)))))
  (fma (- (sqrt (/ (* y z) 2.0))) (sqrt (/ (* y z) 2.0)) (* (sqrt (/ (* y z) 2.0)) (sqrt (/ (* y z) 2.0))))
  (fma (/ 1.0 8.0) x (- (* (/ z (cbrt 2.0)) (/ y (* (cbrt 2.0) (cbrt 2.0))))))
  (fma (- (/ z (cbrt 2.0))) (/ y (* (cbrt 2.0) (cbrt 2.0))) (* (/ z (cbrt 2.0)) (/ y (* (cbrt 2.0) (cbrt 2.0)))))
  (fma (/ 1.0 8.0) x (- (* (/ z (sqrt 2.0)) (/ y (sqrt 2.0)))))
  (fma (- (/ z (sqrt 2.0))) (/ y (sqrt 2.0)) (* (/ z (sqrt 2.0)) (/ y (sqrt 2.0))))
  (fma (/ 1.0 8.0) x (- (* (/ z 2.0) (/ y 1))))
  (fma (- (/ z 2.0)) (/ y 1) (* (/ z 2.0) (/ y 1)))
  (fma (/ 1.0 8.0) x (- (* (/ (* y z) 2.0) 1)))
  (fma (- (/ (* y z) 2.0)) 1 (* (/ (* y z) 2.0) 1))
  (fma (/ 1.0 8.0) x (- (* (/ 1 2.0) (* y z))))
  (fma (- (/ 1 2.0)) (* y z) (* (/ 1 2.0) (* y z)))
  (expm1 (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (log1p (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (- (/ (* y z) 2.0))
  (/ (exp (* (/ 1.0 8.0) x)) (exp (/ (* y z) 2.0)))
  (log (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))))
  (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (* (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (- (* (* 1.0 x) 2.0) (* 8.0 (* y z)))
  (* 8.0 2.0)
  (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ (* y z) 2.0) 3))
  (+ (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (+ (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (* (* (/ 1.0 8.0) x) (/ (* y z) 2.0))))
  (- (/ (* y z) 2.0))
  (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ (* y z) 2.0) (/ (* y z) 2.0)))
  (+ (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
  (- (/ (* y z) 2.0))
  (expm1 (/ (* y z) 2.0))
  (log1p (/ (* y z) 2.0))
  (- (+ (log y) (log z)) (log 2.0))
  (- (log (* y z)) (log 2.0))
  (log (/ (* y z) 2.0))
  (exp (/ (* y z) 2.0))
  (/ (* (* (* y y) y) (* (* z z) z)) (* (* 2.0 2.0) 2.0))
  (/ (* (* (* y z) (* y z)) (* y z)) (* (* 2.0 2.0) 2.0))
  (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))
  (cbrt (/ (* y z) 2.0))
  (* (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (/ (* y z) 2.0))
  (sqrt (/ (* y z) 2.0))
  (sqrt (/ (* y z) 2.0))
  (- (* y z))
  (- 2.0)
  (/ y (* (cbrt 2.0) (cbrt 2.0)))
  (/ z (cbrt 2.0))
  (/ y (sqrt 2.0))
  (/ z (sqrt 2.0))
  (/ y 1)
  (/ z 2.0)
  (/ 1 2.0)
  (/ 2.0 (* y z))
  (/ (* y z) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* y z) (sqrt 2.0))
  (/ (* y z) 1)
  (/ 2.0 z)
  (* 0.125 x)
  (- (* 0.125 x) (* 0.5 (* z y)))
  (- (* 0.125 x) (* 0.5 (* z y)))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
5.044 * * [simplify]: Extracting # 0 : cost  0
5.044 * * [simplify]: Extracting # 1 : cost  0
5.044 * * [simplify]: Extracting # 2 : cost  0
5.044 * * [simplify]: Extracting # 3 : cost  0
5.044 * * [simplify]: Extracting # 4 : cost  0
5.044 * * [simplify]: Extracting # 5 : cost  0
5.045 * * [simplify]: Extracting # 6 : cost  0
5.045 * * [simplify]: iteration  0 :  123  enodes  (cost  766 )
5.088 * * [simplify]: Extracting # 0 : cost  0
5.089 * * [simplify]: Extracting # 1 : cost  0
5.090 * * [simplify]: Extracting # 2 : cost  0
5.090 * * [simplify]: Extracting # 3 : cost  0
5.091 * * [simplify]: Extracting # 4 : cost  0
5.092 * * [simplify]: iteration  1 :  340  enodes  (cost  670 )
5.306 * * [simplify]: Extracting # 0 : cost  0
5.311 * * [simplify]: Extracting # 1 : cost  0
5.315 * * [simplify]: Extracting # 2 : cost  0
5.319 * * [simplify]: Extracting # 3 : cost  0
5.323 * * [simplify]: Extracting # 4 : cost  0
5.326 * * [simplify]: iteration  2 :  1842  enodes  (cost  582 )
7.049 * * [simplify]: Extracting # 0 : cost  0
7.086 * * [simplify]: Extracting # 1 : cost  0
7.096 * * [simplify]: Extracting # 2 : cost  0
7.105 * * [simplify]: iteration done:  5002  enodes  (cost  548 )
7.105 * [simplify]: Simplified to:
  (- (* (/ 1.0 8.0) x) (* y (/ z 2.0)))
  0
  (- (* (/ 1.0 8.0) x) (* y (/ z 2.0)))
  0
  (fma (/ 1.0 8.0) x (- (* (/ z (cbrt 2.0)) (/ y (* (cbrt 2.0) (cbrt 2.0))))))
  (* (/ y (* (cbrt 2.0) (cbrt 2.0))) (+ (- (/ z (cbrt 2.0))) (/ z (cbrt 2.0))))
  (fma (/ 1.0 8.0) x (- (* (/ z (sqrt 2.0)) (/ y (sqrt 2.0)))))
  (* (/ y (sqrt 2.0)) (+ (- (/ z (sqrt 2.0))) (/ z (sqrt 2.0))))
  (- (* (/ 1.0 8.0) x) (* y (/ z 2.0)))
  0
  (- (* (/ 1.0 8.0) x) (* y (/ z 2.0)))
  0
  (- (* (/ 1.0 8.0) x) (* y (/ z 2.0)))
  0
  (expm1 (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (log1p (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (- (* y (/ z 2.0)))
  (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (log (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))))
  (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3)
  (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
  (- (* (* 1.0 x) 2.0) (* 8.0 (* y z)))
  (* 8.0 2.0)
  (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ (* y z) 2.0) 3))
  (fma (* y (/ z 2.0)) (fma x (/ 1.0 8.0) (/ (* y z) 2.0)) (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)))
  (- (* y (/ z 2.0)))
  (* (fma (/ 1.0 8.0) x (- (* (/ z 2.0) y))) (fma x (/ 1.0 8.0) (/ (* y z) 2.0)))
  (fma y (/ z 2.0) (* (/ 1.0 8.0) x))
  (- (* y (/ z 2.0)))
  (expm1 (/ (* y z) 2.0))
  (log1p (/ (* y z) 2.0))
  (log (/ (* y z) 2.0))
  (log (/ (* y z) 2.0))
  (log (/ (* y z) 2.0))
  (exp (/ (* y z) 2.0))
  (pow (/ y (/ 2.0 z)) 3)
  (pow (/ y (/ 2.0 z)) 3)
  (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))
  (cbrt (/ (* y z) 2.0))
  (pow (/ y (/ 2.0 z)) 3)
  (sqrt (/ y (/ 2.0 z)))
  (sqrt (/ y (/ 2.0 z)))
  (- (* z y))
  (- 2.0)
  (/ y (* (cbrt 2.0) (cbrt 2.0)))
  (/ z (cbrt 2.0))
  (/ y (sqrt 2.0))
  (/ z (sqrt 2.0))
  y
  (/ z 2.0)
  (/ 1 2.0)
  (/ 2.0 (* z y))
  (/ (* (/ z (cbrt 2.0)) y) (cbrt 2.0))
  (* (/ z (sqrt 2.0)) y)
  (* z y)
  (/ 2.0 z)
  (* 0.125 x)
  (- (* 0.125 x) (* 0.5 (* z y)))
  (- (* 0.125 x) (* 0.5 (* z y)))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
7.106 * * * [progress]: adding candidates to table
7.298 * [progress]: [Phase 3 of 3] Extracting.
7.302 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
7.302 * * [simplify]: Extracting # 0 : cost  0
7.302 * * [simplify]: Extracting # 1 : cost  0
7.302 * * [simplify]: Extracting # 2 : cost  0
7.302 * * [simplify]: Extracting # 3 : cost  0
7.302 * * [simplify]: Extracting # 4 : cost  0
7.302 * * [simplify]: Extracting # 5 : cost  0
7.302 * * [simplify]: Extracting # 6 : cost  0
7.302 * * [simplify]: iteration  0 :  13  enodes  (cost  13 )
7.303 * * [simplify]: Extracting # 0 : cost  0
7.303 * * [simplify]: iteration  1 :  16  enodes  (cost  13 )
7.304 * * [simplify]: Extracting # 0 : cost  0
7.304 * * [simplify]: iteration done:  16  enodes  (cost  13 )
7.304 * [simplify]: Simplified to:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
8.566 * [regime-testing]: Baseline error score: 0.04088011001375172
8.569 * [regime-testing]: Oracle error score: 0.04088011001375172
8.569 * [regime-testing]: End program error score: 0.04088011001375172
8.603 * [regime-testing]: Target error score: 0.00912614076759595