23.984 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- 1.0 (* (- 1.0 y) z)))
0.022 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.023 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.024 * * [simplify]: iteration  2 :  34  enodes  (cost  9 )
0.029 * * [simplify]: iteration  3 :  85  enodes  (cost  9 )
0.045 * * [simplify]: iteration  4 :  198  enodes  (cost  8 )
0.091 * * [simplify]: iteration  5 :  330  enodes  (cost  8 )
0.193 * * [simplify]: iteration  6 :  506  enodes  (cost  8 )
0.374 * * [simplify]: iteration  7 :  600  enodes  (cost  8 )
0.659 * * [simplify]: iteration  8 :  839  enodes  (cost  8 )
1.099 * * [simplify]: iteration  9 :  957  enodes  (cost  8 )
1.439 * * [simplify]: iteration  10 :  1118  enodes  (cost  8 )
2.070 * * [simplify]: iteration  11 :  1449  enodes  (cost  8 )
4.129 * * [simplify]: iteration  12 :  2419  enodes  (cost  8 )
8.142 * * [simplify]: iteration  13 :  2976  enodes  (cost  8 )
9.593 * * [simplify]: iteration  14 :  3268  enodes  (cost  8 )
10.989 * * [simplify]: iteration  15 :  3276  enodes  (cost  8 )
12.097 * * [simplify]: iteration  done :  3276  enodes  (cost  8 )
12.097 * [simplify]: Simplified to:
   (* (fma (- y 1.0) z 1.0) x)
