9.202 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (* x (log y)) z) y)
0.029 * * [simplify]: iteration  0 :  15  enodes  (cost  4 )
0.030 * * [simplify]: iteration  1 :  29  enodes  (cost  4 )
0.032 * * [simplify]: iteration  2 :  51  enodes  (cost  4 )
0.033 * * [simplify]: iteration  3 :  65  enodes  (cost  4 )
0.034 * * [simplify]: iteration  4 :  97  enodes  (cost  4 )
0.036 * * [simplify]: iteration  5 :  120  enodes  (cost  4 )
0.038 * * [simplify]: iteration  6 :  159  enodes  (cost  4 )
0.040 * * [simplify]: iteration  7 :  257  enodes  (cost  4 )
0.042 * * [simplify]: iteration  8 :  322  enodes  (cost  4 )
0.044 * * [simplify]: iteration  9 :  322  enodes  (cost  4 )
0.044 * [simplify]: Simplified to:
   (- (- (* x (log y)) z) y)
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.046 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (* x (log y)) z) y))>
0.046 * * * [progress]: localizing error
0.056 * * * [progress]: generating rewritten candidates
0.056 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.061 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.066 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.077 * * * [progress]: generating series expansions
0.077 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.077 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
0.077 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.077 * [taylor]: Taking taylor expansion of (log y) in y
0.077 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (log y) in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (log y) in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of 0 in y
0.079 * [taylor]: Taking taylor expansion of (log y) in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.081 * [taylor]: Taking taylor expansion of 0 in y
0.084 * [taylor]: Taking taylor expansion of 0 in y
0.084 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
0.084 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.084 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.085 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of x in y
0.086 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.086 * [taylor]: Taking taylor expansion of y in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.086 * [taylor]: Taking taylor expansion of y in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.086 * [taylor]: Taking taylor expansion of y in y
0.088 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
0.096 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
0.096 * [taylor]: Taking taylor expansion of -1 in y
0.096 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.096 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.096 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.096 * [taylor]: Taking taylor expansion of -1 in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.097 * [taylor]: Taking taylor expansion of x in y
0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.098 * [taylor]: Taking taylor expansion of -1 in x
0.098 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.098 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.098 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.098 * [taylor]: Taking taylor expansion of -1 in x
0.098 * [taylor]: Taking taylor expansion of y in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.098 * [taylor]: Taking taylor expansion of -1 in x
0.098 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.099 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.099 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.099 * [taylor]: Taking taylor expansion of -1 in x
0.099 * [taylor]: Taking taylor expansion of y in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
0.099 * [taylor]: Taking taylor expansion of -1 in y
0.099 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.099 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.099 * [taylor]: Taking taylor expansion of -1 in y
0.099 * [taylor]: Taking taylor expansion of y in y
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.114 * [taylor]: Taking taylor expansion of 0 in y
0.114 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.114 * [approximate]: Taking taylor expansion of (- (* x (log y)) z) in (x y z) around 0
0.114 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in z
0.115 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.115 * [taylor]: Taking taylor expansion of x in z
0.115 * [taylor]: Taking taylor expansion of (log y) in z
0.115 * [taylor]: Taking taylor expansion of y in z
0.115 * [taylor]: Taking taylor expansion of z in z
0.115 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in y
0.115 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.115 * [taylor]: Taking taylor expansion of x in y
0.115 * [taylor]: Taking taylor expansion of (log y) in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.115 * [taylor]: Taking taylor expansion of z in y
0.115 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x
0.115 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of (log y) in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of z in x
0.115 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x
0.115 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of (log y) in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of z in x
0.115 * [taylor]: Taking taylor expansion of (- z) in y
0.115 * [taylor]: Taking taylor expansion of z in y
0.115 * [taylor]: Taking taylor expansion of (- z) in z
0.115 * [taylor]: Taking taylor expansion of z in z
0.117 * [taylor]: Taking taylor expansion of (log y) in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of (log y) in z
0.117 * [taylor]: Taking taylor expansion of y in z
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.120 * [taylor]: Taking taylor expansion of 0 in y
0.120 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [taylor]: Taking taylor expansion of 0 in z
0.122 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in (x y z) around 0
0.122 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in z
0.122 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.122 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.122 * [taylor]: Taking taylor expansion of y in z
0.122 * [taylor]: Taking taylor expansion of x in z
0.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.123 * [taylor]: Taking taylor expansion of z in z
0.123 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in y
0.123 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.123 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.123 * [taylor]: Taking taylor expansion of y in y
0.123 * [taylor]: Taking taylor expansion of x in y
0.124 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.124 * [taylor]: Taking taylor expansion of z in y
0.124 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x
0.124 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.124 * [taylor]: Taking taylor expansion of z in x
0.124 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x
0.124 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.124 * [taylor]: Taking taylor expansion of y in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.124 * [taylor]: Taking taylor expansion of z in x
0.125 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.125 * [taylor]: Taking taylor expansion of y in y
0.125 * [taylor]: Taking taylor expansion of (- (log y)) in z
0.125 * [taylor]: Taking taylor expansion of (log y) in z
0.125 * [taylor]: Taking taylor expansion of y in z
0.127 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y
0.127 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.127 * [taylor]: Taking taylor expansion of z in y
0.127 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.127 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.127 * [taylor]: Taking taylor expansion of z in z
0.128 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [taylor]: Taking taylor expansion of 0 in y
0.131 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [taylor]: Taking taylor expansion of 0 in z
0.133 * [taylor]: Taking taylor expansion of 0 in z
0.141 * [taylor]: Taking taylor expansion of 0 in y
0.141 * [taylor]: Taking taylor expansion of 0 in z
0.141 * [taylor]: Taking taylor expansion of 0 in z
0.142 * [taylor]: Taking taylor expansion of 0 in z
0.144 * [taylor]: Taking taylor expansion of 0 in z
0.145 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in (x y z) around 0
0.145 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in z
0.145 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.145 * [taylor]: Taking taylor expansion of z in z
0.145 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.145 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.145 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.145 * [taylor]: Taking taylor expansion of -1 in z
0.145 * [taylor]: Taking taylor expansion of y in z
0.146 * [taylor]: Taking taylor expansion of x in z
0.146 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.146 * [taylor]: Taking taylor expansion of z in y
0.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.146 * [taylor]: Taking taylor expansion of -1 in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.146 * [taylor]: Taking taylor expansion of x in y
0.148 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.148 * [taylor]: Taking taylor expansion of z in x
0.148 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.148 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of y in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.148 * [taylor]: Taking taylor expansion of z in x
0.148 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.148 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of y in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y
0.148 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.148 * [taylor]: Taking taylor expansion of -1 in y
0.148 * [taylor]: Taking taylor expansion of y in y
0.150 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.150 * [taylor]: Taking taylor expansion of (log y) in z
0.150 * [taylor]: Taking taylor expansion of y in z
0.150 * [taylor]: Taking taylor expansion of (log -1) in z
0.150 * [taylor]: Taking taylor expansion of -1 in z
0.151 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.151 * [taylor]: Taking taylor expansion of z in y
0.152 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.152 * [taylor]: Taking taylor expansion of z in z
0.153 * [taylor]: Taking taylor expansion of 0 in z
0.157 * [taylor]: Taking taylor expansion of 0 in y
0.157 * [taylor]: Taking taylor expansion of 0 in z
0.157 * [taylor]: Taking taylor expansion of 0 in z
0.159 * [taylor]: Taking taylor expansion of 0 in z
0.165 * [taylor]: Taking taylor expansion of 0 in y
0.165 * [taylor]: Taking taylor expansion of 0 in z
0.165 * [taylor]: Taking taylor expansion of 0 in z
0.165 * [taylor]: Taking taylor expansion of 0 in z
0.168 * [taylor]: Taking taylor expansion of 0 in z
0.169 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.169 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0
0.169 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z
0.169 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.169 * [taylor]: Taking taylor expansion of x in z
0.169 * [taylor]: Taking taylor expansion of (log y) in z
0.169 * [taylor]: Taking taylor expansion of y in z
0.169 * [taylor]: Taking taylor expansion of (+ z y) in z
0.169 * [taylor]: Taking taylor expansion of z in z
0.169 * [taylor]: Taking taylor expansion of y in z
0.169 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y
0.169 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.170 * [taylor]: Taking taylor expansion of x in y
0.170 * [taylor]: Taking taylor expansion of (log y) in y
0.170 * [taylor]: Taking taylor expansion of y in y
0.170 * [taylor]: Taking taylor expansion of (+ z y) in y
0.170 * [taylor]: Taking taylor expansion of z in y
0.170 * [taylor]: Taking taylor expansion of y in y
0.170 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x
0.170 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of (log y) in x
0.170 * [taylor]: Taking taylor expansion of y in x
0.170 * [taylor]: Taking taylor expansion of (+ z y) in x
0.170 * [taylor]: Taking taylor expansion of z in x
0.170 * [taylor]: Taking taylor expansion of y in x
0.170 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x
0.170 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of (log y) in x
0.170 * [taylor]: Taking taylor expansion of y in x
0.170 * [taylor]: Taking taylor expansion of (+ z y) in x
0.170 * [taylor]: Taking taylor expansion of z in x
0.170 * [taylor]: Taking taylor expansion of y in x
0.170 * [taylor]: Taking taylor expansion of (- (+ z y)) in y
0.170 * [taylor]: Taking taylor expansion of (+ z y) in y
0.170 * [taylor]: Taking taylor expansion of z in y
0.170 * [taylor]: Taking taylor expansion of y in y
0.170 * [taylor]: Taking taylor expansion of (- z) in z
0.170 * [taylor]: Taking taylor expansion of z in z
0.172 * [taylor]: Taking taylor expansion of (log y) in y
0.172 * [taylor]: Taking taylor expansion of y in y
0.172 * [taylor]: Taking taylor expansion of (log y) in z
0.172 * [taylor]: Taking taylor expansion of y in z
0.173 * [taylor]: Taking taylor expansion of -1 in z
0.174 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in (x y z) around 0
0.174 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in z
0.174 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.174 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.174 * [taylor]: Taking taylor expansion of y in z
0.174 * [taylor]: Taking taylor expansion of x in z
0.174 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.174 * [taylor]: Taking taylor expansion of y in z
0.174 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.174 * [taylor]: Taking taylor expansion of z in z
0.174 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in y
0.174 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.174 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.174 * [taylor]: Taking taylor expansion of y in y
0.175 * [taylor]: Taking taylor expansion of x in y
0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.176 * [taylor]: Taking taylor expansion of y in y
0.176 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.176 * [taylor]: Taking taylor expansion of z in y
0.176 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x
0.176 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.176 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.176 * [taylor]: Taking taylor expansion of y in x
0.176 * [taylor]: Taking taylor expansion of x in x
0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.176 * [taylor]: Taking taylor expansion of y in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.176 * [taylor]: Taking taylor expansion of z in x
0.176 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x
0.176 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.176 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.176 * [taylor]: Taking taylor expansion of y in x
0.176 * [taylor]: Taking taylor expansion of x in x
0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.176 * [taylor]: Taking taylor expansion of y in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.176 * [taylor]: Taking taylor expansion of z in x
0.177 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.177 * [taylor]: Taking taylor expansion of y in y
0.178 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in y
0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.178 * [taylor]: Taking taylor expansion of y in y
0.179 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.179 * [taylor]: Taking taylor expansion of z in y
0.179 * [taylor]: Taking taylor expansion of -1 in z
0.180 * [taylor]: Taking taylor expansion of (- (log y)) in z
0.180 * [taylor]: Taking taylor expansion of (log y) in z
0.180 * [taylor]: Taking taylor expansion of y in z
0.182 * [taylor]: Taking taylor expansion of 0 in y
0.183 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.183 * [taylor]: Taking taylor expansion of z in z
0.185 * [taylor]: Taking taylor expansion of 0 in z
0.185 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in (x y z) around 0
0.185 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in z
0.185 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.186 * [taylor]: Taking taylor expansion of y in z
0.186 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.186 * [taylor]: Taking taylor expansion of z in z
0.186 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.186 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.186 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.186 * [taylor]: Taking taylor expansion of -1 in z
0.186 * [taylor]: Taking taylor expansion of y in z
0.186 * [taylor]: Taking taylor expansion of x in z
0.186 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in y
0.186 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.186 * [taylor]: Taking taylor expansion of y in y
0.186 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.186 * [taylor]: Taking taylor expansion of z in y
0.186 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.186 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.186 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.186 * [taylor]: Taking taylor expansion of -1 in y
0.186 * [taylor]: Taking taylor expansion of y in y
0.187 * [taylor]: Taking taylor expansion of x in y
0.188 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x
0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.188 * [taylor]: Taking taylor expansion of y in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.188 * [taylor]: Taking taylor expansion of z in x
0.188 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.188 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.188 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.188 * [taylor]: Taking taylor expansion of -1 in x
0.188 * [taylor]: Taking taylor expansion of y in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.189 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x
0.189 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.189 * [taylor]: Taking taylor expansion of y in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.189 * [taylor]: Taking taylor expansion of z in x
0.189 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.189 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.189 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.189 * [taylor]: Taking taylor expansion of -1 in x
0.189 * [taylor]: Taking taylor expansion of y in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.189 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y
0.189 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.189 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.189 * [taylor]: Taking taylor expansion of -1 in y
0.189 * [taylor]: Taking taylor expansion of y in y
0.191 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.191 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.191 * [taylor]: Taking taylor expansion of z in y
0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.191 * [taylor]: Taking taylor expansion of y in y
0.192 * [taylor]: Taking taylor expansion of 1 in z
0.192 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.192 * [taylor]: Taking taylor expansion of (log y) in z
0.193 * [taylor]: Taking taylor expansion of y in z
0.193 * [taylor]: Taking taylor expansion of (log -1) in z
0.193 * [taylor]: Taking taylor expansion of -1 in z
0.195 * [taylor]: Taking taylor expansion of 0 in y
0.196 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.196 * [taylor]: Taking taylor expansion of z in z
0.198 * [taylor]: Taking taylor expansion of 0 in z
0.200 * * * [progress]: simplifying candidates
0.201 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* x (log y)))
  (log1p (* x (log y)))
  (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (fma x (log y) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
  (fma x (log y) (- (* (sqrt z) (sqrt z))))
  (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))
  (fma x (log y) (- (* z 1)))
  (fma (- z) 1 (* z 1))
  (expm1 (- (* x (log y)) z))
  (log1p (- (* x (log y)) z))
  (- z)
  (/ (exp (* x (log y))) (exp z))
  (log (- (* x (log y)) z))
  (exp (- (* x (log y)) z))
  (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z)))
  (cbrt (- (* x (log y)) z))
  (* (* (- (* x (log y)) z) (- (* x (log y)) z)) (- (* x (log y)) z))
  (sqrt (- (* x (log y)) z))
  (sqrt (- (* x (log y)) z))
  (- (pow (* x (log y)) 3) (pow z 3))
  (+ (* (* x (log y)) (* x (log y))) (+ (* z z) (* (* x (log y)) z)))
  (- z)
  (- (* (* x (log y)) (* x (log y))) (* z z))
  (+ (* x (log y)) z)
  (- (* x (log (cbrt y))) z)
  (- (* x (log (sqrt y))) z)
  (- (* x (log y)) z)
  (- (* (log (cbrt y)) x) z)
  (- (* (log (sqrt y)) x) z)
  (- (* (log y) x) z)
  (- z)
  (fma (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z)) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))
  (fma (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z)) (- (* (sqrt y) (sqrt y))))
  (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))
  (fma (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z)) (- (* y 1)))
  (fma (- y) 1 (* y 1))
  (fma (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))
  (fma (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (- (* (sqrt y) (sqrt y))))
  (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))
  (fma (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (- (* y 1)))
  (fma (- y) 1 (* y 1))
  (fma 1 (- (* x (log y)) z) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))
  (fma 1 (- (* x (log y)) z) (- (* (sqrt y) (sqrt y))))
  (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))
  (fma 1 (- (* x (log y)) z) (- (* y 1)))
  (fma (- y) 1 (* y 1))
  (expm1 (- (- (* x (log y)) z) y))
  (log1p (- (- (* x (log y)) z) y))
  (- y)
  (- y)
  (- y)
  (/ (/ (exp (* x (log y))) (exp z)) (exp y))
  (/ (exp (- (* x (log y)) z)) (exp y))
  (log (- (- (* x (log y)) z) y))
  (exp (- (- (* x (log y)) z) y))
  (* (cbrt (- (- (* x (log y)) z) y)) (cbrt (- (- (* x (log y)) z) y)))
  (cbrt (- (- (* x (log y)) z) y))
  (* (* (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y)) (- (- (* x (log y)) z) y))
  (sqrt (- (- (* x (log y)) z) y))
  (sqrt (- (- (* x (log y)) z) y))
  (- (pow (- (* x (log y)) z) 3) (pow y 3))
  (+ (* (- (* x (log y)) z) (- (* x (log y)) z)) (+ (* y y) (* (- (* x (log y)) z) y)))
  (- y)
  (- (* (- (* x (log y)) z) (- (* x (log y)) z)) (* y y))
  (+ (- (* x (log y)) z) y)
  (+ (sqrt (- (* x (log y)) z)) (sqrt y))
  (- (sqrt (- (* x (log y)) z)) (sqrt y))
  (- (- (* x (log y)) z) y)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (- (fma (- z) 1 (* z 1)) y)
  (- (- z) y)
  (- (- (* x (log (cbrt y))) z) y)
  (- (- (* x (log (sqrt y))) z) y)
  (- (- (* x (log y)) z) y)
  (- (- (* (log (cbrt y)) x) z) y)
  (- (- (* (log (sqrt y)) x) z) y)
  (- (- (* (log y) x) z) y)
  (- (- z) y)
  (+ z y)
  (- y)
  (* x (log y))
  (* -1 (* x (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (- (* x (log y)) z)
  (- (+ (* x (log (/ 1 y))) z))
  (- (* (log -1) x) (+ z (* x (log (/ -1 y)))))
  (- (* x (log y)) (+ z y))
  (- (+ (* x (log (/ 1 y))) (+ z y)))
  (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y))))))
