12.174 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.030 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))
0.033 * * [simplify]: iteration  0 :  23  enodes  (cost  7 )
0.035 * * [simplify]: iteration  1 :  59  enodes  (cost  6 )
0.037 * * [simplify]: iteration  2 :  111  enodes  (cost  6 )
0.040 * * [simplify]: iteration  3 :  204  enodes  (cost  6 )
0.043 * * [simplify]: iteration  4 :  369  enodes  (cost  6 )
0.049 * * [simplify]: iteration  5 :  839  enodes  (cost  6 )
0.061 * * [simplify]: iteration  6 :  2168  enodes  (cost  6 )
0.090 * * [simplify]: iteration  7 :  5001  enodes  (cost  6 )
0.091 * [simplify]: Simplified to:
   (/ (/ (fma x x (- (* y y) (* z z))) 2.0) y)
0.094 * * [progress]: iteration 1 / 4
0.094 * * * [progress]: picking best candidate
0.096 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))>
0.096 * * * [progress]: localizing error
0.105 * * * [progress]: generating rewritten candidates
0.105 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.115 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.122 * * * [progress]: generating series expansions
0.122 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.122 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ (pow x 2) (pow y 2)) (pow z 2)) y)) in (x y z) around 0
0.123 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ (pow x 2) (pow y 2)) (pow z 2)) y)) in z
0.123 * [taylor]: Taking taylor expansion of 0.5 in z
0.123 * [taylor]: Taking taylor expansion of (/ (- (+ (pow x 2) (pow y 2)) (pow z 2)) y) in z
0.123 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (pow z 2)) in z
0.123 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in z
0.123 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.123 * [taylor]: Taking taylor expansion of x in z
0.123 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.123 * [taylor]: Taking taylor expansion of y in z
0.123 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.123 * [taylor]: Taking taylor expansion of z in z
0.123 * [taylor]: Taking taylor expansion of y in z
0.123 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ (pow x 2) (pow y 2)) (pow z 2)) y)) in y
0.123 * [taylor]: Taking taylor expansion of 0.5 in y
0.123 * [taylor]: Taking taylor expansion of (/ (- (+ (pow x 2) (pow y 2)) (pow z 2)) y) in y
0.123 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (pow z 2)) in y
0.123 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
0.123 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.123 * [taylor]: Taking taylor expansion of x in y
0.123 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.123 * [taylor]: Taking taylor expansion of y in y
0.123 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.123 * [taylor]: Taking taylor expansion of z in y
0.123 * [taylor]: Taking taylor expansion of y in y
0.124 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ (pow x 2) (pow y 2)) (pow z 2)) y)) in x
0.124 * [taylor]: Taking taylor expansion of 0.5 in x
0.124 * [taylor]: Taking taylor expansion of (/ (- (+ (pow x 2) (pow y 2)) (pow z 2)) y) in x
0.124 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (pow z 2)) in x
0.124 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
0.124 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.124 * [taylor]: Taking taylor expansion of z in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ (pow x 2) (pow y 2)) (pow z 2)) y)) in x
0.124 * [taylor]: Taking taylor expansion of 0.5 in x
0.124 * [taylor]: Taking taylor expansion of (/ (- (+ (pow x 2) (pow y 2)) (pow z 2)) y) in x
0.124 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (pow z 2)) in x
0.125 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
0.125 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.125 * [taylor]: Taking taylor expansion of x in x
0.125 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.125 * [taylor]: Taking taylor expansion of y in x
0.125 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.125 * [taylor]: Taking taylor expansion of z in x
0.125 * [taylor]: Taking taylor expansion of y in x
0.125 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (pow y 2) (pow z 2)) y)) in y
0.125 * [taylor]: Taking taylor expansion of 0.5 in y
0.125 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow z 2)) y) in y
0.125 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y
0.125 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.125 * [taylor]: Taking taylor expansion of y in y
0.125 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.125 * [taylor]: Taking taylor expansion of z in y
0.125 * [taylor]: Taking taylor expansion of y in y
0.126 * [taylor]: Taking taylor expansion of (* -0.5 (pow z 2)) in z
0.126 * [taylor]: Taking taylor expansion of -0.5 in z
0.126 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.126 * [taylor]: Taking taylor expansion of z in z
0.128 * [taylor]: Taking taylor expansion of 0 in y
0.129 * [taylor]: Taking taylor expansion of 0 in z
0.132 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.132 * [taylor]: Taking taylor expansion of 0.5 in y
0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.132 * [taylor]: Taking taylor expansion of y in y
0.132 * [taylor]: Taking taylor expansion of 0.5 in z
0.132 * [taylor]: Taking taylor expansion of 0 in z
0.135 * [taylor]: Taking taylor expansion of 0.5 in z
0.136 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in (x y z) around 0
0.136 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in z
0.137 * [taylor]: Taking taylor expansion of 0.5 in z
0.137 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y) in z
0.137 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in z
0.137 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
0.137 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.137 * [taylor]: Taking taylor expansion of x in z
0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
0.137 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.137 * [taylor]: Taking taylor expansion of y in z
0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.137 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.137 * [taylor]: Taking taylor expansion of z in z
0.138 * [taylor]: Taking taylor expansion of y in z
0.138 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in y
0.138 * [taylor]: Taking taylor expansion of 0.5 in y
0.138 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y) in y
0.138 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in y
0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.138 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.138 * [taylor]: Taking taylor expansion of x in y
0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.138 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.138 * [taylor]: Taking taylor expansion of y in y
0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.138 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.138 * [taylor]: Taking taylor expansion of z in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.139 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in x
0.139 * [taylor]: Taking taylor expansion of 0.5 in x
0.139 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y) in x
0.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in x
0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.139 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.139 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.139 * [taylor]: Taking taylor expansion of y in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.139 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.139 * [taylor]: Taking taylor expansion of z in x
0.140 * [taylor]: Taking taylor expansion of y in x
0.140 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in x
0.140 * [taylor]: Taking taylor expansion of 0.5 in x
0.140 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y) in x
0.140 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in x
0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.140 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.140 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.141 * [taylor]: Taking taylor expansion of y in x
0.141 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.141 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.141 * [taylor]: Taking taylor expansion of z in x
0.141 * [taylor]: Taking taylor expansion of y in x
0.141 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.142 * [taylor]: Taking taylor expansion of 0.5 in y
0.142 * [taylor]: Taking taylor expansion of y in y
0.143 * [taylor]: Taking taylor expansion of 0 in y
0.146 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ y (pow z 2)))) in y
0.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.146 * [taylor]: Taking taylor expansion of 0.5 in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ y (pow z 2))) in y
0.147 * [taylor]: Taking taylor expansion of 0.5 in y
0.147 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.147 * [taylor]: Taking taylor expansion of z in y
0.147 * [taylor]: Taking taylor expansion of 0 in z
0.151 * [taylor]: Taking taylor expansion of 0 in y
0.152 * [taylor]: Taking taylor expansion of 0.5 in z
0.152 * [taylor]: Taking taylor expansion of 0 in z
0.153 * [taylor]: Taking taylor expansion of 0.5 in z
0.158 * [taylor]: Taking taylor expansion of 0 in y
0.159 * [taylor]: Taking taylor expansion of 0 in z
0.159 * [taylor]: Taking taylor expansion of 0 in z
0.160 * [taylor]: Taking taylor expansion of 0 in z
0.166 * [taylor]: Taking taylor expansion of 0 in y
0.166 * [taylor]: Taking taylor expansion of 0 in z
0.168 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow z 2)))) in z
0.168 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in z
0.168 * [taylor]: Taking taylor expansion of 0.5 in z
0.168 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.168 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.168 * [taylor]: Taking taylor expansion of z in z
0.169 * [taylor]: Taking taylor expansion of 0 in z
0.170 * [taylor]: Taking taylor expansion of 0 in z
0.171 * [approximate]: Taking taylor expansion of (* -0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in (x y z) around 0
0.171 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in z
0.171 * [taylor]: Taking taylor expansion of -0.5 in z
0.172 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y) in z
0.172 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in z
0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
0.172 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
0.172 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.172 * [taylor]: Taking taylor expansion of x in z
0.172 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
0.172 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.172 * [taylor]: Taking taylor expansion of y in z
0.172 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.172 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.172 * [taylor]: Taking taylor expansion of z in z
0.173 * [taylor]: Taking taylor expansion of y in z
0.173 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in y
0.173 * [taylor]: Taking taylor expansion of -0.5 in y
0.173 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y) in y
0.173 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in y
0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.173 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.173 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.173 * [taylor]: Taking taylor expansion of x in y
0.173 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.173 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.173 * [taylor]: Taking taylor expansion of y in y
0.178 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.178 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.178 * [taylor]: Taking taylor expansion of z in y
0.178 * [taylor]: Taking taylor expansion of y in y
0.178 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in x
0.178 * [taylor]: Taking taylor expansion of -0.5 in x
0.178 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y) in x
0.178 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in x
0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.178 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.179 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.179 * [taylor]: Taking taylor expansion of y in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.179 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.179 * [taylor]: Taking taylor expansion of z in x
0.179 * [taylor]: Taking taylor expansion of y in x
0.179 * [taylor]: Taking taylor expansion of (* -0.5 (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y)) in x
0.179 * [taylor]: Taking taylor expansion of -0.5 in x
0.179 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) y) in x
0.179 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in x
0.179 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.179 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.180 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.180 * [taylor]: Taking taylor expansion of y in x
0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.180 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.180 * [taylor]: Taking taylor expansion of z in x
0.180 * [taylor]: Taking taylor expansion of y in x
0.181 * [taylor]: Taking taylor expansion of (* -0.5 y) in y
0.181 * [taylor]: Taking taylor expansion of -0.5 in y
0.181 * [taylor]: Taking taylor expansion of y in y
0.183 * [taylor]: Taking taylor expansion of 0 in y
0.186 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ y (pow z 2))) (* 0.5 (/ 1 y))) in y
0.186 * [taylor]: Taking taylor expansion of (* 0.5 (/ y (pow z 2))) in y
0.186 * [taylor]: Taking taylor expansion of 0.5 in y
0.186 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
0.186 * [taylor]: Taking taylor expansion of y in y
0.186 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.186 * [taylor]: Taking taylor expansion of z in y
0.186 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.186 * [taylor]: Taking taylor expansion of 0.5 in y
0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.186 * [taylor]: Taking taylor expansion of y in y
0.187 * [taylor]: Taking taylor expansion of 0 in z
0.190 * [taylor]: Taking taylor expansion of 0 in y
0.192 * [taylor]: Taking taylor expansion of (- 0.5) in z
0.192 * [taylor]: Taking taylor expansion of 0.5 in z
0.192 * [taylor]: Taking taylor expansion of 0 in z
0.193 * [taylor]: Taking taylor expansion of (- 0.5) in z
0.193 * [taylor]: Taking taylor expansion of 0.5 in z
0.198 * [taylor]: Taking taylor expansion of 0 in y
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.207 * [taylor]: Taking taylor expansion of 0 in y
0.207 * [taylor]: Taking taylor expansion of 0 in z
0.208 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow z 2))) in z
0.208 * [taylor]: Taking taylor expansion of 0.5 in z
0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.208 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.208 * [taylor]: Taking taylor expansion of z in z
0.209 * [taylor]: Taking taylor expansion of 0 in z
0.210 * [taylor]: Taking taylor expansion of 0 in z
0.212 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.212 * [approximate]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (pow z 2)) in (x y z) around 0
0.212 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (pow z 2)) in z
0.212 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in z
0.212 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.212 * [taylor]: Taking taylor expansion of x in z
0.212 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.212 * [taylor]: Taking taylor expansion of y in z
0.212 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.212 * [taylor]: Taking taylor expansion of z in z
0.212 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (pow z 2)) in y
0.213 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
0.213 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.213 * [taylor]: Taking taylor expansion of x in y
0.213 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.213 * [taylor]: Taking taylor expansion of y in y
0.213 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.213 * [taylor]: Taking taylor expansion of z in y
0.213 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (pow z 2)) in x
0.213 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
0.213 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.213 * [taylor]: Taking taylor expansion of y in x
0.213 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.213 * [taylor]: Taking taylor expansion of z in x
0.213 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (pow z 2)) in x
0.213 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
0.213 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.213 * [taylor]: Taking taylor expansion of y in x
0.213 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.213 * [taylor]: Taking taylor expansion of z in x
0.213 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y
0.213 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.213 * [taylor]: Taking taylor expansion of y in y
0.213 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.213 * [taylor]: Taking taylor expansion of z in y
0.214 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
0.214 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.214 * [taylor]: Taking taylor expansion of z in z
0.214 * [taylor]: Taking taylor expansion of 0 in y
0.215 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [taylor]: Taking taylor expansion of 0 in z
0.217 * [taylor]: Taking taylor expansion of 1 in y
0.217 * [taylor]: Taking taylor expansion of 1 in z
0.217 * [taylor]: Taking taylor expansion of 0 in z
0.218 * [taylor]: Taking taylor expansion of 1 in z
0.219 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in (x y z) around 0
0.219 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in z
0.219 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
0.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
0.219 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.219 * [taylor]: Taking taylor expansion of x in z
0.220 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
0.220 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.220 * [taylor]: Taking taylor expansion of y in z
0.220 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.220 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.220 * [taylor]: Taking taylor expansion of z in z
0.220 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in y
0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.220 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.220 * [taylor]: Taking taylor expansion of x in y
0.221 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.221 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.221 * [taylor]: Taking taylor expansion of y in y
0.221 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.221 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.221 * [taylor]: Taking taylor expansion of z in y
0.221 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in x
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.221 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.221 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.222 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.222 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.222 * [taylor]: Taking taylor expansion of y in x
0.222 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.222 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.222 * [taylor]: Taking taylor expansion of z in x
0.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in x
0.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.222 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.222 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.223 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.223 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.223 * [taylor]: Taking taylor expansion of y in x
0.223 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.223 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.223 * [taylor]: Taking taylor expansion of z in x
0.224 * [taylor]: Taking taylor expansion of 1 in y
0.225 * [taylor]: Taking taylor expansion of 0 in y
0.227 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
0.227 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.227 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.227 * [taylor]: Taking taylor expansion of y in y
0.227 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.227 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.227 * [taylor]: Taking taylor expansion of z in y
0.228 * [taylor]: Taking taylor expansion of 1 in z
0.228 * [taylor]: Taking taylor expansion of 1 in z
0.230 * [taylor]: Taking taylor expansion of 0 in y
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.236 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
0.237 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.237 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.237 * [taylor]: Taking taylor expansion of z in z
0.237 * [taylor]: Taking taylor expansion of 0 in z
0.238 * [taylor]: Taking taylor expansion of 0 in z
0.239 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in (x y z) around 0
0.239 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in z
0.239 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
0.239 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
0.239 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.239 * [taylor]: Taking taylor expansion of x in z
0.239 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
0.239 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.239 * [taylor]: Taking taylor expansion of y in z
0.239 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.239 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.239 * [taylor]: Taking taylor expansion of z in z
0.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in y
0.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.240 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.240 * [taylor]: Taking taylor expansion of x in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.240 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.240 * [taylor]: Taking taylor expansion of y in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.241 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.241 * [taylor]: Taking taylor expansion of z in y
0.241 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in x
0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.241 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.241 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.242 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.242 * [taylor]: Taking taylor expansion of y in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.242 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.242 * [taylor]: Taking taylor expansion of z in x
0.242 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (/ 1 (pow z 2))) in x
0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.242 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.243 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.243 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.243 * [taylor]: Taking taylor expansion of y in x
0.243 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.243 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.243 * [taylor]: Taking taylor expansion of z in x
0.244 * [taylor]: Taking taylor expansion of 1 in y
0.245 * [taylor]: Taking taylor expansion of 0 in y
0.247 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
0.247 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.247 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.247 * [taylor]: Taking taylor expansion of y in y
0.247 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.247 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.247 * [taylor]: Taking taylor expansion of z in y
0.248 * [taylor]: Taking taylor expansion of 1 in z
0.248 * [taylor]: Taking taylor expansion of 1 in z
0.250 * [taylor]: Taking taylor expansion of 0 in y
0.252 * [taylor]: Taking taylor expansion of 0 in z
0.252 * [taylor]: Taking taylor expansion of 0 in z
0.252 * [taylor]: Taking taylor expansion of 0 in z
0.255 * [taylor]: Taking taylor expansion of 0 in y
0.256 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
0.256 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.256 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.257 * [taylor]: Taking taylor expansion of z in z
0.257 * [taylor]: Taking taylor expansion of 0 in z
0.257 * [taylor]: Taking taylor expansion of 0 in z
0.258 * * * [progress]: simplifying candidates
0.259 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (log1p (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (- (log (- (+ (* x x) (* y y)) (* z z))) (+ (log y) (log 2.0)))
  (- (log (- (+ (* x x) (* y y)) (* z z))) (log (* y 2.0)))
  (log (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (exp (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (/ (* (* (- (+ (* x x) (* y y)) (* z z)) (- (+ (* x x) (* y y)) (* z z))) (- (+ (* x x) (* y y)) (* z z))) (* (* (* y y) y) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (- (+ (* x x) (* y y)) (* z z)) (- (+ (* x x) (* y y)) (* z z))) (- (+ (* x x) (* y y)) (* z z))) (* (* (* y 2.0) (* y 2.0)) (* y 2.0)))
  (* (cbrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))) (cbrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))))
  (cbrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (* (* (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)) (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))) (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (sqrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (sqrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (- (- (+ (* x x) (* y y)) (* z z)))
  (- (* y 2.0))
  (/ (+ (* x x) (* y y)) (* y 2.0))
  (/ (* z z) (* y 2.0))
  (/ (* (cbrt (- (+ (* x x) (* y y)) (* z z))) (cbrt (- (+ (* x x) (* y y)) (* z z)))) y)
  (/ (cbrt (- (+ (* x x) (* y y)) (* z z))) 2.0)
  (/ (sqrt (- (+ (* x x) (* y y)) (* z z))) y)
  (/ (sqrt (- (+ (* x x) (* y y)) (* z z))) 2.0)
  (/ 1 y)
  (/ (- (+ (* x x) (* y y)) (* z z)) 2.0)
  (/ (+ (sqrt (+ (* x x) (* y y))) z) y)
  (/ (- (sqrt (+ (* x x) (* y y))) z) 2.0)
  (/ 1 (* y 2.0))
  (/ (* y 2.0) (- (+ (* x x) (* y y)) (* z z)))
  (/ (- (+ (* x x) (* y y)) (* z z)) y)
  (/ (* y 2.0) (cbrt (- (+ (* x x) (* y y)) (* z z))))
  (/ (* y 2.0) (sqrt (- (+ (* x x) (* y y)) (* z z))))
  (/ (* y 2.0) (- (+ (* x x) (* y y)) (* z z)))
  (/ (* y 2.0) (- (sqrt (+ (* x x) (* y y))) z))
  (* (* y 2.0) (+ (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* (* z z) (* z z)) (* (+ (* x x) (* y y)) (* z z)))))
  (* (* y 2.0) (+ (+ (* x x) (* y y)) (* z z)))
  (fma (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (cbrt (+ (* x x) (* y y))) (- (* z z)))
  (fma (- z) z (* z z))
  (fma (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))) (- (* z z)))
  (fma (- z) z (* z z))
  (fma 1 (+ (* x x) (* y y)) (- (* z z)))
  (fma (- z) z (* z z))
  (expm1 (- (+ (* x x) (* y y)) (* z z)))
  (log1p (- (+ (* x x) (* y y)) (* z z)))
  (- (* z z))
  (- (* z z))
  (- (* z z))
  (/ (* (exp (* x x)) (exp (* y y))) (exp (* z z)))
  (/ (exp (+ (* x x) (* y y))) (exp (* z z)))
  (log (- (+ (* x x) (* y y)) (* z z)))
  (exp (- (+ (* x x) (* y y)) (* z z)))
  (* (cbrt (- (+ (* x x) (* y y)) (* z z))) (cbrt (- (+ (* x x) (* y y)) (* z z))))
  (cbrt (- (+ (* x x) (* y y)) (* z z)))
  (* (* (- (+ (* x x) (* y y)) (* z z)) (- (+ (* x x) (* y y)) (* z z))) (- (+ (* x x) (* y y)) (* z z)))
  (sqrt (- (+ (* x x) (* y y)) (* z z)))
  (sqrt (- (+ (* x x) (* y y)) (* z z)))
  (- (pow (+ (* x x) (* y y)) 3) (pow (* z z) 3))
  (+ (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* (* z z) (* z z)) (* (+ (* x x) (* y y)) (* z z))))
  (- (* z z))
  (- (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (* (* z z) (* z z)))
  (+ (+ (* x x) (* y y)) (* z z))
  (+ (sqrt (+ (* x x) (* y y))) z)
  (- (sqrt (+ (* x x) (* y y))) z)
  (- (* y y) (* z z))
  (- (* z z))
  (- (+ (* 0.5 y) (* 0.5 (/ (pow x 2) y))) (* 0.5 (/ (pow z 2) y)))
  (- (+ (* 0.5 y) (* 0.5 (/ (pow x 2) y))) (* 0.5 (/ (pow z 2) y)))
  (- (+ (* 0.5 y) (* 0.5 (/ (pow x 2) y))) (* 0.5 (/ (pow z 2) y)))
  (- (+ (pow x 2) (pow y 2)) (pow z 2))
  (- (+ (pow x 2) (pow y 2)) (pow z 2))
  (- (+ (pow x 2) (pow y 2)) (pow z 2))
0.265 * * [simplify]: iteration  0 :  299  enodes  (cost  503 )
0.272 * * [simplify]: iteration  1 :  1242  enodes  (cost  422 )
0.296 * * [simplify]: iteration  2 :  5001  enodes  (cost  407 )
0.298 * [simplify]: Simplified to:
   (expm1 (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (log1p (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (log (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (log (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (log (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (exp (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (pow (/ (/ (fma x x (- (* y y) (* z z))) 2.0) y) 3)
  (pow (/ (/ (fma x x (- (* y y) (* z z))) 2.0) y) 3)
  (* (cbrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))) (cbrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))))
  (cbrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (pow (/ (/ (fma x x (- (* y y) (* z z))) 2.0) y) 3)
  (sqrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (sqrt (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)))
  (+ (- (fma x x (* y y))) (pow z 2))
  (- (* y 2.0))
  (/ (/ (fma x x (* y y)) y) 2.0)
  (/ (* z z) (* y 2.0))
  (/ (* (cbrt (- (+ (* x x) (* y y)) (* z z))) (cbrt (- (+ (* x x) (* y y)) (* z z)))) y)
  (/ (cbrt (- (+ (* x x) (* y y)) (* z z))) 2.0)
  (/ (sqrt (- (+ (* x x) (* y y)) (* z z))) y)
  (/ (sqrt (- (+ (* x x) (* y y)) (* z z))) 2.0)
  (/ 1 y)
  (/ (fma x x (- (* y y) (* z z))) 2.0)
  (/ (+ (sqrt (+ (* x x) (* y y))) z) y)
  (- (/ (hypot x y) 2.0) (/ z 2.0))
  (/ 1 (* y 2.0))
  (/ 2.0 (/ (fma x x (- (* y y) (* z z))) y))
  (/ (fma x x (- (* y y) (* z z))) y)
  (/ (* y 2.0) (cbrt (- (+ (* x x) (* y y)) (* z z))))
  (/ (* y 2.0) (sqrt (- (+ (* x x) (* y y)) (* z z))))
  (/ 2.0 (/ (fma x x (- (* y y) (* z z))) y))
  (/ y (- (/ (hypot x y) 2.0) (/ z 2.0)))
  (* (* y (+ (* (fma x x (* y y)) (fma z z (fma x x (* y y)))) (pow z 4))) 2.0)
  (* (* (fma z z (fma x x (* y y))) 2.0) y)
  (fma (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (cbrt (+ (* x x) (* y y))) (- (* z z)))
  (fma (- z) z (* z z))
  (fma x x (- (* y y) (* z z)))
  (fma (- z) z (* z z))
  (fma x x (- (* y y) (* z z)))
  (fma (- z) z (* z z))
  (expm1 (- (+ (* x x) (* y y)) (* z z)))
  (log1p (- (+ (* x x) (* y y)) (* z z)))
  (- (* z z))
  (- (* z z))
  (- (* z z))
  (exp (- (fma x x (* y y)) (pow z 2)))
  (exp (- (fma x x (* y y)) (pow z 2)))
  (log (fma x x (- (* y y) (* z z))))
  (exp (- (fma x x (* y y)) (pow z 2)))
  (* (cbrt (- (+ (* x x) (* y y)) (* z z))) (cbrt (- (+ (* x x) (* y y)) (* z z))))
  (cbrt (- (+ (* x x) (* y y)) (* z z)))
  (pow (fma x x (- (* y y) (* z z))) 3)
  (sqrt (- (+ (* x x) (* y y)) (* z z)))
  (sqrt (- (+ (* x x) (* y y)) (* z z)))
  (- (pow (+ (* x x) (* y y)) 3) (pow (* z z) 3))
  (+ (* (fma x x (* y y)) (fma z z (fma x x (* y y)))) (pow z 4))
  (- (* z z))
  (* (fma x x (- (* y y) (* z z))) (fma z z (fma x x (* y y))))
  (fma z z (fma x x (* y y)))
  (+ z (hypot x y))
  (- (hypot x y) z)
  (- (* y y) (* z z))
  (- (* z z))
  (* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (fma x x (- (* y y) (* z z)))
  (fma x x (- (* y y) (* z z)))
  (fma x x (- (* y y) (* z z)))
0.299 * * * [progress]: adding candidates to table
0.457 * * [progress]: iteration 2 / 4
0.457 * * * [progress]: picking best candidate
0.467 * * * * [pick]: Picked  #<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))))>
0.467 * * * [progress]: localizing error
0.478 * * * [progress]: generating rewritten candidates
0.478 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.484 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.492 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.502 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.538 * * * [progress]: generating series expansions
0.538 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.539 * [approximate]: Taking taylor expansion of (/ (pow z 2) y) in (z y) around 0
0.539 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in y
0.539 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.539 * [taylor]: Taking taylor expansion of z in y
0.539 * [taylor]: Taking taylor expansion of y in y
0.539 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in z
0.539 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.539 * [taylor]: Taking taylor expansion of z in z
0.539 * [taylor]: Taking taylor expansion of y in z
0.539 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in z
0.539 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.540 * [taylor]: Taking taylor expansion of z in z
0.540 * [taylor]: Taking taylor expansion of y in z
0.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.540 * [taylor]: Taking taylor expansion of y in y
0.541 * [taylor]: Taking taylor expansion of 0 in y
0.542 * [taylor]: Taking taylor expansion of 0 in y
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.544 * [approximate]: Taking taylor expansion of (/ y (pow z 2)) in (z y) around 0
0.544 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
0.544 * [taylor]: Taking taylor expansion of y in y
0.544 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.544 * [taylor]: Taking taylor expansion of z in y
0.544 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
0.544 * [taylor]: Taking taylor expansion of y in z
0.544 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.544 * [taylor]: Taking taylor expansion of z in z
0.545 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
0.545 * [taylor]: Taking taylor expansion of y in z
0.545 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.545 * [taylor]: Taking taylor expansion of z in z
0.545 * [taylor]: Taking taylor expansion of y in y
0.546 * [taylor]: Taking taylor expansion of 0 in y
0.548 * [taylor]: Taking taylor expansion of 0 in y
0.550 * [taylor]: Taking taylor expansion of 0 in y
0.550 * [approximate]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in (z y) around 0
0.550 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in y
0.550 * [taylor]: Taking taylor expansion of -1 in y
0.550 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
0.550 * [taylor]: Taking taylor expansion of y in y
0.550 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.550 * [taylor]: Taking taylor expansion of z in y
0.550 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in z
0.550 * [taylor]: Taking taylor expansion of -1 in z
0.550 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
0.550 * [taylor]: Taking taylor expansion of y in z
0.550 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.550 * [taylor]: Taking taylor expansion of z in z
0.551 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in z
0.551 * [taylor]: Taking taylor expansion of -1 in z
0.551 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
0.551 * [taylor]: Taking taylor expansion of y in z
0.551 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.551 * [taylor]: Taking taylor expansion of z in z
0.551 * [taylor]: Taking taylor expansion of (* -1 y) in y
0.551 * [taylor]: Taking taylor expansion of -1 in y
0.551 * [taylor]: Taking taylor expansion of y in y
0.553 * [taylor]: Taking taylor expansion of 0 in y
0.556 * [taylor]: Taking taylor expansion of 0 in y
0.559 * [taylor]: Taking taylor expansion of 0 in y
0.559 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.559 * [approximate]: Taking taylor expansion of (/ (pow x 2) y) in (x y) around 0
0.559 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
0.559 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.559 * [taylor]: Taking taylor expansion of x in y
0.559 * [taylor]: Taking taylor expansion of y in y
0.559 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
0.560 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.560 * [taylor]: Taking taylor expansion of x in x
0.560 * [taylor]: Taking taylor expansion of y in x
0.560 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
0.560 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.560 * [taylor]: Taking taylor expansion of x in x
0.560 * [taylor]: Taking taylor expansion of y in x
0.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.560 * [taylor]: Taking taylor expansion of y in y
0.561 * [taylor]: Taking taylor expansion of 0 in y
0.562 * [taylor]: Taking taylor expansion of 0 in y
0.569 * [taylor]: Taking taylor expansion of 0 in y
0.570 * [approximate]: Taking taylor expansion of (/ y (pow x 2)) in (x y) around 0
0.570 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.570 * [taylor]: Taking taylor expansion of y in y
0.570 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.570 * [taylor]: Taking taylor expansion of x in y
0.570 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
0.570 * [taylor]: Taking taylor expansion of y in x
0.570 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.570 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
0.570 * [taylor]: Taking taylor expansion of y in x
0.570 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.571 * [taylor]: Taking taylor expansion of y in y
0.572 * [taylor]: Taking taylor expansion of 0 in y
0.573 * [taylor]: Taking taylor expansion of 0 in y
0.575 * [taylor]: Taking taylor expansion of 0 in y
0.575 * [approximate]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in (x y) around 0
0.576 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in y
0.576 * [taylor]: Taking taylor expansion of -1 in y
0.576 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.576 * [taylor]: Taking taylor expansion of y in y
0.576 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.576 * [taylor]: Taking taylor expansion of x in y
0.576 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in x
0.576 * [taylor]: Taking taylor expansion of -1 in x
0.576 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
0.576 * [taylor]: Taking taylor expansion of y in x
0.576 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.576 * [taylor]: Taking taylor expansion of x in x
0.576 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in x
0.576 * [taylor]: Taking taylor expansion of -1 in x
0.576 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
0.576 * [taylor]: Taking taylor expansion of y in x
0.576 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.576 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of (* -1 y) in y
0.577 * [taylor]: Taking taylor expansion of -1 in y
0.577 * [taylor]: Taking taylor expansion of y in y
0.578 * [taylor]: Taking taylor expansion of 0 in y
0.581 * [taylor]: Taking taylor expansion of 0 in y
0.584 * [taylor]: Taking taylor expansion of 0 in y
0.585 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.585 * [approximate]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in (y x) around 0
0.585 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in x
0.585 * [taylor]: Taking taylor expansion of y in x
0.585 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
0.585 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of y in x
0.585 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
0.585 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.585 * [taylor]: Taking taylor expansion of x in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
0.585 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.586 * [taylor]: Taking taylor expansion of x in y
0.586 * [taylor]: Taking taylor expansion of y in y
0.586 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.586 * [taylor]: Taking taylor expansion of x in x
0.587 * [taylor]: Taking taylor expansion of 0 in x
0.588 * [taylor]: Taking taylor expansion of 1 in x
0.591 * [taylor]: Taking taylor expansion of 0 in x
0.594 * [taylor]: Taking taylor expansion of 0 in x
0.595 * [approximate]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in (y x) around 0
0.595 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
0.595 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
0.595 * [taylor]: Taking taylor expansion of y in x
0.595 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.595 * [taylor]: Taking taylor expansion of x in x
0.595 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.595 * [taylor]: Taking taylor expansion of y in x
0.595 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
0.595 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.595 * [taylor]: Taking taylor expansion of y in y
0.595 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.595 * [taylor]: Taking taylor expansion of x in y
0.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.595 * [taylor]: Taking taylor expansion of y in y
0.596 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
0.596 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.596 * [taylor]: Taking taylor expansion of y in y
0.596 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.596 * [taylor]: Taking taylor expansion of x in y
0.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.596 * [taylor]: Taking taylor expansion of y in y
0.596 * [taylor]: Taking taylor expansion of 1 in x
0.597 * [taylor]: Taking taylor expansion of 0 in x
0.598 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.598 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.600 * [taylor]: Taking taylor expansion of 0 in x
0.602 * [taylor]: Taking taylor expansion of 0 in x
0.604 * [approximate]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in (y x) around 0
0.604 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in x
0.604 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
0.604 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
0.604 * [taylor]: Taking taylor expansion of y in x
0.604 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.604 * [taylor]: Taking taylor expansion of y in x
0.604 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in y
0.604 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
0.604 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.604 * [taylor]: Taking taylor expansion of y in y
0.604 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.604 * [taylor]: Taking taylor expansion of x in y
0.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.605 * [taylor]: Taking taylor expansion of y in y
0.605 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in y
0.605 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
0.605 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.605 * [taylor]: Taking taylor expansion of y in y
0.605 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.605 * [taylor]: Taking taylor expansion of x in y
0.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.605 * [taylor]: Taking taylor expansion of y in y
0.606 * [taylor]: Taking taylor expansion of -1 in x
0.607 * [taylor]: Taking taylor expansion of 0 in x
0.608 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
0.608 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.608 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.608 * [taylor]: Taking taylor expansion of x in x
0.610 * [taylor]: Taking taylor expansion of 0 in x
0.613 * [taylor]: Taking taylor expansion of 0 in x
0.614 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.615 * [approximate]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in (y x z) around 0
0.615 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in z
0.615 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in z
0.615 * [taylor]: Taking taylor expansion of y in z
0.615 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in z
0.615 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.615 * [taylor]: Taking taylor expansion of x in z
0.615 * [taylor]: Taking taylor expansion of y in z
0.615 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in z
0.615 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.615 * [taylor]: Taking taylor expansion of z in z
0.615 * [taylor]: Taking taylor expansion of y in z
0.615 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in x
0.615 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in x
0.615 * [taylor]: Taking taylor expansion of y in x
0.615 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
0.615 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of y in x
0.616 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in x
0.616 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.616 * [taylor]: Taking taylor expansion of z in x
0.616 * [taylor]: Taking taylor expansion of y in x
0.616 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in y
0.616 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.616 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
0.616 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.616 * [taylor]: Taking taylor expansion of x in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.616 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in y
0.616 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.616 * [taylor]: Taking taylor expansion of z in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.616 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in y
0.616 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.616 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
0.616 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.616 * [taylor]: Taking taylor expansion of x in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.616 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in y
0.617 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.617 * [taylor]: Taking taylor expansion of z in y
0.617 * [taylor]: Taking taylor expansion of y in y
0.617 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in x
0.617 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.617 * [taylor]: Taking taylor expansion of x in x
0.617 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.617 * [taylor]: Taking taylor expansion of z in x
0.617 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
0.617 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.617 * [taylor]: Taking taylor expansion of z in z
0.619 * [taylor]: Taking taylor expansion of 0 in x
0.619 * [taylor]: Taking taylor expansion of 0 in z
0.620 * [taylor]: Taking taylor expansion of 0 in z
0.623 * [taylor]: Taking taylor expansion of 1 in x
0.623 * [taylor]: Taking taylor expansion of 1 in z
0.623 * [taylor]: Taking taylor expansion of 0 in z
0.625 * [taylor]: Taking taylor expansion of 1 in z
0.626 * [approximate]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in (y x z) around 0
0.626 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in z
0.626 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in z
0.626 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in z
0.626 * [taylor]: Taking taylor expansion of y in z
0.626 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.626 * [taylor]: Taking taylor expansion of x in z
0.626 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.626 * [taylor]: Taking taylor expansion of y in z
0.626 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
0.626 * [taylor]: Taking taylor expansion of y in z
0.626 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.626 * [taylor]: Taking taylor expansion of z in z
0.627 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in x
0.627 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
0.627 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
0.627 * [taylor]: Taking taylor expansion of y in x
0.627 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.627 * [taylor]: Taking taylor expansion of x in x
0.627 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.627 * [taylor]: Taking taylor expansion of y in x
0.627 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in x
0.627 * [taylor]: Taking taylor expansion of y in x
0.627 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.627 * [taylor]: Taking taylor expansion of z in x
0.627 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in y
0.627 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
0.627 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.627 * [taylor]: Taking taylor expansion of y in y
0.627 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.627 * [taylor]: Taking taylor expansion of x in y
0.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.627 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.628 * [taylor]: Taking taylor expansion of z in y
0.628 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in y
0.628 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
0.628 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.628 * [taylor]: Taking taylor expansion of x in y
0.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
0.628 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.628 * [taylor]: Taking taylor expansion of z in y
0.629 * [taylor]: Taking taylor expansion of 1 in x
0.630 * [taylor]: Taking taylor expansion of 0 in x
0.631 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x
0.631 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.631 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.631 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.632 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.632 * [taylor]: Taking taylor expansion of z in x
0.632 * [taylor]: Taking taylor expansion of 1 in z
0.632 * [taylor]: Taking taylor expansion of 1 in z
0.634 * [taylor]: Taking taylor expansion of 0 in x
0.635 * [taylor]: Taking taylor expansion of 0 in z
0.635 * [taylor]: Taking taylor expansion of 0 in z
0.635 * [taylor]: Taking taylor expansion of 0 in z
0.638 * [taylor]: Taking taylor expansion of 0 in x
0.639 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
0.639 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.639 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.639 * [taylor]: Taking taylor expansion of z in z
0.640 * [taylor]: Taking taylor expansion of 0 in z
0.640 * [taylor]: Taking taylor expansion of 0 in z
0.641 * [approximate]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in (y x z) around 0
0.641 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in z
0.641 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
0.641 * [taylor]: Taking taylor expansion of y in z
0.641 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.641 * [taylor]: Taking taylor expansion of z in z
0.642 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in z
0.642 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in z
0.642 * [taylor]: Taking taylor expansion of y in z
0.642 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.642 * [taylor]: Taking taylor expansion of x in z
0.642 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.642 * [taylor]: Taking taylor expansion of y in z
0.642 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in x
0.642 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in x
0.642 * [taylor]: Taking taylor expansion of y in x
0.642 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.642 * [taylor]: Taking taylor expansion of z in x
0.642 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
0.642 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
0.642 * [taylor]: Taking taylor expansion of y in x
0.642 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.642 * [taylor]: Taking taylor expansion of x in x
0.643 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.643 * [taylor]: Taking taylor expansion of y in x
0.643 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in y
0.643 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
0.643 * [taylor]: Taking taylor expansion of y in y
0.643 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.643 * [taylor]: Taking taylor expansion of z in y
0.643 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
0.643 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.643 * [taylor]: Taking taylor expansion of y in y
0.643 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.643 * [taylor]: Taking taylor expansion of x in y
0.643 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.643 * [taylor]: Taking taylor expansion of y in y
0.643 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in y
0.643 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
0.643 * [taylor]: Taking taylor expansion of y in y
0.643 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.643 * [taylor]: Taking taylor expansion of z in y
0.643 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
0.644 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
0.644 * [taylor]: Taking taylor expansion of y in y
0.644 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.644 * [taylor]: Taking taylor expansion of x in y
0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.644 * [taylor]: Taking taylor expansion of y in y
0.645 * [taylor]: Taking taylor expansion of -1 in x
0.646 * [taylor]: Taking taylor expansion of 0 in x
0.647 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) in x
0.647 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.647 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.647 * [taylor]: Taking taylor expansion of z in x
0.647 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.647 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.647 * [taylor]: Taking taylor expansion of x in x
0.648 * [taylor]: Taking taylor expansion of -1 in z
0.649 * [taylor]: Taking taylor expansion of -1 in z
0.650 * [taylor]: Taking taylor expansion of 0 in x
0.652 * [taylor]: Taking taylor expansion of 0 in z
0.652 * [taylor]: Taking taylor expansion of 0 in z
0.652 * [taylor]: Taking taylor expansion of 0 in z
0.654 * [taylor]: Taking taylor expansion of 0 in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.656 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.656 * [taylor]: Taking taylor expansion of z in z
0.656 * [taylor]: Taking taylor expansion of 0 in z
0.656 * [taylor]: Taking taylor expansion of 0 in z
0.657 * * * [progress]: simplifying candidates
0.667 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (pow z 2) y))
  (log1p (/ (pow z 2) y))
  (- (* (log z) 2) (log y))
  (- (* (log z) 2) (log y))
  (- (log (pow z 2)) (log y))
  (log (/ (pow z 2) y))
  (exp (/ (pow z 2) y))
  (/ (* (* (pow z 2) (pow z 2)) (pow z 2)) (* (* y y) y))
  (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y)))
  (cbrt (/ (pow z 2) y))
  (* (* (/ (pow z 2) y) (/ (pow z 2) y)) (/ (pow z 2) y))
  (sqrt (/ (pow z 2) y))
  (sqrt (/ (pow z 2) y))
  (- (pow z 2))
  (- y)
  (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y)))
  (/ (pow (cbrt z) 2) (cbrt y))
  (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y))
  (/ (pow (cbrt z) 2) (sqrt y))
  (/ (pow (* (cbrt z) (cbrt z)) 2) 1)
  (/ (pow (cbrt z) 2) y)
  (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y)))
  (/ (pow (sqrt z) 2) (cbrt y))
  (/ (pow (sqrt z) 2) (sqrt y))
  (/ (pow (sqrt z) 2) (sqrt y))
  (/ (pow (sqrt z) 2) 1)
  (/ (pow (sqrt z) 2) y)
  (/ (pow 1 2) (* (cbrt y) (cbrt y)))
  (/ (pow z 2) (cbrt y))
  (/ (pow 1 2) (sqrt y))
  (/ (pow z 2) (sqrt y))
  (/ (pow 1 2) 1)
  (/ (pow z 2) y)
  (/ z (* (cbrt y) (cbrt y)))
  (/ z (cbrt y))
  (/ z (sqrt y))
  (/ z (sqrt y))
  (/ z 1)
  (/ z y)
  (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (pow z 2)) (cbrt y))
  (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y))
  (/ (cbrt (pow z 2)) (sqrt y))
  (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1)
  (/ (cbrt (pow z 2)) y)
  (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (pow z 2)) (cbrt y))
  (/ (sqrt (pow z 2)) (sqrt y))
  (/ (sqrt (pow z 2)) (sqrt y))
  (/ (sqrt (pow z 2)) 1)
  (/ (sqrt (pow z 2)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (pow z 2) (cbrt y))
  (/ 1 (sqrt y))
  (/ (pow z 2) (sqrt y))
  (/ 1 1)
  (/ (pow z 2) y)
  (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y)))
  (/ (pow z (/ 2 2)) (cbrt y))
  (/ (pow z (/ 2 2)) (sqrt y))
  (/ (pow z (/ 2 2)) (sqrt y))
  (/ (pow z (/ 2 2)) 1)
  (/ (pow z (/ 2 2)) y)
  (/ 1 y)
  (/ y (pow z 2))
  (/ (pow z 2) (* (cbrt y) (cbrt y)))
  (/ (pow z 2) (sqrt y))
  (/ (pow z 2) 1)
  (/ y (pow (cbrt z) 2))
  (/ y (pow (sqrt z) 2))
  (/ y (pow z 2))
  (/ y z)
  (/ y (cbrt (pow z 2)))
  (/ y (sqrt (pow z 2)))
  (/ y (pow z 2))
  (/ y (pow z (/ 2 2)))
  (expm1 (/ (pow x 2) y))
  (log1p (/ (pow x 2) y))
  (- (* (log x) 2) (log y))
  (- (* (log x) 2) (log y))
  (- (log (pow x 2)) (log y))
  (log (/ (pow x 2) y))
  (exp (/ (pow x 2) y))
  (/ (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* y y) y))
  (* (cbrt (/ (pow x 2) y)) (cbrt (/ (pow x 2) y)))
  (cbrt (/ (pow x 2) y))
  (* (* (/ (pow x 2) y) (/ (pow x 2) y)) (/ (pow x 2) y))
  (sqrt (/ (pow x 2) y))
  (sqrt (/ (pow x 2) y))
  (- (pow x 2))
  (- y)
  (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt y) (cbrt y)))
  (/ (pow (cbrt x) 2) (cbrt y))
  (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt y))
  (/ (pow (cbrt x) 2) (sqrt y))
  (/ (pow (* (cbrt x) (cbrt x)) 2) 1)
  (/ (pow (cbrt x) 2) y)
  (/ (pow (sqrt x) 2) (* (cbrt y) (cbrt y)))
  (/ (pow (sqrt x) 2) (cbrt y))
  (/ (pow (sqrt x) 2) (sqrt y))
  (/ (pow (sqrt x) 2) (sqrt y))
  (/ (pow (sqrt x) 2) 1)
  (/ (pow (sqrt x) 2) y)
  (/ (pow 1 2) (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (cbrt y))
  (/ (pow 1 2) (sqrt y))
  (/ (pow x 2) (sqrt y))
  (/ (pow 1 2) 1)
  (/ (pow x 2) y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ x (sqrt y))
  (/ x (sqrt y))
  (/ x 1)
  (/ x y)
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (pow x 2)) (cbrt y))
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt y))
  (/ (cbrt (pow x 2)) (sqrt y))
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1)
  (/ (cbrt (pow x 2)) y)
  (/ (sqrt (pow x 2)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (pow x 2)) (cbrt y))
  (/ (sqrt (pow x 2)) (sqrt y))
  (/ (sqrt (pow x 2)) (sqrt y))
  (/ (sqrt (pow x 2)) 1)
  (/ (sqrt (pow x 2)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (cbrt y))
  (/ 1 (sqrt y))
  (/ (pow x 2) (sqrt y))
  (/ 1 1)
  (/ (pow x 2) y)
  (/ (pow x (/ 2 2)) (* (cbrt y) (cbrt y)))
  (/ (pow x (/ 2 2)) (cbrt y))
  (/ (pow x (/ 2 2)) (sqrt y))
  (/ (pow x (/ 2 2)) (sqrt y))
  (/ (pow x (/ 2 2)) 1)
  (/ (pow x (/ 2 2)) y)
  (/ 1 y)
  (/ y (pow x 2))
  (/ (pow x 2) (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (sqrt y))
  (/ (pow x 2) 1)
  (/ y (pow (cbrt x) 2))
  (/ y (pow (sqrt x) 2))
  (/ y (pow x 2))
  (/ y x)
  (/ y (cbrt (pow x 2)))
  (/ y (sqrt (pow x 2)))
  (/ y (pow x 2))
  (/ y (pow x (/ 2 2)))
  (expm1 (+ y (/ (pow x 2) y)))
  (log1p (+ y (/ (pow x 2) y)))
  (* (exp y) (exp (/ (pow x 2) y)))
  (log (+ y (/ (pow x 2) y)))
  (exp (+ y (/ (pow x 2) y)))
  (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y))))
  (cbrt (+ y (/ (pow x 2) y)))
  (* (* (+ y (/ (pow x 2) y)) (+ y (/ (pow x 2) y))) (+ y (/ (pow x 2) y)))
  (sqrt (+ y (/ (pow x 2) y)))
  (sqrt (+ y (/ (pow x 2) y)))
  (+ (pow y 3) (pow (/ (pow x 2) y) 3))
  (+ (* y y) (- (* (/ (pow x 2) y) (/ (pow x 2) y)) (* y (/ (pow x 2) y))))
  (- (* y y) (* (/ (pow x 2) y) (/ (pow x 2) y)))
  (- y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (cbrt (/ (pow z 2) y)) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y))))))
  (fma (- (cbrt (/ (pow z 2) y))) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y))) (* (cbrt (/ (pow z 2) y)) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y)))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (sqrt (/ (pow z 2) y)) (sqrt (/ (pow z 2) y)))))
  (fma (- (sqrt (/ (pow z 2) y))) (sqrt (/ (pow z 2) y)) (* (sqrt (/ (pow z 2) y)) (sqrt (/ (pow z 2) y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (cbrt z) 2) (cbrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow (cbrt z) 2) (cbrt y))) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))) (* (/ (pow (cbrt z) 2) (cbrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y)))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (cbrt z) 2) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y)))))
  (fma (- (/ (pow (cbrt z) 2) (sqrt y))) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y)) (* (/ (pow (cbrt z) 2) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (cbrt z) 2) y) (/ (pow (* (cbrt z) (cbrt z)) 2) 1))))
  (fma (- (/ (pow (cbrt z) 2) y)) (/ (pow (* (cbrt z) (cbrt z)) 2) 1) (* (/ (pow (cbrt z) 2) y) (/ (pow (* (cbrt z) (cbrt z)) 2) 1)))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (sqrt z) 2) (cbrt y)) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow (sqrt z) 2) (cbrt y))) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y))) (* (/ (pow (sqrt z) 2) (cbrt y)) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y)))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (sqrt z) 2) (sqrt y)) (/ (pow (sqrt z) 2) (sqrt y)))))
  (fma (- (/ (pow (sqrt z) 2) (sqrt y))) (/ (pow (sqrt z) 2) (sqrt y)) (* (/ (pow (sqrt z) 2) (sqrt y)) (/ (pow (sqrt z) 2) (sqrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (sqrt z) 2) y) (/ (pow (sqrt z) 2) 1))))
  (fma (- (/ (pow (sqrt z) 2) y)) (/ (pow (sqrt z) 2) 1) (* (/ (pow (sqrt z) 2) y) (/ (pow (sqrt z) 2) 1)))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) (cbrt y)) (/ (pow 1 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z 2) (cbrt y))) (/ (pow 1 2) (* (cbrt y) (cbrt y))) (* (/ (pow z 2) (cbrt y)) (/ (pow 1 2) (* (cbrt y) (cbrt y)))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) (sqrt y)) (/ (pow 1 2) (sqrt y)))))
  (fma (- (/ (pow z 2) (sqrt y))) (/ (pow 1 2) (sqrt y)) (* (/ (pow z 2) (sqrt y)) (/ (pow 1 2) (sqrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) y) (/ (pow 1 2) 1))))
  (fma (- (/ (pow z 2) y)) (/ (pow 1 2) 1) (* (/ (pow z 2) y) (/ (pow 1 2) 1)))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z (cbrt y)) (/ z (* (cbrt y) (cbrt y))))))
  (fma (- (/ z (cbrt y))) (/ z (* (cbrt y) (cbrt y))) (* (/ z (cbrt y)) (/ z (* (cbrt y) (cbrt y)))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (fma (- (/ z (sqrt y))) (/ z (sqrt y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z y) (/ z 1))))
  (fma (- (/ z y)) (/ z 1) (* (/ z y) (/ z 1)))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (cbrt (pow z 2)) (cbrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (cbrt (pow z 2)) (cbrt y))) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow z 2)) (cbrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y)))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (cbrt (pow z 2)) (sqrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y)))))
  (fma (- (/ (cbrt (pow z 2)) (sqrt y))) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y)) (* (/ (cbrt (pow z 2)) (sqrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (cbrt (pow z 2)) y) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1))))
  (fma (- (/ (cbrt (pow z 2)) y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1) (* (/ (cbrt (pow z 2)) y) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1)))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (sqrt (pow z 2)) (cbrt y)) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (sqrt (pow z 2)) (cbrt y))) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (pow z 2)) (cbrt y)) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y)))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (sqrt (pow z 2)) (sqrt y)) (/ (sqrt (pow z 2)) (sqrt y)))))
  (fma (- (/ (sqrt (pow z 2)) (sqrt y))) (/ (sqrt (pow z 2)) (sqrt y)) (* (/ (sqrt (pow z 2)) (sqrt y)) (/ (sqrt (pow z 2)) (sqrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (sqrt (pow z 2)) y) (/ (sqrt (pow z 2)) 1))))
  (fma (- (/ (sqrt (pow z 2)) y)) (/ (sqrt (pow z 2)) 1) (* (/ (sqrt (pow z 2)) y) (/ (sqrt (pow z 2)) 1)))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z 2) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (pow z 2) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) (sqrt y)) (/ 1 (sqrt y)))))
  (fma (- (/ (pow z 2) (sqrt y))) (/ 1 (sqrt y)) (* (/ (pow z 2) (sqrt y)) (/ 1 (sqrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) y) (/ 1 1))))
  (fma (- (/ (pow z 2) y)) (/ 1 1) (* (/ (pow z 2) y) (/ 1 1)))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z (/ 2 2)) (cbrt y)) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z (/ 2 2)) (cbrt y))) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y))) (* (/ (pow z (/ 2 2)) (cbrt y)) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y)))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z (/ 2 2)) (sqrt y)) (/ (pow z (/ 2 2)) (sqrt y)))))
  (fma (- (/ (pow z (/ 2 2)) (sqrt y))) (/ (pow z (/ 2 2)) (sqrt y)) (* (/ (pow z (/ 2 2)) (sqrt y)) (/ (pow z (/ 2 2)) (sqrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z (/ 2 2)) y) (/ (pow z (/ 2 2)) 1))))
  (fma (- (/ (pow z (/ 2 2)) y)) (/ (pow z (/ 2 2)) 1) (* (/ (pow z (/ 2 2)) y) (/ (pow z (/ 2 2)) 1)))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) y) 1)))
  (fma (- (/ (pow z 2) y)) 1 (* (/ (pow z 2) y) 1))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ 1 y) (pow z 2))))
  (fma (- (/ 1 y)) (pow z 2) (* (/ 1 y) (pow z 2)))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (cbrt (/ (pow z 2) y)) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y))))))
  (fma (- (cbrt (/ (pow z 2) y))) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y))) (* (cbrt (/ (pow z 2) y)) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y)))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (sqrt (/ (pow z 2) y)) (sqrt (/ (pow z 2) y)))))
  (fma (- (sqrt (/ (pow z 2) y))) (sqrt (/ (pow z 2) y)) (* (sqrt (/ (pow z 2) y)) (sqrt (/ (pow z 2) y))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (cbrt z) 2) (cbrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow (cbrt z) 2) (cbrt y))) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))) (* (/ (pow (cbrt z) 2) (cbrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y)))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (cbrt z) 2) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y)))))
  (fma (- (/ (pow (cbrt z) 2) (sqrt y))) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y)) (* (/ (pow (cbrt z) 2) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (cbrt z) 2) y) (/ (pow (* (cbrt z) (cbrt z)) 2) 1))))
  (fma (- (/ (pow (cbrt z) 2) y)) (/ (pow (* (cbrt z) (cbrt z)) 2) 1) (* (/ (pow (cbrt z) 2) y) (/ (pow (* (cbrt z) (cbrt z)) 2) 1)))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (sqrt z) 2) (cbrt y)) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow (sqrt z) 2) (cbrt y))) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y))) (* (/ (pow (sqrt z) 2) (cbrt y)) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y)))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (sqrt z) 2) (sqrt y)) (/ (pow (sqrt z) 2) (sqrt y)))))
  (fma (- (/ (pow (sqrt z) 2) (sqrt y))) (/ (pow (sqrt z) 2) (sqrt y)) (* (/ (pow (sqrt z) 2) (sqrt y)) (/ (pow (sqrt z) 2) (sqrt y))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow (sqrt z) 2) y) (/ (pow (sqrt z) 2) 1))))
  (fma (- (/ (pow (sqrt z) 2) y)) (/ (pow (sqrt z) 2) 1) (* (/ (pow (sqrt z) 2) y) (/ (pow (sqrt z) 2) 1)))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) (cbrt y)) (/ (pow 1 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z 2) (cbrt y))) (/ (pow 1 2) (* (cbrt y) (cbrt y))) (* (/ (pow z 2) (cbrt y)) (/ (pow 1 2) (* (cbrt y) (cbrt y)))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) (sqrt y)) (/ (pow 1 2) (sqrt y)))))
  (fma (- (/ (pow z 2) (sqrt y))) (/ (pow 1 2) (sqrt y)) (* (/ (pow z 2) (sqrt y)) (/ (pow 1 2) (sqrt y))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) y) (/ (pow 1 2) 1))))
  (fma (- (/ (pow z 2) y)) (/ (pow 1 2) 1) (* (/ (pow z 2) y) (/ (pow 1 2) 1)))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ z (cbrt y)) (/ z (* (cbrt y) (cbrt y))))))
  (fma (- (/ z (cbrt y))) (/ z (* (cbrt y) (cbrt y))) (* (/ z (cbrt y)) (/ z (* (cbrt y) (cbrt y)))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (fma (- (/ z (sqrt y))) (/ z (sqrt y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ z y) (/ z 1))))
  (fma (- (/ z y)) (/ z 1) (* (/ z y) (/ z 1)))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (cbrt (pow z 2)) (cbrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (cbrt (pow z 2)) (cbrt y))) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow z 2)) (cbrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y)))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (cbrt (pow z 2)) (sqrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y)))))
  (fma (- (/ (cbrt (pow z 2)) (sqrt y))) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y)) (* (/ (cbrt (pow z 2)) (sqrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (cbrt (pow z 2)) y) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1))))
  (fma (- (/ (cbrt (pow z 2)) y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1) (* (/ (cbrt (pow z 2)) y) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1)))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (sqrt (pow z 2)) (cbrt y)) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (sqrt (pow z 2)) (cbrt y))) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (pow z 2)) (cbrt y)) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y)))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (sqrt (pow z 2)) (sqrt y)) (/ (sqrt (pow z 2)) (sqrt y)))))
  (fma (- (/ (sqrt (pow z 2)) (sqrt y))) (/ (sqrt (pow z 2)) (sqrt y)) (* (/ (sqrt (pow z 2)) (sqrt y)) (/ (sqrt (pow z 2)) (sqrt y))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (sqrt (pow z 2)) y) (/ (sqrt (pow z 2)) 1))))
  (fma (- (/ (sqrt (pow z 2)) y)) (/ (sqrt (pow z 2)) 1) (* (/ (sqrt (pow z 2)) y) (/ (sqrt (pow z 2)) 1)))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z 2) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (pow z 2) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) (sqrt y)) (/ 1 (sqrt y)))))
  (fma (- (/ (pow z 2) (sqrt y))) (/ 1 (sqrt y)) (* (/ (pow z 2) (sqrt y)) (/ 1 (sqrt y))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) y) (/ 1 1))))
  (fma (- (/ (pow z 2) y)) (/ 1 1) (* (/ (pow z 2) y) (/ 1 1)))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z (/ 2 2)) (cbrt y)) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z (/ 2 2)) (cbrt y))) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y))) (* (/ (pow z (/ 2 2)) (cbrt y)) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y)))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z (/ 2 2)) (sqrt y)) (/ (pow z (/ 2 2)) (sqrt y)))))
  (fma (- (/ (pow z (/ 2 2)) (sqrt y))) (/ (pow z (/ 2 2)) (sqrt y)) (* (/ (pow z (/ 2 2)) (sqrt y)) (/ (pow z (/ 2 2)) (sqrt y))))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z (/ 2 2)) y) (/ (pow z (/ 2 2)) 1))))
  (fma (- (/ (pow z (/ 2 2)) y)) (/ (pow z (/ 2 2)) 1) (* (/ (pow z (/ 2 2)) y) (/ (pow z (/ 2 2)) 1)))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ (pow z 2) y) 1)))
  (fma (- (/ (pow z 2) y)) 1 (* (/ (pow z 2) y) 1))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ 1 y) (pow z 2))))
  (fma (- (/ 1 y)) (pow z 2) (* (/ 1 y) (pow z 2)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (cbrt (/ (pow z 2) y)) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y))))))
  (fma (- (cbrt (/ (pow z 2) y))) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y))) (* (cbrt (/ (pow z 2) y)) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (sqrt (/ (pow z 2) y)) (sqrt (/ (pow z 2) y)))))
  (fma (- (sqrt (/ (pow z 2) y))) (sqrt (/ (pow z 2) y)) (* (sqrt (/ (pow z 2) y)) (sqrt (/ (pow z 2) y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (cbrt z) 2) (cbrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow (cbrt z) 2) (cbrt y))) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))) (* (/ (pow (cbrt z) 2) (cbrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (cbrt z) 2) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y)))))
  (fma (- (/ (pow (cbrt z) 2) (sqrt y))) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y)) (* (/ (pow (cbrt z) 2) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (cbrt z) 2) y) (/ (pow (* (cbrt z) (cbrt z)) 2) 1))))
  (fma (- (/ (pow (cbrt z) 2) y)) (/ (pow (* (cbrt z) (cbrt z)) 2) 1) (* (/ (pow (cbrt z) 2) y) (/ (pow (* (cbrt z) (cbrt z)) 2) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (sqrt z) 2) (cbrt y)) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow (sqrt z) 2) (cbrt y))) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y))) (* (/ (pow (sqrt z) 2) (cbrt y)) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (sqrt z) 2) (sqrt y)) (/ (pow (sqrt z) 2) (sqrt y)))))
  (fma (- (/ (pow (sqrt z) 2) (sqrt y))) (/ (pow (sqrt z) 2) (sqrt y)) (* (/ (pow (sqrt z) 2) (sqrt y)) (/ (pow (sqrt z) 2) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (sqrt z) 2) y) (/ (pow (sqrt z) 2) 1))))
  (fma (- (/ (pow (sqrt z) 2) y)) (/ (pow (sqrt z) 2) 1) (* (/ (pow (sqrt z) 2) y) (/ (pow (sqrt z) 2) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) (cbrt y)) (/ (pow 1 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z 2) (cbrt y))) (/ (pow 1 2) (* (cbrt y) (cbrt y))) (* (/ (pow z 2) (cbrt y)) (/ (pow 1 2) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) (sqrt y)) (/ (pow 1 2) (sqrt y)))))
  (fma (- (/ (pow z 2) (sqrt y))) (/ (pow 1 2) (sqrt y)) (* (/ (pow z 2) (sqrt y)) (/ (pow 1 2) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) y) (/ (pow 1 2) 1))))
  (fma (- (/ (pow z 2) y)) (/ (pow 1 2) 1) (* (/ (pow z 2) y) (/ (pow 1 2) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ z (cbrt y)) (/ z (* (cbrt y) (cbrt y))))))
  (fma (- (/ z (cbrt y))) (/ z (* (cbrt y) (cbrt y))) (* (/ z (cbrt y)) (/ z (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (fma (- (/ z (sqrt y))) (/ z (sqrt y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ z y) (/ z 1))))
  (fma (- (/ z y)) (/ z 1) (* (/ z y) (/ z 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (cbrt (pow z 2)) (cbrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (cbrt (pow z 2)) (cbrt y))) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow z 2)) (cbrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (cbrt (pow z 2)) (sqrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y)))))
  (fma (- (/ (cbrt (pow z 2)) (sqrt y))) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y)) (* (/ (cbrt (pow z 2)) (sqrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (cbrt (pow z 2)) y) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1))))
  (fma (- (/ (cbrt (pow z 2)) y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1) (* (/ (cbrt (pow z 2)) y) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (sqrt (pow z 2)) (cbrt y)) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (sqrt (pow z 2)) (cbrt y))) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (pow z 2)) (cbrt y)) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (sqrt (pow z 2)) (sqrt y)) (/ (sqrt (pow z 2)) (sqrt y)))))
  (fma (- (/ (sqrt (pow z 2)) (sqrt y))) (/ (sqrt (pow z 2)) (sqrt y)) (* (/ (sqrt (pow z 2)) (sqrt y)) (/ (sqrt (pow z 2)) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (sqrt (pow z 2)) y) (/ (sqrt (pow z 2)) 1))))
  (fma (- (/ (sqrt (pow z 2)) y)) (/ (sqrt (pow z 2)) 1) (* (/ (sqrt (pow z 2)) y) (/ (sqrt (pow z 2)) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z 2) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (pow z 2) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) (sqrt y)) (/ 1 (sqrt y)))))
  (fma (- (/ (pow z 2) (sqrt y))) (/ 1 (sqrt y)) (* (/ (pow z 2) (sqrt y)) (/ 1 (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) y) (/ 1 1))))
  (fma (- (/ (pow z 2) y)) (/ 1 1) (* (/ (pow z 2) y) (/ 1 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z (/ 2 2)) (cbrt y)) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z (/ 2 2)) (cbrt y))) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y))) (* (/ (pow z (/ 2 2)) (cbrt y)) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z (/ 2 2)) (sqrt y)) (/ (pow z (/ 2 2)) (sqrt y)))))
  (fma (- (/ (pow z (/ 2 2)) (sqrt y))) (/ (pow z (/ 2 2)) (sqrt y)) (* (/ (pow z (/ 2 2)) (sqrt y)) (/ (pow z (/ 2 2)) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z (/ 2 2)) y) (/ (pow z (/ 2 2)) 1))))
  (fma (- (/ (pow z (/ 2 2)) y)) (/ (pow z (/ 2 2)) 1) (* (/ (pow z (/ 2 2)) y) (/ (pow z (/ 2 2)) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) y) 1)))
  (fma (- (/ (pow z 2) y)) 1 (* (/ (pow z 2) y) 1))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ 1 y) (pow z 2))))
  (fma (- (/ 1 y)) (pow z 2) (* (/ 1 y) (pow z 2)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (cbrt (/ (pow z 2) y)) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y))))))
  (fma (- (cbrt (/ (pow z 2) y))) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y))) (* (cbrt (/ (pow z 2) y)) (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (sqrt (/ (pow z 2) y)) (sqrt (/ (pow z 2) y)))))
  (fma (- (sqrt (/ (pow z 2) y))) (sqrt (/ (pow z 2) y)) (* (sqrt (/ (pow z 2) y)) (sqrt (/ (pow z 2) y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (cbrt z) 2) (cbrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow (cbrt z) 2) (cbrt y))) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))) (* (/ (pow (cbrt z) 2) (cbrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (cbrt z) 2) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y)))))
  (fma (- (/ (pow (cbrt z) 2) (sqrt y))) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y)) (* (/ (pow (cbrt z) 2) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (cbrt z) 2) y) (/ (pow (* (cbrt z) (cbrt z)) 2) 1))))
  (fma (- (/ (pow (cbrt z) 2) y)) (/ (pow (* (cbrt z) (cbrt z)) 2) 1) (* (/ (pow (cbrt z) 2) y) (/ (pow (* (cbrt z) (cbrt z)) 2) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (sqrt z) 2) (cbrt y)) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow (sqrt z) 2) (cbrt y))) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y))) (* (/ (pow (sqrt z) 2) (cbrt y)) (/ (pow (sqrt z) 2) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (sqrt z) 2) (sqrt y)) (/ (pow (sqrt z) 2) (sqrt y)))))
  (fma (- (/ (pow (sqrt z) 2) (sqrt y))) (/ (pow (sqrt z) 2) (sqrt y)) (* (/ (pow (sqrt z) 2) (sqrt y)) (/ (pow (sqrt z) 2) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow (sqrt z) 2) y) (/ (pow (sqrt z) 2) 1))))
  (fma (- (/ (pow (sqrt z) 2) y)) (/ (pow (sqrt z) 2) 1) (* (/ (pow (sqrt z) 2) y) (/ (pow (sqrt z) 2) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) (cbrt y)) (/ (pow 1 2) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z 2) (cbrt y))) (/ (pow 1 2) (* (cbrt y) (cbrt y))) (* (/ (pow z 2) (cbrt y)) (/ (pow 1 2) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) (sqrt y)) (/ (pow 1 2) (sqrt y)))))
  (fma (- (/ (pow z 2) (sqrt y))) (/ (pow 1 2) (sqrt y)) (* (/ (pow z 2) (sqrt y)) (/ (pow 1 2) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) y) (/ (pow 1 2) 1))))
  (fma (- (/ (pow z 2) y)) (/ (pow 1 2) 1) (* (/ (pow z 2) y) (/ (pow 1 2) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ z (cbrt y)) (/ z (* (cbrt y) (cbrt y))))))
  (fma (- (/ z (cbrt y))) (/ z (* (cbrt y) (cbrt y))) (* (/ z (cbrt y)) (/ z (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (fma (- (/ z (sqrt y))) (/ z (sqrt y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ z y) (/ z 1))))
  (fma (- (/ z y)) (/ z 1) (* (/ z y) (/ z 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (cbrt (pow z 2)) (cbrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (cbrt (pow z 2)) (cbrt y))) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow z 2)) (cbrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (cbrt (pow z 2)) (sqrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y)))))
  (fma (- (/ (cbrt (pow z 2)) (sqrt y))) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y)) (* (/ (cbrt (pow z 2)) (sqrt y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (cbrt (pow z 2)) y) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1))))
  (fma (- (/ (cbrt (pow z 2)) y)) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1) (* (/ (cbrt (pow z 2)) y) (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (sqrt (pow z 2)) (cbrt y)) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (sqrt (pow z 2)) (cbrt y))) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (pow z 2)) (cbrt y)) (/ (sqrt (pow z 2)) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (sqrt (pow z 2)) (sqrt y)) (/ (sqrt (pow z 2)) (sqrt y)))))
  (fma (- (/ (sqrt (pow z 2)) (sqrt y))) (/ (sqrt (pow z 2)) (sqrt y)) (* (/ (sqrt (pow z 2)) (sqrt y)) (/ (sqrt (pow z 2)) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (sqrt (pow z 2)) y) (/ (sqrt (pow z 2)) 1))))
  (fma (- (/ (sqrt (pow z 2)) y)) (/ (sqrt (pow z 2)) 1) (* (/ (sqrt (pow z 2)) y) (/ (sqrt (pow z 2)) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z 2) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (pow z 2) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) (sqrt y)) (/ 1 (sqrt y)))))
  (fma (- (/ (pow z 2) (sqrt y))) (/ 1 (sqrt y)) (* (/ (pow z 2) (sqrt y)) (/ 1 (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) y) (/ 1 1))))
  (fma (- (/ (pow z 2) y)) (/ 1 1) (* (/ (pow z 2) y) (/ 1 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z (/ 2 2)) (cbrt y)) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y))))))
  (fma (- (/ (pow z (/ 2 2)) (cbrt y))) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y))) (* (/ (pow z (/ 2 2)) (cbrt y)) (/ (pow z (/ 2 2)) (* (cbrt y) (cbrt y)))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z (/ 2 2)) (sqrt y)) (/ (pow z (/ 2 2)) (sqrt y)))))
  (fma (- (/ (pow z (/ 2 2)) (sqrt y))) (/ (pow z (/ 2 2)) (sqrt y)) (* (/ (pow z (/ 2 2)) (sqrt y)) (/ (pow z (/ 2 2)) (sqrt y))))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z (/ 2 2)) y) (/ (pow z (/ 2 2)) 1))))
  (fma (- (/ (pow z (/ 2 2)) y)) (/ (pow z (/ 2 2)) 1) (* (/ (pow z (/ 2 2)) y) (/ (pow z (/ 2 2)) 1)))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ (pow z 2) y) 1)))
  (fma (- (/ (pow z 2) y)) 1 (* (/ (pow z 2) y) 1))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ 1 y) (pow z 2))))
  (fma (- (/ 1 y)) (pow z 2) (* (/ 1 y) (pow z 2)))
  (expm1 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (log1p (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (- (/ (pow z 2) y))
  (- (/ (pow z 2) y))
  (- (/ (pow z 2) y))
  (- (/ (pow z 2) y))
  (/ (* (exp y) (exp (/ (pow x 2) y))) (exp (/ (pow z 2) y)))
  (/ (exp (+ y (/ (pow x 2) y))) (exp (/ (pow z 2) y)))
  (log (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (exp (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (* (cbrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))) (cbrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))))
  (cbrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (* (* (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))) (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (sqrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (sqrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (- (* (+ (pow y 3) (pow (/ (pow x 2) y) 3)) y) (* (+ (* y y) (- (* (/ (pow x 2) y) (/ (pow x 2) y)) (* y (/ (pow x 2) y)))) (pow z 2)))
  (* (+ (* y y) (- (* (/ (pow x 2) y) (/ (pow x 2) y)) (* y (/ (pow x 2) y)))) y)
  (- (* (- (* y y) (* (/ (pow x 2) y) (/ (pow x 2) y))) y) (* (- y (/ (pow x 2) y)) (pow z 2)))
  (* (- y (/ (pow x 2) y)) y)
  (- (pow (+ y (/ (pow x 2) y)) 3) (pow (/ (pow z 2) y) 3))
  (+ (* (+ y (/ (pow x 2) y)) (+ y (/ (pow x 2) y))) (+ (* (/ (pow z 2) y) (/ (pow z 2) y)) (* (+ y (/ (pow x 2) y)) (/ (pow z 2) y))))
  (- (/ (pow z 2) y))
  (- (* (+ y (/ (pow x 2) y)) (+ y (/ (pow x 2) y))) (* (/ (pow z 2) y) (/ (pow z 2) y)))
  (+ (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (+ (sqrt (+ y (/ (pow x 2) y))) (sqrt (/ (pow z 2) y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (sqrt (/ (pow z 2) y)))
  (+ (sqrt (+ y (/ (pow x 2) y))) (/ (pow (sqrt z) 2) (sqrt y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (/ (pow (sqrt z) 2) (sqrt y)))
  (+ (sqrt (+ y (/ (pow x 2) y))) (/ z (sqrt y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (/ z (sqrt y)))
  (+ (sqrt (+ y (/ (pow x 2) y))) (/ (sqrt (pow z 2)) (sqrt y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (/ (sqrt (pow z 2)) (sqrt y)))
  (+ (sqrt (+ y (/ (pow x 2) y))) (/ (pow z (/ 2 2)) (sqrt y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (/ (pow z (/ 2 2)) (sqrt y)))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (/ (pow x 2) y) (/ (pow z 2) y))
  (- (/ (pow z 2) y))
  (/ (pow z 2) y)
  (/ (pow z 2) y)
  (/ (pow z 2) y)
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
0.687 * * [simplify]: iteration  0 :  966  enodes  (cost  4460 )
0.704 * * [simplify]: iteration  1 :  3272  enodes  (cost  3145 )
0.760 * * [simplify]: iteration  2 :  5001  enodes  (cost  2953 )
0.773 * [simplify]: Simplified to:
   (expm1 (/ (pow z 2) y))
  (log1p (/ (pow z 2) y))
  (log (/ (pow z 2) y))
  (log (/ (pow z 2) y))
  (log (/ (pow z 2) y))
  (log (/ (pow z 2) y))
  (exp (/ (pow z 2) y))
  (pow (/ (pow z 2) y) 3)
  (* (cbrt (/ (pow z 2) y)) (cbrt (/ (pow z 2) y)))
  (cbrt (/ (pow z 2) y))
  (pow (/ (pow z 2) y) 3)
  (sqrt (/ (pow z 2) y))
  (sqrt (/ (pow z 2) y))
  (- (pow z 2))
  (- y)
  (/ (pow (cbrt z) 4) (* (* (cbrt y) (cbrt y)) 1))
  (/ (pow (cbrt z) 2) (cbrt y))
  (/ (pow (cbrt z) 4) (* (sqrt y) 1))
  (/ (pow (cbrt z) 2) (sqrt y))
  (pow (cbrt z) 4)
  (/ (pow (cbrt z) 2) y)
  (/ z (* (cbrt y) (cbrt y)))
  (/ z (cbrt y))
  (/ z (sqrt y))
  (/ z (sqrt y))
  z
  (/ z y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (pow z 2) (cbrt y))
  (/ 1 (sqrt y))
  (/ (pow z 2) (sqrt y))
  1
  (/ (pow z 2) y)
  (/ z (* (cbrt y) (cbrt y)))
  (/ z (cbrt y))
  (/ z (sqrt y))
  (/ z (sqrt y))
  z
  (/ z y)
  (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (pow z 2)) (cbrt y))
  (/ (* (cbrt (pow z 2)) (cbrt (pow z 2))) (sqrt y))
  (/ (cbrt (pow z 2)) (sqrt y))
  (* (cbrt (pow z 2)) (cbrt (pow z 2)))
  (/ (cbrt (pow z 2)) y)
  (/ (/ (fabs z) (cbrt y)) (cbrt y))
  (/ (fabs z) (cbrt y))
  (/ (fabs z) (sqrt y))
  (/ (fabs z) (sqrt y))
  (fabs z)
  (/ (fabs z) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (pow z 2) (cbrt y))
  (/ 1 (sqrt y))
  (/ (pow z 2) (sqrt y))
  1
  (/ (pow z 2) y)
  (/ z (* (cbrt y) (cbrt y)))
  (/ z (cbrt y))
  (/ z (sqrt y))
  (/ z (sqrt y))
  z
  (/ z y)
  (/ 1 y)
  (/ y (pow z 2))
  (/ (* z z) (* (cbrt y) (cbrt y)))
  (/ (pow z 2) (sqrt y))
  (pow z 2)
  (/ y (pow (cbrt z) 2))
  (/ y z)
  (/ y (pow z 2))
  (/ y z)
  (/ y (cbrt (pow z 2)))
  (/ y (fabs z))
  (/ y (pow z 2))
  (/ y z)
  (expm1 (/ (pow x 2) y))
  (log1p (/ (pow x 2) y))
  (log (/ (pow x 2) y))
  (log (/ (pow x 2) y))
  (log (/ (pow x 2) y))
  (log (/ (pow x 2) y))
  (exp (/ (pow x 2) y))
  (pow (/ (pow x 2) y) 3)
  (* (cbrt (/ (pow x 2) y)) (cbrt (/ (pow x 2) y)))
  (cbrt (/ (pow x 2) y))
  (pow (/ (pow x 2) y) 3)
  (sqrt (/ (pow x 2) y))
  (sqrt (/ (pow x 2) y))
  (- (pow x 2))
  (- y)
  (/ (pow (cbrt x) 4) (* (* (cbrt y) (cbrt y)) 1))
  (/ (pow (cbrt x) 2) (cbrt y))
  (/ (pow (cbrt x) 4) (* (sqrt y) 1))
  (/ (pow (cbrt x) 2) (sqrt y))
  (pow (cbrt x) 4)
  (/ (pow (cbrt x) 2) y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ x (sqrt y))
  (/ x (sqrt y))
  x
  (/ x y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (cbrt y))
  (/ 1 (sqrt y))
  (/ (pow x 2) (sqrt y))
  1
  (/ (pow x 2) y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ x (sqrt y))
  (/ x (sqrt y))
  x
  (/ x y)
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (pow x 2)) (cbrt y))
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt y))
  (/ (cbrt (pow x 2)) (sqrt y))
  (* (cbrt (pow x 2)) (cbrt (pow x 2)))
  (/ (cbrt (pow x 2)) y)
  (/ (/ (fabs x) (cbrt y)) (cbrt y))
  (/ (fabs x) (cbrt y))
  (/ (sqrt (pow x 2)) (sqrt y))
  (/ (sqrt (pow x 2)) (sqrt y))
  (fabs x)
  (/ (sqrt (pow x 2)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (cbrt y))
  (/ 1 (sqrt y))
  (/ (pow x 2) (sqrt y))
  1
  (/ (pow x 2) y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ x (sqrt y))
  (/ x (sqrt y))
  x
  (/ x y)
  (/ 1 y)
  (/ y (pow x 2))
  (/ (pow x 2) (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (sqrt y))
  (pow x 2)
  (/ y (pow (cbrt x) 2))
  (/ y x)
  (/ y (pow x 2))
  (/ y x)
  (/ y (cbrt (pow x 2)))
  (/ y (fabs x))
  (/ y (pow x 2))
  (/ y x)
  (expm1 (+ y (/ (pow x 2) y)))
  (log1p (+ y (/ (pow x 2) y)))
  (exp (+ y (/ (pow x 2) y)))
  (log (+ y (/ (pow x 2) y)))
  (exp (+ y (/ (pow x 2) y)))
  (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y))))
  (cbrt (+ y (/ (pow x 2) y)))
  (pow (+ y (/ (pow x 2) y)) 3)
  (sqrt (+ y (/ (pow x 2) y)))
  (sqrt (+ y (/ (pow x 2) y)))
  (+ (pow y 3) (pow (/ (pow x 2) y) 3))
  (fma (/ (pow x 2) y) (- (/ (pow x 2) y) y) (* y y))
  (- (* y y) (* (/ (pow x 2) y) (/ (pow x 2) y)))
  (- y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (* (pow (cbrt z) 4) (/ (pow (cbrt z) 2) (cbrt y))) (* (cbrt y) (cbrt y))))
  (* (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))) (+ (- (/ (pow (cbrt z) 2) (cbrt y))) (/ (pow (cbrt z) 2) (cbrt y))))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (* (pow (cbrt z) 4) (/ (pow (cbrt z) 2) (sqrt y))) (sqrt y)))
  (* (/ (pow (cbrt z) 2) (sqrt y)) (+ (/ (- (pow (cbrt z) 4)) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y))))
  (fma (cbrt (+ y (/ (pow x 2) y))) (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (/ (- (pow (pow (cbrt z) 2) 3)) y))
  (* (/ (pow (cbrt z) 2) y) (+ (/ (- (pow (cbrt z) 4)) 1) (pow (cbrt z) 4)))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z (sqrt y)) (/ z (sqrt y)))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (* (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y)))) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (* (pow (cbrt z) 4) (/ (pow (cbrt z) 2) (cbrt y))) (* (cbrt y) (cbrt y))))
  (* (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))) (+ (- (/ (pow (cbrt z) 2) (cbrt y))) (/ (pow (cbrt z) 2) (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (* (pow (cbrt z) 4) (/ (pow (cbrt z) 2) (sqrt y))) (sqrt y)))
  (* (/ (pow (cbrt z) 2) (sqrt y)) (+ (/ (- (pow (cbrt z) 4)) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow (pow (cbrt z) 2) 3) (* 1 y)))
  (* (/ (pow (cbrt z) 2) y) (+ (/ (- (pow (cbrt z) 4)) 1) (pow (cbrt z) 4)))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (* (pow (cbrt z) 4) (/ (pow (cbrt z) 2) (cbrt y))) (* (cbrt y) (cbrt y))))
  (* (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))) (+ (- (/ (pow (cbrt z) 2) (cbrt y))) (/ (pow (cbrt z) 2) (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (* (pow (cbrt z) 4) (/ (pow (cbrt z) 2) (sqrt y))) (sqrt y)))
  (* (/ (pow (cbrt z) 2) (sqrt y)) (+ (/ (- (pow (cbrt z) 4)) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow (pow (cbrt z) 2) 3) (* 1 y)))
  (* (/ (pow (cbrt z) 2) y) (+ (/ (- (pow (cbrt z) 4)) 1) (pow (cbrt z) 4)))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (* (pow (cbrt z) 4) (/ (pow (cbrt z) 2) (cbrt y))) (* (cbrt y) (cbrt y))))
  (* (/ (pow (* (cbrt z) (cbrt z)) 2) (* (cbrt y) (cbrt y))) (+ (- (/ (pow (cbrt z) 2) (cbrt y))) (/ (pow (cbrt z) 2) (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (* (pow (cbrt z) 4) (/ (pow (cbrt z) 2) (sqrt y))) (sqrt y)))
  (* (/ (pow (cbrt z) 2) (sqrt y)) (+ (/ (- (pow (cbrt z) 4)) (sqrt y)) (/ (pow (* (cbrt z) (cbrt z)) 2) (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow (pow (cbrt z) 2) 3) (* 1 y)))
  (* (/ (pow (cbrt z) 2) y) (+ (/ (- (pow (cbrt z) 4)) 1) (pow (cbrt z) 4)))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (pow (/ (cbrt (pow z 2)) (cbrt y)) 3))
  (* (/ z (* (cbrt y) (cbrt y))) (+ (/ (- z) (cbrt y)) (/ z (cbrt y))))
  (- (+ y (/ (pow x 2) y)) (* (/ z (sqrt y)) (/ z (sqrt y))))
  (* (/ z (sqrt y)) (+ (/ (- z) (sqrt y)) (/ z (sqrt y))))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (* (/ z y) (+ (- z) z))
  (expm1 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (log1p (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (- (/ (pow z 2) y))
  (- (/ (pow z 2) y))
  (- (/ (pow z 2) y))
  (- (/ (pow z 2) y))
  (exp (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (exp (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (log (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (exp (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (* (cbrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))) (cbrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))))
  (cbrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (pow (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) 3)
  (sqrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (sqrt (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (fma (- (pow z 2)) (fma (/ (pow x 2) y) (- (/ (pow x 2) y) y) (* y y)) (* (+ (pow y 3) (pow (/ (pow x 2) y) 3)) y))
  (fma y (* (/ (pow x 2) y) (- (/ (pow x 2) y) y)) (pow y 3))
  (- (* (- (* y y) (* (/ (pow x 2) y) (/ (pow x 2) y))) y) (* (- y (/ (pow x 2) y)) (pow z 2)))
  (* (- y (/ (pow x 2) y)) y)
  (- (pow (+ y (/ (pow x 2) y)) 3) (pow (/ (pow z 2) y) 3))
  (fma (/ z y) (* z (fma (/ z y) z (+ y (/ (pow x 2) y)))) (* (+ y (/ (pow x 2) y)) (+ y (/ (pow x 2) y))))
  (- (/ (pow z 2) y))
  (* (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) (fma (/ z y) z (+ y (/ (pow x 2) y))))
  (fma (/ z y) z (+ y (/ (pow x 2) y)))
  (+ (sqrt (+ y (/ (pow x 2) y))) (sqrt (/ (pow z 2) y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (sqrt (/ (pow z 2) y)))
  (+ (sqrt (+ y (/ (pow x 2) y))) (/ z (sqrt y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (/ z (sqrt y)))
  (+ (sqrt (+ y (/ (pow x 2) y))) (/ z (sqrt y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (/ z (sqrt y)))
  (+ (sqrt (+ y (/ (pow x 2) y))) (/ (sqrt (pow z 2)) (sqrt y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (/ (sqrt (pow z 2)) (sqrt y)))
  (+ (sqrt (+ y (/ (pow x 2) y))) (/ z (sqrt y)))
  (- (sqrt (+ y (/ (pow x 2) y))) (/ z (sqrt y)))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (/ (pow x 2) y) (/ (pow z 2) y))
  (- (/ (pow z 2) y))
  (/ (pow z 2) y)
  (/ (pow z 2) y)
  (/ (pow z 2) y)
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
0.775 * * * [progress]: adding candidates to table
1.255 * * [progress]: iteration 3 / 4
1.255 * * * [progress]: picking best candidate
1.278 * * * * [pick]: Picked  #<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x 2) y)) (* z (/ z y)))))>
1.278 * * * [progress]: localizing error
1.289 * * * [progress]: generating rewritten candidates
1.289 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
1.294 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.301 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.316 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.332 * * * [progress]: generating series expansions
1.333 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
1.333 * [approximate]: Taking taylor expansion of (/ (pow x 2) y) in (x y) around 0
1.333 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
1.333 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.333 * [taylor]: Taking taylor expansion of x in y
1.333 * [taylor]: Taking taylor expansion of y in y
1.333 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
1.333 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.333 * [taylor]: Taking taylor expansion of x in x
1.333 * [taylor]: Taking taylor expansion of y in x
1.334 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
1.334 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.334 * [taylor]: Taking taylor expansion of x in x
1.334 * [taylor]: Taking taylor expansion of y in x
1.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.334 * [taylor]: Taking taylor expansion of y in y
1.335 * [taylor]: Taking taylor expansion of 0 in y
1.336 * [taylor]: Taking taylor expansion of 0 in y
1.338 * [taylor]: Taking taylor expansion of 0 in y
1.339 * [approximate]: Taking taylor expansion of (/ y (pow x 2)) in (x y) around 0
1.339 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.339 * [taylor]: Taking taylor expansion of y in y
1.339 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.339 * [taylor]: Taking taylor expansion of x in y
1.339 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
1.339 * [taylor]: Taking taylor expansion of y in x
1.339 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.339 * [taylor]: Taking taylor expansion of x in x
1.339 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
1.340 * [taylor]: Taking taylor expansion of y in x
1.340 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.340 * [taylor]: Taking taylor expansion of x in x
1.340 * [taylor]: Taking taylor expansion of y in y
1.341 * [taylor]: Taking taylor expansion of 0 in y
1.343 * [taylor]: Taking taylor expansion of 0 in y
1.345 * [taylor]: Taking taylor expansion of 0 in y
1.345 * [approximate]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in (x y) around 0
1.345 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in y
1.345 * [taylor]: Taking taylor expansion of -1 in y
1.345 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.345 * [taylor]: Taking taylor expansion of y in y
1.345 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.345 * [taylor]: Taking taylor expansion of x in y
1.346 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in x
1.346 * [taylor]: Taking taylor expansion of -1 in x
1.346 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
1.346 * [taylor]: Taking taylor expansion of y in x
1.346 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.346 * [taylor]: Taking taylor expansion of x in x
1.346 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in x
1.346 * [taylor]: Taking taylor expansion of -1 in x
1.346 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
1.346 * [taylor]: Taking taylor expansion of y in x
1.346 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.346 * [taylor]: Taking taylor expansion of x in x
1.347 * [taylor]: Taking taylor expansion of (* -1 y) in y
1.347 * [taylor]: Taking taylor expansion of -1 in y
1.347 * [taylor]: Taking taylor expansion of y in y
1.348 * [taylor]: Taking taylor expansion of 0 in y
1.351 * [taylor]: Taking taylor expansion of 0 in y
1.354 * [taylor]: Taking taylor expansion of 0 in y
1.355 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.355 * [approximate]: Taking taylor expansion of (/ (pow z 2) y) in (z y) around 0
1.355 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in y
1.355 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.355 * [taylor]: Taking taylor expansion of z in y
1.355 * [taylor]: Taking taylor expansion of y in y
1.355 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in z
1.355 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.355 * [taylor]: Taking taylor expansion of z in z
1.355 * [taylor]: Taking taylor expansion of y in z
1.356 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in z
1.356 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.356 * [taylor]: Taking taylor expansion of z in z
1.356 * [taylor]: Taking taylor expansion of y in z
1.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.356 * [taylor]: Taking taylor expansion of y in y
1.357 * [taylor]: Taking taylor expansion of 0 in y
1.358 * [taylor]: Taking taylor expansion of 0 in y
1.360 * [taylor]: Taking taylor expansion of 0 in y
1.361 * [approximate]: Taking taylor expansion of (/ y (pow z 2)) in (z y) around 0
1.361 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
1.361 * [taylor]: Taking taylor expansion of y in y
1.361 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.361 * [taylor]: Taking taylor expansion of z in y
1.361 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
1.361 * [taylor]: Taking taylor expansion of y in z
1.361 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.361 * [taylor]: Taking taylor expansion of z in z
1.361 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
1.361 * [taylor]: Taking taylor expansion of y in z
1.362 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.362 * [taylor]: Taking taylor expansion of z in z
1.362 * [taylor]: Taking taylor expansion of y in y
1.363 * [taylor]: Taking taylor expansion of 0 in y
1.364 * [taylor]: Taking taylor expansion of 0 in y
1.366 * [taylor]: Taking taylor expansion of 0 in y
1.367 * [approximate]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in (z y) around 0
1.367 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in y
1.367 * [taylor]: Taking taylor expansion of -1 in y
1.367 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
1.367 * [taylor]: Taking taylor expansion of y in y
1.367 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.367 * [taylor]: Taking taylor expansion of z in y
1.367 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in z
1.367 * [taylor]: Taking taylor expansion of -1 in z
1.367 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
1.367 * [taylor]: Taking taylor expansion of y in z
1.367 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.367 * [taylor]: Taking taylor expansion of z in z
1.368 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in z
1.368 * [taylor]: Taking taylor expansion of -1 in z
1.368 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
1.368 * [taylor]: Taking taylor expansion of y in z
1.368 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.368 * [taylor]: Taking taylor expansion of z in z
1.368 * [taylor]: Taking taylor expansion of (* -1 y) in y
1.368 * [taylor]: Taking taylor expansion of -1 in y
1.368 * [taylor]: Taking taylor expansion of y in y
1.370 * [taylor]: Taking taylor expansion of 0 in y
1.373 * [taylor]: Taking taylor expansion of 0 in y
1.376 * [taylor]: Taking taylor expansion of 0 in y
1.376 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.377 * [approximate]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in (y x) around 0
1.377 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in x
1.377 * [taylor]: Taking taylor expansion of y in x
1.377 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
1.377 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.377 * [taylor]: Taking taylor expansion of x in x
1.377 * [taylor]: Taking taylor expansion of y in x
1.377 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
1.377 * [taylor]: Taking taylor expansion of y in y
1.377 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
1.377 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.377 * [taylor]: Taking taylor expansion of x in y
1.377 * [taylor]: Taking taylor expansion of y in y
1.377 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
1.377 * [taylor]: Taking taylor expansion of y in y
1.377 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
1.377 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.377 * [taylor]: Taking taylor expansion of x in y
1.378 * [taylor]: Taking taylor expansion of y in y
1.378 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.378 * [taylor]: Taking taylor expansion of x in x
1.379 * [taylor]: Taking taylor expansion of 0 in x
1.381 * [taylor]: Taking taylor expansion of 1 in x
1.383 * [taylor]: Taking taylor expansion of 0 in x
1.386 * [taylor]: Taking taylor expansion of 0 in x
1.387 * [approximate]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in (y x) around 0
1.387 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
1.387 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
1.387 * [taylor]: Taking taylor expansion of y in x
1.387 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.387 * [taylor]: Taking taylor expansion of x in x
1.387 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.387 * [taylor]: Taking taylor expansion of y in x
1.387 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
1.387 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.388 * [taylor]: Taking taylor expansion of y in y
1.388 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.388 * [taylor]: Taking taylor expansion of x in y
1.388 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.388 * [taylor]: Taking taylor expansion of y in y
1.388 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
1.388 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.388 * [taylor]: Taking taylor expansion of y in y
1.388 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.388 * [taylor]: Taking taylor expansion of x in y
1.388 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.388 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of 1 in x
1.390 * [taylor]: Taking taylor expansion of 0 in x
1.390 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.391 * [taylor]: Taking taylor expansion of x in x
1.392 * [taylor]: Taking taylor expansion of 0 in x
1.395 * [taylor]: Taking taylor expansion of 0 in x
1.397 * [approximate]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in (y x) around 0
1.397 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in x
1.397 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
1.397 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
1.397 * [taylor]: Taking taylor expansion of y in x
1.397 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.397 * [taylor]: Taking taylor expansion of x in x
1.397 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.398 * [taylor]: Taking taylor expansion of y in x
1.398 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in y
1.398 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
1.398 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.398 * [taylor]: Taking taylor expansion of y in y
1.398 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.398 * [taylor]: Taking taylor expansion of x in y
1.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.398 * [taylor]: Taking taylor expansion of y in y
1.398 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in y
1.398 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
1.398 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.398 * [taylor]: Taking taylor expansion of y in y
1.398 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.398 * [taylor]: Taking taylor expansion of x in y
1.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.398 * [taylor]: Taking taylor expansion of y in y
1.399 * [taylor]: Taking taylor expansion of -1 in x
1.400 * [taylor]: Taking taylor expansion of 0 in x
1.401 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
1.401 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.401 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.401 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of 0 in x
1.412 * [taylor]: Taking taylor expansion of 0 in x
1.414 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.414 * [approximate]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in (y x z) around 0
1.414 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in z
1.414 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in z
1.414 * [taylor]: Taking taylor expansion of y in z
1.414 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in z
1.414 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.414 * [taylor]: Taking taylor expansion of x in z
1.414 * [taylor]: Taking taylor expansion of y in z
1.414 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in z
1.414 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.414 * [taylor]: Taking taylor expansion of z in z
1.414 * [taylor]: Taking taylor expansion of y in z
1.415 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in x
1.415 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in x
1.415 * [taylor]: Taking taylor expansion of y in x
1.415 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
1.415 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.415 * [taylor]: Taking taylor expansion of x in x
1.415 * [taylor]: Taking taylor expansion of y in x
1.415 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in x
1.415 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.415 * [taylor]: Taking taylor expansion of z in x
1.415 * [taylor]: Taking taylor expansion of y in x
1.416 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in y
1.416 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
1.416 * [taylor]: Taking taylor expansion of y in y
1.416 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
1.416 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.416 * [taylor]: Taking taylor expansion of x in y
1.416 * [taylor]: Taking taylor expansion of y in y
1.416 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in y
1.416 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.416 * [taylor]: Taking taylor expansion of z in y
1.416 * [taylor]: Taking taylor expansion of y in y
1.416 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in y
1.416 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
1.416 * [taylor]: Taking taylor expansion of y in y
1.416 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
1.416 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.416 * [taylor]: Taking taylor expansion of x in y
1.416 * [taylor]: Taking taylor expansion of y in y
1.416 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in y
1.416 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.416 * [taylor]: Taking taylor expansion of z in y
1.416 * [taylor]: Taking taylor expansion of y in y
1.417 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in x
1.417 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.417 * [taylor]: Taking taylor expansion of x in x
1.417 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.417 * [taylor]: Taking taylor expansion of z in x
1.417 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
1.417 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.417 * [taylor]: Taking taylor expansion of z in z
1.419 * [taylor]: Taking taylor expansion of 0 in x
1.419 * [taylor]: Taking taylor expansion of 0 in z
1.420 * [taylor]: Taking taylor expansion of 0 in z
1.423 * [taylor]: Taking taylor expansion of 1 in x
1.423 * [taylor]: Taking taylor expansion of 1 in z
1.423 * [taylor]: Taking taylor expansion of 0 in z
1.425 * [taylor]: Taking taylor expansion of 1 in z
1.426 * [approximate]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in (y x z) around 0
1.426 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in z
1.426 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in z
1.426 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in z
1.426 * [taylor]: Taking taylor expansion of y in z
1.426 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.426 * [taylor]: Taking taylor expansion of x in z
1.426 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.426 * [taylor]: Taking taylor expansion of y in z
1.426 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
1.426 * [taylor]: Taking taylor expansion of y in z
1.426 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.426 * [taylor]: Taking taylor expansion of z in z
1.427 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in x
1.427 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
1.427 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
1.427 * [taylor]: Taking taylor expansion of y in x
1.427 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.427 * [taylor]: Taking taylor expansion of x in x
1.427 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.427 * [taylor]: Taking taylor expansion of y in x
1.427 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in x
1.427 * [taylor]: Taking taylor expansion of y in x
1.427 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.427 * [taylor]: Taking taylor expansion of z in x
1.427 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in y
1.427 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
1.428 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.428 * [taylor]: Taking taylor expansion of y in y
1.428 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.428 * [taylor]: Taking taylor expansion of x in y
1.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.428 * [taylor]: Taking taylor expansion of y in y
1.428 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
1.428 * [taylor]: Taking taylor expansion of y in y
1.428 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.428 * [taylor]: Taking taylor expansion of z in y
1.428 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in y
1.428 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
1.428 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.428 * [taylor]: Taking taylor expansion of y in y
1.428 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.428 * [taylor]: Taking taylor expansion of x in y
1.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.428 * [taylor]: Taking taylor expansion of y in y
1.429 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
1.429 * [taylor]: Taking taylor expansion of y in y
1.429 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.429 * [taylor]: Taking taylor expansion of z in y
1.430 * [taylor]: Taking taylor expansion of 1 in x
1.431 * [taylor]: Taking taylor expansion of 0 in x
1.432 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x
1.432 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.432 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.432 * [taylor]: Taking taylor expansion of x in x
1.432 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.432 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.432 * [taylor]: Taking taylor expansion of z in x
1.433 * [taylor]: Taking taylor expansion of 1 in z
1.433 * [taylor]: Taking taylor expansion of 1 in z
1.435 * [taylor]: Taking taylor expansion of 0 in x
1.436 * [taylor]: Taking taylor expansion of 0 in z
1.436 * [taylor]: Taking taylor expansion of 0 in z
1.436 * [taylor]: Taking taylor expansion of 0 in z
1.439 * [taylor]: Taking taylor expansion of 0 in x
1.441 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
1.441 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.441 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.441 * [taylor]: Taking taylor expansion of z in z
1.442 * [taylor]: Taking taylor expansion of 0 in z
1.442 * [taylor]: Taking taylor expansion of 0 in z
1.443 * [approximate]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in (y x z) around 0
1.443 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in z
1.443 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
1.443 * [taylor]: Taking taylor expansion of y in z
1.443 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.443 * [taylor]: Taking taylor expansion of z in z
1.443 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in z
1.443 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in z
1.443 * [taylor]: Taking taylor expansion of y in z
1.443 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.443 * [taylor]: Taking taylor expansion of x in z
1.443 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.443 * [taylor]: Taking taylor expansion of y in z
1.443 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in x
1.443 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in x
1.443 * [taylor]: Taking taylor expansion of y in x
1.443 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.443 * [taylor]: Taking taylor expansion of z in x
1.444 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
1.444 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
1.444 * [taylor]: Taking taylor expansion of y in x
1.444 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.444 * [taylor]: Taking taylor expansion of x in x
1.444 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.444 * [taylor]: Taking taylor expansion of y in x
1.444 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in y
1.444 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
1.444 * [taylor]: Taking taylor expansion of y in y
1.444 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.444 * [taylor]: Taking taylor expansion of z in y
1.445 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
1.445 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.445 * [taylor]: Taking taylor expansion of y in y
1.445 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.445 * [taylor]: Taking taylor expansion of x in y
1.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.445 * [taylor]: Taking taylor expansion of y in y
1.445 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in y
1.445 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
1.445 * [taylor]: Taking taylor expansion of y in y
1.445 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.445 * [taylor]: Taking taylor expansion of z in y
1.446 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
1.446 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
1.446 * [taylor]: Taking taylor expansion of y in y
1.446 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.446 * [taylor]: Taking taylor expansion of x in y
1.446 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.446 * [taylor]: Taking taylor expansion of y in y
1.447 * [taylor]: Taking taylor expansion of -1 in x
1.448 * [taylor]: Taking taylor expansion of 0 in x
1.449 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) in x
1.449 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.449 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.449 * [taylor]: Taking taylor expansion of z in x
1.449 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.449 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.449 * [taylor]: Taking taylor expansion of x in x
1.451 * [taylor]: Taking taylor expansion of -1 in z
1.451 * [taylor]: Taking taylor expansion of -1 in z
1.453 * [taylor]: Taking taylor expansion of 0 in x
1.454 * [taylor]: Taking taylor expansion of 0 in z
1.455 * [taylor]: Taking taylor expansion of 0 in z
1.455 * [taylor]: Taking taylor expansion of 0 in z
1.457 * [taylor]: Taking taylor expansion of 0 in x
1.459 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.459 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.459 * [taylor]: Taking taylor expansion of z in z
1.460 * [taylor]: Taking taylor expansion of 0 in z
1.460 * [taylor]: Taking taylor expansion of 0 in z
1.460 * * * [progress]: simplifying candidates
1.462 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (pow x 2) y))
  (log1p (/ (pow x 2) y))
  (- (* (log x) 2) (log y))
  (- (* (log x) 2) (log y))
  (- (log (pow x 2)) (log y))
  (log (/ (pow x 2) y))
  (exp (/ (pow x 2) y))
  (/ (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* y y) y))
  (* (cbrt (/ (pow x 2) y)) (cbrt (/ (pow x 2) y)))
  (cbrt (/ (pow x 2) y))
  (* (* (/ (pow x 2) y) (/ (pow x 2) y)) (/ (pow x 2) y))
  (sqrt (/ (pow x 2) y))
  (sqrt (/ (pow x 2) y))
  (- (pow x 2))
  (- y)
  (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt y) (cbrt y)))
  (/ (pow (cbrt x) 2) (cbrt y))
  (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt y))
  (/ (pow (cbrt x) 2) (sqrt y))
  (/ (pow (* (cbrt x) (cbrt x)) 2) 1)
  (/ (pow (cbrt x) 2) y)
  (/ (pow (sqrt x) 2) (* (cbrt y) (cbrt y)))
  (/ (pow (sqrt x) 2) (cbrt y))
  (/ (pow (sqrt x) 2) (sqrt y))
  (/ (pow (sqrt x) 2) (sqrt y))
  (/ (pow (sqrt x) 2) 1)
  (/ (pow (sqrt x) 2) y)
  (/ (pow 1 2) (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (cbrt y))
  (/ (pow 1 2) (sqrt y))
  (/ (pow x 2) (sqrt y))
  (/ (pow 1 2) 1)
  (/ (pow x 2) y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ x (sqrt y))
  (/ x (sqrt y))
  (/ x 1)
  (/ x y)
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (pow x 2)) (cbrt y))
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt y))
  (/ (cbrt (pow x 2)) (sqrt y))
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1)
  (/ (cbrt (pow x 2)) y)
  (/ (sqrt (pow x 2)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (pow x 2)) (cbrt y))
  (/ (sqrt (pow x 2)) (sqrt y))
  (/ (sqrt (pow x 2)) (sqrt y))
  (/ (sqrt (pow x 2)) 1)
  (/ (sqrt (pow x 2)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (cbrt y))
  (/ 1 (sqrt y))
  (/ (pow x 2) (sqrt y))
  (/ 1 1)
  (/ (pow x 2) y)
  (/ (pow x (/ 2 2)) (* (cbrt y) (cbrt y)))
  (/ (pow x (/ 2 2)) (cbrt y))
  (/ (pow x (/ 2 2)) (sqrt y))
  (/ (pow x (/ 2 2)) (sqrt y))
  (/ (pow x (/ 2 2)) 1)
  (/ (pow x (/ 2 2)) y)
  (/ 1 y)
  (/ y (pow x 2))
  (/ (pow x 2) (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (sqrt y))
  (/ (pow x 2) 1)
  (/ y (pow (cbrt x) 2))
  (/ y (pow (sqrt x) 2))
  (/ y (pow x 2))
  (/ y x)
  (/ y (cbrt (pow x 2)))
  (/ y (sqrt (pow x 2)))
  (/ y (pow x 2))
  (/ y (pow x (/ 2 2)))
  (expm1 (* z (/ z y)))
  (log1p (* z (/ z y)))
  (* z (/ z y))
  (+ (log z) (- (log z) (log y)))
  (+ (log z) (log (/ z y)))
  (log (* z (/ z y)))
  (exp (* z (/ z y)))
  (* (* (* z z) z) (/ (* (* z z) z) (* (* y y) y)))
  (* (* (* z z) z) (* (* (/ z y) (/ z y)) (/ z y)))
  (* (cbrt (* z (/ z y))) (cbrt (* z (/ z y))))
  (cbrt (* z (/ z y)))
  (* (* (* z (/ z y)) (* z (/ z y))) (* z (/ z y)))
  (sqrt (* z (/ z y)))
  (sqrt (* z (/ z y)))
  (* (sqrt z) (sqrt (/ z y)))
  (* (sqrt z) (sqrt (/ z y)))
  (* (sqrt z) (/ (sqrt z) (sqrt y)))
  (* (sqrt z) (/ (sqrt z) (sqrt y)))
  (* z (* (cbrt (/ z y)) (cbrt (/ z y))))
  (* z (sqrt (/ z y)))
  (* z (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (* z (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* z (/ (* (cbrt z) (cbrt z)) 1))
  (* z (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (* z (/ (sqrt z) (sqrt y)))
  (* z (/ (sqrt z) 1))
  (* z (/ 1 (* (cbrt y) (cbrt y))))
  (* z (/ 1 (sqrt y)))
  (* z (/ 1 1))
  (* z 1)
  (* z z)
  (* (cbrt z) (/ z y))
  (* (sqrt z) (/ z y))
  (* z (/ z y))
  (* z z)
  (expm1 (+ y (/ (pow x 2) y)))
  (log1p (+ y (/ (pow x 2) y)))
  (* (exp y) (exp (/ (pow x 2) y)))
  (log (+ y (/ (pow x 2) y)))
  (exp (+ y (/ (pow x 2) y)))
  (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y))))
  (cbrt (+ y (/ (pow x 2) y)))
  (* (* (+ y (/ (pow x 2) y)) (+ y (/ (pow x 2) y))) (+ y (/ (pow x 2) y)))
  (sqrt (+ y (/ (pow x 2) y)))
  (sqrt (+ y (/ (pow x 2) y)))
  (+ (pow y 3) (pow (/ (pow x 2) y) 3))
  (+ (* y y) (- (* (/ (pow x 2) y) (/ (pow x 2) y)) (* y (/ (pow x 2) y))))
  (- (* y y) (* (/ (pow x 2) y) (/ (pow x 2) y)))
  (- y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z y) z)))
  (fma (- (/ z y)) z (* (/ z y) z))
  (fma (sqrt (+ y (/ (pow x 2) y))) (sqrt (+ y (/ (pow x 2) y))) (- (* (/ z y) z)))
  (fma (- (/ z y)) z (* (/ z y) z))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ z y) z)))
  (fma (- (/ z y)) z (* (/ z y) z))
  (fma 1 (+ y (/ (pow x 2) y)) (- (* (/ z y) z)))
  (fma (- (/ z y)) z (* (/ z y) z))
  (expm1 (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (log1p (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (/ (* (exp y) (exp (/ (pow x 2) y))) (exp (* z (/ z y))))
  (/ (exp (+ y (/ (pow x 2) y))) (exp (* z (/ z y))))
  (log (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (exp (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (* (cbrt (- (+ y (/ (pow x 2) y)) (* z (/ z y)))) (cbrt (- (+ y (/ (pow x 2) y)) (* z (/ z y)))))
  (cbrt (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (* (* (- (+ y (/ (pow x 2) y)) (* z (/ z y))) (- (+ y (/ (pow x 2) y)) (* z (/ z y)))) (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (sqrt (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (sqrt (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (- (* (+ (pow y 3) (pow (/ (pow x 2) y) 3)) y) (* (+ (* y y) (- (* (/ (pow x 2) y) (/ (pow x 2) y)) (* y (/ (pow x 2) y)))) (* z z)))
  (* (+ (* y y) (- (* (/ (pow x 2) y) (/ (pow x 2) y)) (* y (/ (pow x 2) y)))) y)
  (- (* (- (* y y) (* (/ (pow x 2) y) (/ (pow x 2) y))) y) (* (- y (/ (pow x 2) y)) (* z z)))
  (* (- y (/ (pow x 2) y)) y)
  (- (pow (+ y (/ (pow x 2) y)) 3) (pow (* z (/ z y)) 3))
  (+ (* (+ y (/ (pow x 2) y)) (+ y (/ (pow x 2) y))) (+ (* (* z (/ z y)) (* z (/ z y))) (* (+ y (/ (pow x 2) y)) (* z (/ z y)))))
  (- (* z (/ z y)))
  (- (* (+ y (/ (pow x 2) y)) (+ y (/ (pow x 2) y))) (* (* z (/ z y)) (* z (/ z y))))
  (+ (+ y (/ (pow x 2) y)) (* z (/ z y)))
  (- (/ (pow x 2) y) (* z (/ z y)))
  (- (* z (/ z y)))
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (/ (pow z 2) y)
  (/ (pow z 2) y)
  (/ (pow z 2) y)
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
1.470 * * [simplify]: iteration  0 :  460  enodes  (cost  747 )
1.479 * * [simplify]: iteration  1 :  1930  enodes  (cost  676 )
1.520 * * [simplify]: iteration  2 :  5001  enodes  (cost  670 )
1.524 * [simplify]: Simplified to:
   (expm1 (/ (pow x 2) y))
  (log1p (/ (pow x 2) y))
  (log (/ (pow x 2) y))
  (log (/ (pow x 2) y))
  (log (/ (pow x 2) y))
  (log (/ (pow x 2) y))
  (exp (/ (pow x 2) y))
  (pow (/ (pow x 2) y) 3)
  (* (cbrt (/ (pow x 2) y)) (cbrt (/ (pow x 2) y)))
  (cbrt (/ (pow x 2) y))
  (pow (/ (pow x 2) y) 3)
  (sqrt (/ (pow x 2) y))
  (sqrt (/ (pow x 2) y))
  (- (pow x 2))
  (- y)
  (/ (pow (cbrt x) 4) (* (* (cbrt y) (cbrt y)) 1))
  (/ (pow (cbrt x) 2) (cbrt y))
  (/ (pow (cbrt x) 4) (* (sqrt y) 1))
  (/ (pow (cbrt x) 2) (sqrt y))
  (pow (cbrt x) 4)
  (/ (pow (cbrt x) 2) y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ x (sqrt y))
  (/ x (sqrt y))
  x
  (/ x y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (cbrt y))
  (/ 1 (sqrt y))
  (/ (pow x 2) (sqrt y))
  1
  (/ (pow x 2) y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ x (sqrt y))
  (/ x (sqrt y))
  x
  (/ x y)
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (pow x 2)) (cbrt y))
  (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt y))
  (/ (cbrt (pow x 2)) (sqrt y))
  (* (cbrt (pow x 2)) (cbrt (pow x 2)))
  (/ (cbrt (pow x 2)) y)
  (/ (/ (fabs x) (cbrt y)) (cbrt y))
  (/ (fabs x) (cbrt y))
  (/ (fabs x) (sqrt y))
  (/ (fabs x) (sqrt y))
  (fabs x)
  (/ (fabs x) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (cbrt y))
  (/ 1 (sqrt y))
  (/ (pow x 2) (sqrt y))
  1
  (/ (pow x 2) y)
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ x (sqrt y))
  (/ x (sqrt y))
  x
  (/ x y)
  (/ 1 y)
  (/ y (pow x 2))
  (/ (pow x 2) (* (cbrt y) (cbrt y)))
  (/ (pow x 2) (sqrt y))
  (pow x 2)
  (/ y (pow (cbrt x) 2))
  (/ y x)
  (/ y (pow x 2))
  (/ y x)
  (/ y (cbrt (pow x 2)))
  (/ y (fabs x))
  (/ y (pow x 2))
  (/ y x)
  (expm1 (* z (/ z y)))
  (log1p (* z (/ z y)))
  (* z (/ z y))
  (log (* z (/ z y)))
  (log (* z (/ z y)))
  (log (* z (/ z y)))
  (exp (* z (/ z y)))
  (pow (* z (/ z y)) 3)
  (pow (* z (/ z y)) 3)
  (* (cbrt (* z (/ z y))) (cbrt (* z (/ z y))))
  (cbrt (* z (/ z y)))
  (pow (* z (/ z y)) 3)
  (sqrt (* z (/ z y)))
  (sqrt (* z (/ z y)))
  (* (sqrt z) (sqrt (/ z y)))
  (* (sqrt z) (sqrt (/ z y)))
  (/ z (sqrt y))
  (/ z (sqrt y))
  (* z (* (cbrt (/ z y)) (cbrt (/ z y))))
  (* z (sqrt (/ z y)))
  (* z (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (* z (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* (* (cbrt z) (cbrt z)) z)
  (* z (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (* z (/ (sqrt z) (sqrt y)))
  (* (sqrt z) z)
  (/ z (* (cbrt y) (cbrt y)))
  (/ z (sqrt y))
  z
  z
  (pow z 2)
  (* (cbrt z) (/ z y))
  (* (sqrt z) (/ z y))
  (* z (/ z y))
  (pow z 2)
  (expm1 (+ y (/ (pow x 2) y)))
  (log1p (+ y (/ (pow x 2) y)))
  (exp (+ y (/ (pow x 2) y)))
  (log (+ y (/ (pow x 2) y)))
  (exp (+ y (/ (pow x 2) y)))
  (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y))))
  (cbrt (+ y (/ (pow x 2) y)))
  (pow (+ y (/ (pow x 2) y)) 3)
  (sqrt (+ y (/ (pow x 2) y)))
  (sqrt (+ y (/ (pow x 2) y)))
  (+ (pow y 3) (pow (/ (pow x 2) y) 3))
  (fma (/ (pow x 2) y) (- (/ (pow x 2) y) y) (* y y))
  (- (* y y) (* (/ (pow x 2) y) (/ (pow x 2) y)))
  (- y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (fma (* (cbrt (+ y (/ (pow x 2) y))) (cbrt (+ y (/ (pow x 2) y)))) (cbrt (+ y (/ (pow x 2) y))) (- (* (/ z y) z)))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (* z (/ z y)))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (* z (/ z y)))
  (* (/ z y) (+ (- z) z))
  (- (+ y (/ (pow x 2) y)) (* z (/ z y)))
  (* (/ z y) (+ (- z) z))
  (expm1 (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (log1p (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (exp (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (exp (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (log (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (exp (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (* (cbrt (- (+ y (/ (pow x 2) y)) (* z (/ z y)))) (cbrt (- (+ y (/ (pow x 2) y)) (* z (/ z y)))))
  (cbrt (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (pow (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) 3)
  (sqrt (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (sqrt (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
  (fma (- (fma (/ (pow x 2) y) (- (/ (pow x 2) y) y) (* y y))) (pow z 2) (* (+ (pow y 3) (pow (/ (pow x 2) y) 3)) y))
  (fma y (* (/ (pow x 2) y) (- (/ (pow x 2) y) y)) (pow y 3))
  (- (* (- (* y y) (* (/ (pow x 2) y) (/ (pow x 2) y))) y) (* (- y (/ (pow x 2) y)) (* z z)))
  (* (- y (/ (pow x 2) y)) y)
  (- (pow (+ y (/ (pow x 2) y)) 3) (pow (* z (/ z y)) 3))
  (fma z (* (/ z y) (fma z (/ z y) (+ y (/ (pow x 2) y)))) (* (+ y (/ (pow x 2) y)) (+ y (/ (pow x 2) y))))
  (- (* z (/ z y)))
  (* (fma z (/ z y) (+ y (/ (pow x 2) y))) (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
  (fma z (/ z y) (+ y (/ (pow x 2) y)))
  (- (/ (pow x 2) y) (* z (/ z y)))
  (- (* z (/ z y)))
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (* z (/ z y))
  (* z (/ z y))
  (* z (/ z y))
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (- (+ y (/ (pow x 2) y)) (* z (/ z y)))
  (- (+ y (/ (pow x 2) y)) (* z (/ z y)))
  (- (+ y (/ (pow x 2) y)) (* z (/ z y)))
1.525 * * * [progress]: adding candidates to table
1.880 * * [progress]: iteration 4 / 4
1.880 * * * [progress]: picking best candidate
1.899 * * * * [pick]: Picked  #<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y)))))>
1.899 * * * [progress]: localizing error
1.917 * * * [progress]: generating rewritten candidates
1.917 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
1.926 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.933 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.957 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.995 * * * [progress]: generating series expansions
1.996 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
1.996 * [approximate]: Taking taylor expansion of (/ (pow x 2) y) in (x y) around 0
1.996 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
1.996 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.996 * [taylor]: Taking taylor expansion of x in y
1.996 * [taylor]: Taking taylor expansion of y in y
1.997 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
1.997 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.997 * [taylor]: Taking taylor expansion of x in x
1.997 * [taylor]: Taking taylor expansion of y in x
1.997 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
1.997 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.997 * [taylor]: Taking taylor expansion of x in x
1.997 * [taylor]: Taking taylor expansion of y in x
1.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.998 * [taylor]: Taking taylor expansion of y in y
1.998 * [taylor]: Taking taylor expansion of 0 in y
2.000 * [taylor]: Taking taylor expansion of 0 in y
2.001 * [taylor]: Taking taylor expansion of 0 in y
2.002 * [approximate]: Taking taylor expansion of (/ y (pow x 2)) in (x y) around 0
2.003 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.003 * [taylor]: Taking taylor expansion of y in y
2.003 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.003 * [taylor]: Taking taylor expansion of x in y
2.003 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
2.003 * [taylor]: Taking taylor expansion of y in x
2.003 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.003 * [taylor]: Taking taylor expansion of x in x
2.003 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
2.003 * [taylor]: Taking taylor expansion of y in x
2.003 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.003 * [taylor]: Taking taylor expansion of x in x
2.004 * [taylor]: Taking taylor expansion of y in y
2.005 * [taylor]: Taking taylor expansion of 0 in y
2.006 * [taylor]: Taking taylor expansion of 0 in y
2.008 * [taylor]: Taking taylor expansion of 0 in y
2.009 * [approximate]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in (x y) around 0
2.009 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in y
2.009 * [taylor]: Taking taylor expansion of -1 in y
2.009 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.009 * [taylor]: Taking taylor expansion of y in y
2.009 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.009 * [taylor]: Taking taylor expansion of x in y
2.009 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in x
2.009 * [taylor]: Taking taylor expansion of -1 in x
2.009 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
2.009 * [taylor]: Taking taylor expansion of y in x
2.009 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.009 * [taylor]: Taking taylor expansion of x in x
2.010 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow x 2))) in x
2.010 * [taylor]: Taking taylor expansion of -1 in x
2.010 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
2.010 * [taylor]: Taking taylor expansion of y in x
2.010 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.010 * [taylor]: Taking taylor expansion of x in x
2.010 * [taylor]: Taking taylor expansion of (* -1 y) in y
2.010 * [taylor]: Taking taylor expansion of -1 in y
2.010 * [taylor]: Taking taylor expansion of y in y
2.012 * [taylor]: Taking taylor expansion of 0 in y
2.015 * [taylor]: Taking taylor expansion of 0 in y
2.018 * [taylor]: Taking taylor expansion of 0 in y
2.019 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
2.019 * [approximate]: Taking taylor expansion of (/ (pow z 2) y) in (z y) around 0
2.019 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in y
2.019 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.019 * [taylor]: Taking taylor expansion of z in y
2.019 * [taylor]: Taking taylor expansion of y in y
2.019 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in z
2.019 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.019 * [taylor]: Taking taylor expansion of z in z
2.019 * [taylor]: Taking taylor expansion of y in z
2.019 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in z
2.019 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.019 * [taylor]: Taking taylor expansion of z in z
2.019 * [taylor]: Taking taylor expansion of y in z
2.020 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.020 * [taylor]: Taking taylor expansion of y in y
2.021 * [taylor]: Taking taylor expansion of 0 in y
2.022 * [taylor]: Taking taylor expansion of 0 in y
2.024 * [taylor]: Taking taylor expansion of 0 in y
2.024 * [approximate]: Taking taylor expansion of (/ y (pow z 2)) in (z y) around 0
2.025 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
2.025 * [taylor]: Taking taylor expansion of y in y
2.025 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.025 * [taylor]: Taking taylor expansion of z in y
2.025 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
2.025 * [taylor]: Taking taylor expansion of y in z
2.025 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.025 * [taylor]: Taking taylor expansion of z in z
2.025 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
2.025 * [taylor]: Taking taylor expansion of y in z
2.025 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.025 * [taylor]: Taking taylor expansion of z in z
2.026 * [taylor]: Taking taylor expansion of y in y
2.027 * [taylor]: Taking taylor expansion of 0 in y
2.028 * [taylor]: Taking taylor expansion of 0 in y
2.030 * [taylor]: Taking taylor expansion of 0 in y
2.031 * [approximate]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in (z y) around 0
2.031 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in y
2.031 * [taylor]: Taking taylor expansion of -1 in y
2.031 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
2.031 * [taylor]: Taking taylor expansion of y in y
2.031 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.031 * [taylor]: Taking taylor expansion of z in y
2.031 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in z
2.031 * [taylor]: Taking taylor expansion of -1 in z
2.031 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
2.031 * [taylor]: Taking taylor expansion of y in z
2.031 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.031 * [taylor]: Taking taylor expansion of z in z
2.031 * [taylor]: Taking taylor expansion of (* -1 (/ y (pow z 2))) in z
2.031 * [taylor]: Taking taylor expansion of -1 in z
2.031 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
2.031 * [taylor]: Taking taylor expansion of y in z
2.031 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.031 * [taylor]: Taking taylor expansion of z in z
2.032 * [taylor]: Taking taylor expansion of (* -1 y) in y
2.032 * [taylor]: Taking taylor expansion of -1 in y
2.032 * [taylor]: Taking taylor expansion of y in y
2.034 * [taylor]: Taking taylor expansion of 0 in y
2.036 * [taylor]: Taking taylor expansion of 0 in y
2.040 * [taylor]: Taking taylor expansion of 0 in y
2.040 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
2.041 * [approximate]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in (y x) around 0
2.041 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in x
2.041 * [taylor]: Taking taylor expansion of y in x
2.041 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
2.041 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.041 * [taylor]: Taking taylor expansion of x in x
2.041 * [taylor]: Taking taylor expansion of y in x
2.041 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
2.041 * [taylor]: Taking taylor expansion of y in y
2.041 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
2.041 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.041 * [taylor]: Taking taylor expansion of x in y
2.041 * [taylor]: Taking taylor expansion of y in y
2.041 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
2.041 * [taylor]: Taking taylor expansion of y in y
2.041 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
2.041 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.041 * [taylor]: Taking taylor expansion of x in y
2.041 * [taylor]: Taking taylor expansion of y in y
2.042 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.042 * [taylor]: Taking taylor expansion of x in x
2.043 * [taylor]: Taking taylor expansion of 0 in x
2.045 * [taylor]: Taking taylor expansion of 1 in x
2.047 * [taylor]: Taking taylor expansion of 0 in x
2.051 * [taylor]: Taking taylor expansion of 0 in x
2.051 * [approximate]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in (y x) around 0
2.051 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
2.051 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
2.051 * [taylor]: Taking taylor expansion of y in x
2.051 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.051 * [taylor]: Taking taylor expansion of x in x
2.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.052 * [taylor]: Taking taylor expansion of y in x
2.052 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
2.052 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.052 * [taylor]: Taking taylor expansion of y in y
2.052 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.052 * [taylor]: Taking taylor expansion of x in y
2.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.052 * [taylor]: Taking taylor expansion of y in y
2.053 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
2.053 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.053 * [taylor]: Taking taylor expansion of y in y
2.053 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.053 * [taylor]: Taking taylor expansion of x in y
2.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.053 * [taylor]: Taking taylor expansion of y in y
2.053 * [taylor]: Taking taylor expansion of 1 in x
2.054 * [taylor]: Taking taylor expansion of 0 in x
2.055 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.055 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.055 * [taylor]: Taking taylor expansion of x in x
2.057 * [taylor]: Taking taylor expansion of 0 in x
2.059 * [taylor]: Taking taylor expansion of 0 in x
2.061 * [approximate]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in (y x) around 0
2.061 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in x
2.062 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
2.062 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
2.062 * [taylor]: Taking taylor expansion of y in x
2.062 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.062 * [taylor]: Taking taylor expansion of x in x
2.062 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.062 * [taylor]: Taking taylor expansion of y in x
2.062 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in y
2.062 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
2.062 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.062 * [taylor]: Taking taylor expansion of y in y
2.062 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.062 * [taylor]: Taking taylor expansion of x in y
2.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.062 * [taylor]: Taking taylor expansion of y in y
2.063 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y))) in y
2.063 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
2.063 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.063 * [taylor]: Taking taylor expansion of y in y
2.063 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.063 * [taylor]: Taking taylor expansion of x in y
2.063 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.063 * [taylor]: Taking taylor expansion of y in y
2.064 * [taylor]: Taking taylor expansion of -1 in x
2.065 * [taylor]: Taking taylor expansion of 0 in x
2.066 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
2.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.066 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.066 * [taylor]: Taking taylor expansion of x in x
2.068 * [taylor]: Taking taylor expansion of 0 in x
2.071 * [taylor]: Taking taylor expansion of 0 in x
2.073 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.073 * [approximate]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in (y x z) around 0
2.073 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in z
2.073 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in z
2.074 * [taylor]: Taking taylor expansion of y in z
2.074 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in z
2.074 * [taylor]: Taking taylor expansion of (pow x 2) in z
2.074 * [taylor]: Taking taylor expansion of x in z
2.074 * [taylor]: Taking taylor expansion of y in z
2.074 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in z
2.074 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.074 * [taylor]: Taking taylor expansion of z in z
2.074 * [taylor]: Taking taylor expansion of y in z
2.074 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in x
2.074 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in x
2.074 * [taylor]: Taking taylor expansion of y in x
2.074 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in x
2.074 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.074 * [taylor]: Taking taylor expansion of x in x
2.074 * [taylor]: Taking taylor expansion of y in x
2.075 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in x
2.075 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.075 * [taylor]: Taking taylor expansion of z in x
2.075 * [taylor]: Taking taylor expansion of y in x
2.075 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in y
2.075 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
2.075 * [taylor]: Taking taylor expansion of y in y
2.075 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
2.075 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.075 * [taylor]: Taking taylor expansion of x in y
2.075 * [taylor]: Taking taylor expansion of y in y
2.075 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in y
2.075 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.075 * [taylor]: Taking taylor expansion of z in y
2.075 * [taylor]: Taking taylor expansion of y in y
2.075 * [taylor]: Taking taylor expansion of (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)) in y
2.075 * [taylor]: Taking taylor expansion of (+ y (/ (pow x 2) y)) in y
2.075 * [taylor]: Taking taylor expansion of y in y
2.075 * [taylor]: Taking taylor expansion of (/ (pow x 2) y) in y
2.075 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.075 * [taylor]: Taking taylor expansion of x in y
2.075 * [taylor]: Taking taylor expansion of y in y
2.075 * [taylor]: Taking taylor expansion of (/ (pow z 2) y) in y
2.075 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.075 * [taylor]: Taking taylor expansion of z in y
2.075 * [taylor]: Taking taylor expansion of y in y
2.076 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in x
2.076 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.076 * [taylor]: Taking taylor expansion of x in x
2.076 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.076 * [taylor]: Taking taylor expansion of z in x
2.076 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
2.076 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.076 * [taylor]: Taking taylor expansion of z in z
2.079 * [taylor]: Taking taylor expansion of 0 in x
2.079 * [taylor]: Taking taylor expansion of 0 in z
2.079 * [taylor]: Taking taylor expansion of 0 in z
2.089 * [taylor]: Taking taylor expansion of 1 in x
2.089 * [taylor]: Taking taylor expansion of 1 in z
2.089 * [taylor]: Taking taylor expansion of 0 in z
2.090 * [taylor]: Taking taylor expansion of 1 in z
2.092 * [approximate]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in (y x z) around 0
2.092 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in z
2.092 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in z
2.092 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in z
2.092 * [taylor]: Taking taylor expansion of y in z
2.092 * [taylor]: Taking taylor expansion of (pow x 2) in z
2.092 * [taylor]: Taking taylor expansion of x in z
2.092 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.092 * [taylor]: Taking taylor expansion of y in z
2.092 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
2.092 * [taylor]: Taking taylor expansion of y in z
2.092 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.093 * [taylor]: Taking taylor expansion of z in z
2.093 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in x
2.093 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
2.093 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
2.093 * [taylor]: Taking taylor expansion of y in x
2.093 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.093 * [taylor]: Taking taylor expansion of x in x
2.093 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.093 * [taylor]: Taking taylor expansion of y in x
2.093 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in x
2.093 * [taylor]: Taking taylor expansion of y in x
2.093 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.093 * [taylor]: Taking taylor expansion of z in x
2.094 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in y
2.094 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
2.094 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.094 * [taylor]: Taking taylor expansion of y in y
2.094 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.094 * [taylor]: Taking taylor expansion of x in y
2.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.094 * [taylor]: Taking taylor expansion of y in y
2.094 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
2.095 * [taylor]: Taking taylor expansion of y in y
2.095 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.095 * [taylor]: Taking taylor expansion of z in y
2.095 * [taylor]: Taking taylor expansion of (- (+ (/ y (pow x 2)) (/ 1 y)) (/ y (pow z 2))) in y
2.095 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
2.095 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.095 * [taylor]: Taking taylor expansion of y in y
2.095 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.095 * [taylor]: Taking taylor expansion of x in y
2.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.095 * [taylor]: Taking taylor expansion of y in y
2.095 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
2.095 * [taylor]: Taking taylor expansion of y in y
2.095 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.095 * [taylor]: Taking taylor expansion of z in y
2.096 * [taylor]: Taking taylor expansion of 1 in x
2.097 * [taylor]: Taking taylor expansion of 0 in x
2.098 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x
2.098 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.098 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.098 * [taylor]: Taking taylor expansion of x in x
2.099 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
2.099 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.099 * [taylor]: Taking taylor expansion of z in x
2.100 * [taylor]: Taking taylor expansion of 1 in z
2.100 * [taylor]: Taking taylor expansion of 1 in z
2.102 * [taylor]: Taking taylor expansion of 0 in x
2.103 * [taylor]: Taking taylor expansion of 0 in z
2.103 * [taylor]: Taking taylor expansion of 0 in z
2.103 * [taylor]: Taking taylor expansion of 0 in z
2.106 * [taylor]: Taking taylor expansion of 0 in x
2.107 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
2.107 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.107 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.107 * [taylor]: Taking taylor expansion of z in z
2.108 * [taylor]: Taking taylor expansion of 0 in z
2.108 * [taylor]: Taking taylor expansion of 0 in z
2.110 * [approximate]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in (y x z) around 0
2.110 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in z
2.110 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in z
2.110 * [taylor]: Taking taylor expansion of y in z
2.110 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.110 * [taylor]: Taking taylor expansion of z in z
2.110 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in z
2.110 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in z
2.110 * [taylor]: Taking taylor expansion of y in z
2.110 * [taylor]: Taking taylor expansion of (pow x 2) in z
2.110 * [taylor]: Taking taylor expansion of x in z
2.110 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.110 * [taylor]: Taking taylor expansion of y in z
2.110 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in x
2.111 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in x
2.111 * [taylor]: Taking taylor expansion of y in x
2.111 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.111 * [taylor]: Taking taylor expansion of z in x
2.111 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in x
2.111 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in x
2.111 * [taylor]: Taking taylor expansion of y in x
2.111 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.111 * [taylor]: Taking taylor expansion of x in x
2.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.111 * [taylor]: Taking taylor expansion of y in x
2.111 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in y
2.111 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
2.111 * [taylor]: Taking taylor expansion of y in y
2.111 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.111 * [taylor]: Taking taylor expansion of z in y
2.111 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
2.111 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.111 * [taylor]: Taking taylor expansion of y in y
2.112 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.112 * [taylor]: Taking taylor expansion of x in y
2.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.112 * [taylor]: Taking taylor expansion of y in y
2.112 * [taylor]: Taking taylor expansion of (- (/ y (pow z 2)) (+ (/ y (pow x 2)) (/ 1 y))) in y
2.112 * [taylor]: Taking taylor expansion of (/ y (pow z 2)) in y
2.112 * [taylor]: Taking taylor expansion of y in y
2.112 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.112 * [taylor]: Taking taylor expansion of z in y
2.112 * [taylor]: Taking taylor expansion of (+ (/ y (pow x 2)) (/ 1 y)) in y
2.112 * [taylor]: Taking taylor expansion of (/ y (pow x 2)) in y
2.112 * [taylor]: Taking taylor expansion of y in y
2.112 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.112 * [taylor]: Taking taylor expansion of x in y
2.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.112 * [taylor]: Taking taylor expansion of y in y
2.114 * [taylor]: Taking taylor expansion of -1 in x
2.115 * [taylor]: Taking taylor expansion of 0 in x
2.116 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) in x
2.116 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
2.116 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.116 * [taylor]: Taking taylor expansion of z in x
2.116 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.116 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.116 * [taylor]: Taking taylor expansion of x in x
2.117 * [taylor]: Taking taylor expansion of -1 in z
2.117 * [taylor]: Taking taylor expansion of -1 in z
2.119 * [taylor]: Taking taylor expansion of 0 in x
2.121 * [taylor]: Taking taylor expansion of 0 in z
2.121 * [taylor]: Taking taylor expansion of 0 in z
2.121 * [taylor]: Taking taylor expansion of 0 in z
2.124 * [taylor]: Taking taylor expansion of 0 in x
2.125 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.125 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.125 * [taylor]: Taking taylor expansion of z in z
2.126 * [taylor]: Taking taylor expansion of 0 in z
2.126 * [taylor]: Taking taylor expansion of 0 in z
2.127 * * * [progress]: simplifying candidates
2.130 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (pow x (/ 2 2)) (/ y x)))
  (log1p (/ (pow x (/ 2 2)) (/ y x)))
  (- (* (log x) (/ 2 2)) (- (log y) (log x)))
  (- (* (log x) (/ 2 2)) (log (/ y x)))
  (- (* (log x) (/ 2 2)) (- (log y) (log x)))
  (- (* (log x) (/ 2 2)) (log (/ y x)))
  (- (log (pow x (/ 2 2))) (- (log y) (log x)))
  (- (log (pow x (/ 2 2))) (log (/ y x)))
  (log (/ (pow x (/ 2 2)) (/ y x)))
  (exp (/ (pow x (/ 2 2)) (/ y x)))
  (/ (* (* (pow x (/ 2 2)) (pow x (/ 2 2))) (pow x (/ 2 2))) (/ (* (* y y) y) (* (* x x) x)))
  (/ (* (* (pow x (/ 2 2)) (pow x (/ 2 2))) (pow x (/ 2 2))) (* (* (/ y x) (/ y x)) (/ y x)))
  (* (cbrt (/ (pow x (/ 2 2)) (/ y x))) (cbrt (/ (pow x (/ 2 2)) (/ y x))))
  (cbrt (/ (pow x (/ 2 2)) (/ y x)))
  (* (* (/ (pow x (/ 2 2)) (/ y x)) (/ (pow x (/ 2 2)) (/ y x))) (/ (pow x (/ 2 2)) (/ y x)))
  (sqrt (/ (pow x (/ 2 2)) (/ y x)))
  (sqrt (/ (pow x (/ 2 2)) (/ y x)))
  (- (pow x (/ 2 2)))
  (- (/ y x))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow (cbrt x) (/ 2 2)) (cbrt (/ y x)))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (sqrt (/ y x)))
  (/ (pow (cbrt x) (/ 2 2)) (sqrt (/ y x)))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (pow (cbrt x) (/ 2 2)) (/ (cbrt y) (cbrt x)))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (pow (cbrt x) (/ 2 2)) (/ (cbrt y) (sqrt x)))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (pow (cbrt x) (/ 2 2)) (/ (cbrt y) x))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (pow (cbrt x) (/ 2 2)) (/ (sqrt y) (cbrt x)))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (/ (sqrt y) (sqrt x)))
  (/ (pow (cbrt x) (/ 2 2)) (/ (sqrt y) (sqrt x)))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (/ (sqrt y) 1))
  (/ (pow (cbrt x) (/ 2 2)) (/ (sqrt y) x))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (pow (cbrt x) (/ 2 2)) (/ y (cbrt x)))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (/ 1 (sqrt x)))
  (/ (pow (cbrt x) (/ 2 2)) (/ y (sqrt x)))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) (/ 1 1))
  (/ (pow (cbrt x) (/ 2 2)) (/ y x))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) 1)
  (/ (pow (cbrt x) (/ 2 2)) (/ y x))
  (/ (pow (* (cbrt x) (cbrt x)) (/ 2 2)) y)
  (/ (pow (cbrt x) (/ 2 2)) (/ 1 x))
  (/ (pow (sqrt x) (/ 2 2)) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow (sqrt x) (/ 2 2)) (cbrt (/ y x)))
  (/ (pow (sqrt x) (/ 2 2)) (sqrt (/ y x)))
  (/ (pow (sqrt x) (/ 2 2)) (sqrt (/ y x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (pow (sqrt x) (/ 2 2)) (/ (cbrt y) (cbrt x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ (cbrt y) (sqrt x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (pow (sqrt x) (/ 2 2)) (/ (cbrt y) x))
  (/ (pow (sqrt x) (/ 2 2)) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (pow (sqrt x) (/ 2 2)) (/ (sqrt y) (cbrt x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ (sqrt y) (sqrt x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ (sqrt y) (sqrt x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ (sqrt y) 1))
  (/ (pow (sqrt x) (/ 2 2)) (/ (sqrt y) x))
  (/ (pow (sqrt x) (/ 2 2)) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (pow (sqrt x) (/ 2 2)) (/ y (cbrt x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ 1 (sqrt x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ y (sqrt x)))
  (/ (pow (sqrt x) (/ 2 2)) (/ 1 1))
  (/ (pow (sqrt x) (/ 2 2)) (/ y x))
  (/ (pow (sqrt x) (/ 2 2)) 1)
  (/ (pow (sqrt x) (/ 2 2)) (/ y x))
  (/ (pow (sqrt x) (/ 2 2)) y)
  (/ (pow (sqrt x) (/ 2 2)) (/ 1 x))
  (/ (pow 1 (/ 2 2)) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x (/ 2 2)) (cbrt (/ y x)))
  (/ (pow 1 (/ 2 2)) (sqrt (/ y x)))
  (/ (pow x (/ 2 2)) (sqrt (/ y x)))
  (/ (pow 1 (/ 2 2)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (pow x (/ 2 2)) (/ (cbrt y) (cbrt x)))
  (/ (pow 1 (/ 2 2)) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (pow x (/ 2 2)) (/ (cbrt y) (sqrt x)))
  (/ (pow 1 (/ 2 2)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (pow x (/ 2 2)) (/ (cbrt y) x))
  (/ (pow 1 (/ 2 2)) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (pow x (/ 2 2)) (/ (sqrt y) (cbrt x)))
  (/ (pow 1 (/ 2 2)) (/ (sqrt y) (sqrt x)))
  (/ (pow x (/ 2 2)) (/ (sqrt y) (sqrt x)))
  (/ (pow 1 (/ 2 2)) (/ (sqrt y) 1))
  (/ (pow x (/ 2 2)) (/ (sqrt y) x))
  (/ (pow 1 (/ 2 2)) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (pow x (/ 2 2)) (/ y (cbrt x)))
  (/ (pow 1 (/ 2 2)) (/ 1 (sqrt x)))
  (/ (pow x (/ 2 2)) (/ y (sqrt x)))
  (/ (pow 1 (/ 2 2)) (/ 1 1))
  (/ (pow x (/ 2 2)) (/ y x))
  (/ (pow 1 (/ 2 2)) 1)
  (/ (pow x (/ 2 2)) (/ y x))
  (/ (pow 1 (/ 2 2)) y)
  (/ (pow x (/ 2 2)) (/ 1 x))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (cbrt (pow x (/ 2 2))) (cbrt (/ y x)))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (sqrt (/ y x)))
  (/ (cbrt (pow x (/ 2 2))) (sqrt (/ y x)))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (cbrt (pow x (/ 2 2))) (/ (cbrt y) (cbrt x)))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (cbrt (pow x (/ 2 2))) (/ (cbrt y) (sqrt x)))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (cbrt (pow x (/ 2 2))) (/ (cbrt y) x))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (cbrt (pow x (/ 2 2))) (/ (sqrt y) (cbrt x)))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (/ (sqrt y) (sqrt x)))
  (/ (cbrt (pow x (/ 2 2))) (/ (sqrt y) (sqrt x)))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (/ (sqrt y) 1))
  (/ (cbrt (pow x (/ 2 2))) (/ (sqrt y) x))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (cbrt (pow x (/ 2 2))) (/ y (cbrt x)))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (/ 1 (sqrt x)))
  (/ (cbrt (pow x (/ 2 2))) (/ y (sqrt x)))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) (/ 1 1))
  (/ (cbrt (pow x (/ 2 2))) (/ y x))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) 1)
  (/ (cbrt (pow x (/ 2 2))) (/ y x))
  (/ (* (cbrt (pow x (/ 2 2))) (cbrt (pow x (/ 2 2)))) y)
  (/ (cbrt (pow x (/ 2 2))) (/ 1 x))
  (/ (sqrt (pow x (/ 2 2))) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (sqrt (pow x (/ 2 2))) (cbrt (/ y x)))
  (/ (sqrt (pow x (/ 2 2))) (sqrt (/ y x)))
  (/ (sqrt (pow x (/ 2 2))) (sqrt (/ y x)))
  (/ (sqrt (pow x (/ 2 2))) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (sqrt (pow x (/ 2 2))) (/ (cbrt y) (cbrt x)))
  (/ (sqrt (pow x (/ 2 2))) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (sqrt (pow x (/ 2 2))) (/ (cbrt y) (sqrt x)))
  (/ (sqrt (pow x (/ 2 2))) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (sqrt (pow x (/ 2 2))) (/ (cbrt y) x))
  (/ (sqrt (pow x (/ 2 2))) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (sqrt (pow x (/ 2 2))) (/ (sqrt y) (cbrt x)))
  (/ (sqrt (pow x (/ 2 2))) (/ (sqrt y) (sqrt x)))
  (/ (sqrt (pow x (/ 2 2))) (/ (sqrt y) (sqrt x)))
  (/ (sqrt (pow x (/ 2 2))) (/ (sqrt y) 1))
  (/ (sqrt (pow x (/ 2 2))) (/ (sqrt y) x))
  (/ (sqrt (pow x (/ 2 2))) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (sqrt (pow x (/ 2 2))) (/ y (cbrt x)))
  (/ (sqrt (pow x (/ 2 2))) (/ 1 (sqrt x)))
  (/ (sqrt (pow x (/ 2 2))) (/ y (sqrt x)))
  (/ (sqrt (pow x (/ 2 2))) (/ 1 1))
  (/ (sqrt (pow x (/ 2 2))) (/ y x))
  (/ (sqrt (pow x (/ 2 2))) 1)
  (/ (sqrt (pow x (/ 2 2))) (/ y x))
  (/ (sqrt (pow x (/ 2 2))) y)
  (/ (sqrt (pow x (/ 2 2))) (/ 1 x))
  (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x (/ 2 2)) (cbrt (/ y x)))
  (/ 1 (sqrt (/ y x)))
  (/ (pow x (/ 2 2)) (sqrt (/ y x)))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (pow x (/ 2 2)) (/ (cbrt y) (cbrt x)))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (pow x (/ 2 2)) (/ (cbrt y) (sqrt x)))
  (/ 1 (/ (* (cbrt y) (cbrt y)) 1))
  (/ (pow x (/ 2 2)) (/ (cbrt y) x))
  (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (pow x (/ 2 2)) (/ (sqrt y) (cbrt x)))
  (/ 1 (/ (sqrt y) (sqrt x)))
  (/ (pow x (/ 2 2)) (/ (sqrt y) (sqrt x)))
  (/ 1 (/ (sqrt y) 1))
  (/ (pow x (/ 2 2)) (/ (sqrt y) x))
  (/ 1 (/ 1 (* (cbrt x) (cbrt x))))
  (/ (pow x (/ 2 2)) (/ y (cbrt x)))
  (/ 1 (/ 1 (sqrt x)))
  (/ (pow x (/ 2 2)) (/ y (sqrt x)))
  (/ 1 (/ 1 1))
  (/ (pow x (/ 2 2)) (/ y x))
  (/ 1 1)
  (/ (pow x (/ 2 2)) (/ y x))
  (/ 1 y)
  (/ (pow x (/ 2 2)) (/ 1 x))
  (/ (pow x (/ (/ 2 2) 2)) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x (/ (/ 2 2) 2)) (cbrt (/ y x)))
  (/ (pow x (/ (/ 2 2) 2)) (sqrt (/ y x)))
  (/ (pow x (/ (/ 2 2) 2)) (sqrt (/ y x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (pow x (/ (/ 2 2) 2)) (/ (cbrt y) (cbrt x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ (cbrt y) (sqrt x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (pow x (/ (/ 2 2) 2)) (/ (cbrt y) x))
  (/ (pow x (/ (/ 2 2) 2)) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (pow x (/ (/ 2 2) 2)) (/ (sqrt y) (cbrt x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ (sqrt y) (sqrt x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ (sqrt y) (sqrt x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ (sqrt y) 1))
  (/ (pow x (/ (/ 2 2) 2)) (/ (sqrt y) x))
  (/ (pow x (/ (/ 2 2) 2)) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (pow x (/ (/ 2 2) 2)) (/ y (cbrt x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ 1 (sqrt x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ y (sqrt x)))
  (/ (pow x (/ (/ 2 2) 2)) (/ 1 1))
  (/ (pow x (/ (/ 2 2) 2)) (/ y x))
  (/ (pow x (/ (/ 2 2) 2)) 1)
  (/ (pow x (/ (/ 2 2) 2)) (/ y x))
  (/ (pow x (/ (/ 2 2) 2)) y)
  (/ (pow x (/ (/ 2 2) 2)) (/ 1 x))
  (/ 1 (/ y x))
  (/ (/ y x) (pow x (/ 2 2)))
  (/ (pow x (/ 2 2)) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x (/ 2 2)) (sqrt (/ y x)))
  (/ (pow x (/ 2 2)) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
  (/ (pow x (/ 2 2)) (/ (* (cbrt y) (cbrt y)) (sqrt x)))
  (/ (pow x (/ 2 2)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (pow x (/ 2 2)) (/ (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (pow x (/ 2 2)) (/ (sqrt y) (sqrt x)))
  (/ (pow x (/ 2 2)) (/ (sqrt y) 1))
  (/ (pow x (/ 2 2)) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (pow x (/ 2 2)) (/ 1 (sqrt x)))
  (/ (pow x (/ 2 2)) (/ 1 1))
  (/ (pow x (/ 2 2)) 1)
  (/ (pow x (/ 2 2)) y)
  (/ (/ y x) (pow (cbrt x) (/ 2 2)))
  (/ (/ y x) (pow (sqrt x) (/ 2 2)))
  (/ (/ y x) (pow x (/ 2 2)))
  (/ (/ y x) (cbrt (pow x (/ 2 2))))
  (/ (/ y x) (sqrt (pow x (/ 2 2))))
  (/ (/ y x) (pow x (/ 2 2)))
  (/ (/ y x) (pow x (/ (/ 2 2) 2)))
  (/ (pow x (/ 2 2)) y)
  (expm1 (* z (/ z y)))
  (log1p (* z (/ z y)))
  (* z (/ z y))
  (+ (log z) (- (log z) (log y)))
  (+ (log z) (log (/ z y)))
  (log (* z (/ z y)))
  (exp (* z (/ z y)))
  (* (* (* z z) z) (/ (* (* z z) z) (* (* y y) y)))
  (* (* (* z z) z) (* (* (/ z y) (/ z y)) (/ z y)))
  (* (cbrt (* z (/ z y))) (cbrt (* z (/ z y))))
  (cbrt (* z (/ z y)))
  (* (* (* z (/ z y)) (* z (/ z y))) (* z (/ z y)))
  (sqrt (* z (/ z y)))
  (sqrt (* z (/ z y)))
  (* (sqrt z) (sqrt (/ z y)))
  (* (sqrt z) (sqrt (/ z y)))
  (* (sqrt z) (/ (sqrt z) (sqrt y)))
  (* (sqrt z) (/ (sqrt z) (sqrt y)))
  (* z (* (cbrt (/ z y)) (cbrt (/ z y))))
  (* z (sqrt (/ z y)))
  (* z (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (* z (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* z (/ (* (cbrt z) (cbrt z)) 1))
  (* z (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (* z (/ (sqrt z) (sqrt y)))
  (* z (/ (sqrt z) 1))
  (* z (/ 1 (* (cbrt y) (cbrt y))))
  (* z (/ 1 (sqrt y)))
  (* z (/ 1 1))
  (* z 1)
  (* z z)
  (* (cbrt z) (/ z y))
  (* (sqrt z) (/ z y))
  (* z (/ z y))
  (* z z)
  (expm1 (+ y (/ (pow x (/ 2 2)) (/ y x))))
  (log1p (+ y (/ (pow x (/ 2 2)) (/ y x))))
  (* (exp y) (exp (/ (pow x (/ 2 2)) (/ y x))))
  (log (+ y (/ (pow x (/ 2 2)) (/ y x))))
  (exp (+ y (/ (pow x (/ 2 2)) (/ y x))))
  (* (cbrt (+ y (/ (pow x (/ 2 2)) (/ y x)))) (cbrt (+ y (/ (pow x (/ 2 2)) (/ y x)))))
  (cbrt (+ y (/ (pow x (/ 2 2)) (/ y x))))
  (* (* (+ y (/ (pow x (/ 2 2)) (/ y x))) (+ y (/ (pow x (/ 2 2)) (/ y x)))) (+ y (/ (pow x (/ 2 2)) (/ y x))))
  (sqrt (+ y (/ (pow x (/ 2 2)) (/ y x))))
  (sqrt (+ y (/ (pow x (/ 2 2)) (/ y x))))
  (+ (pow y 3) (pow (/ (pow x (/ 2 2)) (/ y x)) 3))
  (+ (* y y) (- (* (/ (pow x (/ 2 2)) (/ y x)) (/ (pow x (/ 2 2)) (/ y x))) (* y (/ (pow x (/ 2 2)) (/ y x)))))
  (- (* y y) (* (/ (pow x (/ 2 2)) (/ y x)) (/ (pow x (/ 2 2)) (/ y x))))
  (- y (/ (pow x (/ 2 2)) (/ y x)))
  (+ y (/ (pow x (/ 2 2)) (/ y x)))
  (fma (* (cbrt (+ y (/ (pow x (/ 2 2)) (/ y x)))) (cbrt (+ y (/ (pow x (/ 2 2)) (/ y x))))) (cbrt (+ y (/ (pow x (/ 2 2)) (/ y x)))) (- (* (/ z y) z)))
  (fma (- (/ z y)) z (* (/ z y) z))
  (fma (sqrt (+ y (/ (pow x (/ 2 2)) (/ y x)))) (sqrt (+ y (/ (pow x (/ 2 2)) (/ y x)))) (- (* (/ z y) z)))
  (fma (- (/ z y)) z (* (/ z y) z))
  (fma 1 (+ y (/ (pow x (/ 2 2)) (/ y x))) (- (* (/ z y) z)))
  (fma (- (/ z y)) z (* (/ z y) z))
  (fma 1 (+ y (/ (pow x (/ 2 2)) (/ y x))) (- (* (/ z y) z)))
  (fma (- (/ z y)) z (* (/ z y) z))
  (expm1 (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y))))
  (log1p (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y))))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (/ (* (exp y) (exp (/ (pow x (/ 2 2)) (/ y x)))) (exp (* z (/ z y))))
  (/ (exp (+ y (/ (pow x (/ 2 2)) (/ y x)))) (exp (* z (/ z y))))
  (log (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y))))
  (exp (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y))))
  (* (cbrt (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y)))) (cbrt (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y)))))
  (cbrt (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y))))
  (* (* (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y))) (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y)))) (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y))))
  (sqrt (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y))))
  (sqrt (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y))))
  (- (* (+ (pow y 3) (pow (/ (pow x (/ 2 2)) (/ y x)) 3)) y) (* (+ (* y y) (- (* (/ (pow x (/ 2 2)) (/ y x)) (/ (pow x (/ 2 2)) (/ y x))) (* y (/ (pow x (/ 2 2)) (/ y x))))) (* z z)))
  (* (+ (* y y) (- (* (/ (pow x (/ 2 2)) (/ y x)) (/ (pow x (/ 2 2)) (/ y x))) (* y (/ (pow x (/ 2 2)) (/ y x))))) y)
  (- (* (- (* y y) (* (/ (pow x (/ 2 2)) (/ y x)) (/ (pow x (/ 2 2)) (/ y x)))) y) (* (- y (/ (pow x (/ 2 2)) (/ y x))) (* z z)))
  (* (- y (/ (pow x (/ 2 2)) (/ y x))) y)
  (- (pow (+ y (/ (pow x (/ 2 2)) (/ y x))) 3) (pow (* z (/ z y)) 3))
  (+ (* (+ y (/ (pow x (/ 2 2)) (/ y x))) (+ y (/ (pow x (/ 2 2)) (/ y x)))) (+ (* (* z (/ z y)) (* z (/ z y))) (* (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y)))))
  (- (* z (/ z y)))
  (- (* (+ y (/ (pow x (/ 2 2)) (/ y x))) (+ y (/ (pow x (/ 2 2)) (/ y x)))) (* (* z (/ z y)) (* z (/ z y))))
  (+ (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y)))
  (- (/ (pow x (/ 2 2)) (/ y x)) (* z (/ z y)))
  (- (* z (/ z y)))
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (/ (pow x 2) y)
  (/ (pow z 2) y)
  (/ (pow z 2) y)
  (/ (pow z 2) y)
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (+ y (/ (pow x 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
  (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
2.143 * * [simplify]: iteration  0 :  845  enodes  (cost  1511 )
2.161 * * [simplify]: iteration  1 :  4162  enodes  (cost  1304 )
2.252 * * [simplify]: iteration  2 :  5001  enodes  (cost  1289 )
2.260 * [simplify]: Simplified to:
   (expm1 (/ (pow x 1) (/ y x)))
  (log1p (/ (pow x 1) (/ y x)))
  (log (/ (pow x 1) (/ y x)))
  (log (/ (pow x 1) (/ y x)))
  (log (/ (pow x 1) (/ y x)))
  (log (/ (pow x 1) (/ y x)))
  (log (/ (pow x 1) (/ y x)))
  (log (/ (pow x 1) (/ y x)))
  (log (/ (pow x 1) (/ y x)))
  (exp (/ (pow x 1) (/ y x)))
  (pow (/ (* x x) y) 3)
  (pow (/ (* x x) y) 3)
  (* (cbrt (/ (pow x 1) (/ y x))) (cbrt (/ (pow x 1) (/ y x))))
  (cbrt (/ (pow x 1) (/ y x)))
  (pow (/ (* x x) y) 3)
  (sqrt (/ (pow x 1) (/ y x)))
  (sqrt (/ (pow x 1) (/ y x)))
  (- (pow x 1))
  (- (/ y x))
  (/ (/ (* (cbrt x) (cbrt x)) (cbrt (/ y x))) (cbrt (/ y x)))
  (/ (cbrt (pow x 1)) (cbrt (/ y x)))
  (/ (cbrt x) (/ (sqrt (/ y x)) (cbrt x)))
  (/ (cbrt (pow x 1)) (sqrt (/ y x)))
  (/ (pow (pow (cbrt x) 2) 2) (* (cbrt y) (cbrt y)))
  (/ (pow (cbrt x) 2) (cbrt y))
  (* (/ (pow x 1/2) (* (cbrt y) (cbrt y))) (pow (cbrt x) 2))
  (* (/ (cbrt x) (cbrt y)) (pow x 1/2))
  (/ (/ (pow (cbrt x) 2) (cbrt y)) (cbrt y))
  (* (/ (cbrt x) (cbrt y)) x)
  (/ (pow (pow (cbrt x) 2) 2) (sqrt y))
  (* (/ (cbrt x) (sqrt y)) (cbrt x))
  (/ (* (pow x 1/2) (pow (cbrt x) 2)) (sqrt y))
  (* (/ (cbrt x) (sqrt y)) (pow x 1/2))
  (* (/ (cbrt x) (sqrt y)) (cbrt x))
  (* (/ (cbrt x) (sqrt y)) x)
  (pow (pow (cbrt x) 2) 2)
  (* (/ (cbrt x) y) (cbrt x))
  (* (pow x 1/2) (pow (cbrt x) 2))
  (* (/ (cbrt x) y) (pow x 1/2))
  (pow (cbrt x) 2)
  (* (/ (cbrt x) y) x)
  (pow (cbrt x) 2)
  (* (/ (cbrt x) y) x)
  (* (/ (cbrt x) y) (cbrt x))
  (* (cbrt x) x)
  (/ (pow x 1/2) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x 1/2) (cbrt (/ y x)))
  (/ (pow x 1/2) (sqrt (/ y x)))
  (/ (pow x 1/2) (sqrt (/ y x)))
  (* (/ (pow x 1/2) (* (cbrt y) (cbrt y))) (pow (cbrt x) 2))
  (/ (pow x 1/2) (/ (cbrt y) (cbrt x)))
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ (pow x 1/2) (* (cbrt y) (cbrt y)))
  (/ (pow x 3/2) (cbrt y))
  (/ (* (pow x 1/2) (pow (cbrt x) 2)) (sqrt y))
  (/ (pow x 1/2) (/ (sqrt y) (cbrt x)))
  (/ x (sqrt y))
  (/ x (sqrt y))
  (/ (pow x 1/2) (sqrt y))
  (/ (pow x 3/2) (sqrt y))
  (* (pow x 1/2) (pow (cbrt x) 2))
  (/ (pow x 1/2) (/ y (cbrt x)))
  x
  (/ (pow x 1) y)
  (pow x 1/2)
  (/ (pow x 3/2) y)
  (pow x 1/2)
  (/ (pow x 3/2) y)
  (/ (pow x 1/2) y)
  (pow x 3/2)
  (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x 1) (cbrt (/ y x)))
  (/ 1 (sqrt (/ y x)))
  (/ (pow x 1) (sqrt (/ y x)))
  (/ (/ (pow (cbrt x) 2) (cbrt y)) (cbrt y))
  (* (/ (cbrt x) (cbrt y)) x)
  (/ (pow x 1/2) (* (cbrt y) (cbrt y)))
  (/ (pow x 3/2) (cbrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (* (/ x (cbrt y)) x)
  (* (/ (cbrt x) (sqrt y)) (cbrt x))
  (* (/ (cbrt x) (sqrt y)) x)
  (/ (pow x 1/2) (sqrt y))
  (/ (pow x 3/2) (sqrt y))
  (/ 1 (sqrt y))
  (* (/ x (sqrt y)) x)
  (pow (cbrt x) 2)
  (* (/ (cbrt x) y) x)
  (pow x 1/2)
  (/ (pow x 3/2) y)
  1
  (/ (* x x) y)
  1
  (/ (* x x) y)
  (/ 1 y)
  (* x x)
  (/ (/ (* (cbrt x) (cbrt x)) (cbrt (/ y x))) (cbrt (/ y x)))
  (/ (cbrt (pow x 1)) (cbrt (/ y x)))
  (/ (cbrt x) (/ (sqrt (/ y x)) (cbrt x)))
  (/ (cbrt (pow x 1)) (sqrt (/ y x)))
  (/ (pow (pow (cbrt x) 2) 2) (* (cbrt y) (cbrt y)))
  (/ (pow (cbrt x) 2) (cbrt y))
  (* (/ (pow x 1/2) (* (cbrt y) (cbrt y))) (pow (cbrt x) 2))
  (* (/ (cbrt x) (cbrt y)) (pow x 1/2))
  (/ (/ (pow (cbrt x) 2) (cbrt y)) (cbrt y))
  (* (/ (cbrt x) (cbrt y)) x)
  (/ (pow (pow (cbrt x) 2) 2) (sqrt y))
  (* (/ (cbrt x) (sqrt y)) (cbrt x))
  (/ (* (pow x 1/2) (pow (cbrt x) 2)) (sqrt y))
  (* (/ (cbrt x) (sqrt y)) (pow x 1/2))
  (* (/ (cbrt x) (sqrt y)) (cbrt x))
  (* (/ (cbrt x) (sqrt y)) x)
  (pow (pow (cbrt x) 2) 2)
  (* (/ (cbrt x) y) (cbrt x))
  (* (pow x 1/2) (pow (cbrt x) 2))
  (* (/ (cbrt x) y) (pow x 1/2))
  (pow (cbrt x) 2)
  (* (/ (cbrt x) y) x)
  (pow (cbrt x) 2)
  (* (/ (cbrt x) y) x)
  (* (/ (cbrt x) y) (cbrt x))
  (* (cbrt x) x)
  (/ (pow x 1/2) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x 1/2) (cbrt (/ y x)))
  (/ (pow x 1/2) (sqrt (/ y x)))
  (/ (pow x 1/2) (sqrt (/ y x)))
  (* (/ (pow x 1/2) (* (cbrt y) (cbrt y))) (pow (cbrt x) 2))
  (/ (pow x 1/2) (/ (cbrt y) (cbrt x)))
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ (pow x 1/2) (* (cbrt y) (cbrt y)))
  (/ (pow x 3/2) (cbrt y))
  (/ (* (pow x 1/2) (pow (cbrt x) 2)) (sqrt y))
  (/ (pow x 1/2) (/ (sqrt y) (cbrt x)))
  (/ x (sqrt y))
  (/ x (sqrt y))
  (/ (pow x 1/2) (sqrt y))
  (/ (pow x 3/2) (sqrt y))
  (* (pow x 1/2) (pow (cbrt x) 2))
  (/ (pow x 1/2) (/ y (cbrt x)))
  x
  (/ (pow x 1) y)
  (pow x 1/2)
  (/ (pow x 3/2) y)
  (pow x 1/2)
  (/ (pow x 3/2) y)
  (/ (pow x 1/2) y)
  (pow x 3/2)
  (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x 1) (cbrt (/ y x)))
  (/ 1 (sqrt (/ y x)))
  (/ (pow x 1) (sqrt (/ y x)))
  (/ (/ (pow (cbrt x) 2) (cbrt y)) (cbrt y))
  (* (/ (cbrt x) (cbrt y)) x)
  (/ (pow x 1/2) (* (cbrt y) (cbrt y)))
  (/ (pow x 3/2) (cbrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (* (/ x (cbrt y)) x)
  (* (/ (cbrt x) (sqrt y)) (cbrt x))
  (* (/ (cbrt x) (sqrt y)) x)
  (/ (pow x 1/2) (sqrt y))
  (/ (pow x 3/2) (sqrt y))
  (/ 1 (sqrt y))
  (* (/ x (sqrt y)) x)
  (pow (cbrt x) 2)
  (* (/ (cbrt x) y) x)
  (pow x 1/2)
  (/ (pow x 3/2) y)
  1
  (/ (* x x) y)
  1
  (/ (* x x) y)
  (/ 1 y)
  (* x x)
  (/ (pow x 1/2) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x 1/2) (cbrt (/ y x)))
  (/ (pow x 1/2) (sqrt (/ y x)))
  (/ (pow x 1/2) (sqrt (/ y x)))
  (* (/ (pow x 1/2) (* (cbrt y) (cbrt y))) (pow (cbrt x) 2))
  (/ (pow x 1/2) (/ (cbrt y) (cbrt x)))
  (/ x (* (cbrt y) (cbrt y)))
  (/ x (cbrt y))
  (/ (pow x 1/2) (* (cbrt y) (cbrt y)))
  (/ (pow x 3/2) (cbrt y))
  (/ (* (pow x 1/2) (pow (cbrt x) 2)) (sqrt y))
  (/ (pow x 1/2) (/ (sqrt y) (cbrt x)))
  (/ x (sqrt y))
  (/ x (sqrt y))
  (/ (pow x 1/2) (sqrt y))
  (/ (pow x 3/2) (sqrt y))
  (* (pow x 1/2) (pow (cbrt x) 2))
  (/ (pow x 1/2) (/ y (cbrt x)))
  x
  (/ (pow x 1) y)
  (pow x 1/2)
  (/ (pow x 3/2) y)
  (pow x 1/2)
  (/ (pow x 3/2) y)
  (/ (pow x 1/2) y)
  (pow x 3/2)
  (/ (pow x 1) y)
  (/ y (* x x))
  (/ (pow x 1) (* (cbrt (/ y x)) (cbrt (/ y x))))
  (/ (pow x 1) (sqrt (/ y x)))
  (* (/ x (* (cbrt y) (cbrt y))) (pow (cbrt x) 2))
  (/ (pow x 3/2) (* (cbrt y) (cbrt y)))
  (/ x (* (cbrt y) (cbrt y)))
  (* (/ x (sqrt y)) (pow (cbrt x) 2))
  (/ (pow x 3/2) (sqrt y))
  (/ x (sqrt y))
  (* x (pow (cbrt x) 2))
  (pow x 3/2)
  x
  x
  (/ (pow x 1) y)
  (/ y (* (cbrt x) x))
  (/ (/ y x) (pow x 1/2))
  (/ y (* x x))
  (/ y (* (cbrt x) x))
  (/ (/ y x) (pow x 1/2))
  (/ y (* x x))
  (/ (/ y x) (pow x 1/2))
  (/ (pow x 1) y)
  (expm1 (* z (/ z y)))
  (log1p (* z (/ z y)))
  (* z (/ z y))
  (log (* z (/ z y)))
  (log (* z (/ z y)))
  (log (* z (/ z y)))
  (exp (* z (/ z y)))
  (pow (* z (/ z y)) 3)
  (pow (* z (/ z y)) 3)
  (* (cbrt (* z (/ z y))) (cbrt (* z (/ z y))))
  (cbrt (* z (/ z y)))
  (pow (* z (/ z y)) 3)
  (sqrt (* z (/ z y)))
  (sqrt (* z (/ z y)))
  (* (sqrt z) (sqrt (/ z y)))
  (* (sqrt z) (sqrt (/ z y)))
  (/ z (sqrt y))
  (/ z (sqrt y))
  (* z (* (cbrt (/ z y)) (cbrt (/ z y))))
  (* z (sqrt (/ z y)))
  (* z (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (* z (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* (* (cbrt z) (cbrt z)) z)
  (* z (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (* z (/ (sqrt z) (sqrt y)))
  (* (sqrt z) z)
  (/ z (* (cbrt y) (cbrt y)))
  (/ z (sqrt y))
  z
  z
  (pow z 2)
  (* (cbrt z) (/ z y))
  (* (sqrt z) (/ z y))
  (* z (/ z y))
  (pow z 2)
  (expm1 (+ y (/ (pow x 1) (/ y x))))
  (log1p (+ y (/ (pow x 1) (/ y x))))
  (exp (+ y (/ (pow x 1) (/ y x))))
  (log (+ y (/ (pow x 1) (/ y x))))
  (exp (+ y (/ (pow x 1) (/ y x))))
  (* (cbrt (+ y (/ (pow x 1) (/ y x)))) (cbrt (+ y (/ (pow x 1) (/ y x)))))
  (cbrt (+ y (/ (pow x 1) (/ y x))))
  (pow (fma (/ (pow x 1) y) x y) 3)
  (sqrt (+ y (/ (pow x 1) (/ y x))))
  (sqrt (+ y (/ (pow x 1) (/ y x))))
  (+ (pow y 3) (pow (/ (pow x 1) (/ y x)) 3))
  (fma (- (/ (pow x 1) (/ y x)) y) (/ (* x x) y) (* y y))
  (* (- y (/ (pow x 1) (/ y x))) (fma (/ (pow x 1) y) x y))
  (- y (/ (pow x 1) (/ y x)))
  (fma (/ (pow x 1) y) x y)
  (fma (* (cbrt (+ y (/ (pow x 1) (/ y x)))) (cbrt (+ y (/ (pow x 1) (/ y x))))) (cbrt (+ y (/ (pow x 1) (/ y x)))) (- (* (/ z y) z)))
  (* (/ z y) (+ (- z) z))
  (- (fma (/ (pow x 1) y) x y) (* z (/ z y)))
  (* (/ z y) (+ (- z) z))
  (- (fma (/ (pow x 1) y) x y) (* z (/ z y)))
  (* (/ z y) (+ (- z) z))
  (- (fma (/ (pow x 1) y) x y) (* z (/ z y)))
  (* (/ z y) (+ (- z) z))
  (expm1 (- (+ y (/ (pow x 1) (/ y x))) (* z (/ z y))))
  (log1p (- (+ y (/ (pow x 1) (/ y x))) (* z (/ z y))))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (- (* z (/ z y)))
  (exp (- (fma (/ (pow x 1) y) x y) (* z (/ z y))))
  (exp (- (fma (/ (pow x 1) y) x y) (* z (/ z y))))
  (log (- (+ y (/ (pow x 1) (/ y x))) (* z (/ z y))))
  (exp (- (fma (/ (pow x 1) y) x y) (* z (/ z y))))
  (* (cbrt (- (+ y (/ (pow x 1) (/ y x))) (* z (/ z y)))) (cbrt (- (+ y (/ (pow x 1) (/ y x))) (* z (/ z y)))))
  (cbrt (- (+ y (/ (pow x 1) (/ y x))) (* z (/ z y))))
  (pow (- (fma (/ (pow x 1) y) x y) (* z (/ z y))) 3)
  (sqrt (- (+ y (/ (pow x 1) (/ y x))) (* z (/ z y))))
  (sqrt (- (+ y (/ (pow x 1) (/ y x))) (* z (/ z y))))
  (fma (- (pow z 2)) (fma (- (/ (pow x 1) (/ y x)) y) (/ (* x x) y) (* y y)) (* (+ (pow y 3) (pow (/ (pow x 1) (/ y x)) 3)) y))
  (fma y (/ (* x (- (/ (pow x 1) (/ y x)) y)) (/ y x)) (pow y 3))
  (fma (fma (/ (pow x 1) y) x y) (* (- y (/ (pow x 1) (/ y x))) y) (- (* (- y (/ (pow x 1) (/ y x))) (* z z))))
  (* (- y (/ (pow x 1) (/ y x))) y)
  (- (pow (+ y (/ (pow x 1) (/ y x))) 3) (pow (* z (/ z y)) 3))
  (fma z (* (/ z y) (fma z (/ z y) (fma (/ (pow x 1) y) x y))) (* (+ y (/ (pow x 1) (/ y x))) (+ y (/ (pow x 1) (/ y x)))))
  (- (* z (/ z y)))
  (* (- (+ y (/ (pow x 1) (/ y x))) (* z (/ z y))) (fma z (/ z y) (fma (/ (pow x 1) y) x y)))
  (fma z (/ z y) (fma (/ (pow x 1) y) x y))
  (- (/ (pow x 2) y) (/ (pow z 2) y))
  (- (* z (/ z y)))
  (/ (* x x) y)
  (/ (* x x) y)
  (/ (* x x) y)
  (* z (/ z y))
  (* z (/ z y))
  (* z (/ z y))
  (fma (/ (pow x 1) y) x y)
  (fma (/ (pow x 1) y) x y)
  (fma (/ (pow x 1) y) x y)
  (- (fma (/ (pow x 1) y) x y) (* z (/ z y)))
  (- (fma (/ (pow x 1) y) x y) (* z (/ z y)))
  (- (fma (/ (pow x 1) y) x y) (* z (/ z y)))
2.261 * * * [progress]: adding candidates to table
2.746 * [progress]: [Phase 3 of 3] Extracting.
2.746 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* (pow z 2) (/ 1 y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z (/ 2 2)) (/ y z)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (* (cbrt (/ (pow x 1) (/ y x))) (cbrt (/ (pow x 1) (/ y x)))) (cbrt (/ (pow x 1) (/ y x))))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (pow x 2) (/ 1 y))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))) (/ (pow x 1) (cbrt (/ y x))))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (* 1 (fma (/ (pow x 1) y) x y)) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (/ (fabs x) (sqrt y)) (/ (fabs x) (sqrt y)))) (* z (/ z y)))))>)
2.748 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
2.748 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* (pow z 2) (/ 1 y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z (/ 2 2)) (/ y z)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (* (cbrt (/ (pow x 1) (/ y x))) (cbrt (/ (pow x 1) (/ y x)))) (cbrt (/ (pow x 1) (/ y x))))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (pow x 2) (/ 1 y))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))) (/ (pow x 1) (cbrt (/ y x))))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (* 1 (fma (/ (pow x 1) y) x y)) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (/ (fabs x) (sqrt y)) (/ (fabs x) (sqrt y)))) (* z (/ z y)))))>)
2.782 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* (pow z 2) (/ 1 y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z (/ 2 2)) (/ y z)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (* (cbrt (/ (pow x 1) (/ y x))) (cbrt (/ (pow x 1) (/ y x)))) (cbrt (/ (pow x 1) (/ y x))))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (pow x 2) (/ 1 y))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))) (/ (pow x 1) (cbrt (/ y x))))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (* 1 (fma (/ (pow x 1) y) x y)) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (/ (fabs x) (sqrt y)) (/ (fabs x) (sqrt y)))) (* z (/ z y)))))>)
2.815 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* (pow z 2) (/ 1 y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z (/ 2 2)) (/ y z)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (* (cbrt (/ (pow x 1) (/ y x))) (cbrt (/ (pow x 1) (/ y x)))) (cbrt (/ (pow x 1) (/ y x))))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (pow x 2) (/ 1 y))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (/ 1 (* (cbrt (/ y x)) (cbrt (/ y x)))) (/ (pow x 1) (cbrt (/ y x))))) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (* 1 (fma (/ (pow x 1) y) x y)) (* z (/ z y)))))> #<alt (λ (x y z) (* 0.5 (- (+ y (* (/ (fabs x) (sqrt y)) (/ (fabs x) (sqrt y)))) (* z (/ z y)))))>)
2.846 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
2.846 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 0.5 (- (* 1 (fma (/ (pow x 1) y) x y)) (* z (/ z y))))
2.847 * * [simplify]: iteration  0 :  18  enodes  (cost  8 )
2.847 * * [simplify]: iteration  1 :  20  enodes  (cost  8 )
2.848 * * [simplify]: iteration  2 :  20  enodes  (cost  8 )
2.848 * [simplify]: Simplified to:
   (* 0.5 (- (* 1 (fma (/ (pow x 1) y) x y)) (* z (/ z y))))
3.897 * [regime-testing]: Baseline error score: 0.13521781851653325
3.897 * [regime-testing]: Oracle error score: 0.034065739854523026
3.898 * [regime-testing]: End program error score: 0.13521781851653325
3.920 * [regime-testing]: Target error score: 0.1553594186431798