12.101 * * [progress]: iteration 1 / 4
12.101 * * * [progress]: picking best candidate
12.102 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))>
12.102 * * * [progress]: localizing error
12.108 * * * [progress]: generating rewritten candidates
12.109 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
12.117 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
12.127 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
12.132 * * * [progress]: generating series expansions
12.132 * * * * [progress]: [ 1 / 3 ] generating series at (2)
12.132 * [approximate]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in (x y z) around 0
12.132 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
12.132 * [taylor]: Taking taylor expansion of x in z
12.132 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z
12.132 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
12.132 * [taylor]: Taking taylor expansion of (* z y) in z
12.132 * [taylor]: Taking taylor expansion of z in z
12.132 * [taylor]: Taking taylor expansion of y in z
12.132 * [taylor]: Taking taylor expansion of 1.0 in z
12.132 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
12.132 * [taylor]: Taking taylor expansion of 1.0 in z
12.132 * [taylor]: Taking taylor expansion of z in z
12.132 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in y
12.132 * [taylor]: Taking taylor expansion of x in y
12.132 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y
12.132 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
12.132 * [taylor]: Taking taylor expansion of (* z y) in y
12.132 * [taylor]: Taking taylor expansion of z in y
12.132 * [taylor]: Taking taylor expansion of y in y
12.132 * [taylor]: Taking taylor expansion of 1.0 in y
12.133 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
12.133 * [taylor]: Taking taylor expansion of 1.0 in y
12.133 * [taylor]: Taking taylor expansion of z in y
12.133 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x
12.133 * [taylor]: Taking taylor expansion of x in x
12.133 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x
12.133 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
12.133 * [taylor]: Taking taylor expansion of (* z y) in x
12.133 * [taylor]: Taking taylor expansion of z in x
12.133 * [taylor]: Taking taylor expansion of y in x
12.133 * [taylor]: Taking taylor expansion of 1.0 in x
12.133 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
12.133 * [taylor]: Taking taylor expansion of 1.0 in x
12.133 * [taylor]: Taking taylor expansion of z in x
12.133 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x
12.133 * [taylor]: Taking taylor expansion of x in x
12.133 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x
12.133 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
12.133 * [taylor]: Taking taylor expansion of (* z y) in x
12.133 * [taylor]: Taking taylor expansion of z in x
12.133 * [taylor]: Taking taylor expansion of y in x
12.133 * [taylor]: Taking taylor expansion of 1.0 in x
12.133 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
12.133 * [taylor]: Taking taylor expansion of 1.0 in x
12.133 * [taylor]: Taking taylor expansion of z in x
12.133 * [taylor]: Taking taylor expansion of 0 in y
12.133 * [taylor]: Taking taylor expansion of 0 in z
12.135 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y
12.135 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
12.135 * [taylor]: Taking taylor expansion of (* z y) in y
12.135 * [taylor]: Taking taylor expansion of z in y
12.135 * [taylor]: Taking taylor expansion of y in y
12.135 * [taylor]: Taking taylor expansion of 1.0 in y
12.135 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
12.135 * [taylor]: Taking taylor expansion of 1.0 in y
12.135 * [taylor]: Taking taylor expansion of z in y
12.135 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 z)) in z
12.135 * [taylor]: Taking taylor expansion of 1.0 in z
12.135 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
12.135 * [taylor]: Taking taylor expansion of 1.0 in z
12.136 * [taylor]: Taking taylor expansion of z in z
12.136 * [taylor]: Taking taylor expansion of 0 in z
12.138 * [taylor]: Taking taylor expansion of 0 in y
12.139 * [taylor]: Taking taylor expansion of 0 in z
12.139 * [taylor]: Taking taylor expansion of z in z
12.139 * [taylor]: Taking taylor expansion of 0 in z
12.145 * [taylor]: Taking taylor expansion of 0 in y
12.145 * [taylor]: Taking taylor expansion of 0 in z
12.145 * [taylor]: Taking taylor expansion of 0 in z
12.146 * [taylor]: Taking taylor expansion of 0 in z
12.146 * [taylor]: Taking taylor expansion of 0 in z
12.147 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in (x y z) around 0
12.147 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in z
12.147 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z
12.147 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
12.147 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
12.147 * [taylor]: Taking taylor expansion of (* z y) in z
12.147 * [taylor]: Taking taylor expansion of z in z
12.147 * [taylor]: Taking taylor expansion of y in z
12.147 * [taylor]: Taking taylor expansion of 1.0 in z
12.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.147 * [taylor]: Taking taylor expansion of 1.0 in z
12.147 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.147 * [taylor]: Taking taylor expansion of z in z
12.148 * [taylor]: Taking taylor expansion of x in z
12.149 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in y
12.149 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y
12.149 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
12.149 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.149 * [taylor]: Taking taylor expansion of (* z y) in y
12.149 * [taylor]: Taking taylor expansion of z in y
12.149 * [taylor]: Taking taylor expansion of y in y
12.149 * [taylor]: Taking taylor expansion of 1.0 in y
12.149 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
12.149 * [taylor]: Taking taylor expansion of 1.0 in y
12.149 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.149 * [taylor]: Taking taylor expansion of z in y
12.149 * [taylor]: Taking taylor expansion of x in y
12.149 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x
12.149 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x
12.149 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
12.149 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
12.149 * [taylor]: Taking taylor expansion of (* z y) in x
12.149 * [taylor]: Taking taylor expansion of z in x
12.149 * [taylor]: Taking taylor expansion of y in x
12.149 * [taylor]: Taking taylor expansion of 1.0 in x
12.149 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
12.149 * [taylor]: Taking taylor expansion of 1.0 in x
12.149 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.150 * [taylor]: Taking taylor expansion of z in x
12.150 * [taylor]: Taking taylor expansion of x in x
12.150 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x
12.150 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x
12.150 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
12.150 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
12.150 * [taylor]: Taking taylor expansion of (* z y) in x
12.150 * [taylor]: Taking taylor expansion of z in x
12.150 * [taylor]: Taking taylor expansion of y in x
12.150 * [taylor]: Taking taylor expansion of 1.0 in x
12.150 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
12.150 * [taylor]: Taking taylor expansion of 1.0 in x
12.150 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.150 * [taylor]: Taking taylor expansion of z in x
12.150 * [taylor]: Taking taylor expansion of x in x
12.150 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y
12.151 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
12.151 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.151 * [taylor]: Taking taylor expansion of (* z y) in y
12.151 * [taylor]: Taking taylor expansion of z in y
12.151 * [taylor]: Taking taylor expansion of y in y
12.151 * [taylor]: Taking taylor expansion of 1.0 in y
12.151 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
12.151 * [taylor]: Taking taylor expansion of 1.0 in y
12.151 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.151 * [taylor]: Taking taylor expansion of z in y
12.151 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.151 * [taylor]: Taking taylor expansion of z in z
12.153 * [taylor]: Taking taylor expansion of 0 in y
12.154 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 z))) in z
12.154 * [taylor]: Taking taylor expansion of 1.0 in z
12.154 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.154 * [taylor]: Taking taylor expansion of 1.0 in z
12.154 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.154 * [taylor]: Taking taylor expansion of z in z
12.159 * [taylor]: Taking taylor expansion of 0 in y
12.159 * [taylor]: Taking taylor expansion of 0 in z
12.161 * [taylor]: Taking taylor expansion of 0 in z
12.163 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in (x y z) around 0
12.163 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in z
12.163 * [taylor]: Taking taylor expansion of -1 in z
12.163 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in z
12.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z
12.163 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
12.163 * [taylor]: Taking taylor expansion of (* z y) in z
12.163 * [taylor]: Taking taylor expansion of z in z
12.163 * [taylor]: Taking taylor expansion of y in z
12.164 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
12.164 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.164 * [taylor]: Taking taylor expansion of 1.0 in z
12.164 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.164 * [taylor]: Taking taylor expansion of z in z
12.164 * [taylor]: Taking taylor expansion of 1.0 in z
12.164 * [taylor]: Taking taylor expansion of x in z
12.165 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in y
12.165 * [taylor]: Taking taylor expansion of -1 in y
12.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in y
12.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y
12.165 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.165 * [taylor]: Taking taylor expansion of (* z y) in y
12.165 * [taylor]: Taking taylor expansion of z in y
12.165 * [taylor]: Taking taylor expansion of y in y
12.165 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y
12.165 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
12.165 * [taylor]: Taking taylor expansion of 1.0 in y
12.165 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.165 * [taylor]: Taking taylor expansion of z in y
12.165 * [taylor]: Taking taylor expansion of 1.0 in y
12.165 * [taylor]: Taking taylor expansion of x in y
12.165 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x
12.165 * [taylor]: Taking taylor expansion of -1 in x
12.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x
12.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x
12.165 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
12.165 * [taylor]: Taking taylor expansion of (* z y) in x
12.165 * [taylor]: Taking taylor expansion of z in x
12.165 * [taylor]: Taking taylor expansion of y in x
12.165 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x
12.165 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
12.165 * [taylor]: Taking taylor expansion of 1.0 in x
12.166 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.166 * [taylor]: Taking taylor expansion of z in x
12.166 * [taylor]: Taking taylor expansion of 1.0 in x
12.166 * [taylor]: Taking taylor expansion of x in x
12.166 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x
12.166 * [taylor]: Taking taylor expansion of -1 in x
12.166 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x
12.166 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x
12.166 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
12.166 * [taylor]: Taking taylor expansion of (* z y) in x
12.166 * [taylor]: Taking taylor expansion of z in x
12.166 * [taylor]: Taking taylor expansion of y in x
12.166 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x
12.166 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
12.166 * [taylor]: Taking taylor expansion of 1.0 in x
12.166 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.166 * [taylor]: Taking taylor expansion of z in x
12.166 * [taylor]: Taking taylor expansion of 1.0 in x
12.166 * [taylor]: Taking taylor expansion of x in x
12.167 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in y
12.167 * [taylor]: Taking taylor expansion of -1 in y
12.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y
12.167 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.167 * [taylor]: Taking taylor expansion of (* z y) in y
12.167 * [taylor]: Taking taylor expansion of z in y
12.167 * [taylor]: Taking taylor expansion of y in y
12.167 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y
12.167 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
12.167 * [taylor]: Taking taylor expansion of 1.0 in y
12.167 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.167 * [taylor]: Taking taylor expansion of z in y
12.167 * [taylor]: Taking taylor expansion of 1.0 in y
12.167 * [taylor]: Taking taylor expansion of (/ -1 z) in z
12.167 * [taylor]: Taking taylor expansion of -1 in z
12.167 * [taylor]: Taking taylor expansion of z in z
12.170 * [taylor]: Taking taylor expansion of 0 in y
12.170 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) 1.0)) in z
12.170 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
12.170 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.170 * [taylor]: Taking taylor expansion of 1.0 in z
12.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.171 * [taylor]: Taking taylor expansion of z in z
12.171 * [taylor]: Taking taylor expansion of 1.0 in z
12.179 * [taylor]: Taking taylor expansion of 0 in y
12.179 * [taylor]: Taking taylor expansion of 0 in z
12.181 * [taylor]: Taking taylor expansion of 0 in z
12.183 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
12.183 * [approximate]: Taking taylor expansion of (* (- 1.0 y) z) in (y z) around 0
12.183 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z
12.183 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
12.183 * [taylor]: Taking taylor expansion of 1.0 in z
12.184 * [taylor]: Taking taylor expansion of y in z
12.184 * [taylor]: Taking taylor expansion of z in z
12.184 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
12.184 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
12.184 * [taylor]: Taking taylor expansion of 1.0 in y
12.184 * [taylor]: Taking taylor expansion of y in y
12.184 * [taylor]: Taking taylor expansion of z in y
12.184 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
12.184 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
12.184 * [taylor]: Taking taylor expansion of 1.0 in y
12.184 * [taylor]: Taking taylor expansion of y in y
12.184 * [taylor]: Taking taylor expansion of z in y
12.184 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
12.184 * [taylor]: Taking taylor expansion of 1.0 in z
12.184 * [taylor]: Taking taylor expansion of z in z
12.186 * [taylor]: Taking taylor expansion of (- z) in z
12.186 * [taylor]: Taking taylor expansion of z in z
12.188 * [taylor]: Taking taylor expansion of 0 in z
12.190 * [taylor]: Taking taylor expansion of 0 in z
12.192 * [taylor]: Taking taylor expansion of 0 in z
12.193 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in (y z) around 0
12.193 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
12.193 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
12.193 * [taylor]: Taking taylor expansion of 1.0 in z
12.193 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.193 * [taylor]: Taking taylor expansion of y in z
12.193 * [taylor]: Taking taylor expansion of z in z
12.193 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
12.193 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
12.193 * [taylor]: Taking taylor expansion of 1.0 in y
12.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.193 * [taylor]: Taking taylor expansion of y in y
12.193 * [taylor]: Taking taylor expansion of z in y
12.194 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
12.194 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
12.194 * [taylor]: Taking taylor expansion of 1.0 in y
12.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.194 * [taylor]: Taking taylor expansion of y in y
12.194 * [taylor]: Taking taylor expansion of z in y
12.195 * [taylor]: Taking taylor expansion of (/ -1 z) in z
12.195 * [taylor]: Taking taylor expansion of -1 in z
12.195 * [taylor]: Taking taylor expansion of z in z
12.196 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.196 * [taylor]: Taking taylor expansion of 1.0 in z
12.196 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.196 * [taylor]: Taking taylor expansion of z in z
12.198 * [taylor]: Taking taylor expansion of 0 in z
12.201 * [taylor]: Taking taylor expansion of 0 in z
12.203 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in (y z) around 0
12.203 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z
12.203 * [taylor]: Taking taylor expansion of -1 in z
12.203 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z
12.203 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
12.203 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.203 * [taylor]: Taking taylor expansion of y in z
12.203 * [taylor]: Taking taylor expansion of 1.0 in z
12.203 * [taylor]: Taking taylor expansion of z in z
12.203 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in y
12.203 * [taylor]: Taking taylor expansion of -1 in y
12.203 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y
12.203 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
12.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.203 * [taylor]: Taking taylor expansion of y in y
12.204 * [taylor]: Taking taylor expansion of 1.0 in y
12.204 * [taylor]: Taking taylor expansion of z in y
12.204 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in y
12.204 * [taylor]: Taking taylor expansion of -1 in y
12.204 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y
12.204 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
12.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.204 * [taylor]: Taking taylor expansion of y in y
12.204 * [taylor]: Taking taylor expansion of 1.0 in y
12.204 * [taylor]: Taking taylor expansion of z in y
12.205 * [taylor]: Taking taylor expansion of (/ -1 z) in z
12.205 * [taylor]: Taking taylor expansion of -1 in z
12.205 * [taylor]: Taking taylor expansion of z in z
12.206 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
12.206 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.206 * [taylor]: Taking taylor expansion of 1.0 in z
12.206 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.206 * [taylor]: Taking taylor expansion of z in z
12.209 * [taylor]: Taking taylor expansion of 0 in z
12.212 * [taylor]: Taking taylor expansion of 0 in z
12.214 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
12.214 * [approximate]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in (y z) around 0
12.214 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z
12.214 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
12.214 * [taylor]: Taking taylor expansion of (* z y) in z
12.214 * [taylor]: Taking taylor expansion of z in z
12.214 * [taylor]: Taking taylor expansion of y in z
12.214 * [taylor]: Taking taylor expansion of 1.0 in z
12.214 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
12.214 * [taylor]: Taking taylor expansion of 1.0 in z
12.214 * [taylor]: Taking taylor expansion of z in z
12.214 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y
12.214 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
12.214 * [taylor]: Taking taylor expansion of (* z y) in y
12.214 * [taylor]: Taking taylor expansion of z in y
12.215 * [taylor]: Taking taylor expansion of y in y
12.215 * [taylor]: Taking taylor expansion of 1.0 in y
12.215 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
12.215 * [taylor]: Taking taylor expansion of 1.0 in y
12.215 * [taylor]: Taking taylor expansion of z in y
12.215 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y
12.215 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
12.215 * [taylor]: Taking taylor expansion of (* z y) in y
12.215 * [taylor]: Taking taylor expansion of z in y
12.215 * [taylor]: Taking taylor expansion of y in y
12.215 * [taylor]: Taking taylor expansion of 1.0 in y
12.215 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
12.215 * [taylor]: Taking taylor expansion of 1.0 in y
12.215 * [taylor]: Taking taylor expansion of z in y
12.215 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 z)) in z
12.215 * [taylor]: Taking taylor expansion of 1.0 in z
12.215 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
12.215 * [taylor]: Taking taylor expansion of 1.0 in z
12.215 * [taylor]: Taking taylor expansion of z in z
12.217 * [taylor]: Taking taylor expansion of z in z
12.220 * [taylor]: Taking taylor expansion of 0 in z
12.221 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in (y z) around 0
12.221 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z
12.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
12.221 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
12.221 * [taylor]: Taking taylor expansion of (* z y) in z
12.221 * [taylor]: Taking taylor expansion of z in z
12.221 * [taylor]: Taking taylor expansion of y in z
12.222 * [taylor]: Taking taylor expansion of 1.0 in z
12.222 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.222 * [taylor]: Taking taylor expansion of 1.0 in z
12.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.222 * [taylor]: Taking taylor expansion of z in z
12.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y
12.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
12.222 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.222 * [taylor]: Taking taylor expansion of (* z y) in y
12.222 * [taylor]: Taking taylor expansion of z in y
12.222 * [taylor]: Taking taylor expansion of y in y
12.222 * [taylor]: Taking taylor expansion of 1.0 in y
12.222 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
12.222 * [taylor]: Taking taylor expansion of 1.0 in y
12.222 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.222 * [taylor]: Taking taylor expansion of z in y
12.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y
12.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
12.223 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.223 * [taylor]: Taking taylor expansion of (* z y) in y
12.223 * [taylor]: Taking taylor expansion of z in y
12.223 * [taylor]: Taking taylor expansion of y in y
12.223 * [taylor]: Taking taylor expansion of 1.0 in y
12.223 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
12.223 * [taylor]: Taking taylor expansion of 1.0 in y
12.223 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.223 * [taylor]: Taking taylor expansion of z in y
12.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.223 * [taylor]: Taking taylor expansion of z in z
12.224 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 z))) in z
12.224 * [taylor]: Taking taylor expansion of 1.0 in z
12.224 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.224 * [taylor]: Taking taylor expansion of 1.0 in z
12.224 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.224 * [taylor]: Taking taylor expansion of z in z
12.228 * [taylor]: Taking taylor expansion of 0 in z
12.230 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in (y z) around 0
12.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z
12.230 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
12.230 * [taylor]: Taking taylor expansion of (* z y) in z
12.230 * [taylor]: Taking taylor expansion of z in z
12.230 * [taylor]: Taking taylor expansion of y in z
12.231 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
12.231 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.231 * [taylor]: Taking taylor expansion of 1.0 in z
12.231 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.231 * [taylor]: Taking taylor expansion of z in z
12.231 * [taylor]: Taking taylor expansion of 1.0 in z
12.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y
12.231 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.231 * [taylor]: Taking taylor expansion of (* z y) in y
12.231 * [taylor]: Taking taylor expansion of z in y
12.231 * [taylor]: Taking taylor expansion of y in y
12.231 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y
12.231 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
12.231 * [taylor]: Taking taylor expansion of 1.0 in y
12.231 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.231 * [taylor]: Taking taylor expansion of z in y
12.231 * [taylor]: Taking taylor expansion of 1.0 in y
12.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y
12.232 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.232 * [taylor]: Taking taylor expansion of (* z y) in y
12.232 * [taylor]: Taking taylor expansion of z in y
12.232 * [taylor]: Taking taylor expansion of y in y
12.232 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y
12.232 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
12.232 * [taylor]: Taking taylor expansion of 1.0 in y
12.232 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.232 * [taylor]: Taking taylor expansion of z in y
12.232 * [taylor]: Taking taylor expansion of 1.0 in y
12.232 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.232 * [taylor]: Taking taylor expansion of z in z
12.233 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
12.233 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
12.233 * [taylor]: Taking taylor expansion of 1.0 in z
12.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.233 * [taylor]: Taking taylor expansion of z in z
12.233 * [taylor]: Taking taylor expansion of 1.0 in z
12.236 * [taylor]: Taking taylor expansion of 0 in z
12.237 * * * [progress]: simplifying candidates
12.238 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* x (- 1.0 (* (- 1.0 y) z))))
  (log1p (* x (- 1.0 (* (- 1.0 y) z))))
  (* x (- 1.0 (* (- 1.0 y) z)))
  (+ (log x) (log (- 1.0 (* (- 1.0 y) z))))
  (log (* x (- 1.0 (* (- 1.0 y) z))))
  (exp (* x (- 1.0 (* (- 1.0 y) z))))
  (* (* (* x x) x) (* (* (- 1.0 (* (- 1.0 y) z)) (- 1.0 (* (- 1.0 y) z))) (- 1.0 (* (- 1.0 y) z))))
  (* (cbrt (* x (- 1.0 (* (- 1.0 y) z)))) (cbrt (* x (- 1.0 (* (- 1.0 y) z)))))
  (cbrt (* x (- 1.0 (* (- 1.0 y) z))))
  (* (* (* x (- 1.0 (* (- 1.0 y) z))) (* x (- 1.0 (* (- 1.0 y) z)))) (* x (- 1.0 (* (- 1.0 y) z))))
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* x (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z (- 1.0 y)))))
  (* x (fma (- z) (- 1.0 y) (* z (- 1.0 y))))
  (* x (fma (sqrt 1.0) (sqrt 1.0) (- (* z (- 1.0 y)))))
  (* x (fma (- z) (- 1.0 y) (* z (- 1.0 y))))
  (* x (fma 1 1.0 (- (* z (- 1.0 y)))))
  (* x (fma (- z) (- 1.0 y) (* z (- 1.0 y))))
  (* x 1.0)
  (* x (- (* (- 1.0 y) z)))
  (* x 1.0)
  (* x (- (* (- 1.0 y) z)))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z (- 1.0 y)))) x)
  (* (fma (- z) (- 1.0 y) (* z (- 1.0 y))) x)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* z (- 1.0 y)))) x)
  (* (fma (- z) (- 1.0 y) (* z (- 1.0 y))) x)
  (* (fma 1 1.0 (- (* z (- 1.0 y)))) x)
  (* (fma (- z) (- 1.0 y) (* z (- 1.0 y))) x)
  (* 1.0 x)
  (* (- (* (- 1.0 y) z)) x)
  (* 1.0 x)
  (* (- (* (- 1.0 y) z)) x)
  (* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))))
  (* x (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* x 1)
  (* (cbrt x) (- 1.0 (* (- 1.0 y) z)))
  (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))
  (* x (- 1.0 (* (- 1.0 y) z)))
  (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3)))
  (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z))))
  (expm1 (* (- 1.0 y) z))
  (log1p (* (- 1.0 y) z))
  (* (- 1.0 y) z)
  (+ (log (- 1.0 y)) (log z))
  (log (* (- 1.0 y) z))
  (exp (* (- 1.0 y) z))
  (* (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y)) (* (* z z) z))
  (* (cbrt (* (- 1.0 y) z)) (cbrt (* (- 1.0 y) z)))
  (cbrt (* (- 1.0 y) z))
  (* (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* (- 1.0 y) z))
  (sqrt (* (- 1.0 y) z))
  (sqrt (* (- 1.0 y) z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (- 1.0 y) (* (cbrt z) (cbrt z)))
  (* (- 1.0 y) (sqrt z))
  (* (- 1.0 y) 1)
  (* (cbrt (- 1.0 y)) z)
  (* (sqrt (- 1.0 y)) z)
  (* (- 1.0 y) z)
  (* (- (sqrt 1.0) (sqrt y)) z)
  (* (- 1.0 y) z)
  (* (- (pow 1.0 3) (pow y 3)) z)
  (* (- (* 1.0 1.0) (* y y)) z)
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z (- 1.0 y))))
  (fma (- z) (- 1.0 y) (* z (- 1.0 y)))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* z (- 1.0 y))))
  (fma (- z) (- 1.0 y) (* z (- 1.0 y)))
  (fma 1 1.0 (- (* z (- 1.0 y))))
  (fma (- z) (- 1.0 y) (* z (- 1.0 y)))
  (expm1 (- 1.0 (* (- 1.0 y) z)))
  (log1p (- 1.0 (* (- 1.0 y) z)))
  (- (* (- 1.0 y) z))
  (- (* (- 1.0 y) z))
  (- (* (- 1.0 y) z))
  (/ (exp 1.0) (exp (* (- 1.0 y) z)))
  (log (- 1.0 (* (- 1.0 y) z)))
  (exp (- 1.0 (* (- 1.0 y) z)))
  (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z))))
  (cbrt (- 1.0 (* (- 1.0 y) z)))
  (* (* (- 1.0 (* (- 1.0 y) z)) (- 1.0 (* (- 1.0 y) z))) (- 1.0 (* (- 1.0 y) z)))
  (sqrt (- 1.0 (* (- 1.0 y) z)))
  (sqrt (- 1.0 (* (- 1.0 y) z)))
  (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))
  (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))
  (- (* (- 1.0 y) z))
  (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))
  (+ 1.0 (* (- 1.0 y) z))
  (- (* (- 1.0 y) z))
  (- (* 1.0 x) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
  (- (+ (* z y) 1.0) (* 1.0 z))
  (- (+ (* z y) 1.0) (* 1.0 z))
  (- (+ (* z y) 1.0) (* 1.0 z))
12.242 * * [simplify]: iteration  0 :  125  enodes  (cost  1011 )
12.267 * * [simplify]: iteration  1 :  272  enodes  (cost  980 )
12.354 * * [simplify]: iteration  2 :  800  enodes  (cost  857 )
12.920 * * [simplify]: iteration  3 :  2983  enodes  (cost  774 )
14.062 * * [simplify]: iteration  done :  5000  enodes  (cost  774 )
14.062 * [simplify]: Simplified to:
   (expm1 (* x (fma (- y 1.0) z 1.0)))
  (log1p (* x (fma (- y 1.0) z 1.0)))
  (* x (fma (- y 1.0) z 1.0))
  (log (* x (fma (- y 1.0) z 1.0)))
  (log (* x (fma (- y 1.0) z 1.0)))
  (exp (* x (fma (- y 1.0) z 1.0)))
  (pow (* x (fma (- y 1.0) z 1.0)) 3)
  (* (cbrt (* x (fma (- y 1.0) z 1.0))) (cbrt (* x (fma (- y 1.0) z 1.0))))
  (cbrt (* x (fma (- y 1.0) z 1.0)))
  (pow (* x (fma (- y 1.0) z 1.0)) 3)
  (sqrt (* x (fma (- y 1.0) z 1.0)))
  (sqrt (* x (fma (- y 1.0) z 1.0)))
  (* (sqrt x) (sqrt (fma (- y 1.0) z 1.0)))
  (* (sqrt x) (sqrt (fma (- y 1.0) z 1.0)))
  (* x (fma z (- y 1.0) (pow (cbrt 1.0) 3)))
  (* (* x z) (* 0 (- 1.0 y)))
  (* x (fma (- y 1.0) z 1.0))
  (* (* x z) (* 0 (- 1.0 y)))
  (* x (fma (- y 1.0) z 1.0))
  (* (* x z) (* 0 (- 1.0 y)))
  (* 1.0 x)
  (* z (* x (- y 1.0)))
  (* 1.0 x)
  (* z (* x (- y 1.0)))
  (* x (fma z (- y 1.0) (pow (cbrt 1.0) 3)))
  (* (* x z) (* 0 (- 1.0 y)))
  (* x (fma (- y 1.0) z 1.0))
  (* (* x z) (* 0 (- 1.0 y)))
  (* x (fma (- y 1.0) z 1.0))
  (* (* x z) (* 0 (- 1.0 y)))
  (* 1.0 x)
  (* z (* x (- y 1.0)))
  (* 1.0 x)
  (* z (* x (- y 1.0)))
  (* (cbrt (fma (- y 1.0) z 1.0)) (* (cbrt (fma (- y 1.0) z 1.0)) x))
  (* x (sqrt (fma (- y 1.0) z 1.0)))
  x
  (* (fma (- y 1.0) z 1.0) (cbrt x))
  (* (sqrt x) (fma (- y 1.0) z 1.0))
  (* x (fma (- y 1.0) z 1.0))
  (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3)))
  (* (fma z (- 1.0 y) 1.0) (* x (fma (- y 1.0) z 1.0)))
  (expm1 (* (- 1.0 y) z))
  (log1p (* (- 1.0 y) z))
  (* z (- 1.0 y))
  (log (* (- 1.0 y) z))
  (log (* (- 1.0 y) z))
  (exp (* (- 1.0 y) z))
  (pow (* (- 1.0 y) z) 3)
  (* (cbrt (* (- 1.0 y) z)) (cbrt (* (- 1.0 y) z)))
  (cbrt (* (- 1.0 y) z))
  (pow (* (- 1.0 y) z) 3)
  (sqrt (* (- 1.0 y) z))
  (sqrt (* (- 1.0 y) z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (- 1.0 y) (* (cbrt z) (cbrt z)))
  (* (- 1.0 y) (sqrt z))
  (- 1.0 y)
  (* (cbrt (- 1.0 y)) z)
  (* (sqrt (- 1.0 y)) z)
  (* z (- 1.0 y))
  (* (- (sqrt 1.0) (sqrt y)) z)
  (* z (- 1.0 y))
  (* (- (pow 1.0 3) (pow y 3)) z)
  (* (- (* 1.0 1.0) (* y y)) z)
  (fma z (- y 1.0) (pow (cbrt 1.0) 3))
  (* z (* 0 (- 1.0 y)))
  (fma (- y 1.0) z 1.0)
  (* z (* 0 (- 1.0 y)))
  (fma (- y 1.0) z 1.0)
  (* z (* 0 (- 1.0 y)))
  (expm1 (fma (- y 1.0) z 1.0))
  (log1p (fma (- y 1.0) z 1.0))
  (* z (- y 1.0))
  (* z (- y 1.0))
  (* z (- y 1.0))
  (exp (fma (- y 1.0) z 1.0))
  (log (fma (- y 1.0) z 1.0))
  (exp (fma (- y 1.0) z 1.0))
  (* (cbrt (fma (- y 1.0) z 1.0)) (cbrt (fma (- y 1.0) z 1.0)))
  (cbrt (fma (- y 1.0) z 1.0))
  (pow (fma (- y 1.0) z 1.0) 3)
  (sqrt (fma (- y 1.0) z 1.0))
  (sqrt (fma (- y 1.0) z 1.0))
  (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))
  (fma (* z (- 1.0 y)) (fma z (- 1.0 y) 1.0) (* 1.0 1.0))
  (* z (- y 1.0))
  (* (fma z (- 1.0 y) 1.0) (fma (- y 1.0) z 1.0))
  (fma z (- 1.0 y) 1.0)
  (* z (- y 1.0))
  (* 1.0 (- x (* x z)))
  (* x (fma (- y 1.0) z 1.0))
  (* x (fma (- y 1.0) z 1.0))
  (* z (- 1.0 y))
  (* z (- 1.0 y))
  (* z (- 1.0 y))
  (fma (- y 1.0) z 1.0)
  (fma (- y 1.0) z 1.0)
  (fma (- y 1.0) z 1.0)