0.206 * * [simplify]: iteration  0 :  365  enodes  (cost  609 )
0.213 * * [simplify]: iteration  1 :  1312  enodes  (cost  480 )
0.242 * * [simplify]: iteration  2 :  5001  enodes  (cost  447 )
0.244 * [simplify]: Simplified to:
   (expm1 (* x (log y)))
  (log1p (* x (log y)))
  (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (- (* (log y) x) z)
  (* z 0)
  (- (* (log y) x) z)
  (* z 0)
  (- (* (log y) x) z)
  (* z 0)
  (expm1 (- (* x (log y)) z))
  (log1p (- (* x (log y)) z))
  (- z)
  (/ (pow y x) (exp z))
  (log (- (* x (log y)) z))
  (/ (pow y x) (exp z))
  (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z)))
  (cbrt (- (* x (log y)) z))
  (pow (- (* x (log y)) z) 3)
  (sqrt (- (* x (log y)) z))
  (sqrt (- (* x (log y)) z))
  (- (pow (* x (log y)) 3) (pow z 3))
  (+ (* z z) (* (* x (log y)) (fma x (log y) z)))
  (- z)
  (* (fma x (log y) z) (- (* x (log y)) z))
  (fma x (log y) z)
  (- (* (log (cbrt y)) x) z)
  (- (* (log (sqrt y)) x) z)
  (- (* (log y) x) z)
  (- (* (log (cbrt y)) x) z)
  (- (* (log (sqrt y)) x) z)
  (- (* (log y) x) z)
  (- z)
  (- (* (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z))) y)
  (* y 0)
  (- (* (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z))) y)
  (* y 0)
  (- (* (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z))) y)
  (* y 0)
  (- (- (* (log y) x) z) y)
  (* y 0)
  (- (- (* (log y) x) z) y)
  (* y 0)
  (- (- (* (log y) x) z) y)
  (* y 0)
  (- (- (* (log y) x) z) y)
  (* y 0)
  (- (- (* (log y) x) z) y)
  (* y 0)
  (- (- (* (log y) x) z) y)
  (* y 0)
  (expm1 (- (- (* x (log y)) z) y))
  (log1p (- (- (* x (log y)) z) y))
  (- y)
  (- y)
  (- y)
  (/ (pow y x) (exp (+ z y)))
  (/ (pow y x) (exp (+ z y)))
  (log (- (- (* x (log y)) z) y))
  (/ (pow y x) (exp (+ z y)))
  (* (cbrt (- (- (* x (log y)) z) y)) (cbrt (- (- (* x (log y)) z) y)))
  (cbrt (- (- (* x (log y)) z) y))
  (pow (- (* x (log y)) (+ z y)) 3)
  (sqrt (- (- (* x (log y)) z) y))
  (sqrt (- (- (* x (log y)) z) y))
  (- (pow (- (* x (log y)) z) 3) (pow y 3))
  (+ (* (- (* (log y) x) z) (+ (- (* x (log y)) z) y)) (* y y))
  (- y)
  (- (* (- (* x (log y)) z) (- (* x (log y)) z)) (* y y))
  (+ (- (* x (log y)) z) y)
  (+ (sqrt (- (* x (log y)) z)) (sqrt y))
  (- (sqrt (- (* x (log y)) z)) (sqrt y))
  (- (- (* (log y) x) z) y)
  (+ (- z) (- z y))
  (+ (- z) (- z y))
  (+ (- z) (- z y))
  (- (- z) y)
  (- (- (* (log (cbrt y)) x) z) y)
  (- (- (* (log (sqrt y)) x) z) y)
  (- (- (* (log y) x) z) y)
  (- (- (* (log (cbrt y)) x) z) y)
  (- (- (* (log (sqrt y)) x) z) y)
  (- (- (* (log y) x) z) y)
  (- (- z) y)
  (+ z y)
  (- y)
  (* x (log y))
  (* x (log y))
  (* x (log y))
  (- (* (log y) x) z)
  (- (* (log y) x) z)
  (- (* (log y) x) z)
  (- (- (* (log y) x) z) y)
  (- (- (* (log y) x) z) y)
  (- (- (* (log y) x) z) y)
0.245 * * * [progress]: adding candidates to table
0.427 * * [progress]: iteration 2 / 4
0.428 * * * [progress]: picking best candidate
0.437 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z) y))>
0.437 * * * [progress]: localizing error
0.446 * * * [progress]: generating rewritten candidates
0.446 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
0.454 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.459 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.467 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
0.473 * * * [progress]: generating series expansions
0.473 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
0.473 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0
0.473 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y
0.473 * [taylor]: Taking taylor expansion of x in y
0.473 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
0.473 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.473 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.475 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x
0.475 * [taylor]: Taking taylor expansion of (sqrt y) in x
0.475 * [taylor]: Taking taylor expansion of y in x
0.475 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.475 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x
0.476 * [taylor]: Taking taylor expansion of (sqrt y) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.476 * [taylor]: Taking taylor expansion of 0 in y
0.476 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
0.477 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.477 * [taylor]: Taking taylor expansion of y in y
0.481 * [taylor]: Taking taylor expansion of 0 in y
0.489 * [taylor]: Taking taylor expansion of 0 in y
0.499 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0
0.499 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y
0.499 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
0.499 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.501 * [taylor]: Taking taylor expansion of x in y
0.501 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x
0.501 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x
0.501 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.501 * [taylor]: Taking taylor expansion of y in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x
0.501 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x
0.501 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.501 * [taylor]: Taking taylor expansion of y in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
0.502 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.502 * [taylor]: Taking taylor expansion of y in y
0.505 * [taylor]: Taking taylor expansion of 0 in y
0.512 * [taylor]: Taking taylor expansion of 0 in y
0.523 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0
0.523 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y
0.523 * [taylor]: Taking taylor expansion of -1 in y
0.523 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y
0.523 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
0.523 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.523 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.523 * [taylor]: Taking taylor expansion of -1 in y
0.523 * [taylor]: Taking taylor expansion of y in y
0.525 * [taylor]: Taking taylor expansion of x in y
0.525 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x
0.525 * [taylor]: Taking taylor expansion of -1 in x
0.525 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x
0.525 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
0.525 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
0.525 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.525 * [taylor]: Taking taylor expansion of -1 in x
0.525 * [taylor]: Taking taylor expansion of y in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.526 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x
0.526 * [taylor]: Taking taylor expansion of -1 in x
0.526 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x
0.526 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
0.526 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
0.526 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.526 * [taylor]: Taking taylor expansion of -1 in x
0.526 * [taylor]: Taking taylor expansion of y in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.526 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y
0.526 * [taylor]: Taking taylor expansion of -1 in y
0.526 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
0.526 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.526 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.526 * [taylor]: Taking taylor expansion of -1 in y
0.526 * [taylor]: Taking taylor expansion of y in y
0.530 * [taylor]: Taking taylor expansion of 0 in y
0.545 * [taylor]: Taking taylor expansion of 0 in y
0.558 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.558 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0
0.558 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y
0.558 * [taylor]: Taking taylor expansion of x in y
0.558 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
0.558 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.558 * [taylor]: Taking taylor expansion of y in y
0.559 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x
0.559 * [taylor]: Taking taylor expansion of x in x
0.559 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x
0.559 * [taylor]: Taking taylor expansion of (sqrt y) in x
0.559 * [taylor]: Taking taylor expansion of y in x
0.559 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x
0.560 * [taylor]: Taking taylor expansion of x in x
0.560 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x
0.560 * [taylor]: Taking taylor expansion of (sqrt y) in x
0.560 * [taylor]: Taking taylor expansion of y in x
0.560 * [taylor]: Taking taylor expansion of 0 in y
0.561 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
0.561 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.561 * [taylor]: Taking taylor expansion of y in y
0.564 * [taylor]: Taking taylor expansion of 0 in y
0.573 * [taylor]: Taking taylor expansion of 0 in y
0.583 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0
0.583 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y
0.583 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
0.583 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.583 * [taylor]: Taking taylor expansion of y in y
0.584 * [taylor]: Taking taylor expansion of x in y
0.585 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x
0.585 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x
0.585 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.585 * [taylor]: Taking taylor expansion of y in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x
0.585 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x
0.585 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.585 * [taylor]: Taking taylor expansion of y in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
0.585 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.588 * [taylor]: Taking taylor expansion of 0 in y
0.596 * [taylor]: Taking taylor expansion of 0 in y
0.607 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0
0.607 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y
0.607 * [taylor]: Taking taylor expansion of -1 in y
0.607 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y
0.607 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
0.607 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.607 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.607 * [taylor]: Taking taylor expansion of -1 in y
0.607 * [taylor]: Taking taylor expansion of y in y
0.609 * [taylor]: Taking taylor expansion of x in y
0.609 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x
0.609 * [taylor]: Taking taylor expansion of -1 in x
0.609 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x
0.609 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
0.609 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
0.609 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.609 * [taylor]: Taking taylor expansion of -1 in x
0.609 * [taylor]: Taking taylor expansion of y in x
0.609 * [taylor]: Taking taylor expansion of x in x
0.609 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x
0.609 * [taylor]: Taking taylor expansion of -1 in x
0.609 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x
0.609 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
0.609 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
0.609 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.609 * [taylor]: Taking taylor expansion of -1 in x
0.609 * [taylor]: Taking taylor expansion of y in x
0.610 * [taylor]: Taking taylor expansion of x in x
0.610 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y
0.610 * [taylor]: Taking taylor expansion of -1 in y
0.610 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
0.610 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.610 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.610 * [taylor]: Taking taylor expansion of -1 in y
0.610 * [taylor]: Taking taylor expansion of y in y
0.614 * [taylor]: Taking taylor expansion of 0 in y
0.628 * [taylor]: Taking taylor expansion of 0 in y
0.641 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.641 * [approximate]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in (x y z) around 0
0.642 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in z
0.642 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in z
0.642 * [taylor]: Taking taylor expansion of 2 in z
0.642 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in z
0.642 * [taylor]: Taking taylor expansion of x in z
0.642 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z
0.642 * [taylor]: Taking taylor expansion of (sqrt y) in z
0.642 * [taylor]: Taking taylor expansion of y in z
0.642 * [taylor]: Taking taylor expansion of z in z
0.642 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in y
0.642 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in y
0.642 * [taylor]: Taking taylor expansion of 2 in y
0.642 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y
0.642 * [taylor]: Taking taylor expansion of x in y
0.642 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
0.642 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.642 * [taylor]: Taking taylor expansion of y in y
0.643 * [taylor]: Taking taylor expansion of z in y
0.643 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in x
0.643 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x
0.643 * [taylor]: Taking taylor expansion of 2 in x
0.643 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x
0.643 * [taylor]: Taking taylor expansion of x in x
0.643 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x
0.643 * [taylor]: Taking taylor expansion of (sqrt y) in x
0.643 * [taylor]: Taking taylor expansion of y in x
0.643 * [taylor]: Taking taylor expansion of z in x
0.643 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in x
0.643 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x
0.643 * [taylor]: Taking taylor expansion of 2 in x
0.643 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x
0.643 * [taylor]: Taking taylor expansion of x in x
0.643 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x
0.643 * [taylor]: Taking taylor expansion of (sqrt y) in x
0.643 * [taylor]: Taking taylor expansion of y in x
0.644 * [taylor]: Taking taylor expansion of z in x
0.644 * [taylor]: Taking taylor expansion of (- z) in y
0.644 * [taylor]: Taking taylor expansion of z in y
0.644 * [taylor]: Taking taylor expansion of (- z) in z
0.644 * [taylor]: Taking taylor expansion of z in z
0.646 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt y))) in y
0.646 * [taylor]: Taking taylor expansion of 2 in y
0.646 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
0.646 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.646 * [taylor]: Taking taylor expansion of y in y
0.648 * [taylor]: Taking taylor expansion of (* 2 (+ (log +nan.0) (log y))) in z
0.648 * [taylor]: Taking taylor expansion of 2 in z
0.648 * [taylor]: Taking taylor expansion of (+ (log +nan.0) (log y)) in z
0.648 * [taylor]: Taking taylor expansion of (log +nan.0) in z
0.648 * [taylor]: Taking taylor expansion of +nan.0 in z
0.648 * [taylor]: Taking taylor expansion of (log y) in z
0.648 * [taylor]: Taking taylor expansion of y in z
0.649 * [taylor]: Taking taylor expansion of 0 in z
0.652 * [taylor]: Taking taylor expansion of 0 in y
0.652 * [taylor]: Taking taylor expansion of 0 in z
0.659 * [taylor]: Taking taylor expansion of (- +nan.0) in z
0.659 * [taylor]: Taking taylor expansion of +nan.0 in z
0.660 * [approximate]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in (x y z) around 0
0.660 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in z
0.660 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in z
0.660 * [taylor]: Taking taylor expansion of 2 in z
0.660 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in z
0.660 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z
0.660 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
0.660 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.660 * [taylor]: Taking taylor expansion of y in z
0.661 * [taylor]: Taking taylor expansion of x in z
0.661 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.661 * [taylor]: Taking taylor expansion of z in z
0.661 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in y
0.661 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in y
0.661 * [taylor]: Taking taylor expansion of 2 in y
0.661 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y
0.661 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
0.661 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.661 * [taylor]: Taking taylor expansion of y in y
0.663 * [taylor]: Taking taylor expansion of x in y
0.663 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.663 * [taylor]: Taking taylor expansion of z in y
0.663 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in x
0.663 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x
0.663 * [taylor]: Taking taylor expansion of 2 in x
0.663 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x
0.663 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x
0.663 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.663 * [taylor]: Taking taylor expansion of y in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.663 * [taylor]: Taking taylor expansion of z in x
0.663 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in x
0.663 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x
0.663 * [taylor]: Taking taylor expansion of 2 in x
0.663 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x
0.663 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x
0.663 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.663 * [taylor]: Taking taylor expansion of y in x
0.664 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.664 * [taylor]: Taking taylor expansion of z in x
0.664 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ 1 y)))) in y
0.664 * [taylor]: Taking taylor expansion of 2 in y
0.664 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
0.664 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.664 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.664 * [taylor]: Taking taylor expansion of y in y
0.666 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in z
0.666 * [taylor]: Taking taylor expansion of 2 in z
0.666 * [taylor]: Taking taylor expansion of (log +nan.0) in z
0.666 * [taylor]: Taking taylor expansion of +nan.0 in z
0.668 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y
0.668 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.668 * [taylor]: Taking taylor expansion of z in y
0.668 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.668 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.668 * [taylor]: Taking taylor expansion of z in z
0.675 * [taylor]: Taking taylor expansion of (- +nan.0) in z
0.675 * [taylor]: Taking taylor expansion of +nan.0 in z
0.680 * [taylor]: Taking taylor expansion of 0 in y
0.680 * [taylor]: Taking taylor expansion of 0 in z
0.680 * [taylor]: Taking taylor expansion of 0 in z
0.691 * [taylor]: Taking taylor expansion of (- +nan.0) in z
0.691 * [taylor]: Taking taylor expansion of +nan.0 in z
0.694 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in (x y z) around 0
0.694 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in z
0.694 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.694 * [taylor]: Taking taylor expansion of z in z
0.694 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in z
0.694 * [taylor]: Taking taylor expansion of 2 in z
0.694 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in z
0.694 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z
0.694 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
0.694 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.694 * [taylor]: Taking taylor expansion of -1 in z
0.694 * [taylor]: Taking taylor expansion of y in z
0.695 * [taylor]: Taking taylor expansion of x in z
0.695 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in y
0.695 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.695 * [taylor]: Taking taylor expansion of z in y
0.695 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in y
0.695 * [taylor]: Taking taylor expansion of 2 in y
0.695 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y
0.695 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
0.695 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.695 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.695 * [taylor]: Taking taylor expansion of -1 in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.697 * [taylor]: Taking taylor expansion of x in y
0.697 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x
0.697 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.697 * [taylor]: Taking taylor expansion of z in x
0.697 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x
0.697 * [taylor]: Taking taylor expansion of 2 in x
0.697 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x
0.697 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
0.697 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
0.697 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.697 * [taylor]: Taking taylor expansion of -1 in x
0.697 * [taylor]: Taking taylor expansion of y in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x
0.697 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.697 * [taylor]: Taking taylor expansion of z in x
0.697 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x
0.697 * [taylor]: Taking taylor expansion of 2 in x
0.697 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x
0.697 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
0.697 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
0.697 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.698 * [taylor]: Taking taylor expansion of -1 in x
0.698 * [taylor]: Taking taylor expansion of y in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (- (* 2 (log (sqrt (/ -1 y))))) in y
0.698 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ -1 y)))) in y
0.698 * [taylor]: Taking taylor expansion of 2 in y
0.698 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
0.698 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.698 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.698 * [taylor]: Taking taylor expansion of -1 in y
0.698 * [taylor]: Taking taylor expansion of y in y
0.706 * [taylor]: Taking taylor expansion of (- (* 2 (log +nan.0))) in z
0.706 * [taylor]: Taking taylor expansion of (* 2 (log +nan.0)) in z
0.706 * [taylor]: Taking taylor expansion of 2 in z
0.706 * [taylor]: Taking taylor expansion of (log +nan.0) in z
0.706 * [taylor]: Taking taylor expansion of +nan.0 in z
0.708 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.708 * [taylor]: Taking taylor expansion of z in y
0.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.708 * [taylor]: Taking taylor expansion of z in z
0.715 * [taylor]: Taking taylor expansion of (- +nan.0) in z
0.716 * [taylor]: Taking taylor expansion of +nan.0 in z
0.721 * [taylor]: Taking taylor expansion of 0 in y
0.721 * [taylor]: Taking taylor expansion of 0 in z
0.721 * [taylor]: Taking taylor expansion of 0 in z
0.733 * [taylor]: Taking taylor expansion of (- +nan.0) in z
0.733 * [taylor]: Taking taylor expansion of +nan.0 in z
0.736 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
0.736 * [approximate]: Taking taylor expansion of (log (sqrt y)) in (y) around 0
0.736 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
0.736 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.736 * [taylor]: Taking taylor expansion of y in y
0.737 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
0.737 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.737 * [taylor]: Taking taylor expansion of y in y
0.755 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 y))) in (y) around 0
0.755 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
0.755 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.755 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.755 * [taylor]: Taking taylor expansion of y in y
0.757 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
0.757 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.757 * [taylor]: Taking taylor expansion of y in y
0.774 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 y))) in (y) around 0
0.774 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
0.775 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.775 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.775 * [taylor]: Taking taylor expansion of -1 in y
0.775 * [taylor]: Taking taylor expansion of y in y
0.776 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
0.776 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
0.776 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.776 * [taylor]: Taking taylor expansion of -1 in y
0.776 * [taylor]: Taking taylor expansion of y in y
0.800 * * * [progress]: simplifying candidates
0.802 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* x (log (sqrt y))))
  (log1p (* x (log (sqrt y))))
  (* x (log (sqrt y)))
  (+ (log x) (log (log (sqrt y))))
  (log (* x (log (sqrt y))))
  (exp (* x (log (sqrt y))))
  (* (* (* x x) x) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y))))
  (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y)))))
  (cbrt (* x (log (sqrt y))))
  (* (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* x (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (sqrt (* (cbrt y) (cbrt y)))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt 1)))
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log 1))
  (* x (log (sqrt y)))
  (* (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (sqrt (* (cbrt y) (cbrt y)))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt 1)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log 1) x)
  (* (log (sqrt y)) x)
  (* x 1/2)
  (* x 1)
  (* x (/ 1 2))
  (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))))
  (* x (sqrt (log (sqrt y))))
  (* x 1)
  (* (cbrt x) (log (sqrt y)))
  (* (sqrt x) (log (sqrt y)))
  (* x (log (sqrt y)))
  (expm1 (* x (log (sqrt y))))
  (log1p (* x (log (sqrt y))))
  (* x (log (sqrt y)))
  (+ (log x) (log (log (sqrt y))))
  (log (* x (log (sqrt y))))
  (exp (* x (log (sqrt y))))
  (* (* (* x x) x) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y))))
  (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y)))))
  (cbrt (* x (log (sqrt y))))
  (* (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* x (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (sqrt (* (cbrt y) (cbrt y)))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt 1)))
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log 1))
  (* x (log (sqrt y)))
  (* (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (sqrt (* (cbrt y) (cbrt y)))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt 1)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log 1) x)
  (* (log (sqrt y)) x)
  (* x 1/2)
  (* x 1)
  (* x (/ 1 2))
  (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))))
  (* x (sqrt (log (sqrt y))))
  (* x 1)
  (* (cbrt x) (log (sqrt y)))
  (* (sqrt x) (log (sqrt y)))
  (* x (log (sqrt y)))
  (fma (* (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y)))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
  (fma (* (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y)))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- (* (sqrt z) (sqrt z))))
  (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))
  (fma (* (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y)))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- (* z 1)))
  (fma (- z) 1 (* z 1))
  (fma (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
  (fma (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- (* (sqrt z) (sqrt z))))
  (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))
  (fma (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- (* z 1)))
  (fma (- z) 1 (* z 1))
  (fma 1 (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
  (fma 1 (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) (- (* (sqrt z) (sqrt z))))
  (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))
  (fma 1 (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) (- (* z 1)))
  (fma (- z) 1 (* z 1))
  (fma x (+ (log (sqrt y)) (log (sqrt y))) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
  (fma x (+ (log (sqrt y)) (log (sqrt y))) (- (* (sqrt z) (sqrt z))))
  (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))
  (fma x (+ (log (sqrt y)) (log (sqrt y))) (- (* z 1)))
  (fma (- z) 1 (* z 1))
  (fma (log (sqrt y)) (+ x x) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
  (fma (log (sqrt y)) (+ x x) (- (* (sqrt z) (sqrt z))))
  (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))
  (fma (log (sqrt y)) (+ x x) (- (* z 1)))
  (fma (- z) 1 (* z 1))
  (fma 2 (* x (log (sqrt y))) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
  (fma 2 (* x (log (sqrt y))) (- (* (sqrt z) (sqrt z))))
  (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))
  (fma 2 (* x (log (sqrt y))) (- (* z 1)))
  (fma (- z) 1 (* z 1))
  (expm1 (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (log1p (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (/ (* (exp (* x (log (sqrt y)))) (exp (* x (log (sqrt y))))) (exp z))
  (/ (exp (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (exp z))
  (log (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (exp (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (* (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)))
  (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (* (* (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z) (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (sqrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (sqrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (- (pow (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) 3) (pow z 3))
  (+ (* (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (+ (* z z) (* (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)))
  (- z)
  (- (* (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (* z z))
  (+ (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)
  (+ (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt z))
  (- (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt z))
  (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)
  (- (* x (log (sqrt y))) z)
  (- z)
  (expm1 (log (sqrt y)))
  (log1p (log (sqrt y)))
  (log (* (cbrt (sqrt y)) (cbrt (sqrt y))))
  (log (cbrt (sqrt y)))
  (log (sqrt (* (cbrt y) (cbrt y))))
  (log (sqrt (cbrt y)))
  (log (sqrt (sqrt y)))
  (log (sqrt (sqrt y)))
  (log (sqrt 1))
  (log (sqrt y))
  (log (sqrt (sqrt y)))
  (log (sqrt (sqrt y)))
  (log 1)
  (log (sqrt y))
  (log y)
  (log (sqrt y))
  (log y)
  (log (log (sqrt y)))
  (exp (log (sqrt y)))
  (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))
  (cbrt (log (sqrt y)))
  (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y)))
  (sqrt (log (sqrt y)))
  (sqrt (log (sqrt y)))
  (- (+ (* x (log y)) (* x (log +nan.0))) (+ (* +nan.0 (* x (pow y 2))) (- (* +nan.0 (* x y)))))
  (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2))))))
  (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2))))))
  (- (+ (* x (log y)) (* x (log +nan.0))) (+ (* +nan.0 (* x (pow y 2))) (- (* +nan.0 (* x y)))))
  (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2))))))
  (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2))))))
  (- (+ (* 2 (* x (log y))) (* 2 (* x (log +nan.0)))) (+ z (- (* +nan.0 (* x y)))))
  (- (* 2 (* x (log +nan.0))) (+ (* +nan.0 (/ x y)) z))
  (- (* 2 (* x (log +nan.0))) (+ (* +nan.0 (/ x y)) z))
  (- (+ (log +nan.0) (log y)) (+ (* +nan.0 y) (- (* +nan.0 (pow y 2)))))
  (- (log +nan.0) (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2))))))
  (- (log +nan.0) (+ (* +nan.0 (/ 1 y)) (- (* +nan.0 (/ 1 (pow y 2))))))