14.063 * * * [progress]: adding candidates to table
14.234 * * [progress]: iteration 2 / 4
14.234 * * * [progress]: picking best candidate
14.248 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))>
14.248 * * * [progress]: localizing error
14.258 * * * [progress]: generating rewritten candidates
14.258 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
14.267 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
14.286 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1)
14.288 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
14.294 * * * [progress]: generating series expansions
14.294 * * * * [progress]: [ 1 / 4 ] generating series at (2)
14.295 * [approximate]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in (x y z) around 0
14.295 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
14.295 * [taylor]: Taking taylor expansion of x in z
14.295 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z
14.295 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
14.295 * [taylor]: Taking taylor expansion of (* z y) in z
14.295 * [taylor]: Taking taylor expansion of z in z
14.295 * [taylor]: Taking taylor expansion of y in z
14.295 * [taylor]: Taking taylor expansion of 1.0 in z
14.295 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
14.295 * [taylor]: Taking taylor expansion of 1.0 in z
14.295 * [taylor]: Taking taylor expansion of z in z
14.295 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in y
14.295 * [taylor]: Taking taylor expansion of x in y
14.295 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y
14.295 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
14.295 * [taylor]: Taking taylor expansion of (* z y) in y
14.295 * [taylor]: Taking taylor expansion of z in y
14.295 * [taylor]: Taking taylor expansion of y in y
14.295 * [taylor]: Taking taylor expansion of 1.0 in y
14.295 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
14.295 * [taylor]: Taking taylor expansion of 1.0 in y
14.295 * [taylor]: Taking taylor expansion of z in y
14.295 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x
14.295 * [taylor]: Taking taylor expansion of x in x
14.295 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x
14.295 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
14.295 * [taylor]: Taking taylor expansion of (* z y) in x
14.295 * [taylor]: Taking taylor expansion of z in x
14.295 * [taylor]: Taking taylor expansion of y in x
14.295 * [taylor]: Taking taylor expansion of 1.0 in x
14.295 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
14.295 * [taylor]: Taking taylor expansion of 1.0 in x
14.295 * [taylor]: Taking taylor expansion of z in x
14.295 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x
14.295 * [taylor]: Taking taylor expansion of x in x
14.295 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x
14.295 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
14.295 * [taylor]: Taking taylor expansion of (* z y) in x
14.295 * [taylor]: Taking taylor expansion of z in x
14.295 * [taylor]: Taking taylor expansion of y in x
14.295 * [taylor]: Taking taylor expansion of 1.0 in x
14.295 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
14.295 * [taylor]: Taking taylor expansion of 1.0 in x
14.296 * [taylor]: Taking taylor expansion of z in x
14.296 * [taylor]: Taking taylor expansion of 0 in y
14.296 * [taylor]: Taking taylor expansion of 0 in z
14.298 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y
14.298 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
14.298 * [taylor]: Taking taylor expansion of (* z y) in y
14.298 * [taylor]: Taking taylor expansion of z in y
14.298 * [taylor]: Taking taylor expansion of y in y
14.298 * [taylor]: Taking taylor expansion of 1.0 in y
14.298 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
14.298 * [taylor]: Taking taylor expansion of 1.0 in y
14.298 * [taylor]: Taking taylor expansion of z in y
14.298 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 z)) in z
14.298 * [taylor]: Taking taylor expansion of 1.0 in z
14.298 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
14.298 * [taylor]: Taking taylor expansion of 1.0 in z
14.298 * [taylor]: Taking taylor expansion of z in z
14.299 * [taylor]: Taking taylor expansion of 0 in z
14.301 * [taylor]: Taking taylor expansion of 0 in y
14.302 * [taylor]: Taking taylor expansion of 0 in z
14.302 * [taylor]: Taking taylor expansion of z in z
14.302 * [taylor]: Taking taylor expansion of 0 in z
14.307 * [taylor]: Taking taylor expansion of 0 in y
14.307 * [taylor]: Taking taylor expansion of 0 in z
14.307 * [taylor]: Taking taylor expansion of 0 in z
14.309 * [taylor]: Taking taylor expansion of 0 in z
14.309 * [taylor]: Taking taylor expansion of 0 in z
14.310 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in (x y z) around 0
14.310 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in z
14.310 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z
14.310 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
14.310 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
14.310 * [taylor]: Taking taylor expansion of (* z y) in z
14.310 * [taylor]: Taking taylor expansion of z in z
14.310 * [taylor]: Taking taylor expansion of y in z
14.310 * [taylor]: Taking taylor expansion of 1.0 in z
14.310 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
14.310 * [taylor]: Taking taylor expansion of 1.0 in z
14.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.310 * [taylor]: Taking taylor expansion of z in z
14.311 * [taylor]: Taking taylor expansion of x in z
14.312 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in y
14.312 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y
14.312 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
14.312 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
14.314 * [taylor]: Taking taylor expansion of (* z y) in y
14.315 * [taylor]: Taking taylor expansion of z in y
14.315 * [taylor]: Taking taylor expansion of y in y
14.315 * [taylor]: Taking taylor expansion of 1.0 in y
14.315 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
14.315 * [taylor]: Taking taylor expansion of 1.0 in y
14.315 * [taylor]: Taking taylor expansion of (/ 1 z) in y
14.315 * [taylor]: Taking taylor expansion of z in y
14.315 * [taylor]: Taking taylor expansion of x in y
14.315 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x
14.315 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x
14.315 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
14.315 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
14.315 * [taylor]: Taking taylor expansion of (* z y) in x
14.315 * [taylor]: Taking taylor expansion of z in x
14.315 * [taylor]: Taking taylor expansion of y in x
14.316 * [taylor]: Taking taylor expansion of 1.0 in x
14.316 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
14.316 * [taylor]: Taking taylor expansion of 1.0 in x
14.316 * [taylor]: Taking taylor expansion of (/ 1 z) in x
14.316 * [taylor]: Taking taylor expansion of z in x
14.316 * [taylor]: Taking taylor expansion of x in x
14.316 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x
14.316 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x
14.316 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
14.316 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
14.316 * [taylor]: Taking taylor expansion of (* z y) in x
14.316 * [taylor]: Taking taylor expansion of z in x
14.316 * [taylor]: Taking taylor expansion of y in x
14.316 * [taylor]: Taking taylor expansion of 1.0 in x
14.316 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
14.316 * [taylor]: Taking taylor expansion of 1.0 in x
14.316 * [taylor]: Taking taylor expansion of (/ 1 z) in x
14.316 * [taylor]: Taking taylor expansion of z in x
14.316 * [taylor]: Taking taylor expansion of x in x
14.317 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y
14.317 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
14.317 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
14.317 * [taylor]: Taking taylor expansion of (* z y) in y
14.317 * [taylor]: Taking taylor expansion of z in y
14.317 * [taylor]: Taking taylor expansion of y in y
14.317 * [taylor]: Taking taylor expansion of 1.0 in y
14.317 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
14.317 * [taylor]: Taking taylor expansion of 1.0 in y
14.317 * [taylor]: Taking taylor expansion of (/ 1 z) in y
14.317 * [taylor]: Taking taylor expansion of z in y
14.317 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.317 * [taylor]: Taking taylor expansion of z in z
14.320 * [taylor]: Taking taylor expansion of 0 in y
14.321 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 z))) in z
14.321 * [taylor]: Taking taylor expansion of 1.0 in z
14.321 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
14.321 * [taylor]: Taking taylor expansion of 1.0 in z
14.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.321 * [taylor]: Taking taylor expansion of z in z
14.326 * [taylor]: Taking taylor expansion of 0 in y
14.326 * [taylor]: Taking taylor expansion of 0 in z
14.327 * [taylor]: Taking taylor expansion of 0 in z
14.330 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in (x y z) around 0
14.330 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in z
14.330 * [taylor]: Taking taylor expansion of -1 in z
14.330 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in z
14.330 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z
14.330 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
14.330 * [taylor]: Taking taylor expansion of (* z y) in z
14.330 * [taylor]: Taking taylor expansion of z in z
14.330 * [taylor]: Taking taylor expansion of y in z
14.330 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
14.330 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
14.330 * [taylor]: Taking taylor expansion of 1.0 in z
14.330 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.330 * [taylor]: Taking taylor expansion of z in z
14.330 * [taylor]: Taking taylor expansion of 1.0 in z
14.330 * [taylor]: Taking taylor expansion of x in z
14.331 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in y
14.331 * [taylor]: Taking taylor expansion of -1 in y
14.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in y
14.331 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y
14.331 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
14.331 * [taylor]: Taking taylor expansion of (* z y) in y
14.331 * [taylor]: Taking taylor expansion of z in y
14.331 * [taylor]: Taking taylor expansion of y in y
14.332 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y
14.332 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
14.332 * [taylor]: Taking taylor expansion of 1.0 in y
14.332 * [taylor]: Taking taylor expansion of (/ 1 z) in y
14.332 * [taylor]: Taking taylor expansion of z in y
14.332 * [taylor]: Taking taylor expansion of 1.0 in y
14.332 * [taylor]: Taking taylor expansion of x in y
14.332 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x
14.332 * [taylor]: Taking taylor expansion of -1 in x
14.332 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x
14.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x
14.332 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
14.332 * [taylor]: Taking taylor expansion of (* z y) in x
14.332 * [taylor]: Taking taylor expansion of z in x
14.332 * [taylor]: Taking taylor expansion of y in x
14.332 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x
14.332 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
14.332 * [taylor]: Taking taylor expansion of 1.0 in x
14.332 * [taylor]: Taking taylor expansion of (/ 1 z) in x
14.332 * [taylor]: Taking taylor expansion of z in x
14.332 * [taylor]: Taking taylor expansion of 1.0 in x
14.332 * [taylor]: Taking taylor expansion of x in x
14.332 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x
14.332 * [taylor]: Taking taylor expansion of -1 in x
14.332 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x
14.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x
14.332 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
14.332 * [taylor]: Taking taylor expansion of (* z y) in x
14.332 * [taylor]: Taking taylor expansion of z in x
14.332 * [taylor]: Taking taylor expansion of y in x
14.333 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x
14.333 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
14.333 * [taylor]: Taking taylor expansion of 1.0 in x
14.333 * [taylor]: Taking taylor expansion of (/ 1 z) in x
14.333 * [taylor]: Taking taylor expansion of z in x
14.333 * [taylor]: Taking taylor expansion of 1.0 in x
14.333 * [taylor]: Taking taylor expansion of x in x
14.333 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in y
14.333 * [taylor]: Taking taylor expansion of -1 in y
14.333 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y
14.333 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
14.333 * [taylor]: Taking taylor expansion of (* z y) in y
14.333 * [taylor]: Taking taylor expansion of z in y
14.333 * [taylor]: Taking taylor expansion of y in y
14.333 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y
14.334 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
14.334 * [taylor]: Taking taylor expansion of 1.0 in y
14.334 * [taylor]: Taking taylor expansion of (/ 1 z) in y
14.334 * [taylor]: Taking taylor expansion of z in y
14.334 * [taylor]: Taking taylor expansion of 1.0 in y
14.334 * [taylor]: Taking taylor expansion of (/ -1 z) in z
14.334 * [taylor]: Taking taylor expansion of -1 in z
14.334 * [taylor]: Taking taylor expansion of z in z
14.336 * [taylor]: Taking taylor expansion of 0 in y
14.337 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) 1.0)) in z
14.337 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
14.337 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
14.337 * [taylor]: Taking taylor expansion of 1.0 in z
14.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.337 * [taylor]: Taking taylor expansion of z in z
14.337 * [taylor]: Taking taylor expansion of 1.0 in z
14.342 * [taylor]: Taking taylor expansion of 0 in y
14.342 * [taylor]: Taking taylor expansion of 0 in z
14.344 * [taylor]: Taking taylor expansion of 0 in z
14.346 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
14.346 * [approximate]: Taking taylor expansion of (pow (pow (- 1.0 y) 2) 1/3) in (y) around 0
14.346 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 y) 2) 1/3) in y
14.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 y) 2)))) in y
14.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 y) 2))) in y
14.346 * [taylor]: Taking taylor expansion of 1/3 in y
14.346 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 y) 2)) in y
14.346 * [taylor]: Taking taylor expansion of (pow (- 1.0 y) 2) in y
14.346 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
14.346 * [taylor]: Taking taylor expansion of 1.0 in y
14.346 * [taylor]: Taking taylor expansion of y in y
14.349 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 y) 2) 1/3) in y
14.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 y) 2)))) in y
14.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 y) 2))) in y
14.350 * [taylor]: Taking taylor expansion of 1/3 in y
14.350 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 y) 2)) in y
14.350 * [taylor]: Taking taylor expansion of (pow (- 1.0 y) 2) in y
14.350 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
14.350 * [taylor]: Taking taylor expansion of 1.0 in y
14.350 * [taylor]: Taking taylor expansion of y in y
14.397 * [approximate]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 y)) 2) 1/3) in (y) around 0
14.397 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 y)) 2) 1/3) in y
14.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 y)) 2)))) in y
14.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 y)) 2))) in y
14.397 * [taylor]: Taking taylor expansion of 1/3 in y
14.397 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 y)) 2)) in y
14.397 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 y)) 2) in y
14.397 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
14.397 * [taylor]: Taking taylor expansion of 1.0 in y
14.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.397 * [taylor]: Taking taylor expansion of y in y
14.401 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 y)) 2) 1/3) in y
14.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 y)) 2)))) in y
14.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 y)) 2))) in y
14.401 * [taylor]: Taking taylor expansion of 1/3 in y
14.401 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 y)) 2)) in y
14.401 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 y)) 2) in y
14.401 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
14.401 * [taylor]: Taking taylor expansion of 1.0 in y
14.401 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.401 * [taylor]: Taking taylor expansion of y in y
14.429 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 y) 1.0) 2) 1/3) in (y) around 0
14.429 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 y) 1.0) 2) 1/3) in y
14.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 y) 1.0) 2)))) in y
14.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 y) 1.0) 2))) in y
14.429 * [taylor]: Taking taylor expansion of 1/3 in y
14.429 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 y) 1.0) 2)) in y
14.429 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y
14.429 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
14.429 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.429 * [taylor]: Taking taylor expansion of y in y
14.430 * [taylor]: Taking taylor expansion of 1.0 in y
14.431 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 y) 1.0) 2) 1/3) in y
14.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 y) 1.0) 2)))) in y
14.431 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 y) 1.0) 2))) in y
14.431 * [taylor]: Taking taylor expansion of 1/3 in y
14.431 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 y) 1.0) 2)) in y
14.431 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y
14.431 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
14.431 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.431 * [taylor]: Taking taylor expansion of y in y
14.431 * [taylor]: Taking taylor expansion of 1.0 in y
14.455 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1)
14.455 * [approximate]: Taking taylor expansion of (pow (- 1.0 y) 1/3) in (y) around 0
14.455 * [taylor]: Taking taylor expansion of (pow (- 1.0 y) 1/3) in y
14.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 y)))) in y
14.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 y))) in y
14.456 * [taylor]: Taking taylor expansion of 1/3 in y
14.456 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
14.456 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
14.456 * [taylor]: Taking taylor expansion of 1.0 in y
14.456 * [taylor]: Taking taylor expansion of y in y
14.458 * [taylor]: Taking taylor expansion of (pow (- 1.0 y) 1/3) in y
14.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 y)))) in y
14.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 y))) in y
14.458 * [taylor]: Taking taylor expansion of 1/3 in y
14.458 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
14.458 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
14.458 * [taylor]: Taking taylor expansion of 1.0 in y
14.458 * [taylor]: Taking taylor expansion of y in y
14.499 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 y)) 1/3) in (y) around 0
14.499 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 y)) 1/3) in y
14.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 y))))) in y
14.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 y)))) in y
14.499 * [taylor]: Taking taylor expansion of 1/3 in y
14.499 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
14.499 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
14.499 * [taylor]: Taking taylor expansion of 1.0 in y
14.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.499 * [taylor]: Taking taylor expansion of y in y
14.501 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 y)) 1/3) in y
14.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 y))))) in y
14.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 y)))) in y
14.501 * [taylor]: Taking taylor expansion of 1/3 in y
14.501 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
14.501 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
14.501 * [taylor]: Taking taylor expansion of 1.0 in y
14.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.501 * [taylor]: Taking taylor expansion of y in y
14.528 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in (y) around 0
14.528 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
14.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
14.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
14.528 * [taylor]: Taking taylor expansion of 1/3 in y
14.528 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
14.528 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
14.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.528 * [taylor]: Taking taylor expansion of y in y
14.528 * [taylor]: Taking taylor expansion of 1.0 in y
14.529 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
14.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
14.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
14.529 * [taylor]: Taking taylor expansion of 1/3 in y
14.529 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
14.529 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
14.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.529 * [taylor]: Taking taylor expansion of y in y
14.529 * [taylor]: Taking taylor expansion of 1.0 in y
14.549 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
14.549 * [approximate]: Taking taylor expansion of (pow (- 1.0 y) 1/3) in (y) around 0
14.549 * [taylor]: Taking taylor expansion of (pow (- 1.0 y) 1/3) in y
14.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 y)))) in y
14.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 y))) in y
14.549 * [taylor]: Taking taylor expansion of 1/3 in y
14.549 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
14.549 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
14.549 * [taylor]: Taking taylor expansion of 1.0 in y
14.549 * [taylor]: Taking taylor expansion of y in y
14.551 * [taylor]: Taking taylor expansion of (pow (- 1.0 y) 1/3) in y
14.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 y)))) in y
14.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 y))) in y
14.551 * [taylor]: Taking taylor expansion of 1/3 in y
14.551 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
14.551 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
14.551 * [taylor]: Taking taylor expansion of 1.0 in y
14.551 * [taylor]: Taking taylor expansion of y in y
14.593 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 y)) 1/3) in (y) around 0
14.593 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 y)) 1/3) in y
14.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 y))))) in y
14.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 y)))) in y
14.593 * [taylor]: Taking taylor expansion of 1/3 in y
14.593 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
14.593 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
14.594 * [taylor]: Taking taylor expansion of 1.0 in y
14.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.594 * [taylor]: Taking taylor expansion of y in y
14.596 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 y)) 1/3) in y
14.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 y))))) in y
14.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 y)))) in y
14.596 * [taylor]: Taking taylor expansion of 1/3 in y
14.596 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
14.596 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
14.596 * [taylor]: Taking taylor expansion of 1.0 in y
14.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.596 * [taylor]: Taking taylor expansion of y in y
14.622 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in (y) around 0
14.622 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
14.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
14.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
14.622 * [taylor]: Taking taylor expansion of 1/3 in y
14.622 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
14.622 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
14.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.622 * [taylor]: Taking taylor expansion of y in y
14.623 * [taylor]: Taking taylor expansion of 1.0 in y
14.623 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
14.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
14.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
14.623 * [taylor]: Taking taylor expansion of 1/3 in y
14.624 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
14.624 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
14.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.624 * [taylor]: Taking taylor expansion of y in y
14.624 * [taylor]: Taking taylor expansion of 1.0 in y
14.643 * * * [progress]: simplifying candidates
14.645 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (log1p (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))
  (+ (log x) (log (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (log (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (exp (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (* (* (* x x) x) (* (* (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))) (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))) (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (* (cbrt (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))) (cbrt (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))))
  (cbrt (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (* (* (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))) (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))) (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (sqrt (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (sqrt (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (* (sqrt x) (sqrt (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (* (sqrt x) (sqrt (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (* x (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))))
  (* x (fma (- (* (cbrt (- 1.0 y)) z)) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))))
  (* x (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))))
  (* x (fma (- (* (cbrt (- 1.0 y)) z)) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))))
  (* x (fma 1 1.0 (- (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))))
  (* x (fma (- (* (cbrt (- 1.0 y)) z)) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))))
  (* x 1.0)
  (* x (- (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))
  (* x 1.0)
  (* x (- (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))) x)
  (* (fma (- (* (cbrt (- 1.0 y)) z)) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))) x)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))) x)
  (* (fma (- (* (cbrt (- 1.0 y)) z)) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))) x)
  (* (fma 1 1.0 (- (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))) x)
  (* (fma (- (* (cbrt (- 1.0 y)) z)) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (* (cbrt (- 1.0 y)) z) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))) x)
  (* 1.0 x)
  (* (- (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))) x)
  (* 1.0 x)
  (* (- (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))) x)
  (* x (* (cbrt (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))) (cbrt (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))))
  (* x (sqrt (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (* x 1)
  (* (cbrt x) (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))
  (* (sqrt x) (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))
  (* x (- 1.0 (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z))))
  (* x (- (pow 1.0 3) (pow (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)) 3)))
  (* x (- (* 1.0 1.0) (* (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)) (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) z)))))
  (expm1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (log1p (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (- 1.0 y) (- 1.0 y))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (+ 1 1)
  (+ (log (cbrt (- 1.0 y))) (log (cbrt (- 1.0 y))))
  (log (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (exp (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (* (- 1.0 y) (- 1.0 y))
  (* (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
  (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (* (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (sqrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (sqrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (* (cbrt (- (pow 1.0 3) (pow y 3))) (cbrt (- (pow 1.0 3) (pow y 3))))
  (* (cbrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (cbrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))))
  (* (cbrt (- (pow 1.0 3) (pow y 3))) (cbrt (- (* 1.0 1.0) (* y y))))
  (* (cbrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (cbrt (+ 1.0 y)))
  (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- (pow 1.0 3) (pow y 3))))
  (* (cbrt (+ 1.0 y)) (cbrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))))
  (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- (* 1.0 1.0) (* y y))))
  (* (cbrt (+ 1.0 y)) (cbrt (+ 1.0 y)))
  (* (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (+ (sqrt 1.0) (sqrt y))) (cbrt (+ (sqrt 1.0) (sqrt y))))
  (* (cbrt (- (sqrt 1.0) (sqrt y))) (cbrt (- (sqrt 1.0) (sqrt y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y)))) (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y)))))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y))))
  (* (sqrt (cbrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (* (sqrt (cbrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (* 1 1)
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (* (sqrt (cbrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  (* (sqrt (cbrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  (* (sqrt (cbrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (* (sqrt (cbrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (- 1.0 y)) (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
  (* (cbrt (- 1.0 y)) (cbrt (sqrt (- 1.0 y))))
  (* (cbrt (- 1.0 y)) (cbrt 1))
  (* (cbrt (- 1.0 y)) (cbrt (+ (sqrt 1.0) (sqrt y))))
  (* (cbrt (- 1.0 y)) (cbrt 1))
  (* (cbrt (- 1.0 y)) (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y)))))
  (* (cbrt (- 1.0 y)) (sqrt (cbrt (- 1.0 y))))
  (* (cbrt (- 1.0 y)) 1)
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (- (sqrt 1.0) (sqrt y))) (cbrt (- 1.0 y)))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (* (sqrt (cbrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (- 1.0 y)) (cbrt (- (pow 1.0 3) (pow y 3))))
  (* (cbrt (- 1.0 y)) (cbrt (- (* 1.0 1.0) (* y y))))
  (* (cbrt (- (pow 1.0 3) (pow y 3))) (cbrt (- 1.0 y)))
  (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- 1.0 y)))
  (expm1 (cbrt (- 1.0 y)))
  (log1p (cbrt (- 1.0 y)))
  (log (cbrt (- 1.0 y)))
  (exp (cbrt (- 1.0 y)))
  (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (cbrt (cbrt (- 1.0 y)))
  (cbrt (sqrt (- 1.0 y)))
  (cbrt (sqrt (- 1.0 y)))
  (cbrt 1)
  (cbrt (- 1.0 y))
  (cbrt (+ (sqrt 1.0) (sqrt y)))
  (cbrt (- (sqrt 1.0) (sqrt y)))
  (cbrt 1)
  (cbrt (- 1.0 y))
  (cbrt (- (pow 1.0 3) (pow y 3)))
  (cbrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y))))
  (cbrt (- (* 1.0 1.0) (* y y)))
  (cbrt (+ 1.0 y))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y))))
  (cbrt (cbrt (- 1.0 y)))
  (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (sqrt (cbrt (- 1.0 y)))
  (sqrt (cbrt (- 1.0 y)))
  (expm1 (cbrt (- 1.0 y)))
  (log1p (cbrt (- 1.0 y)))
  (log (cbrt (- 1.0 y)))
  (exp (cbrt (- 1.0 y)))
  (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (cbrt (cbrt (- 1.0 y)))
  (cbrt (sqrt (- 1.0 y)))
  (cbrt (sqrt (- 1.0 y)))
  (cbrt 1)
  (cbrt (- 1.0 y))
  (cbrt (+ (sqrt 1.0) (sqrt y)))
  (cbrt (- (sqrt 1.0) (sqrt y)))
  (cbrt 1)
  (cbrt (- 1.0 y))
  (cbrt (- (pow 1.0 3) (pow y 3)))
  (cbrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y))))
  (cbrt (- (* 1.0 1.0) (* y y)))
  (cbrt (+ 1.0 y))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y))))
  (cbrt (cbrt (- 1.0 y)))
  (* (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (sqrt (cbrt (- 1.0 y)))
  (sqrt (cbrt (- 1.0 y)))
  (- (* 1.0 x) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (+ (pow 1.0 1/3) (* 0.5555555555555556 (* (pow y 2) (pow 1.0 1/3)))) (+ (* 0.6666666666666666 (* (pow y 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (* 0.6666666666666666 (* y (pow 1.0 1/3)))))
  (- (pow (/ 1 y) -2/3) (+ (* 0.6666666666666666 (pow (/ 1 y) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow y 4)) 1/3))))
  (- (pow (/ -1 y) -2/3) (+ (* 0.6666666666666666 (pow (/ 1 y) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow y 4)) 1/3))))
  (- (+ (pow 1.0 1/3) (* 0.05555555555555555 (* (pow y 2) (pow 1.0 1/3)))) (+ (* 1/6 (* (pow y 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (* 0.3333333333333333 (* y (pow 1.0 1/3)))))
  (- (exp (* 1/3 (- (log -1) (log (/ 1 y))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 y))))) (pow y 2))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 y))))) y))))
  (- (pow (/ -1 y) -1/3) (+ (* 0.3333333333333333 (pow (/ -1 (pow y 2)) 1/3)) (* 0.1111111111111111 (pow (/ -1 (pow y 5)) 1/3))))
  (- (+ (pow 1.0 1/3) (* 0.05555555555555555 (* (pow y 2) (pow 1.0 1/3)))) (+ (* 1/6 (* (pow y 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (* 0.3333333333333333 (* y (pow 1.0 1/3)))))
  (- (exp (* 1/3 (- (log -1) (log (/ 1 y))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 y))))) (pow y 2))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 y))))) y))))
  (- (pow (/ -1 y) -1/3) (+ (* 0.3333333333333333 (pow (/ -1 (pow y 2)) 1/3)) (* 0.1111111111111111 (pow (/ -1 (pow y 5)) 1/3))))