0.808 * * [simplify]: iteration  0 :  391  enodes  (cost  1143 )
0.815 * * [simplify]: iteration  1 :  1403  enodes  (cost  877 )
0.846 * * [simplify]: iteration  2 :  5001  enodes  (cost  847 )
0.850 * [simplify]: Simplified to:
   (expm1 (* x (log (sqrt y))))
  (log1p (* x (log (sqrt y))))
  (* x (log (sqrt y)))
  (log (* x (log (sqrt y))))
  (log (* x (log (sqrt y))))
  (pow (sqrt y) x)
  (pow (* x (log (sqrt y))) 3)
  (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y)))))
  (cbrt (* x (log (sqrt y))))
  (pow (* x (log (sqrt y))) 3)
  (sqrt (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* x (* 2 (log (cbrt (sqrt y)))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (sqrt (* (cbrt y) (cbrt y)))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x (* 2 (log (cbrt (sqrt y)))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (sqrt (* (cbrt y) (cbrt y)))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x 1/2)
  x
  (* x 1/2)
  (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))))
  (* x (sqrt (log (sqrt y))))
  x
  (* (cbrt x) (log (sqrt y)))
  (* (sqrt x) (log (sqrt y)))
  (* x (log (sqrt y)))
  (expm1 (* x (log (sqrt y))))
  (log1p (* x (log (sqrt y))))
  (* x (log (sqrt y)))
  (log (* x (log (sqrt y))))
  (log (* x (log (sqrt y))))
  (pow (sqrt y) x)
  (pow (* x (log (sqrt y))) 3)
  (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y)))))
  (cbrt (* x (log (sqrt y))))
  (pow (* x (log (sqrt y))) 3)
  (sqrt (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* x (* 2 (log (cbrt (sqrt y)))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (sqrt (* (cbrt y) (cbrt y)))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x (* 2 (log (cbrt (sqrt y)))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (sqrt (* (cbrt y) (cbrt y)))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x 1/2)
  x
  (* x 1/2)
  (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))))
  (* x (sqrt (log (sqrt y))))
  x
  (* (cbrt x) (log (sqrt y)))
  (* (sqrt x) (log (sqrt y)))
  (* x (log (sqrt y)))
  (- (* (* (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y)))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y)))))) z)
  (fma (- z) 1 z)
  (- (* (* (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y)))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y)))))) z)
  (fma (- z) 1 z)
  (- (* (* (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y)))))) (cbrt (+ (* x (log (sqrt y))) (* x (log (sqrt y)))))) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (- (* (log (sqrt y)) (+ x x)) z)
  (fma (- z) 1 z)
  (expm1 (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (log1p (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (/ (pow (sqrt y) (+ x x)) (exp z))
  (/ (pow (sqrt y) (+ x x)) (exp z))
  (log (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (/ (pow (sqrt y) (+ x x)) (exp z))
  (* (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)))
  (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (pow (fma x (* 2 (log (sqrt y))) (- z)) 3)
  (sqrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (sqrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))
  (fma 8 (pow (* x (log (sqrt y))) 3) (- (pow z 3)))
  (+ (* z z) (* (* (log (sqrt y)) (+ x x)) (fma x (* 2 (log (sqrt y))) z)))
  (- z)
  (* (fma x (* 2 (log (sqrt y))) (- z)) (fma x (* 2 (log (sqrt y))) z))
  (fma x (* 2 (log (sqrt y))) z)
  (+ (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt z))
  (- (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt z))
  (- (* (log (sqrt y)) (+ x x)) z)
  (- (* x (log (sqrt y))) z)
  (- z)
  (expm1 (log (sqrt y)))
  (log1p (log (sqrt y)))
  (* 2 (log (cbrt (sqrt y))))
  (log (cbrt (sqrt y)))
  (log (sqrt (* (cbrt y) (cbrt y))))
  (log (sqrt (cbrt y)))
  (log (sqrt (sqrt y)))
  (log (sqrt (sqrt y)))
  0
  (log (sqrt y))
  (log (sqrt (sqrt y)))
  (log (sqrt (sqrt y)))
  0
  (log (sqrt y))
  (log y)
  (log (sqrt y))
  (log y)
  (log (log (sqrt y)))
  (pow y 1/2)
  (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))
  (cbrt (log (sqrt y)))
  (pow (log (sqrt y)) 3)
  (sqrt (log (sqrt y)))
  (sqrt (log (sqrt y)))
  (fma (log +nan.0) x (- (* x (log y)) (* (* +nan.0 x) (- (pow y 2) y))))
  (fma x (log +nan.0) (- (fma +nan.0 (/ x y) (- (* +nan.0 (/ x (pow y 2)))))))
  (fma x (log +nan.0) (- (fma +nan.0 (/ x y) (- (* +nan.0 (/ x (pow y 2)))))))
  (fma (log +nan.0) x (- (* x (log y)) (* (* +nan.0 x) (- (pow y 2) y))))
  (fma x (log +nan.0) (- (fma +nan.0 (/ x y) (- (* +nan.0 (/ x (pow y 2)))))))
  (fma x (log +nan.0) (- (fma +nan.0 (/ x y) (- (* +nan.0 (/ x (pow y 2)))))))
  (+ (- (* 2 (fma x (log y) (* x (log +nan.0)))) z) (* +nan.0 (* x y)))
  (fma 2 (* x (log +nan.0)) (- (fma +nan.0 (/ x y) z)))
  (fma 2 (* x (log +nan.0)) (- (fma +nan.0 (/ x y) z)))
  (+ (log y) (- (log +nan.0) (* +nan.0 (- y (pow y 2)))))
  (- (log +nan.0) (- (/ +nan.0 y) (/ (/ +nan.0 y) y)))
  (- (log +nan.0) (- (/ +nan.0 y) (/ (/ +nan.0 y) y)))
0.851 * * * [progress]: adding candidates to table
1.146 * * [progress]: iteration 3 / 4
1.146 * * * [progress]: picking best candidate
1.161 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (* x (log (sqrt y))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))>
1.161 * * * [progress]: localizing error
1.176 * * * [progress]: generating rewritten candidates
1.176 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
1.190 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.196 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 2 1)
1.198 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 1)
1.205 * * * [progress]: generating series expansions
1.205 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
1.205 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/4)))) in (x y) around 0
1.205 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/4)))) in y
1.205 * [taylor]: Taking taylor expansion of 2 in y
1.205 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in y
1.205 * [taylor]: Taking taylor expansion of x in y
1.205 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y
1.205 * [taylor]: Taking taylor expansion of (pow y 1/4) in y
1.205 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y
1.205 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y
1.205 * [taylor]: Taking taylor expansion of 1/4 in y
1.205 * [taylor]: Taking taylor expansion of (log y) in y
1.205 * [taylor]: Taking taylor expansion of y in y
1.206 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/4)))) in x
1.206 * [taylor]: Taking taylor expansion of 2 in x
1.206 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.206 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x
1.206 * [taylor]: Taking taylor expansion of (pow y 1/4) in x
1.206 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x
1.206 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x
1.206 * [taylor]: Taking taylor expansion of 1/4 in x
1.206 * [taylor]: Taking taylor expansion of (log y) in x
1.206 * [taylor]: Taking taylor expansion of y in x
1.207 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/4)))) in x
1.207 * [taylor]: Taking taylor expansion of 2 in x
1.207 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/4))) in x
1.207 * [taylor]: Taking taylor expansion of x in x
1.207 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in x
1.207 * [taylor]: Taking taylor expansion of (pow y 1/4) in x
1.207 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in x
1.207 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in x
1.207 * [taylor]: Taking taylor expansion of 1/4 in x
1.207 * [taylor]: Taking taylor expansion of (log y) in x
1.207 * [taylor]: Taking taylor expansion of y in x
1.207 * [taylor]: Taking taylor expansion of 0 in y
1.210 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/4))) in y
1.210 * [taylor]: Taking taylor expansion of 2 in y
1.210 * [taylor]: Taking taylor expansion of (log (pow y 1/4)) in y
1.210 * [taylor]: Taking taylor expansion of (pow y 1/4) in y
1.210 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y
1.210 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y
1.210 * [taylor]: Taking taylor expansion of 1/4 in y
1.210 * [taylor]: Taking taylor expansion of (log y) in y
1.210 * [taylor]: Taking taylor expansion of y in y
1.215 * [taylor]: Taking taylor expansion of 0 in y
1.224 * [taylor]: Taking taylor expansion of 0 in y
1.225 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/4)) x)) in (x y) around 0
1.225 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/4)) x)) in y
1.225 * [taylor]: Taking taylor expansion of 2 in y
1.225 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in y
1.225 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y
1.225 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y
1.225 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y
1.225 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y
1.225 * [taylor]: Taking taylor expansion of 1/4 in y
1.225 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.225 * [taylor]: Taking taylor expansion of y in y
1.226 * [taylor]: Taking taylor expansion of x in y
1.226 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/4)) x)) in x
1.226 * [taylor]: Taking taylor expansion of 2 in x
1.226 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in x
1.226 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in x
1.226 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in x
1.226 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in x
1.226 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in x
1.226 * [taylor]: Taking taylor expansion of 1/4 in x
1.226 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.226 * [taylor]: Taking taylor expansion of y in x
1.226 * [taylor]: Taking taylor expansion of x in x
1.226 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/4)) x)) in x
1.226 * [taylor]: Taking taylor expansion of 2 in x
1.226 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/4)) x) in x
1.226 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in x
1.226 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in x
1.226 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in x
1.226 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in x
1.226 * [taylor]: Taking taylor expansion of 1/4 in x
1.227 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.227 * [taylor]: Taking taylor expansion of y in x
1.227 * [taylor]: Taking taylor expansion of x in x
1.227 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/4))) in y
1.227 * [taylor]: Taking taylor expansion of 2 in y
1.227 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/4)) in y
1.227 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y
1.227 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y
1.227 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y
1.227 * [taylor]: Taking taylor expansion of 1/4 in y
1.227 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.227 * [taylor]: Taking taylor expansion of y in y
1.231 * [taylor]: Taking taylor expansion of 0 in y
1.243 * [taylor]: Taking taylor expansion of 0 in y
1.255 * [taylor]: Taking taylor expansion of 0 in y
1.256 * [approximate]: Taking taylor expansion of (* -2 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in (x y) around 0
1.256 * [taylor]: Taking taylor expansion of (* -2 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in y
1.256 * [taylor]: Taking taylor expansion of -2 in y
1.256 * [taylor]: Taking taylor expansion of (/ (log (sqrt (sqrt (/ -1 y)))) x) in y
1.256 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y
1.256 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y
1.256 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.256 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.256 * [taylor]: Taking taylor expansion of -1 in y
1.256 * [taylor]: Taking taylor expansion of y in y
1.261 * [taylor]: Taking taylor expansion of x in y
1.261 * [taylor]: Taking taylor expansion of (* -2 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in x
1.261 * [taylor]: Taking taylor expansion of -2 in x
1.261 * [taylor]: Taking taylor expansion of (/ (log (sqrt (sqrt (/ -1 y)))) x) in x
1.261 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in x
1.261 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in x
1.261 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
1.261 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.261 * [taylor]: Taking taylor expansion of -1 in x
1.261 * [taylor]: Taking taylor expansion of y in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.262 * [taylor]: Taking taylor expansion of (* -2 (/ (log (sqrt (sqrt (/ -1 y)))) x)) in x
1.262 * [taylor]: Taking taylor expansion of -2 in x
1.262 * [taylor]: Taking taylor expansion of (/ (log (sqrt (sqrt (/ -1 y)))) x) in x
1.262 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in x
1.262 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in x
1.262 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
1.262 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.262 * [taylor]: Taking taylor expansion of -1 in x
1.262 * [taylor]: Taking taylor expansion of y in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.262 * [taylor]: Taking taylor expansion of (* -2 (log (sqrt (sqrt (/ -1 y))))) in y
1.262 * [taylor]: Taking taylor expansion of -2 in y
1.262 * [taylor]: Taking taylor expansion of (log (sqrt (sqrt (/ -1 y)))) in y
1.262 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y
1.263 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.263 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.263 * [taylor]: Taking taylor expansion of -1 in y
1.263 * [taylor]: Taking taylor expansion of y in y
1.271 * [taylor]: Taking taylor expansion of 0 in y
1.284 * [taylor]: Taking taylor expansion of 0 in y
1.337 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.337 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0
1.337 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y
1.337 * [taylor]: Taking taylor expansion of x in y
1.337 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
1.337 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.337 * [taylor]: Taking taylor expansion of y in y
1.338 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x
1.338 * [taylor]: Taking taylor expansion of x in x
1.338 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x
1.338 * [taylor]: Taking taylor expansion of (sqrt y) in x
1.338 * [taylor]: Taking taylor expansion of y in x
1.338 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x
1.338 * [taylor]: Taking taylor expansion of x in x
1.338 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x
1.338 * [taylor]: Taking taylor expansion of (sqrt y) in x
1.338 * [taylor]: Taking taylor expansion of y in x
1.339 * [taylor]: Taking taylor expansion of 0 in y
1.339 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y
1.339 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.340 * [taylor]: Taking taylor expansion of y in y
1.344 * [taylor]: Taking taylor expansion of 0 in y
1.352 * [taylor]: Taking taylor expansion of 0 in y
1.362 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0
1.363 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y
1.363 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
1.363 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.363 * [taylor]: Taking taylor expansion of y in y
1.364 * [taylor]: Taking taylor expansion of x in y
1.364 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x
1.364 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x
1.364 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
1.364 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.364 * [taylor]: Taking taylor expansion of y in x
1.365 * [taylor]: Taking taylor expansion of x in x
1.365 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x
1.365 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x
1.365 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x
1.365 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.365 * [taylor]: Taking taylor expansion of y in x
1.365 * [taylor]: Taking taylor expansion of x in x
1.365 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y
1.365 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.365 * [taylor]: Taking taylor expansion of y in y
1.368 * [taylor]: Taking taylor expansion of 0 in y
1.376 * [taylor]: Taking taylor expansion of 0 in y
1.386 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0
1.387 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y
1.387 * [taylor]: Taking taylor expansion of -1 in y
1.387 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y
1.387 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
1.387 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.387 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.387 * [taylor]: Taking taylor expansion of -1 in y
1.387 * [taylor]: Taking taylor expansion of y in y
1.388 * [taylor]: Taking taylor expansion of x in y
1.388 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x
1.388 * [taylor]: Taking taylor expansion of -1 in x
1.388 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x
1.388 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
1.389 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
1.389 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.389 * [taylor]: Taking taylor expansion of -1 in x
1.389 * [taylor]: Taking taylor expansion of y in x
1.389 * [taylor]: Taking taylor expansion of x in x
1.389 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x
1.389 * [taylor]: Taking taylor expansion of -1 in x
1.389 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x
1.389 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
1.389 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
1.389 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.389 * [taylor]: Taking taylor expansion of -1 in x
1.389 * [taylor]: Taking taylor expansion of y in x
1.389 * [taylor]: Taking taylor expansion of x in x
1.389 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y
1.389 * [taylor]: Taking taylor expansion of -1 in y
1.389 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
1.389 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.389 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.389 * [taylor]: Taking taylor expansion of -1 in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.393 * [taylor]: Taking taylor expansion of 0 in y
1.409 * [taylor]: Taking taylor expansion of 0 in y
1.422 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 2 1)
1.422 * [approximate]: Taking taylor expansion of (pow y 1/4) in (y) around 0
1.422 * [taylor]: Taking taylor expansion of (pow y 1/4) in y
1.422 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y
1.422 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y
1.422 * [taylor]: Taking taylor expansion of 1/4 in y
1.422 * [taylor]: Taking taylor expansion of (log y) in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of (pow y 1/4) in y
1.422 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y
1.422 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y
1.422 * [taylor]: Taking taylor expansion of 1/4 in y
1.423 * [taylor]: Taking taylor expansion of (log y) in y
1.423 * [taylor]: Taking taylor expansion of y in y
1.470 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/4) in (y) around 0
1.470 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y
1.470 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y
1.470 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y
1.470 * [taylor]: Taking taylor expansion of 1/4 in y
1.470 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.470 * [taylor]: Taking taylor expansion of y in y
1.471 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y
1.471 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y
1.471 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y
1.471 * [taylor]: Taking taylor expansion of 1/4 in y
1.471 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.471 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.471 * [taylor]: Taking taylor expansion of y in y
1.526 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in (y) around 0
1.526 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y
1.526 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.526 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.526 * [taylor]: Taking taylor expansion of -1 in y
1.526 * [taylor]: Taking taylor expansion of y in y
1.531 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y
1.531 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.531 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.531 * [taylor]: Taking taylor expansion of -1 in y
1.531 * [taylor]: Taking taylor expansion of y in y
1.551 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 1)
1.551 * [approximate]: Taking taylor expansion of (pow y 1/4) in (y) around 0
1.551 * [taylor]: Taking taylor expansion of (pow y 1/4) in y
1.551 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y
1.552 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y
1.552 * [taylor]: Taking taylor expansion of 1/4 in y
1.552 * [taylor]: Taking taylor expansion of (log y) in y
1.552 * [taylor]: Taking taylor expansion of y in y
1.552 * [taylor]: Taking taylor expansion of (pow y 1/4) in y
1.552 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log y))) in y
1.552 * [taylor]: Taking taylor expansion of (* 1/4 (log y)) in y
1.552 * [taylor]: Taking taylor expansion of 1/4 in y
1.552 * [taylor]: Taking taylor expansion of (log y) in y
1.552 * [taylor]: Taking taylor expansion of y in y
1.604 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/4) in (y) around 0
1.604 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y
1.604 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y
1.604 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y
1.604 * [taylor]: Taking taylor expansion of 1/4 in y
1.604 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.604 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.604 * [taylor]: Taking taylor expansion of y in y
1.605 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/4) in y
1.605 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 y)))) in y
1.605 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 y))) in y
1.605 * [taylor]: Taking taylor expansion of 1/4 in y
1.605 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.605 * [taylor]: Taking taylor expansion of y in y
1.660 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in (y) around 0
1.660 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y
1.660 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.660 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.660 * [taylor]: Taking taylor expansion of -1 in y
1.660 * [taylor]: Taking taylor expansion of y in y
1.665 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 y))) in y
1.665 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.665 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.665 * [taylor]: Taking taylor expansion of -1 in y
1.665 * [taylor]: Taking taylor expansion of y in y
1.684 * * * [progress]: simplifying candidates
1.686 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (log1p (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))
  (+ (log x) (log (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (log (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (exp (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (* (* (* x x) x) (* (* (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))) (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (* (cbrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) (cbrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))))
  (cbrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (* (* (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (sqrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (sqrt (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (* (sqrt x) (sqrt (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (* (sqrt x) (sqrt (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* x (* (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))) (cbrt (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))))
  (* x (sqrt (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (* x 1)
  (* x 1/2)
  (* x 1)
  (* x 1)
  (* x (/ 1/2 2))
  (* x (/ 1 2))
  (* x (/ (/ 1 2) 2))
  (* x (* (cbrt (log (sqrt (sqrt y)))) (cbrt (log (sqrt (sqrt y))))))
  (* x (sqrt (log (sqrt (sqrt y)))))
  (* x 1)
  (* x 1)
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log y))
  (* x (log y))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log y))
  (* x (log y))
  (* x (cbrt (log (sqrt (sqrt y)))))
  (* x (sqrt (log (sqrt (sqrt y)))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (+ 1 1))
  (* x (+ 1 1))
  (* x (+ 1 1))
  (* x (+ 1 1))
  (* x 2)
  (* (cbrt x) (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))
  (* (sqrt x) (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))
  (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))
  (* x (+ (pow (log (sqrt (sqrt y))) 3) (pow (log (sqrt (sqrt y))) 3)))
  (* x (- (* (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) (* (log (sqrt (sqrt y))) (log (sqrt (sqrt y))))))
  (expm1 (* x (log (sqrt y))))
  (log1p (* x (log (sqrt y))))
  (* x (log (sqrt y)))
  (+ (log x) (log (log (sqrt y))))
  (log (* x (log (sqrt y))))
  (exp (* x (log (sqrt y))))
  (* (* (* x x) x) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y))))
  (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y)))))
  (cbrt (* x (log (sqrt y))))
  (* (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* x (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (sqrt (* (cbrt y) (cbrt y)))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt 1)))
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log 1))
  (* x (log (sqrt y)))
  (* (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (sqrt (* (cbrt y) (cbrt y)))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt 1)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log (sqrt (sqrt y))) x)
  (* (log 1) x)
  (* (log (sqrt y)) x)
  (* x 1/2)
  (* x 1)
  (* x (/ 1 2))
  (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))))
  (* x (sqrt (log (sqrt y))))
  (* x 1)
  (* (cbrt x) (log (sqrt y)))
  (* (sqrt x) (log (sqrt y)))
  (* x (log (sqrt y)))
  (expm1 (sqrt (sqrt y)))
  (log1p (sqrt (sqrt y)))
  (log (sqrt (sqrt y)))
  (exp (sqrt (sqrt y)))
  (* (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))))
  (cbrt (sqrt (sqrt y)))
  (* (* (sqrt (sqrt y)) (sqrt (sqrt y))) (sqrt (sqrt y)))
  (sqrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))
  (sqrt (cbrt (sqrt y)))
  (sqrt (sqrt (* (cbrt y) (cbrt y))))
  (sqrt (sqrt (cbrt y)))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt 1))
  (sqrt (sqrt y))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  (sqrt 1)
  (sqrt (sqrt y))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  (expm1 (sqrt (sqrt y)))
  (log1p (sqrt (sqrt y)))
  (log (sqrt (sqrt y)))
  (exp (sqrt (sqrt y)))
  (* (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))))
  (cbrt (sqrt (sqrt y)))
  (* (* (sqrt (sqrt y)) (sqrt (sqrt y))) (sqrt (sqrt y)))
  (sqrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))
  (sqrt (cbrt (sqrt y)))
  (sqrt (sqrt (* (cbrt y) (cbrt y))))
  (sqrt (sqrt (cbrt y)))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt 1))
  (sqrt (sqrt y))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  (sqrt 1)
  (sqrt (sqrt y))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  (* 2 (* x (log (pow y 1/4))))
  (* 2 (* x (log (pow (/ 1 y) -1/4))))
  (- (* 2 (* x (log (sqrt +nan.0)))) (+ (* +nan.0 (/ x (* (pow (sqrt +nan.0) 2) y))) (- (+ (* +nan.0 (/ x (* (pow (sqrt +nan.0) 4) (pow y 2)))) (- (* +nan.0 (/ x (* (pow (sqrt +nan.0) 2) (pow y 2)))))))))
  (- (+ (* x (log y)) (* x (log +nan.0))) (+ (* +nan.0 (* x (pow y 2))) (- (* +nan.0 (* x y)))))
  (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2))))))
  (- (* x (log +nan.0)) (+ (* +nan.0 (/ x y)) (- (* +nan.0 (/ x (pow y 2))))))
  (pow y 1/4)
  (pow (/ 1 y) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow y 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) y))))))))
  (pow y 1/4)
  (pow (/ 1 y) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow y 2)))) (- (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow y 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) y))))))))
1.692 * * [simplify]: iteration  0 :  440  enodes  (cost  735 )
1.700 * * [simplify]: iteration  1 :  1854  enodes  (cost  576 )
1.734 * * [simplify]: iteration  2 :  5001  enodes  (cost  561 )
1.737 * [simplify]: Simplified to:
   (expm1 (* x (log (sqrt y))))
  (log1p (* x (log (sqrt y))))
  (* x (log (sqrt y)))
  (log (* x (log (sqrt y))))
  (log (* x (log (sqrt y))))
  (pow (sqrt y) x)
  (pow (* x (log (sqrt y))) 3)
  (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y)))))
  (cbrt (* x (log (sqrt y))))
  (pow (* x (log (sqrt y))) 3)
  (sqrt (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))))
  (* x (sqrt (log (sqrt y))))
  x
  (* x 1/2)
  x
  x
  (* x 1/4)
  (* x 1/2)
  (* x 1/4)
  (* x (* (cbrt (log (sqrt (sqrt y)))) (cbrt (log (sqrt (sqrt y))))))
  (* x (sqrt (log (sqrt (sqrt y)))))
  x
  x
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log y))
  (* x (log y))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log y))
  (* x (log y))
  (* x (cbrt (log (sqrt (sqrt y)))))
  (* x (sqrt (log (sqrt (sqrt y)))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x 2)
  (* x 2)
  (* x 2)
  (* x 2)
  (* x 2)
  (* (cbrt x) (log (sqrt y)))
  (* (sqrt x) (log (sqrt y)))
  (* x (log (sqrt y)))
  (* (* 2 (pow (log (sqrt (sqrt y))) 3)) x)
  0
  (expm1 (* x (log (sqrt y))))
  (log1p (* x (log (sqrt y))))
  (* x (log (sqrt y)))
  (log (* x (log (sqrt y))))
  (log (* x (log (sqrt y))))
  (pow (sqrt y) x)
  (pow (* x (log (sqrt y))) 3)
  (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y)))))
  (cbrt (* x (log (sqrt y))))
  (pow (* x (log (sqrt y))) 3)
  (sqrt (* x (log (sqrt y))))
  (sqrt (* x (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* (sqrt x) (sqrt (log (sqrt y))))
  (* x (* 2 (log (cbrt (sqrt y)))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (sqrt (* (cbrt y) (cbrt y)))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x (* 2 (log (cbrt (sqrt y)))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (sqrt (* (cbrt y) (cbrt y)))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x (log (sqrt (sqrt y))))
  (* x (log (sqrt (sqrt y))))
  0
  (* x (log (sqrt y)))
  (* x 1/2)
  x
  (* x 1/2)
  (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))))
  (* x (sqrt (log (sqrt y))))
  x
  (* (cbrt x) (log (sqrt y)))
  (* (sqrt x) (log (sqrt y)))
  (* x (log (sqrt y)))
  (expm1 (sqrt (sqrt y)))
  (log1p (sqrt (sqrt y)))
  (log (sqrt (sqrt y)))
  (exp (sqrt (sqrt y)))
  (* (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))))
  (cbrt (sqrt (sqrt y)))
  (pow (sqrt (sqrt y)) 3)
  (fabs (cbrt (sqrt y)))
  (sqrt (cbrt (sqrt y)))
  (sqrt (sqrt (* (cbrt y) (cbrt y))))
  (sqrt (sqrt (cbrt y)))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  1
  (sqrt (sqrt y))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  1
  (sqrt (sqrt y))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  (expm1 (sqrt (sqrt y)))
  (log1p (sqrt (sqrt y)))
  (log (sqrt (sqrt y)))
  (exp (sqrt (sqrt y)))
  (* (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))))
  (cbrt (sqrt (sqrt y)))
  (pow (sqrt (sqrt y)) 3)
  (fabs (cbrt (sqrt y)))
  (sqrt (cbrt (sqrt y)))
  (sqrt (sqrt (* (cbrt y) (cbrt y))))
  (sqrt (sqrt (cbrt y)))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  1
  (sqrt (sqrt y))
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  1
  (sqrt (sqrt y))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt y)))
  (sqrt (sqrt (sqrt y)))
  (* (log y) (* x 1/2))
  (* (* (log (/ 1 y)) x) -1/2)
  (- (- (* 2 (* x (log (sqrt +nan.0)))) (+ (- (* +nan.0 (/ x (* (pow (sqrt +nan.0) 4) (pow y 2))))) (* (/ +nan.0 (pow y 2)) (/ x +nan.0)))) (* (/ +nan.0 y) (/ x +nan.0)))
  (fma (log +nan.0) x (- (* x (log y)) (* (* +nan.0 x) (- (pow y 2) y))))
  (fma x (log +nan.0) (- (fma +nan.0 (/ x y) (- (* +nan.0 (/ x (pow y 2)))))))
  (fma x (log +nan.0) (- (fma +nan.0 (/ x y) (- (* +nan.0 (/ x (pow y 2)))))))
  (pow y 1/4)
  (pow (/ 1 y) -1/4)
  (+ (- (sqrt +nan.0) (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow y 2))))) (* +nan.0 (- (/ 1 (* (sqrt +nan.0) (pow y 2))) (/ 1 (* (sqrt +nan.0) y)))))
  (pow y 1/4)
  (pow (/ 1 y) -1/4)
  (+ (- (sqrt +nan.0) (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow y 2))))) (* +nan.0 (- (/ 1 (* (sqrt +nan.0) (pow y 2))) (/ 1 (* (sqrt +nan.0) y)))))