14.658 * * [simplify]: iteration  0 :  221  enodes  (cost  2449 )
14.704 * * [simplify]: iteration  1 :  492  enodes  (cost  2315 )
14.840 * * [simplify]: iteration  2 :  1468  enodes  (cost  1775 )
15.397 * * [simplify]: iteration  done :  5000  enodes  (cost  1708 )
15.398 * [simplify]: Simplified to:
   (expm1 (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x))
  (log1p (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x))
  (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x)
  (log (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x))
  (log (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x))
  (exp (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x))
  (pow (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x) 3)
  (* (cbrt (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x)) (cbrt (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x)))
  (cbrt (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x))
  (pow (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x) 3)
  (sqrt (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x))
  (sqrt (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x))
  (* (sqrt x) (sqrt (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3)))))
  (* (sqrt x) (sqrt (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3)))))
  (* x (fma (pow 1.0 2/3) (cbrt 1.0) (* (pow (cbrt (- 1.0 y)) 3) (- z))))
  (* (* z (pow (cbrt (- 1.0 y)) 3)) (+ (- x) x))
  (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x)
  (* (* z (pow (cbrt (- 1.0 y)) 3)) (+ (- x) x))
  (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x)
  (* (* z (pow (cbrt (- 1.0 y)) 3)) (+ (- x) x))
  (* x 1.0)
  (* (* (pow (cbrt (- 1.0 y)) 3) (- z)) x)
  (* x 1.0)
  (* (* (pow (cbrt (- 1.0 y)) 3) (- z)) x)
  (* x (fma (pow 1.0 2/3) (cbrt 1.0) (* (pow (cbrt (- 1.0 y)) 3) (- z))))
  (* (* z (pow (cbrt (- 1.0 y)) 3)) (+ (- x) x))
  (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x)
  (* (* z (pow (cbrt (- 1.0 y)) 3)) (+ (- x) x))
  (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x)
  (* (* z (pow (cbrt (- 1.0 y)) 3)) (+ (- x) x))
  (* x 1.0)
  (* (* (pow (cbrt (- 1.0 y)) 3) (- z)) x)
  (* x 1.0)
  (* (* (pow (cbrt (- 1.0 y)) 3) (- z)) x)
  (* (* (cbrt (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3)))) x) (cbrt (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3)))))
  (* (sqrt (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3)))) x)
  x
  (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) (cbrt x))
  (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) (sqrt x))
  (* (- 1.0 (* z (pow (cbrt (- 1.0 y)) 3))) x)
  (* x (- (pow 1.0 3) (pow (* z (pow (cbrt (- 1.0 y)) 3)) 3)))
  (* x (- (* 1.0 1.0) (* (pow (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) 3) (* z z))))
  (expm1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (log1p (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  2/3
  2
  (* (- 1.0 y) (- 1.0 y))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  2
  (* 2 (log (cbrt (- 1.0 y))))
  (* 2 (log (cbrt (- 1.0 y))))
  (exp (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (* (- 1.0 y) (- 1.0 y))
  (* (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
  (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (pow (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))) 3)
  (fabs (cbrt (- 1.0 y)))
  (fabs (cbrt (- 1.0 y)))
  (* (cbrt (- (pow 1.0 3) (pow y 3))) (cbrt (- (pow 1.0 3) (pow y 3))))
  (* (cbrt (fma 1.0 1.0 (* y (+ 1.0 y)))) (cbrt (fma 1.0 1.0 (* y (+ 1.0 y)))))
  (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- (pow 1.0 3) (pow y 3))))
  (* (cbrt (+ 1.0 y)) (cbrt (fma 1.0 1.0 (* y (+ 1.0 y)))))
  (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- (pow 1.0 3) (pow y 3))))
  (* (cbrt (+ 1.0 y)) (cbrt (fma 1.0 1.0 (* y (+ 1.0 y)))))
  (* (cbrt (- (* 1.0 1.0) (* y y))) (cbrt (- (* 1.0 1.0) (* y y))))
  (* (cbrt (+ 1.0 y)) (cbrt (+ 1.0 y)))
  (* (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  1
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  1
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (+ (sqrt 1.0) (sqrt y))) (cbrt (+ (sqrt 1.0) (sqrt y))))
  (* (cbrt (- (sqrt 1.0) (sqrt y))) (cbrt (- (sqrt 1.0) (sqrt y))))
  1
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  1
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (pow (cbrt (cbrt (- 1.0 y))) 3) (cbrt (cbrt (- 1.0 y))))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y))))
  (cbrt (- 1.0 y))
  (cbrt (- 1.0 y))
  1
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (* (cbrt (sqrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))))
  (cbrt (- 1.0 y))
  (cbrt (- 1.0 y))
  2/3
  2
  (* (cbrt (- 1.0 y)) (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (cbrt (- 1.0 y))
  (* (cbrt (- 1.0 y)) (cbrt (+ (sqrt 1.0) (sqrt y))))
  (cbrt (- 1.0 y))
  (* (cbrt (- 1.0 y)) (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y)))))
  (pow (sqrt (cbrt (- 1.0 y))) 3)
  (cbrt (- 1.0 y))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (* (cbrt (sqrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (- (sqrt 1.0) (sqrt y))) (cbrt (- 1.0 y)))
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (- 1.0 y)))
  (pow (sqrt (cbrt (- 1.0 y))) 3)
  (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
  (* (cbrt (- 1.0 y)) (cbrt (- (pow 1.0 3) (pow y 3))))
  (* (cbrt (- 1.0 y)) (cbrt (- (* 1.0 1.0) (* y y))))
  (* (cbrt (- 1.0 y)) (cbrt (- (pow 1.0 3) (pow y 3))))
  (* (cbrt (- 1.0 y)) (cbrt (- (* 1.0 1.0) (* y y))))
  (expm1 (cbrt (- 1.0 y)))
  (log1p (cbrt (- 1.0 y)))
  (log (cbrt (- 1.0 y)))
  (exp (cbrt (- 1.0 y)))
  (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (cbrt (cbrt (- 1.0 y)))
  (cbrt (sqrt (- 1.0 y)))
  (cbrt (sqrt (- 1.0 y)))
  1
  (cbrt (- 1.0 y))
  (cbrt (+ (sqrt 1.0) (sqrt y)))
  (cbrt (- (sqrt 1.0) (sqrt y)))
  1
  (cbrt (- 1.0 y))
  (cbrt (- (pow 1.0 3) (pow y 3)))
  (cbrt (fma 1.0 1.0 (* y (+ 1.0 y))))
  (cbrt (- (* 1.0 1.0) (* y y)))
  (cbrt (+ 1.0 y))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y))))
  (cbrt (cbrt (- 1.0 y)))
  (pow (cbrt (- 1.0 y)) 3)
  (sqrt (cbrt (- 1.0 y)))
  (sqrt (cbrt (- 1.0 y)))
  (expm1 (cbrt (- 1.0 y)))
  (log1p (cbrt (- 1.0 y)))
  (log (cbrt (- 1.0 y)))
  (exp (cbrt (- 1.0 y)))
  (cbrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (cbrt (cbrt (- 1.0 y)))
  (cbrt (sqrt (- 1.0 y)))
  (cbrt (sqrt (- 1.0 y)))
  1
  (cbrt (- 1.0 y))
  (cbrt (+ (sqrt 1.0) (sqrt y)))
  (cbrt (- (sqrt 1.0) (sqrt y)))
  1
  (cbrt (- 1.0 y))
  (cbrt (- (pow 1.0 3) (pow y 3)))
  (cbrt (fma 1.0 1.0 (* y (+ 1.0 y))))
  (cbrt (- (* 1.0 1.0) (* y y)))
  (cbrt (+ 1.0 y))
  (* (cbrt (cbrt (- 1.0 y))) (cbrt (cbrt (- 1.0 y))))
  (cbrt (cbrt (- 1.0 y)))
  (pow (cbrt (- 1.0 y)) 3)
  (sqrt (cbrt (- 1.0 y)))
  (sqrt (cbrt (- 1.0 y)))
  (* 1.0 (- x (* x z)))
  (fma x 1.0 (* (* x z) (- y 1.0)))
  (fma x 1.0 (* (* x z) (- y 1.0)))
  (- (fma 0.5555555555555556 (* (cbrt 1.0) (* y y)) (cbrt 1.0)) (* (* y (+ (cbrt 1.0) (* y (cbrt (/ 1 (pow 1.0 5)))))) 0.6666666666666666))
  (- (pow (/ 1 y) -2/3) (fma 0.6666666666666666 (cbrt (/ 1 y)) (* (cbrt (/ 1 (pow y 4))) 0.1111111111111111)))
  (- (pow (/ -1 y) -2/3) (fma 0.6666666666666666 (cbrt (/ 1 y)) (* (cbrt (/ 1 (pow y 4))) 0.1111111111111111)))
  (- (* (pow y 2) (- (* (cbrt 1.0) 0.05555555555555555) (* (cbrt (/ 1 (pow 1.0 5))) 1/6))) (- (* 0.3333333333333333 (* y (cbrt 1.0))) (cbrt 1.0)))
  (- (exp (* 1/3 (+ (log -1) (log y)))) (* (/ (exp (* 1/3 (+ (log -1) (log y)))) y) (+ 0.3333333333333333 (/ 0.1111111111111111 y))))
  (- (pow (/ -1 y) -1/3) (fma 0.3333333333333333 (cbrt (/ -1 (pow y 2))) (* (cbrt (/ -1 (pow y 5))) 0.1111111111111111)))
  (- (* (pow y 2) (- (* (cbrt 1.0) 0.05555555555555555) (* (cbrt (/ 1 (pow 1.0 5))) 1/6))) (- (* 0.3333333333333333 (* y (cbrt 1.0))) (cbrt 1.0)))
  (- (exp (* 1/3 (+ (log -1) (log y)))) (* (/ (exp (* 1/3 (+ (log -1) (log y)))) y) (+ 0.3333333333333333 (/ 0.1111111111111111 y))))
  (- (pow (/ -1 y) -1/3) (fma 0.3333333333333333 (cbrt (/ -1 (pow y 2))) (* (cbrt (/ -1 (pow y 5))) 0.1111111111111111)))
15.400 * * * [progress]: adding candidates to table
15.766 * * [progress]: iteration 3 / 4
15.766 * * * [progress]: picking best candidate
15.774 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))>
15.774 * * * [progress]: localizing error
15.781 * * * [progress]: generating rewritten candidates
15.781 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
15.797 * * * [progress]: generating series expansions
15.797 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
15.797 * [approximate]: Taking taylor expansion of (* x (* z (- y 1.0))) in (x z y) around 0
15.797 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
15.797 * [taylor]: Taking taylor expansion of x in y
15.797 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y
15.797 * [taylor]: Taking taylor expansion of z in y
15.797 * [taylor]: Taking taylor expansion of (- y 1.0) in y
15.797 * [taylor]: Taking taylor expansion of y in y
15.797 * [taylor]: Taking taylor expansion of 1.0 in y
15.797 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
15.797 * [taylor]: Taking taylor expansion of x in z
15.797 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z
15.797 * [taylor]: Taking taylor expansion of z in z
15.797 * [taylor]: Taking taylor expansion of (- y 1.0) in z
15.797 * [taylor]: Taking taylor expansion of y in z
15.797 * [taylor]: Taking taylor expansion of 1.0 in z
15.797 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in x
15.797 * [taylor]: Taking taylor expansion of x in x
15.797 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in x
15.797 * [taylor]: Taking taylor expansion of z in x
15.797 * [taylor]: Taking taylor expansion of (- y 1.0) in x
15.797 * [taylor]: Taking taylor expansion of y in x
15.797 * [taylor]: Taking taylor expansion of 1.0 in x
15.797 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in x
15.797 * [taylor]: Taking taylor expansion of x in x
15.797 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in x
15.797 * [taylor]: Taking taylor expansion of z in x
15.797 * [taylor]: Taking taylor expansion of (- y 1.0) in x
15.797 * [taylor]: Taking taylor expansion of y in x
15.797 * [taylor]: Taking taylor expansion of 1.0 in x
15.798 * [taylor]: Taking taylor expansion of 0 in z
15.798 * [taylor]: Taking taylor expansion of 0 in y
15.799 * [taylor]: Taking taylor expansion of (- (* z y) (* 1.0 z)) in z
15.799 * [taylor]: Taking taylor expansion of (* z y) in z
15.799 * [taylor]: Taking taylor expansion of z in z
15.799 * [taylor]: Taking taylor expansion of y in z
15.799 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
15.799 * [taylor]: Taking taylor expansion of 1.0 in z
15.799 * [taylor]: Taking taylor expansion of z in z
15.800 * [taylor]: Taking taylor expansion of 0 in y
15.800 * [taylor]: Taking taylor expansion of 0 in y
15.801 * [taylor]: Taking taylor expansion of 0 in z
15.801 * [taylor]: Taking taylor expansion of 0 in y
15.803 * [taylor]: Taking taylor expansion of (- y 1.0) in y
15.803 * [taylor]: Taking taylor expansion of y in y
15.803 * [taylor]: Taking taylor expansion of 1.0 in y
15.804 * [taylor]: Taking taylor expansion of 0 in y
15.806 * [taylor]: Taking taylor expansion of 0 in z
15.806 * [taylor]: Taking taylor expansion of 0 in y
15.806 * [taylor]: Taking taylor expansion of 0 in y
15.806 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in (x z y) around 0
15.807 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
15.807 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
15.807 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.807 * [taylor]: Taking taylor expansion of y in y
15.807 * [taylor]: Taking taylor expansion of 1.0 in y
15.807 * [taylor]: Taking taylor expansion of (* x z) in y
15.807 * [taylor]: Taking taylor expansion of x in y
15.807 * [taylor]: Taking taylor expansion of z in y
15.807 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
15.807 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z
15.807 * [taylor]: Taking taylor expansion of (/ 1 y) in z
15.807 * [taylor]: Taking taylor expansion of y in z
15.807 * [taylor]: Taking taylor expansion of 1.0 in z
15.807 * [taylor]: Taking taylor expansion of (* x z) in z
15.807 * [taylor]: Taking taylor expansion of x in z
15.807 * [taylor]: Taking taylor expansion of z in z
15.808 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in x
15.808 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
15.808 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.808 * [taylor]: Taking taylor expansion of y in x
15.808 * [taylor]: Taking taylor expansion of 1.0 in x
15.808 * [taylor]: Taking taylor expansion of (* x z) in x
15.808 * [taylor]: Taking taylor expansion of x in x
15.808 * [taylor]: Taking taylor expansion of z in x
15.810 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in x
15.810 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
15.810 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.810 * [taylor]: Taking taylor expansion of y in x
15.810 * [taylor]: Taking taylor expansion of 1.0 in x
15.810 * [taylor]: Taking taylor expansion of (* x z) in x
15.810 * [taylor]: Taking taylor expansion of x in x
15.810 * [taylor]: Taking taylor expansion of z in x
15.811 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z
15.811 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z
15.811 * [taylor]: Taking taylor expansion of (/ 1 y) in z
15.811 * [taylor]: Taking taylor expansion of y in z
15.811 * [taylor]: Taking taylor expansion of 1.0 in z
15.811 * [taylor]: Taking taylor expansion of z in z
15.811 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
15.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.811 * [taylor]: Taking taylor expansion of y in y
15.812 * [taylor]: Taking taylor expansion of 1.0 in y
15.813 * [taylor]: Taking taylor expansion of 0 in z
15.814 * [taylor]: Taking taylor expansion of 0 in y
15.817 * [taylor]: Taking taylor expansion of 0 in z
15.817 * [taylor]: Taking taylor expansion of 0 in y
15.819 * [taylor]: Taking taylor expansion of 0 in y
15.822 * [taylor]: Taking taylor expansion of 0 in z
15.822 * [taylor]: Taking taylor expansion of 0 in y
15.822 * [taylor]: Taking taylor expansion of 0 in y
15.824 * [taylor]: Taking taylor expansion of 0 in y
15.829 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in (x z y) around 0
15.830 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
15.830 * [taylor]: Taking taylor expansion of -1 in y
15.830 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in y
15.830 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
15.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.830 * [taylor]: Taking taylor expansion of y in y
15.830 * [taylor]: Taking taylor expansion of 1.0 in y
15.830 * [taylor]: Taking taylor expansion of (* x z) in y
15.830 * [taylor]: Taking taylor expansion of x in y
15.830 * [taylor]: Taking taylor expansion of z in y
15.831 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
15.831 * [taylor]: Taking taylor expansion of -1 in z
15.831 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in z
15.831 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
15.831 * [taylor]: Taking taylor expansion of (/ 1 y) in z
15.831 * [taylor]: Taking taylor expansion of y in z
15.831 * [taylor]: Taking taylor expansion of 1.0 in z
15.831 * [taylor]: Taking taylor expansion of (* x z) in z
15.831 * [taylor]: Taking taylor expansion of x in z
15.831 * [taylor]: Taking taylor expansion of z in z
15.831 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in x
15.831 * [taylor]: Taking taylor expansion of -1 in x
15.831 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in x
15.831 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
15.831 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.831 * [taylor]: Taking taylor expansion of y in x
15.831 * [taylor]: Taking taylor expansion of 1.0 in x
15.831 * [taylor]: Taking taylor expansion of (* x z) in x
15.831 * [taylor]: Taking taylor expansion of x in x
15.831 * [taylor]: Taking taylor expansion of z in x
15.832 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in x
15.832 * [taylor]: Taking taylor expansion of -1 in x
15.832 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in x
15.832 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
15.832 * [taylor]: Taking taylor expansion of (/ 1 y) in x
15.832 * [taylor]: Taking taylor expansion of y in x
15.832 * [taylor]: Taking taylor expansion of 1.0 in x
15.832 * [taylor]: Taking taylor expansion of (* x z) in x
15.832 * [taylor]: Taking taylor expansion of x in x
15.832 * [taylor]: Taking taylor expansion of z in x
15.832 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z
15.832 * [taylor]: Taking taylor expansion of -1 in z
15.832 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z
15.833 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
15.833 * [taylor]: Taking taylor expansion of (/ 1 y) in z
15.833 * [taylor]: Taking taylor expansion of y in z
15.833 * [taylor]: Taking taylor expansion of 1.0 in z
15.833 * [taylor]: Taking taylor expansion of z in z
15.833 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 y) 1.0)) in y
15.833 * [taylor]: Taking taylor expansion of -1 in y
15.833 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
15.833 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.833 * [taylor]: Taking taylor expansion of y in y
15.833 * [taylor]: Taking taylor expansion of 1.0 in y
15.835 * [taylor]: Taking taylor expansion of 0 in z
15.836 * [taylor]: Taking taylor expansion of 0 in y
15.840 * [taylor]: Taking taylor expansion of 0 in z
15.840 * [taylor]: Taking taylor expansion of 0 in y
15.842 * [taylor]: Taking taylor expansion of 0 in y
15.845 * [taylor]: Taking taylor expansion of 0 in z
15.845 * [taylor]: Taking taylor expansion of 0 in y
15.845 * [taylor]: Taking taylor expansion of 0 in y
15.848 * [taylor]: Taking taylor expansion of 0 in y
15.850 * * * [progress]: simplifying candidates
15.851 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* x z) (- y 1.0)))
  (log1p (* (* x z) (- y 1.0)))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (+ (+ (log x) (log z)) (log (- y 1.0)))
  (+ (log (* x z)) (log (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (exp (* (* x z) (- y 1.0)))
  (* (* (* (* x x) x) (* (* z z) z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (* (* (* x z) (* x z)) (* x z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* (* x z) (- y 1.0)))
  (* (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))) (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (* (* x z) (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* (* x z) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (* (* x z) (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0)))))
  (* (* x z) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (* (* x z) (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))))
  (* (* x z) (fma (- 1.0) 1 (* 1.0 1)))
  (* (* x z) (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* (* x z) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (* (* x z) (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0)))))
  (* (* x z) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (* (* x z) (fma (sqrt y) (sqrt y) (- (* 1.0 1))))
  (* (* x z) (fma (- 1.0) 1 (* 1.0 1)))
  (* (* x z) (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* (* x z) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (* (* x z) (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0)))))
  (* (* x z) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (* (* x z) (fma 1 y (- (* 1.0 1))))
  (* (* x z) (fma (- 1.0) 1 (* 1.0 1)))
  (* (* x z) y)
  (* (* x z) (- 1.0))
  (* (* x z) y)
  (* (* x z) (- 1.0))
  (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (* x z))
  (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (* x z))
  (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) (* x z))
  (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (* x z))
  (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))) (* x z))
  (* (fma (- 1.0) 1 (* 1.0 1)) (* x z))
  (* (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (* x z))
  (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (* x z))
  (* (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) (* x z))
  (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (* x z))
  (* (fma (sqrt y) (sqrt y) (- (* 1.0 1))) (* x z))
  (* (fma (- 1.0) 1 (* 1.0 1)) (* x z))
  (* (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (* x z))
  (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (* x z))
  (* (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0)))) (* x z))
  (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (* x z))
  (* (fma 1 y (- (* 1.0 1))) (* x z))
  (* (fma (- 1.0) 1 (* 1.0 1)) (* x z))
  (* y (* x z))
  (* (- 1.0) (* x z))
  (* y (* x z))
  (* (- 1.0) (* x z))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (sqrt (- y 1.0)))
  (* (* x z) 1)
  (* (* x z) (+ (sqrt y) (sqrt 1.0)))
  (* (* x z) 1)
  (* z (- y 1.0))
  (* (* x z) (- (pow y 3) (pow 1.0 3)))
  (* (* x z) (- (* y y) (* 1.0 1.0)))
  (* -1.0 (* x z))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (* x (* z y)) (* 1.0 (* x z)))