1.738 * * * [progress]: adding candidates to table
2.108 * * [progress]: iteration 4 / 4
2.109 * * * [progress]: picking best candidate
2.126 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (+ (* x (log (sqrt (* (cbrt y) (cbrt y))))) (* x (log (sqrt (cbrt y))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))>
2.126 * * * [progress]: localizing error
2.149 * * * [progress]: generating rewritten candidates
2.149 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1 1)
2.150 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1 1 2)
2.152 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1 1 1)
2.153 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1 1)
2.161 * * * [progress]: generating series expansions
2.161 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1 1)
2.161 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
2.161 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.161 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.161 * [taylor]: Taking taylor expansion of 1/3 in y
2.161 * [taylor]: Taking taylor expansion of (log y) in y
2.161 * [taylor]: Taking taylor expansion of y in y
2.162 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.162 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.162 * [taylor]: Taking taylor expansion of 1/3 in y
2.162 * [taylor]: Taking taylor expansion of (log y) in y
2.162 * [taylor]: Taking taylor expansion of y in y
2.213 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
2.213 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.213 * [taylor]: Taking taylor expansion of 1/3 in y
2.213 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.213 * [taylor]: Taking taylor expansion of y in y
2.214 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.214 * [taylor]: Taking taylor expansion of 1/3 in y
2.214 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.214 * [taylor]: Taking taylor expansion of y in y
2.264 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
2.264 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.264 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.264 * [taylor]: Taking taylor expansion of -1 in y
2.265 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.265 * [taylor]: Taking taylor expansion of 1/3 in y
2.265 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.265 * [taylor]: Taking taylor expansion of y in y
2.265 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.265 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.265 * [taylor]: Taking taylor expansion of -1 in y
2.266 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.266 * [taylor]: Taking taylor expansion of 1/3 in y
2.266 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.266 * [taylor]: Taking taylor expansion of y in y
2.332 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1 1 2)
2.332 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
2.333 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.333 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.333 * [taylor]: Taking taylor expansion of 1/3 in y
2.333 * [taylor]: Taking taylor expansion of (log y) in y
2.333 * [taylor]: Taking taylor expansion of y in y
2.333 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.333 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.333 * [taylor]: Taking taylor expansion of 1/3 in y
2.333 * [taylor]: Taking taylor expansion of (log y) in y
2.333 * [taylor]: Taking taylor expansion of y in y
2.385 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
2.385 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.385 * [taylor]: Taking taylor expansion of 1/3 in y
2.385 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.385 * [taylor]: Taking taylor expansion of y in y
2.386 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.386 * [taylor]: Taking taylor expansion of 1/3 in y
2.386 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.386 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.386 * [taylor]: Taking taylor expansion of y in y
2.442 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
2.442 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.442 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.442 * [taylor]: Taking taylor expansion of -1 in y
2.443 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.443 * [taylor]: Taking taylor expansion of 1/3 in y
2.443 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.443 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.443 * [taylor]: Taking taylor expansion of y in y
2.444 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.444 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.444 * [taylor]: Taking taylor expansion of -1 in y
2.445 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.445 * [taylor]: Taking taylor expansion of 1/3 in y
2.445 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.445 * [taylor]: Taking taylor expansion of y in y
2.512 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1 1 1)
2.512 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
2.512 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.512 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.512 * [taylor]: Taking taylor expansion of 1/3 in y
2.512 * [taylor]: Taking taylor expansion of (log y) in y
2.512 * [taylor]: Taking taylor expansion of y in y
2.513 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.513 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.513 * [taylor]: Taking taylor expansion of 1/3 in y
2.513 * [taylor]: Taking taylor expansion of (log y) in y
2.513 * [taylor]: Taking taylor expansion of y in y
2.560 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
2.560 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.560 * [taylor]: Taking taylor expansion of 1/3 in y
2.560 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.560 * [taylor]: Taking taylor expansion of y in y
2.561 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.561 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.561 * [taylor]: Taking taylor expansion of 1/3 in y
2.561 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.561 * [taylor]: Taking taylor expansion of y in y
2.618 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
2.618 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.618 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.618 * [taylor]: Taking taylor expansion of -1 in y
2.618 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.619 * [taylor]: Taking taylor expansion of 1/3 in y
2.619 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.619 * [taylor]: Taking taylor expansion of y in y
2.619 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.619 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.619 * [taylor]: Taking taylor expansion of -1 in y
2.620 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.620 * [taylor]: Taking taylor expansion of 1/3 in y
2.620 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.620 * [taylor]: Taking taylor expansion of y in y
2.687 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1 1)
2.688 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0
2.688 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
2.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
2.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
2.688 * [taylor]: Taking taylor expansion of 1/3 in y
2.688 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
2.688 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.688 * [taylor]: Taking taylor expansion of y in y
2.689 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
2.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
2.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
2.689 * [taylor]: Taking taylor expansion of 1/3 in y
2.689 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
2.689 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.689 * [taylor]: Taking taylor expansion of y in y
2.745 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0
2.745 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
2.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
2.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
2.745 * [taylor]: Taking taylor expansion of 1/3 in y
2.745 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
2.745 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.745 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.745 * [taylor]: Taking taylor expansion of y in y
2.746 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
2.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
2.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
2.746 * [taylor]: Taking taylor expansion of 1/3 in y
2.746 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
2.747 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.747 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.747 * [taylor]: Taking taylor expansion of y in y
2.801 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0
2.801 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
2.801 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.801 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.801 * [taylor]: Taking taylor expansion of -1 in y
2.801 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
2.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
2.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
2.801 * [taylor]: Taking taylor expansion of 1/3 in y
2.801 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
2.801 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.802 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.802 * [taylor]: Taking taylor expansion of y in y
2.808 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
2.808 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.808 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.808 * [taylor]: Taking taylor expansion of -1 in y
2.809 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
2.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
2.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
2.809 * [taylor]: Taking taylor expansion of 1/3 in y
2.809 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
2.809 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.809 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.809 * [taylor]: Taking taylor expansion of y in y
2.885 * * * [progress]: simplifying candidates
2.886 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (* (cbrt y) (cbrt y)))
  (log1p (* (cbrt y) (cbrt y)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* y y)
  (* (cbrt y) (cbrt y))
  (+ 1 1)
  (+ (log (cbrt y)) (log (cbrt y)))
  (log (* (cbrt y) (cbrt y)))
  (exp (* (cbrt y) (cbrt y)))
  (* y y)
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (* (cbrt y) (cbrt y)))
  (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt y) (cbrt y))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 1 1)
  (* (cbrt y) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt y) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt (sqrt y)))
  (* (cbrt y) (cbrt 1))
  (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt y) (sqrt (cbrt y)))
  (* (cbrt y) 1)
  (* (cbrt (cbrt y)) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (* (cbrt (cbrt y)) (cbrt y))
  (* (sqrt (cbrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 2/3)
  (pow (/ 1 y) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3))
2.890 * * [simplify]: iteration  0 :  119  enodes  (cost  308 )
2.893 * * [simplify]: iteration  1 :  477  enodes  (cost  281 )
2.906 * * [simplify]: iteration  2 :  2972  enodes  (cost  258 )
2.971 * * [simplify]: iteration  3 :  5001  enodes  (cost  255 )
2.972 * [simplify]: Simplified to:
   (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (* (cbrt y) (cbrt y)))
  (log1p (* (cbrt y) (cbrt y)))
  2/3
  2
  (pow y 2)
  (pow y 2/3)
  2
  (* 2/3 (log y))
  (* 2/3 (log y))
  (exp (pow y 2/3))
  (pow y 2)
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (* (cbrt y) (cbrt y)))
  (pow y 2)
  (fabs (pow y 1/3))
  (fabs (pow y 1/3))
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  1
  (pow y 2/3)
  (pow (cbrt (cbrt y)) 4)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (pow y 1/3)
  (pow y 1/3)
  1
  (pow y 2/3)
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (pow y 1/3)
  (pow y 1/3)
  2/3
  2
  (* (cbrt y) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt (sqrt y)))
  (pow y 1/3)
  (pow (cbrt (cbrt y)) 5)
  (pow (sqrt (cbrt y)) 3)
  (pow y 1/3)
  (pow (cbrt (cbrt y)) 4)
  (* (cbrt y) (cbrt (sqrt y)))
  (pow y 2/3)
  (pow (cbrt (cbrt y)) 4)
  (pow (sqrt (cbrt y)) 3)
  (pow y 2/3)
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 2/3)
  (pow (/ 1 y) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3))
2.973 * * * [progress]: adding candidates to table
3.389 * [progress]: [Phase 3 of 3] Extracting.
3.389 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) y))> #<alt (λ (x y z) (- (fma (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- z)) y))> #<alt (λ (x y z) (- (- (+ (* x (log (sqrt y))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))> #<alt (λ (x y z) (- (- (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log (sqrt y)))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))> #<alt (λ (x y z) (- (- (+ (+ (* x (log (sqrt (* (pow y 1/3) (pow y 1/3))))) (* x (log (sqrt (cbrt y))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))>)
3.391 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
3.391 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) y))> #<alt (λ (x y z) (- (fma (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- z)) y))> #<alt (λ (x y z) (- (- (+ (* x (log (sqrt y))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))> #<alt (λ (x y z) (- (- (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log (sqrt y)))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))> #<alt (λ (x y z) (- (- (+ (+ (* x (log (sqrt (* (pow y 1/3) (pow y 1/3))))) (* x (log (sqrt (cbrt y))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))>)
3.419 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) y))> #<alt (λ (x y z) (- (fma (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- z)) y))> #<alt (λ (x y z) (- (- (+ (* x (log (sqrt y))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))> #<alt (λ (x y z) (- (- (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log (sqrt y)))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))> #<alt (λ (x y z) (- (- (+ (+ (* x (log (sqrt (* (pow y 1/3) (pow y 1/3))))) (* x (log (sqrt (cbrt y))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))>)
3.444 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) y))> #<alt (λ (x y z) (- (fma (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (- z)) y))> #<alt (λ (x y z) (- (- (+ (* x (log (sqrt y))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))> #<alt (λ (x y z) (- (- (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log (sqrt y)))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))> #<alt (λ (x y z) (- (- (+ (+ (* x (log (sqrt (* (pow y 1/3) (pow y 1/3))))) (* x (log (sqrt (cbrt y))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y))>)
3.471 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
3.472 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (+ (+ (* x (log (sqrt (* (pow y 1/3) (pow y 1/3))))) (* x (log (sqrt (cbrt y))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y)
3.472 * * [simplify]: iteration  0 :  27  enodes  (cost  22 )
3.473 * * [simplify]: iteration  1 :  27  enodes  (cost  22 )
3.473 * [simplify]: Simplified to:
   (- (- (+ (+ (* x (log (sqrt (* (pow y 1/3) (pow y 1/3))))) (* x (log (sqrt (cbrt y))))) (* x (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))))) z) y)
4.588 * [regime-testing]: Baseline error score: 0.11590132985436281
4.589 * [regime-testing]: Oracle error score: 0.019377422177772222
4.590 * [regime-testing]: End program error score: 0.11590132985436281