15.854 * * [simplify]: iteration  0 :  114  enodes  (cost  877 )
15.881 * * [simplify]: iteration  1 :  299  enodes  (cost  708 )
16.033 * * [simplify]: iteration  2 :  1041  enodes  (cost  568 )
17.055 * * [simplify]: iteration  3 :  3864  enodes  (cost  526 )
18.229 * * [simplify]: iteration  done :  5001  enodes  (cost  526 )
18.229 * [simplify]: Simplified to:
   (expm1 (* (* x z) (- y 1.0)))
  (log1p (* (* x z) (- y 1.0)))
  (* z (* x (- y 1.0)))
  (* z (* x (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (exp (* (* x z) (- y 1.0)))
  (pow (* z (* x (- y 1.0))) 3)
  (pow (* z (* x (- y 1.0))) 3)
  (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* (* x z) (- y 1.0)))
  (pow (* z (* x (- y 1.0))) 3)
  (sqrt (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (* (* x z) (- (pow (cbrt y) 3) 1.0))
  (* (* 1.0 (* x z)) 0)
  (* (* x z) (- (pow (cbrt y) 3) 1.0))
  (* (* 1.0 (* x z)) 0)
  (* (* x z) (- (pow (cbrt y) 3) 1.0))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* x (* z y))
  (* (- 1.0) (* x z))
  (* x (* z y))
  (* (- 1.0) (* x z))
  (* (* x z) (- (pow (cbrt y) 3) 1.0))
  (* (* 1.0 (* x z)) 0)
  (* (* x z) (- (pow (cbrt y) 3) 1.0))
  (* (* 1.0 (* x z)) 0)
  (* (* x z) (- (pow (cbrt y) 3) 1.0))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* z (* x (- y 1.0)))
  (* (* 1.0 (* x z)) 0)
  (* x (* z y))
  (* (- 1.0) (* x z))
  (* x (* z y))
  (* (- 1.0) (* x z))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (sqrt (- y 1.0)))
  (* x z)
  (* (* x z) (+ (sqrt y) (sqrt 1.0)))
  (* x z)
  (* z (- y 1.0))
  (* (* x z) (- (pow y 3) (pow 1.0 3)))
  (* (* x z) (- (* y y) (* 1.0 1.0)))
  (* -1.0 (* x z))
  (* z (* x (- y 1.0)))
  (* z (* x (- y 1.0)))
18.230 * * * [progress]: adding candidates to table
18.294 * * [progress]: iteration 4 / 4
18.294 * * * [progress]: picking best candidate
18.301 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))>
18.301 * * * [progress]: localizing error
18.312 * * * [progress]: generating rewritten candidates
18.312 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 1)
18.329 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 1 2)
18.349 * * * [progress]: generating series expansions
18.349 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 1)
18.349 * [approximate]: Taking taylor expansion of (* x (* z (- y 1.0))) in (z x y) around 0
18.349 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
18.349 * [taylor]: Taking taylor expansion of x in y
18.350 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y
18.350 * [taylor]: Taking taylor expansion of z in y
18.350 * [taylor]: Taking taylor expansion of (- y 1.0) in y
18.350 * [taylor]: Taking taylor expansion of y in y
18.350 * [taylor]: Taking taylor expansion of 1.0 in y
18.350 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in x
18.350 * [taylor]: Taking taylor expansion of x in x
18.350 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in x
18.350 * [taylor]: Taking taylor expansion of z in x
18.350 * [taylor]: Taking taylor expansion of (- y 1.0) in x
18.350 * [taylor]: Taking taylor expansion of y in x
18.350 * [taylor]: Taking taylor expansion of 1.0 in x
18.350 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
18.350 * [taylor]: Taking taylor expansion of x in z
18.350 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z
18.350 * [taylor]: Taking taylor expansion of z in z
18.350 * [taylor]: Taking taylor expansion of (- y 1.0) in z
18.350 * [taylor]: Taking taylor expansion of y in z
18.350 * [taylor]: Taking taylor expansion of 1.0 in z
18.350 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
18.350 * [taylor]: Taking taylor expansion of x in z
18.350 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z
18.350 * [taylor]: Taking taylor expansion of z in z
18.350 * [taylor]: Taking taylor expansion of (- y 1.0) in z
18.350 * [taylor]: Taking taylor expansion of y in z
18.350 * [taylor]: Taking taylor expansion of 1.0 in z
18.351 * [taylor]: Taking taylor expansion of 0 in x
18.351 * [taylor]: Taking taylor expansion of 0 in y
18.352 * [taylor]: Taking taylor expansion of (- (* x y) (* 1.0 x)) in x
18.352 * [taylor]: Taking taylor expansion of (* x y) in x
18.352 * [taylor]: Taking taylor expansion of x in x
18.352 * [taylor]: Taking taylor expansion of y in x
18.352 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
18.352 * [taylor]: Taking taylor expansion of 1.0 in x
18.352 * [taylor]: Taking taylor expansion of x in x
18.353 * [taylor]: Taking taylor expansion of 0 in y
18.353 * [taylor]: Taking taylor expansion of 0 in y
18.355 * [taylor]: Taking taylor expansion of 0 in x
18.355 * [taylor]: Taking taylor expansion of 0 in y
18.357 * [taylor]: Taking taylor expansion of (- y 1.0) in y
18.357 * [taylor]: Taking taylor expansion of y in y
18.357 * [taylor]: Taking taylor expansion of 1.0 in y
18.358 * [taylor]: Taking taylor expansion of 0 in y
18.360 * [taylor]: Taking taylor expansion of 0 in x
18.360 * [taylor]: Taking taylor expansion of 0 in y
18.360 * [taylor]: Taking taylor expansion of 0 in y
18.360 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in (z x y) around 0
18.360 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
18.360 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
18.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.360 * [taylor]: Taking taylor expansion of y in y
18.361 * [taylor]: Taking taylor expansion of 1.0 in y
18.361 * [taylor]: Taking taylor expansion of (* x z) in y
18.361 * [taylor]: Taking taylor expansion of x in y
18.361 * [taylor]: Taking taylor expansion of z in y
18.361 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in x
18.361 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
18.361 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.361 * [taylor]: Taking taylor expansion of y in x
18.361 * [taylor]: Taking taylor expansion of 1.0 in x
18.361 * [taylor]: Taking taylor expansion of (* x z) in x
18.361 * [taylor]: Taking taylor expansion of x in x
18.361 * [taylor]: Taking taylor expansion of z in x
18.362 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
18.362 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z
18.362 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.362 * [taylor]: Taking taylor expansion of y in z
18.362 * [taylor]: Taking taylor expansion of 1.0 in z
18.362 * [taylor]: Taking taylor expansion of (* x z) in z
18.362 * [taylor]: Taking taylor expansion of x in z
18.362 * [taylor]: Taking taylor expansion of z in z
18.363 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
18.363 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z
18.363 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.363 * [taylor]: Taking taylor expansion of y in z
18.363 * [taylor]: Taking taylor expansion of 1.0 in z
18.363 * [taylor]: Taking taylor expansion of (* x z) in z
18.363 * [taylor]: Taking taylor expansion of x in z
18.363 * [taylor]: Taking taylor expansion of z in z
18.364 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x
18.364 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
18.364 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.364 * [taylor]: Taking taylor expansion of y in x
18.364 * [taylor]: Taking taylor expansion of 1.0 in x
18.364 * [taylor]: Taking taylor expansion of x in x
18.365 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
18.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.365 * [taylor]: Taking taylor expansion of y in y
18.366 * [taylor]: Taking taylor expansion of 1.0 in y
18.367 * [taylor]: Taking taylor expansion of 0 in x
18.368 * [taylor]: Taking taylor expansion of 0 in y
18.371 * [taylor]: Taking taylor expansion of 0 in x
18.371 * [taylor]: Taking taylor expansion of 0 in y
18.373 * [taylor]: Taking taylor expansion of 0 in y
18.375 * [taylor]: Taking taylor expansion of 0 in x
18.375 * [taylor]: Taking taylor expansion of 0 in y
18.375 * [taylor]: Taking taylor expansion of 0 in y
18.377 * [taylor]: Taking taylor expansion of 0 in y
18.378 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in (z x y) around 0
18.378 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
18.378 * [taylor]: Taking taylor expansion of -1 in y
18.378 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in y
18.378 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
18.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.379 * [taylor]: Taking taylor expansion of y in y
18.379 * [taylor]: Taking taylor expansion of 1.0 in y
18.379 * [taylor]: Taking taylor expansion of (* x z) in y
18.379 * [taylor]: Taking taylor expansion of x in y
18.379 * [taylor]: Taking taylor expansion of z in y
18.379 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in x
18.379 * [taylor]: Taking taylor expansion of -1 in x
18.379 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in x
18.379 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
18.379 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.379 * [taylor]: Taking taylor expansion of y in x
18.379 * [taylor]: Taking taylor expansion of 1.0 in x
18.379 * [taylor]: Taking taylor expansion of (* x z) in x
18.379 * [taylor]: Taking taylor expansion of x in x
18.379 * [taylor]: Taking taylor expansion of z in x
18.380 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
18.380 * [taylor]: Taking taylor expansion of -1 in z
18.380 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in z
18.380 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
18.380 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.380 * [taylor]: Taking taylor expansion of y in z
18.380 * [taylor]: Taking taylor expansion of 1.0 in z
18.380 * [taylor]: Taking taylor expansion of (* x z) in z
18.380 * [taylor]: Taking taylor expansion of x in z
18.380 * [taylor]: Taking taylor expansion of z in z
18.380 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
18.380 * [taylor]: Taking taylor expansion of -1 in z
18.380 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in z
18.380 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
18.380 * [taylor]: Taking taylor expansion of (/ 1 y) in z
18.380 * [taylor]: Taking taylor expansion of y in z
18.380 * [taylor]: Taking taylor expansion of 1.0 in z
18.380 * [taylor]: Taking taylor expansion of (* x z) in z
18.381 * [taylor]: Taking taylor expansion of x in z
18.381 * [taylor]: Taking taylor expansion of z in z
18.381 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) x)) in x
18.381 * [taylor]: Taking taylor expansion of -1 in x
18.381 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x
18.381 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
18.381 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.381 * [taylor]: Taking taylor expansion of y in x
18.381 * [taylor]: Taking taylor expansion of 1.0 in x
18.381 * [taylor]: Taking taylor expansion of x in x
18.381 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 y) 1.0)) in y
18.381 * [taylor]: Taking taylor expansion of -1 in y
18.381 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
18.381 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.381 * [taylor]: Taking taylor expansion of y in y
18.382 * [taylor]: Taking taylor expansion of 1.0 in y
18.383 * [taylor]: Taking taylor expansion of 0 in x
18.385 * [taylor]: Taking taylor expansion of 0 in y
18.388 * [taylor]: Taking taylor expansion of 0 in x
18.388 * [taylor]: Taking taylor expansion of 0 in y
18.390 * [taylor]: Taking taylor expansion of 0 in y
18.393 * [taylor]: Taking taylor expansion of 0 in x
18.393 * [taylor]: Taking taylor expansion of 0 in y
18.393 * [taylor]: Taking taylor expansion of 0 in y
18.395 * [taylor]: Taking taylor expansion of 0 in y
18.397 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 1 2)
18.398 * [approximate]: Taking taylor expansion of (* x (- y 1.0)) in (x y) around 0
18.398 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y
18.398 * [taylor]: Taking taylor expansion of x in y
18.398 * [taylor]: Taking taylor expansion of (- y 1.0) in y
18.398 * [taylor]: Taking taylor expansion of y in y
18.398 * [taylor]: Taking taylor expansion of 1.0 in y
18.398 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x
18.398 * [taylor]: Taking taylor expansion of x in x
18.398 * [taylor]: Taking taylor expansion of (- y 1.0) in x
18.398 * [taylor]: Taking taylor expansion of y in x
18.398 * [taylor]: Taking taylor expansion of 1.0 in x
18.398 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x
18.398 * [taylor]: Taking taylor expansion of x in x
18.398 * [taylor]: Taking taylor expansion of (- y 1.0) in x
18.398 * [taylor]: Taking taylor expansion of y in x
18.398 * [taylor]: Taking taylor expansion of 1.0 in x
18.398 * [taylor]: Taking taylor expansion of 0 in y
18.399 * [taylor]: Taking taylor expansion of (- y 1.0) in y
18.399 * [taylor]: Taking taylor expansion of y in y
18.399 * [taylor]: Taking taylor expansion of 1.0 in y
18.401 * [taylor]: Taking taylor expansion of 0 in y
18.403 * [taylor]: Taking taylor expansion of 0 in y
18.405 * [taylor]: Taking taylor expansion of 0 in y
18.406 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in (x y) around 0
18.406 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in y
18.406 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
18.406 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.406 * [taylor]: Taking taylor expansion of y in y
18.406 * [taylor]: Taking taylor expansion of 1.0 in y
18.406 * [taylor]: Taking taylor expansion of x in y
18.406 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x
18.406 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
18.406 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.406 * [taylor]: Taking taylor expansion of y in x
18.406 * [taylor]: Taking taylor expansion of 1.0 in x
18.406 * [taylor]: Taking taylor expansion of x in x
18.407 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x
18.407 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
18.407 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.407 * [taylor]: Taking taylor expansion of y in x
18.407 * [taylor]: Taking taylor expansion of 1.0 in x
18.407 * [taylor]: Taking taylor expansion of x in x
18.408 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
18.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.408 * [taylor]: Taking taylor expansion of y in y
18.408 * [taylor]: Taking taylor expansion of 1.0 in y
18.409 * [taylor]: Taking taylor expansion of 0 in y
18.412 * [taylor]: Taking taylor expansion of 0 in y
18.415 * [taylor]: Taking taylor expansion of 0 in y
18.418 * [taylor]: Taking taylor expansion of 0 in y
18.419 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in (x y) around 0
18.419 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in y
18.419 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
18.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.419 * [taylor]: Taking taylor expansion of y in y
18.419 * [taylor]: Taking taylor expansion of 1.0 in y
18.419 * [taylor]: Taking taylor expansion of x in y
18.420 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x
18.420 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
18.420 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.420 * [taylor]: Taking taylor expansion of y in x
18.420 * [taylor]: Taking taylor expansion of 1.0 in x
18.420 * [taylor]: Taking taylor expansion of x in x
18.420 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x
18.420 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
18.420 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.420 * [taylor]: Taking taylor expansion of y in x
18.420 * [taylor]: Taking taylor expansion of 1.0 in x
18.420 * [taylor]: Taking taylor expansion of x in x
18.420 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
18.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.420 * [taylor]: Taking taylor expansion of y in y
18.421 * [taylor]: Taking taylor expansion of 1.0 in y
18.422 * [taylor]: Taking taylor expansion of 0 in y
18.430 * [taylor]: Taking taylor expansion of 0 in y
18.432 * [taylor]: Taking taylor expansion of 0 in y
18.435 * [taylor]: Taking taylor expansion of 0 in y
18.435 * * * [progress]: simplifying candidates
18.437 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* z (* x (- y 1.0))))
  (log1p (* z (* x (- y 1.0))))
  (* z (* x (- y 1.0)))
  (* z (* x (- y 1.0)))
  (+ (log z) (+ (log x) (log (- y 1.0))))
  (+ (log z) (log (* x (- y 1.0))))
  (log (* z (* x (- y 1.0))))
  (exp (* z (* x (- y 1.0))))
  (* (* (* z z) z) (* (* (* x x) x) (* (* (- y 1.0) (- y 1.0)) (- y 1.0))))
  (* (* (* z z) z) (* (* (* x (- y 1.0)) (* x (- y 1.0))) (* x (- y 1.0))))
  (* (cbrt (* z (* x (- y 1.0)))) (cbrt (* z (* x (- y 1.0)))))
  (cbrt (* z (* x (- y 1.0))))
  (* (* (* z (* x (- y 1.0))) (* z (* x (- y 1.0)))) (* z (* x (- y 1.0))))
  (sqrt (* z (* x (- y 1.0))))
  (sqrt (* z (* x (- y 1.0))))
  (* z (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))))
  (* z (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* z (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0))))))
  (* z (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))))
  (* z (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1)))))
  (* z (* x (fma (- 1.0) 1 (* 1.0 1))))
  (* z (* x (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))))
  (* z (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* z (* x (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0))))))
  (* z (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))))
  (* z (* x (fma (sqrt y) (sqrt y) (- (* 1.0 1)))))
  (* z (* x (fma (- 1.0) 1 (* 1.0 1))))
  (* z (* x (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))))
  (* z (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* z (* x (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0))))))
  (* z (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))))
  (* z (* x (fma 1 y (- (* 1.0 1)))))
  (* z (* x (fma (- 1.0) 1 (* 1.0 1))))
  (* z (* x y))
  (* z (* x (- 1.0)))
  (* z (* x y))
  (* z (* x (- 1.0)))
  (* z (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x))
  (* z (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x))
  (* z (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) x))
  (* z (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x))
  (* z (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))) x))
  (* z (* (fma (- 1.0) 1 (* 1.0 1)) x))
  (* z (* (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x))
  (* z (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x))
  (* z (* (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) x))
  (* z (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x))
  (* z (* (fma (sqrt y) (sqrt y) (- (* 1.0 1))) x))
  (* z (* (fma (- 1.0) 1 (* 1.0 1)) x))
  (* z (* (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x))
  (* z (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x))
  (* z (* (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0)))) x))
  (* z (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x))
  (* z (* (fma 1 y (- (* 1.0 1))) x))
  (* z (* (fma (- 1.0) 1 (* 1.0 1)) x))
  (* z (* y x))
  (* z (* (- 1.0) x))
  (* z (* y x))
  (* z (* (- 1.0) x))
  (* (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) z)
  (* (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) z)
  (* (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0))))) z)
  (* (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) z)
  (* (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1)))) z)
  (* (* x (fma (- 1.0) 1 (* 1.0 1))) z)
  (* (* x (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) z)
  (* (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) z)
  (* (* x (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0))))) z)
  (* (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) z)
  (* (* x (fma (sqrt y) (sqrt y) (- (* 1.0 1)))) z)
  (* (* x (fma (- 1.0) 1 (* 1.0 1))) z)
  (* (* x (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) z)
  (* (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) z)
  (* (* x (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0))))) z)
  (* (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) z)
  (* (* x (fma 1 y (- (* 1.0 1)))) z)
  (* (* x (fma (- 1.0) 1 (* 1.0 1))) z)
  (* (* x y) z)
  (* (* x (- 1.0)) z)
  (* (* x y) z)
  (* (* x (- 1.0)) z)
  (* (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x) z)
  (* (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x) z)
  (* (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) x) z)
  (* (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x) z)
  (* (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))) x) z)
  (* (* (fma (- 1.0) 1 (* 1.0 1)) x) z)
  (* (* (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x) z)
  (* (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x) z)
  (* (* (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) x) z)
  (* (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x) z)
  (* (* (fma (sqrt y) (sqrt y) (- (* 1.0 1))) x) z)
  (* (* (fma (- 1.0) 1 (* 1.0 1)) x) z)
  (* (* (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x) z)
  (* (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x) z)
  (* (* (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0)))) x) z)
  (* (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x) z)
  (* (* (fma 1 y (- (* 1.0 1))) x) z)
  (* (* (fma (- 1.0) 1 (* 1.0 1)) x) z)
  (* (* y x) z)
  (* (* (- 1.0) x) z)
  (* (* y x) z)
  (* (* (- 1.0) x) z)
  (* z x)
  (* (cbrt z) (* x (- y 1.0)))
  (* (sqrt z) (* x (- y 1.0)))
  (* z (* x (- y 1.0)))
  (* z (* x (- (pow y 3) (pow 1.0 3))))
  (* z (* x (- (* y y) (* 1.0 1.0))))
  (expm1 (* x (- y 1.0)))
  (log1p (* x (- y 1.0)))
  (* x (- y 1.0))
  (+ (log x) (log (- y 1.0)))
  (log (* x (- y 1.0)))
  (exp (* x (- y 1.0)))
  (* (* (* x x) x) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0))))
  (cbrt (* x (- y 1.0)))
  (* (* (* x (- y 1.0)) (* x (- y 1.0))) (* x (- y 1.0)))
  (sqrt (* x (- y 1.0)))
  (sqrt (* x (- y 1.0)))
  (* (sqrt x) (sqrt (- y 1.0)))
  (* (sqrt x) (sqrt (- y 1.0)))
  (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0)))))
  (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (* x (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))))
  (* x (fma (- 1.0) 1 (* 1.0 1)))
  (* x (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (* x (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0)))))
  (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (* x (fma (sqrt y) (sqrt y) (- (* 1.0 1))))
  (* x (fma (- 1.0) 1 (* 1.0 1)))
  (* x (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* x (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (* x (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0)))))
  (* x (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (* x (fma 1 y (- (* 1.0 1))))
  (* x (fma (- 1.0) 1 (* 1.0 1)))
  (* x y)
  (* x (- 1.0))
  (* x y)
  (* x (- 1.0))
  (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x)
  (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x)
  (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) x)
  (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x)
  (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))) x)
  (* (fma (- 1.0) 1 (* 1.0 1)) x)
  (* (fma (sqrt y) (sqrt y) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x)
  (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x)
  (* (fma (sqrt y) (sqrt y) (- (* (sqrt 1.0) (sqrt 1.0)))) x)
  (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x)
  (* (fma (sqrt y) (sqrt y) (- (* 1.0 1))) x)
  (* (fma (- 1.0) 1 (* 1.0 1)) x)
  (* (fma 1 y (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) x)
  (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) x)
  (* (fma 1 y (- (* (sqrt 1.0) (sqrt 1.0)))) x)
  (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) x)
  (* (fma 1 y (- (* 1.0 1))) x)
  (* (fma (- 1.0) 1 (* 1.0 1)) x)
  (* y x)
  (* (- 1.0) x)
  (* y x)
  (* (- 1.0) x)
  (* x (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* x (sqrt (- y 1.0)))
  (* x 1)
  (* x (+ (sqrt y) (sqrt 1.0)))
  (* x 1)
  (* (cbrt x) (- y 1.0))
  (* (sqrt x) (- y 1.0))
  (* x (- y 1.0))
  (* x (- (pow y 3) (pow 1.0 3)))
  (* x (- (* y y) (* 1.0 1.0)))
  (* -1.0 (* x z))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (* x y) (* 1.0 x))
  (- (* x y) (* 1.0 x))
  (- (* x y) (* 1.0 x))
18.443 * * [simplify]: iteration  0 :  190  enodes  (cost  2187 )
18.499 * * [simplify]: iteration  1 :  406  enodes  (cost  1693 )
18.613 * * [simplify]: iteration  2 :  939  enodes  (cost  1347 )
19.231 * * [simplify]: iteration  3 :  3299  enodes  (cost  1221 )
20.326 * * [simplify]: iteration  done :  5001  enodes  (cost  1221 )
20.326 * [simplify]: Simplified to:
   (expm1 (* z (* x (- y 1.0))))
  (log1p (* z (* x (- y 1.0))))
  (* (* x (- y 1.0)) z)
  (* (* x (- y 1.0)) z)
  (log (* z (* x (- y 1.0))))
  (log (* z (* x (- y 1.0))))
  (log (* z (* x (- y 1.0))))
  (exp (* z (* x (- y 1.0))))
  (pow (* (* x (- y 1.0)) z) 3)
  (pow (* (* x (- y 1.0)) z) 3)
  (* (cbrt (* z (* x (- y 1.0)))) (cbrt (* z (* x (- y 1.0)))))
  (cbrt (* z (* x (- y 1.0))))
  (pow (* (* x (- y 1.0)) z) 3)
  (sqrt (* z (* x (- y 1.0))))
  (sqrt (* z (* x (- y 1.0))))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* z (* y x))
  (- (* 1.0 (* x z)))
  (* z (* y x))
  (- (* 1.0 (* x z)))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* z (* y x))
  (- (* 1.0 (* x z)))
  (* z (* y x))
  (- (* 1.0 (* x z)))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* z (* y x))
  (- (* 1.0 (* x z)))
  (* z (* y x))
  (- (* 1.0 (* x z)))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (- (pow (cbrt y) 3) 1.0) (* z x))
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* (* x (- y 1.0)) z)
  (* z (* (- 1.0 1.0) x))
  (* z (* y x))
  (- (* 1.0 (* x z)))
  (* z (* y x))
  (- (* 1.0 (* x z)))
  (* z x)
  (* (cbrt z) (* x (- y 1.0)))
  (* (sqrt z) (* x (- y 1.0)))
  (* (* x (- y 1.0)) z)
  (* z (* x (- (pow y 3) (pow 1.0 3))))
  (* z (* x (- (* y y) (* 1.0 1.0))))
  (expm1 (* x (- y 1.0)))
  (log1p (* x (- y 1.0)))
  (* x (- y 1.0))
  (log (* x (- y 1.0)))
  (log (* x (- y 1.0)))
  (exp (* x (- y 1.0)))
  (pow (* x (- y 1.0)) 3)
  (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0))))
  (cbrt (* x (- y 1.0)))
  (pow (* x (- y 1.0)) 3)
  (sqrt (* x (- y 1.0)))
  (sqrt (* x (- y 1.0)))
  (* (sqrt x) (sqrt (- y 1.0)))
  (* (sqrt x) (sqrt (- y 1.0)))
  (* (- (pow (cbrt y) 3) 1.0) x)
  (* (- 1.0 1.0) x)
  (* (- (pow (cbrt y) 3) 1.0) x)
  (* (- 1.0 1.0) x)
  (* (- (pow (cbrt y) 3) 1.0) x)
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x y)
  (* x (- 1.0))
  (* x y)
  (* x (- 1.0))
  (* (- (pow (cbrt y) 3) 1.0) x)
  (* (- 1.0 1.0) x)
  (* (- (pow (cbrt y) 3) 1.0) x)
  (* (- 1.0 1.0) x)
  (* (- (pow (cbrt y) 3) 1.0) x)
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x (- y 1.0))
  (* (- 1.0 1.0) x)
  (* x y)
  (* x (- 1.0))
  (* x y)
  (* x (- 1.0))
  (* x (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* x (sqrt (- y 1.0)))
  x
  (* x (+ (sqrt y) (sqrt 1.0)))
  x
  (* (cbrt x) (- y 1.0))
  (* (sqrt x) (- y 1.0))
  (* x (- y 1.0))
  (* x (- (pow y 3) (pow 1.0 3)))
  (* x (- (* y y) (* 1.0 1.0)))
  (* -1.0 (* x z))
  (* (* x (- y 1.0)) z)
  (* (* x (- y 1.0)) z)
  (* x (- y 1.0))
  (* x (- y 1.0))
  (* x (- y 1.0))
20.328 * * * [progress]: adding candidates to table
20.475 * [progress]: [Phase 3 of 3] Extracting.
20.475 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.476 * * * [regime-changes]: Trying 7 branch expressions: ((- 1.0 y) (* (- 1.0 y) z) (- 1.0 (* (- 1.0 y) z)) (* x (- 1.0 (* (- 1.0 y) z))) z y x)
20.476 * * * * [regimes]: Trying to branch on (- 1.0 y) from (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.496 * * * * [regimes]: Trying to branch on (* (- 1.0 y) z) from (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.528 * * * * [regimes]: Trying to branch on (- 1.0 (* (- 1.0 y) z)) from (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.559 * * * * [regimes]: Trying to branch on (* x (- 1.0 (* (- 1.0 y) z))) from (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.592 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.615 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.636 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.670 * * * [regime]: Found split indices: #<option (#s(si 1 82) #s(si 3 176) #s(si 0 255))>
20.671 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.738 * [regimes]: Found splitpoints: (#s(sp 1 x -5.314245859374439e-53) #s(sp 3 x 1.0069787624898928e-168) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x y z) (fma x 1.0 (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (* x (sqrt (fma (- y 1.0) z 1.0))) (sqrt (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (fma (- y 1.0) z 1.0))))>)
20.738 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= x -5.314245859374439e-53) (* x (- 1.0 (* (- 1.0 y) z))) (if (<= x 1.0069787624898928e-168) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))) (fma x 1.0 (* (* x z) (- y 1.0)))))
20.739 * * [simplify]: iteration  0 :  25  enodes  (cost  45 )
20.740 * * [simplify]: iteration  1 :  34  enodes  (cost  45 )
20.741 * * [simplify]: iteration  done :  34  enodes  (cost  45 )
20.741 * [simplify]: Simplified to:
   (if (<= x -5.314245859374439e-53) (* x (- 1.0 (* (- 1.0 y) z))) (if (<= x 1.0069787624898928e-168) (fma x 1.0 (+ (* z (* x (- y 1.0))) (* (* 1.0 (* x z)) 0))) (fma x 1.0 (* (* x z) (- y 1.0)))))
21.370 * [regime-testing]: Baseline error score: 1.4696548192281371
21.370 * [regime-testing]: Oracle error score: 0.012376547068383549
21.371 * [regime-testing]: End program error score: 0.26027259738821223
21.398 * [regime-testing]: Target error score: 0.17968994249317222