27.580 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (/ (* x y) (* (* z z) (+ z 1.0))) 0.022 * * [simplify]: iteration 0 : 27 enodes (cost 5 ) 0.024 * * [simplify]: iteration 1 : 78 enodes (cost 5 ) 0.026 * * [simplify]: iteration 2 : 179 enodes (cost 5 ) 0.028 * * [simplify]: iteration 3 : 277 enodes (cost 5 ) 0.032 * * [simplify]: iteration 4 : 375 enodes (cost 5 ) 0.037 * * [simplify]: iteration 5 : 488 enodes (cost 5 ) 0.045 * * [simplify]: iteration 6 : 977 enodes (cost 5 ) 0.064 * * [simplify]: iteration 7 : 2511 enodes (cost 5 ) 0.135 * * [simplify]: iteration 8 : 5002 enodes (cost 5 ) 0.135 * [simplify]: Simplified to: (/ (* x y) (* (* z z) (+ z 1.0))) 0.136 * * [progress]: iteration 1 / 4 0.136 * * * [progress]: picking best candidate 0.137 * * * * [pick]: Picked # 0.137 * * * [progress]: localizing error 0.144 * * * [progress]: generating rewritten candidates 0.144 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.155 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.170 * * * [progress]: generating series expansions 0.170 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.170 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (x y z) around 0 0.170 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 0.170 * [taylor]: Taking taylor expansion of (* x y) in z 0.170 * [taylor]: Taking taylor expansion of x in z 0.170 * [taylor]: Taking taylor expansion of y in z 0.170 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.170 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.170 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.170 * [taylor]: Taking taylor expansion of 1.0 in z 0.171 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 0.171 * [taylor]: Taking taylor expansion of (* x y) in y 0.171 * [taylor]: Taking taylor expansion of x in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 0.172 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.172 * [taylor]: Taking taylor expansion of z in y 0.172 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.172 * [taylor]: Taking taylor expansion of z in y 0.172 * [taylor]: Taking taylor expansion of 1.0 in y 0.172 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.172 * [taylor]: Taking taylor expansion of (* x y) in x 0.172 * [taylor]: Taking taylor expansion of x in x 0.172 * [taylor]: Taking taylor expansion of y in x 0.172 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.172 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.172 * [taylor]: Taking taylor expansion of z in x 0.172 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.172 * [taylor]: Taking taylor expansion of z in x 0.172 * [taylor]: Taking taylor expansion of 1.0 in x 0.173 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.173 * [taylor]: Taking taylor expansion of (* x y) in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.173 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.173 * [taylor]: Taking taylor expansion of z in x 0.173 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.173 * [taylor]: Taking taylor expansion of z in x 0.173 * [taylor]: Taking taylor expansion of 1.0 in x 0.174 * [taylor]: Taking taylor expansion of (/ y (* (+ z 1.0) (pow z 2))) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of (* (+ z 1.0) (pow z 2)) in y 0.174 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.174 * [taylor]: Taking taylor expansion of z in y 0.174 * [taylor]: Taking taylor expansion of 1.0 in y 0.174 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.174 * [taylor]: Taking taylor expansion of z in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (+ z 1.0))) in z 0.174 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.174 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.174 * [taylor]: Taking taylor expansion of z in z 0.174 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.174 * [taylor]: Taking taylor expansion of z in z 0.174 * [taylor]: Taking taylor expansion of 1.0 in z 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [taylor]: Taking taylor expansion of 0 in z 0.177 * [taylor]: Taking taylor expansion of 0 in z 0.185 * [taylor]: Taking taylor expansion of 0 in y 0.185 * [taylor]: Taking taylor expansion of 0 in z 0.185 * [taylor]: Taking taylor expansion of 0 in z 0.186 * [taylor]: Taking taylor expansion of 0 in z 0.190 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (x y z) around 0 0.190 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 0.190 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.190 * [taylor]: Taking taylor expansion of z in z 0.190 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 0.190 * [taylor]: Taking taylor expansion of x in z 0.190 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.190 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.190 * [taylor]: Taking taylor expansion of z in z 0.191 * [taylor]: Taking taylor expansion of 1.0 in z 0.191 * [taylor]: Taking taylor expansion of y in z 0.191 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 0.191 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.191 * [taylor]: Taking taylor expansion of z in y 0.191 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 0.191 * [taylor]: Taking taylor expansion of x in y 0.191 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.191 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) 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.0 in y 0.192 * [taylor]: Taking taylor expansion of y in y 0.193 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.193 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.193 * [taylor]: Taking taylor expansion of z in x 0.193 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.193 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.193 * [taylor]: Taking taylor expansion of z in x 0.193 * [taylor]: Taking taylor expansion of 1.0 in x 0.193 * [taylor]: Taking taylor expansion of y in x 0.194 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.194 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.194 * [taylor]: Taking taylor expansion of z in x 0.194 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.194 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.194 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.194 * [taylor]: Taking taylor expansion of z in x 0.194 * [taylor]: Taking taylor expansion of 1.0 in x 0.194 * [taylor]: Taking taylor expansion of y in x 0.195 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ y z) (* 1.0 y))) in y 0.195 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.195 * [taylor]: Taking taylor expansion of z in y 0.195 * [taylor]: Taking taylor expansion of (+ (/ y z) (* 1.0 y)) in y 0.195 * [taylor]: Taking taylor expansion of (/ y z) in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.195 * [taylor]: Taking taylor expansion of z in y 0.195 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.195 * [taylor]: Taking taylor expansion of 1.0 in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.197 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ 1 z) 1.0)) in z 0.197 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.197 * [taylor]: Taking taylor expansion of z in z 0.197 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.197 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.197 * [taylor]: Taking taylor expansion of z in z 0.197 * [taylor]: Taking taylor expansion of 1.0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.201 * [taylor]: Taking taylor expansion of 0 in z 0.206 * [taylor]: Taking taylor expansion of 0 in y 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.207 * [taylor]: Taking taylor expansion of 0 in z 0.212 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (x y z) around 0 0.212 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 0.212 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.212 * [taylor]: Taking taylor expansion of z in z 0.212 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 0.212 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.212 * [taylor]: Taking taylor expansion of 1.0 in z 0.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.212 * [taylor]: Taking taylor expansion of z in z 0.212 * [taylor]: Taking taylor expansion of (* x y) in z 0.213 * [taylor]: Taking taylor expansion of x in z 0.213 * [taylor]: Taking taylor expansion of y in z 0.213 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 0.213 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.213 * [taylor]: Taking taylor expansion of z in y 0.213 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 0.213 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.213 * [taylor]: Taking taylor expansion of 1.0 in y 0.213 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.213 * [taylor]: Taking taylor expansion of z in y 0.214 * [taylor]: Taking taylor expansion of (* x y) in y 0.214 * [taylor]: Taking taylor expansion of x in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.215 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.215 * [taylor]: Taking taylor expansion of z in x 0.215 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.215 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.215 * [taylor]: Taking taylor expansion of 1.0 in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.215 * [taylor]: Taking taylor expansion of z in x 0.215 * [taylor]: Taking taylor expansion of (* x y) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of y in x 0.216 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.216 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.216 * [taylor]: Taking taylor expansion of z in x 0.216 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.216 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.216 * [taylor]: Taking taylor expansion of 1.0 in x 0.217 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.217 * [taylor]: Taking taylor expansion of z in x 0.217 * [taylor]: Taking taylor expansion of (* x y) in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [taylor]: Taking taylor expansion of y in x 0.218 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 y) (/ y z))) in y 0.218 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.218 * [taylor]: Taking taylor expansion of z in y 0.218 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (/ y z)) in y 0.218 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.218 * [taylor]: Taking taylor expansion of 1.0 in y 0.218 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of (/ y z) in y 0.218 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of z in y 0.220 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- 1.0 (/ 1 z))) in z 0.220 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.220 * [taylor]: Taking taylor expansion of z in z 0.220 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.220 * [taylor]: Taking taylor expansion of 1.0 in z 0.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.220 * [taylor]: Taking taylor expansion of z in z 0.223 * [taylor]: Taking taylor expansion of 0 in y 0.224 * [taylor]: Taking taylor expansion of 0 in z 0.229 * [taylor]: Taking taylor expansion of 0 in y 0.229 * [taylor]: Taking taylor expansion of 0 in z 0.231 * [taylor]: Taking taylor expansion of 0 in z 0.236 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.237 * [approximate]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in (z) around 0 0.237 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.237 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.237 * [taylor]: Taking taylor expansion of z in z 0.237 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.237 * [taylor]: Taking taylor expansion of z in z 0.237 * [taylor]: Taking taylor expansion of 1.0 in z 0.237 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.237 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.237 * [taylor]: Taking taylor expansion of z in z 0.237 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.237 * [taylor]: Taking taylor expansion of z in z 0.237 * [taylor]: Taking taylor expansion of 1.0 in z 0.248 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in (z) around 0 0.249 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in z 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.249 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.249 * [taylor]: Taking taylor expansion of z in z 0.249 * [taylor]: Taking taylor expansion of 1.0 in z 0.249 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.249 * [taylor]: Taking taylor expansion of z in z 0.250 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in z 0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.250 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.250 * [taylor]: Taking taylor expansion of z in z 0.250 * [taylor]: Taking taylor expansion of 1.0 in z 0.250 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.250 * [taylor]: Taking taylor expansion of z in z 0.267 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in (z) around 0 0.267 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in z 0.267 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.267 * [taylor]: Taking taylor expansion of 1.0 in z 0.267 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.267 * [taylor]: Taking taylor expansion of z in z 0.267 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.267 * [taylor]: Taking taylor expansion of z in z 0.268 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in z 0.268 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.268 * [taylor]: Taking taylor expansion of 1.0 in z 0.268 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.268 * [taylor]: Taking taylor expansion of z in z 0.269 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.269 * [taylor]: Taking taylor expansion of z in z 0.285 * * * [progress]: simplifying candidates 0.286 * [simplify]: Simplifying using # : (expm1 (/ (* x y) (* (* z z) (+ z 1.0)))) (log1p (/ (* x y) (* (* z z) (+ z 1.0)))) (- (+ (log x) (log y)) (+ (+ (log z) (log z)) (log (+ z 1.0)))) (- (+ (log x) (log y)) (+ (log (* z z)) (log (+ z 1.0)))) (- (+ (log x) (log y)) (log (* (* z z) (+ z 1.0)))) (- (log (* x y)) (+ (+ (log z) (log z)) (log (+ z 1.0)))) (- (log (* x y)) (+ (log (* z z)) (log (+ z 1.0)))) (- (log (* x y)) (log (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (exp (/ (* x y) (* (* z z) (+ z 1.0)))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* (* z z) z) (* (* z z) z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* (* z z) (* z z)) (* z z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0)))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* (* z z) z) (* (* z z) z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* (* z z) (* z z)) (* z z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0)))) (* (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0))))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (* (* (/ (* x y) (* (* z z) (+ z 1.0))) (/ (* x y) (* (* z z) (+ z 1.0)))) (/ (* x y) (* (* z z) (+ z 1.0)))) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (- (* x y)) (- (* (* z z) (+ z 1.0))) (/ x (* z z)) (/ y (+ z 1.0)) (/ 1 (* (* z z) (+ z 1.0))) (/ (* (* z z) (+ z 1.0)) (* x y)) (/ (* x y) (* z z)) (/ (* (* z z) (+ z 1.0)) y) (/ (* x y) (* (* z z) (+ (pow z 3) (pow 1.0 3)))) (/ (* x y) (* (* z z) (- (* z z) (* 1.0 1.0)))) (expm1 (* (* z z) (+ z 1.0))) (log1p (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0)) (+ (+ (log z) (log z)) (log (+ z 1.0))) (+ (log (* z z)) (log (+ z 1.0))) (log (* (* z z) (+ z 1.0))) (exp (* (* z z) (+ z 1.0))) (* (* (* (* z z) z) (* (* z z) z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (* (* (* (* z z) (* z z)) (* z z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (* (cbrt (* (* z z) (+ z 1.0))) (cbrt (* (* z z) (+ z 1.0)))) (cbrt (* (* z z) (+ z 1.0))) (* (* (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0))) (sqrt (* (* z z) (+ z 1.0))) (sqrt (* (* z z) (+ z 1.0))) (* z (sqrt (+ z 1.0))) (* z (sqrt (+ z 1.0))) (* (* z z) z) (* (* z z) 1.0) (* z (* z z)) (* 1.0 (* z z)) (* (* z z) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (* (* z z) (sqrt (+ z 1.0))) (* (* z z) 1) (* (* z z) 1) (* z (+ z 1.0)) (* (* z z) (+ (pow z 3) (pow 1.0 3))) (* (* z z) (- (* z z) (* 1.0 1.0))) (- (+ (* 1.0 (* x y)) (* 1.0 (/ (* x y) (pow z 2)))) (* 1.0 (/ (* x y) z))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (+ (pow z 3) (* 1.0 (pow z 2))) (+ (pow z 3) (* 1.0 (pow z 2))) (+ (pow z 3) (* 1.0 (pow z 2))) 0.291 * * [simplify]: iteration 0 : 387 enodes (cost 405 ) 0.300 * * [simplify]: iteration 1 : 2384 enodes (cost 314 ) 0.342 * * [simplify]: iteration 2 : 5001 enodes (cost 313 ) 0.344 * [simplify]: Simplified to: (expm1 (/ (* x y) (* (* z z) (+ z 1.0)))) (log1p (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (exp (/ (* x y) (* (* z z) (+ z 1.0)))) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (* (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0))))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (- (* x y)) (- (* (* z z) (+ z 1.0))) (/ x (* z z)) (/ y (+ z 1.0)) (/ 1 (* (* z z) (+ z 1.0))) (/ (* (* z z) (+ z 1.0)) (* x y)) (/ (* x y) (* z z)) (/ (* (* z z) (+ z 1.0)) y) (/ (* x y) (* (* z z) (+ (pow z 3) (pow 1.0 3)))) (/ (* x y) (* (* z z) (- (* z z) (* 1.0 1.0)))) (expm1 (* (* z z) (+ z 1.0))) (log1p (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0)) (log (* (* z z) (+ z 1.0))) (log (* (* z z) (+ z 1.0))) (log (* (* z z) (+ z 1.0))) (exp (* (* z z) (+ z 1.0))) (pow (* (* z z) (+ z 1.0)) 3) (pow (* (* z z) (+ z 1.0)) 3) (* (cbrt (* (* z z) (+ z 1.0))) (cbrt (* (* z z) (+ z 1.0)))) (cbrt (* (* z z) (+ z 1.0))) (pow (* (* z z) (+ z 1.0)) 3) (sqrt (* (* z z) (+ z 1.0))) (sqrt (* (* z z) (+ z 1.0))) (* z (sqrt (+ z 1.0))) (* z (sqrt (+ z 1.0))) (pow z 3) (* (* z z) 1.0) (pow z 3) (* (* z z) 1.0) (* (* z z) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (* (* z z) (sqrt (+ z 1.0))) (pow z 2) (pow z 2) (* z (+ z 1.0)) (fma (pow z 2) (pow 1.0 3) (pow z 5)) (* (* z z) (- (* z z) (* 1.0 1.0))) (* 1.0 (- (fma y x (/ (* x y) (* z z))) (/ (* x y) z))) (fma 1.0 (/ (* x y) (pow z 5)) (- (/ (* x y) (pow z 3)) (* 1.0 (/ (* x y) (pow z 4))))) (fma 1.0 (/ (* x y) (pow z 5)) (- (/ (* x y) (pow z 3)) (* 1.0 (/ (* x y) (pow z 4))))) (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0)) 0.344 * * * [progress]: adding candidates to table 0.445 * * [progress]: iteration 2 / 4 0.445 * * * [progress]: picking best candidate 0.458 * * * * [pick]: Picked # 0.458 * * * [progress]: localizing error 0.465 * * * [progress]: generating rewritten candidates 0.465 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.468 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.507 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.516 * * * [progress]: generating series expansions 0.516 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.516 * [approximate]: Taking taylor expansion of (/ x (pow z 2)) in (x z) around 0 0.516 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.516 * [taylor]: Taking taylor expansion of x in z 0.516 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.516 * [taylor]: Taking taylor expansion of z in z 0.517 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 0.517 * [taylor]: Taking taylor expansion of x in x 0.517 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.517 * [taylor]: Taking taylor expansion of z in x 0.517 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 0.517 * [taylor]: Taking taylor expansion of x in x 0.517 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.517 * [taylor]: Taking taylor expansion of z in x 0.517 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.517 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.517 * [taylor]: Taking taylor expansion of z in z 0.518 * [taylor]: Taking taylor expansion of 0 in z 0.519 * [taylor]: Taking taylor expansion of 0 in z 0.521 * [taylor]: Taking taylor expansion of 0 in z 0.523 * [taylor]: Taking taylor expansion of 0 in z 0.523 * [approximate]: Taking taylor expansion of (/ (pow z 2) x) in (x z) around 0 0.523 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 0.523 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.523 * [taylor]: Taking taylor expansion of z in z 0.523 * [taylor]: Taking taylor expansion of x in z 0.524 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.524 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.524 * [taylor]: Taking taylor expansion of z in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.524 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.524 * [taylor]: Taking taylor expansion of z in x 0.524 * [taylor]: Taking taylor expansion of x in x 0.524 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.524 * [taylor]: Taking taylor expansion of z in z 0.525 * [taylor]: Taking taylor expansion of 0 in z 0.526 * [taylor]: Taking taylor expansion of 0 in z 0.528 * [taylor]: Taking taylor expansion of 0 in z 0.529 * [approximate]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in (x z) around 0 0.529 * [taylor]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in z 0.529 * [taylor]: Taking taylor expansion of -1 in z 0.529 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 0.529 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.529 * [taylor]: Taking taylor expansion of z in z 0.529 * [taylor]: Taking taylor expansion of x in z 0.529 * [taylor]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in x 0.529 * [taylor]: Taking taylor expansion of -1 in x 0.529 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.529 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.529 * [taylor]: Taking taylor expansion of z in x 0.529 * [taylor]: Taking taylor expansion of x in x 0.529 * [taylor]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in x 0.529 * [taylor]: Taking taylor expansion of -1 in x 0.529 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.529 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.529 * [taylor]: Taking taylor expansion of z in x 0.529 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of (* -1 (pow z 2)) in z 0.530 * [taylor]: Taking taylor expansion of -1 in z 0.530 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.530 * [taylor]: Taking taylor expansion of z in z 0.531 * [taylor]: Taking taylor expansion of 0 in z 0.533 * [taylor]: Taking taylor expansion of 0 in z 0.537 * [taylor]: Taking taylor expansion of 0 in z 0.537 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.537 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (x z y) around 0 0.537 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 0.537 * [taylor]: Taking taylor expansion of (* x y) in y 0.537 * [taylor]: Taking taylor expansion of x in y 0.537 * [taylor]: Taking taylor expansion of y in y 0.537 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 0.537 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.537 * [taylor]: Taking taylor expansion of z in y 0.537 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.537 * [taylor]: Taking taylor expansion of z in y 0.537 * [taylor]: Taking taylor expansion of 1.0 in y 0.538 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 0.538 * [taylor]: Taking taylor expansion of (* x y) in z 0.538 * [taylor]: Taking taylor expansion of x in z 0.538 * [taylor]: Taking taylor expansion of y in z 0.538 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.538 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.538 * [taylor]: Taking taylor expansion of z in z 0.538 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.538 * [taylor]: Taking taylor expansion of z in z 0.538 * [taylor]: Taking taylor expansion of 1.0 in z 0.539 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.539 * [taylor]: Taking taylor expansion of (* x y) in x 0.539 * [taylor]: Taking taylor expansion of x in x 0.539 * [taylor]: Taking taylor expansion of y in x 0.539 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.539 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.539 * [taylor]: Taking taylor expansion of z in x 0.539 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.539 * [taylor]: Taking taylor expansion of z in x 0.539 * [taylor]: Taking taylor expansion of 1.0 in x 0.540 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.540 * [taylor]: Taking taylor expansion of (* x y) in x 0.540 * [taylor]: Taking taylor expansion of x in x 0.540 * [taylor]: Taking taylor expansion of y in x 0.540 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.540 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.540 * [taylor]: Taking taylor expansion of z in x 0.540 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.540 * [taylor]: Taking taylor expansion of z in x 0.540 * [taylor]: Taking taylor expansion of 1.0 in x 0.540 * [taylor]: Taking taylor expansion of (/ y (* (+ z 1.0) (pow z 2))) in z 0.540 * [taylor]: Taking taylor expansion of y in z 0.540 * [taylor]: Taking taylor expansion of (* (+ z 1.0) (pow z 2)) in z 0.540 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.540 * [taylor]: Taking taylor expansion of z in z 0.540 * [taylor]: Taking taylor expansion of 1.0 in z 0.540 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.540 * [taylor]: Taking taylor expansion of z in z 0.541 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.541 * [taylor]: Taking taylor expansion of 1.0 in y 0.541 * [taylor]: Taking taylor expansion of y in y 0.543 * [taylor]: Taking taylor expansion of 0 in z 0.545 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y 0.545 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.545 * [taylor]: Taking taylor expansion of 1.0 in y 0.545 * [taylor]: Taking taylor expansion of y in y 0.549 * [taylor]: Taking taylor expansion of 0 in z 0.551 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.551 * [taylor]: Taking taylor expansion of 1.0 in y 0.551 * [taylor]: Taking taylor expansion of y in y 0.552 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (x z y) around 0 0.552 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 0.552 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.552 * [taylor]: Taking taylor expansion of z in y 0.552 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 0.552 * [taylor]: Taking taylor expansion of x in y 0.552 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.552 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.552 * [taylor]: Taking taylor expansion of z in y 0.552 * [taylor]: Taking taylor expansion of 1.0 in y 0.553 * [taylor]: Taking taylor expansion of y in y 0.554 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 0.554 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.554 * [taylor]: Taking taylor expansion of z in z 0.554 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 0.554 * [taylor]: Taking taylor expansion of x in z 0.554 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.554 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.554 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.554 * [taylor]: Taking taylor expansion of z in z 0.554 * [taylor]: Taking taylor expansion of 1.0 in z 0.554 * [taylor]: Taking taylor expansion of y in z 0.555 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.555 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.555 * [taylor]: Taking taylor expansion of z in x 0.555 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.555 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.555 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.555 * [taylor]: Taking taylor expansion of z in x 0.555 * [taylor]: Taking taylor expansion of 1.0 in x 0.555 * [taylor]: Taking taylor expansion of y in x 0.556 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.556 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.556 * [taylor]: Taking taylor expansion of z in x 0.556 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.556 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.556 * [taylor]: Taking taylor expansion of z in x 0.556 * [taylor]: Taking taylor expansion of 1.0 in x 0.556 * [taylor]: Taking taylor expansion of y in x 0.557 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ y z) (* 1.0 y))) in z 0.557 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.557 * [taylor]: Taking taylor expansion of z in z 0.557 * [taylor]: Taking taylor expansion of (+ (/ y z) (* 1.0 y)) in z 0.557 * [taylor]: Taking taylor expansion of (/ y z) in z 0.557 * [taylor]: Taking taylor expansion of y in z 0.557 * [taylor]: Taking taylor expansion of z in z 0.557 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 0.557 * [taylor]: Taking taylor expansion of 1.0 in z 0.557 * [taylor]: Taking taylor expansion of y in z 0.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.557 * [taylor]: Taking taylor expansion of y in y 0.559 * [taylor]: Taking taylor expansion of 0 in z 0.559 * [taylor]: Taking taylor expansion of 0 in y 0.560 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 0.560 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.560 * [taylor]: Taking taylor expansion of 1.0 in y 0.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.560 * [taylor]: Taking taylor expansion of y in y 0.564 * [taylor]: Taking taylor expansion of 0 in z 0.564 * [taylor]: Taking taylor expansion of 0 in y 0.564 * [taylor]: Taking taylor expansion of 0 in y 0.566 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.566 * [taylor]: Taking taylor expansion of 1.0 in y 0.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.566 * [taylor]: Taking taylor expansion of y in y 0.568 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (x z y) around 0 0.568 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 0.568 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.568 * [taylor]: Taking taylor expansion of z in y 0.568 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 0.568 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.568 * [taylor]: Taking taylor expansion of 1.0 in y 0.568 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.568 * [taylor]: Taking taylor expansion of z in y 0.568 * [taylor]: Taking taylor expansion of (* x y) in y 0.568 * [taylor]: Taking taylor expansion of x in y 0.568 * [taylor]: Taking taylor expansion of y in y 0.569 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 0.569 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.569 * [taylor]: Taking taylor expansion of z in z 0.569 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 0.569 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.569 * [taylor]: Taking taylor expansion of 1.0 in z 0.569 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.569 * [taylor]: Taking taylor expansion of z in z 0.570 * [taylor]: Taking taylor expansion of (* x y) in z 0.570 * [taylor]: Taking taylor expansion of x in z 0.570 * [taylor]: Taking taylor expansion of y in z 0.570 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.570 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.571 * [taylor]: Taking taylor expansion of z in x 0.571 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.571 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.571 * [taylor]: Taking taylor expansion of 1.0 in x 0.571 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.571 * [taylor]: Taking taylor expansion of z in x 0.571 * [taylor]: Taking taylor expansion of (* x y) in x 0.571 * [taylor]: Taking taylor expansion of x in x 0.571 * [taylor]: Taking taylor expansion of y in x 0.572 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.572 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.572 * [taylor]: Taking taylor expansion of z in x 0.572 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.572 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.572 * [taylor]: Taking taylor expansion of 1.0 in x 0.572 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.572 * [taylor]: Taking taylor expansion of z in x 0.572 * [taylor]: Taking taylor expansion of (* x y) in x 0.572 * [taylor]: Taking taylor expansion of x in x 0.572 * [taylor]: Taking taylor expansion of y in x 0.574 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 y) (/ y z))) in z 0.574 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.574 * [taylor]: Taking taylor expansion of z in z 0.574 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (/ y z)) in z 0.574 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 0.574 * [taylor]: Taking taylor expansion of 1.0 in z 0.574 * [taylor]: Taking taylor expansion of y in z 0.574 * [taylor]: Taking taylor expansion of (/ y z) in z 0.574 * [taylor]: Taking taylor expansion of y in z 0.574 * [taylor]: Taking taylor expansion of z in z 0.574 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.574 * [taylor]: Taking taylor expansion of -1 in y 0.574 * [taylor]: Taking taylor expansion of y in y 0.581 * [taylor]: Taking taylor expansion of 0 in z 0.581 * [taylor]: Taking taylor expansion of 0 in y 0.582 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 0.582 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.582 * [taylor]: Taking taylor expansion of 1.0 in y 0.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.582 * [taylor]: Taking taylor expansion of y in y 0.586 * [taylor]: Taking taylor expansion of 0 in z 0.586 * [taylor]: Taking taylor expansion of 0 in y 0.586 * [taylor]: Taking taylor expansion of 0 in y 0.588 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 0.588 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.588 * [taylor]: Taking taylor expansion of 1.0 in y 0.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.588 * [taylor]: Taking taylor expansion of y in y 0.590 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.591 * [approximate]: Taking taylor expansion of (/ y (+ z 1.0)) in (y z) around 0 0.591 * [taylor]: Taking taylor expansion of (/ y (+ z 1.0)) in z 0.591 * [taylor]: Taking taylor expansion of y in z 0.591 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.591 * [taylor]: Taking taylor expansion of z in z 0.591 * [taylor]: Taking taylor expansion of 1.0 in z 0.591 * [taylor]: Taking taylor expansion of (/ y (+ z 1.0)) in y 0.591 * [taylor]: Taking taylor expansion of y in y 0.591 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.591 * [taylor]: Taking taylor expansion of z in y 0.591 * [taylor]: Taking taylor expansion of 1.0 in y 0.591 * [taylor]: Taking taylor expansion of (/ y (+ z 1.0)) in y 0.591 * [taylor]: Taking taylor expansion of y in y 0.591 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.591 * [taylor]: Taking taylor expansion of z in y 0.591 * [taylor]: Taking taylor expansion of 1.0 in y 0.591 * [taylor]: Taking taylor expansion of (/ 1 (+ z 1.0)) in z 0.591 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.591 * [taylor]: Taking taylor expansion of z in z 0.591 * [taylor]: Taking taylor expansion of 1.0 in z 0.592 * [taylor]: Taking taylor expansion of 0 in z 0.594 * [taylor]: Taking taylor expansion of 0 in z 0.598 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) 1.0) y)) in (y z) around 0 0.598 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) 1.0) y)) in z 0.598 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.598 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.598 * [taylor]: Taking taylor expansion of z in z 0.598 * [taylor]: Taking taylor expansion of 1.0 in z 0.598 * [taylor]: Taking taylor expansion of y in z 0.598 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) 1.0) y)) in y 0.598 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.598 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.598 * [taylor]: Taking taylor expansion of z in y 0.599 * [taylor]: Taking taylor expansion of 1.0 in y 0.599 * [taylor]: Taking taylor expansion of y in y 0.599 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) 1.0) y)) in y 0.599 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.599 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.599 * [taylor]: Taking taylor expansion of z in y 0.599 * [taylor]: Taking taylor expansion of 1.0 in y 0.599 * [taylor]: Taking taylor expansion of y in y 0.600 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.600 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.600 * [taylor]: Taking taylor expansion of z in z 0.600 * [taylor]: Taking taylor expansion of 1.0 in z 0.602 * [taylor]: Taking taylor expansion of 0 in z 0.605 * [taylor]: Taking taylor expansion of 0 in z 0.609 * [approximate]: Taking taylor expansion of (/ -1 (* (- 1.0 (/ 1 z)) y)) in (y z) around 0 0.609 * [taylor]: Taking taylor expansion of (/ -1 (* (- 1.0 (/ 1 z)) y)) in z 0.609 * [taylor]: Taking taylor expansion of -1 in z 0.609 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 0.609 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.609 * [taylor]: Taking taylor expansion of 1.0 in z 0.609 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.609 * [taylor]: Taking taylor expansion of z in z 0.609 * [taylor]: Taking taylor expansion of y in z 0.610 * [taylor]: Taking taylor expansion of (/ -1 (* (- 1.0 (/ 1 z)) y)) in y 0.610 * [taylor]: Taking taylor expansion of -1 in y 0.610 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in y 0.610 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.610 * [taylor]: Taking taylor expansion of 1.0 in y 0.610 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.610 * [taylor]: Taking taylor expansion of z in y 0.610 * [taylor]: Taking taylor expansion of y in y 0.611 * [taylor]: Taking taylor expansion of (/ -1 (* (- 1.0 (/ 1 z)) y)) in y 0.611 * [taylor]: Taking taylor expansion of -1 in y 0.611 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in y 0.611 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.611 * [taylor]: Taking taylor expansion of 1.0 in y 0.611 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.611 * [taylor]: Taking taylor expansion of z in y 0.611 * [taylor]: Taking taylor expansion of y in y 0.612 * [taylor]: Taking taylor expansion of (/ -1 (- 1.0 (/ 1 z))) in z 0.612 * [taylor]: Taking taylor expansion of -1 in z 0.612 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.612 * [taylor]: Taking taylor expansion of 1.0 in z 0.612 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.612 * [taylor]: Taking taylor expansion of z in z 0.614 * [taylor]: Taking taylor expansion of 0 in z 0.618 * [taylor]: Taking taylor expansion of 0 in z 0.622 * * * [progress]: simplifying candidates 0.623 * [simplify]: Simplifying using # : (expm1 (/ x (* z z))) (log1p (/ x (* z z))) (- (log x) (+ (log z) (log z))) (- (log x) (log (* z z))) (log (/ x (* z z))) (exp (/ x (* z z))) (/ (* (* x x) x) (* (* (* z z) z) (* (* z z) z))) (/ (* (* x x) x) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (/ x (* z z))) (cbrt (/ x (* z z)))) (cbrt (/ x (* z z))) (* (* (/ x (* z z)) (/ x (* z z))) (/ x (* z z))) (sqrt (/ x (* z z))) (sqrt (/ x (* z z))) (- x) (- (* z z)) (/ (* (cbrt x) (cbrt x)) z) (/ (cbrt x) z) (/ (sqrt x) z) (/ (sqrt x) z) (/ 1 z) (/ x z) (/ 1 (* z z)) (/ (* z z) x) (/ x z) (/ (* z z) (cbrt x)) (/ (* z z) (sqrt x)) (/ (* z z) x) (expm1 (* (/ x (* z z)) (/ y (+ z 1.0)))) (log1p (* (/ x (* z z)) (/ y (+ z 1.0)))) (* (/ x (* z z)) (/ y (+ z 1.0))) (+ (- (log x) (+ (log z) (log z))) (- (log y) (log (+ z 1.0)))) (+ (- (log x) (+ (log z) (log z))) (log (/ y (+ z 1.0)))) (+ (- (log x) (log (* z z))) (- (log y) (log (+ z 1.0)))) (+ (- (log x) (log (* z z))) (log (/ y (+ z 1.0)))) (+ (log (/ x (* z z))) (- (log y) (log (+ z 1.0)))) (+ (log (/ x (* z z))) (log (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (exp (* (/ x (* z z)) (/ y (+ z 1.0)))) (* (/ (* (* x x) x) (* (* (* z z) z) (* (* z z) z))) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (* (/ (* (* x x) x) (* (* (* z z) z) (* (* z z) z))) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0)))) (* (/ (* (* x x) x) (* (* (* z z) (* z z)) (* z z))) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (* (/ (* (* x x) x) (* (* (* z z) (* z z)) (* z z))) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0)))) (* (* (* (/ x (* z z)) (/ x (* z z))) (/ x (* z z))) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (* (* (* (/ x (* z z)) (/ x (* z z))) (/ x (* z z))) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0)))) (* (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0))))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (* (* (* (/ x (* z z)) (/ y (+ z 1.0))) (* (/ x (* z z)) (/ y (+ z 1.0)))) (* (/ x (* z z)) (/ y (+ z 1.0)))) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (* x y) (* (* z z) (+ z 1.0)) (* (sqrt (/ x (* z z))) (sqrt (/ y (+ z 1.0)))) (* (sqrt (/ x (* z z))) (sqrt (/ y (+ z 1.0)))) (* (sqrt (/ x (* z z))) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (sqrt (/ x (* z z))) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ (sqrt x) z) (sqrt (/ y (+ z 1.0)))) (* (/ (sqrt x) z) (sqrt (/ y (+ z 1.0)))) (* (/ (sqrt x) z) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ (sqrt x) z) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ x (* z z)) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (* (/ x (* z z)) (sqrt (/ y (+ z 1.0)))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) (sqrt (+ z 1.0)))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) 1)) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) 1)) (* (/ x (* z z)) (/ (sqrt y) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ x (* z z)) (/ (sqrt y) 1)) (* (/ x (* z z)) (/ (sqrt y) 1)) (* (/ x (* z z)) (/ 1 (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ 1 (sqrt (+ z 1.0)))) (* (/ x (* z z)) (/ 1 1)) (* (/ x (* z z)) (/ 1 1)) (* (/ x (* z z)) 1) (* (/ x (* z z)) y) (* (/ x (* z z)) (/ y (+ (pow z 3) (pow 1.0 3)))) (* (/ x (* z z)) (/ y (- (* z z) (* 1.0 1.0)))) (* (cbrt (/ x (* z z))) (/ y (+ z 1.0))) (* (sqrt (/ x (* z z))) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (sqrt x) z) (/ y (+ z 1.0))) (* (/ x z) (/ y (+ z 1.0))) (* (/ x (* z z)) (/ y (+ z 1.0))) (* (/ 1 (* z z)) (/ y (+ z 1.0))) (* (/ x (* z z)) y) (* x (/ y (+ z 1.0))) (expm1 (/ y (+ z 1.0))) (log1p (/ y (+ z 1.0))) (- (log y) (log (+ z 1.0))) (log (/ y (+ z 1.0))) (exp (/ y (+ z 1.0))) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0)))) (cbrt (/ y (+ z 1.0))) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))) (sqrt (/ y (+ z 1.0))) (sqrt (/ y (+ z 1.0))) (- y) (- (+ z 1.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (cbrt y) (cbrt (+ z 1.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (+ z 1.0))) (/ (cbrt y) (sqrt (+ z 1.0))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (+ z 1.0)) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (+ z 1.0)) (/ (sqrt y) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (sqrt y) (cbrt (+ z 1.0))) (/ (sqrt y) (sqrt (+ z 1.0))) (/ (sqrt y) (sqrt (+ z 1.0))) (/ (sqrt y) 1) (/ (sqrt y) (+ z 1.0)) (/ (sqrt y) 1) (/ (sqrt y) (+ z 1.0)) (/ 1 (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ y (cbrt (+ z 1.0))) (/ 1 (sqrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ 1 1) (/ y (+ z 1.0)) (/ 1 1) (/ y (+ z 1.0)) (/ 1 (+ z 1.0)) (/ (+ z 1.0) y) (/ y (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ y (sqrt (+ z 1.0))) (/ y 1) (/ y 1) (/ (+ z 1.0) (cbrt y)) (/ (+ z 1.0) (sqrt y)) (/ (+ z 1.0) y) (/ y (+ (pow z 3) (pow 1.0 3))) (/ y (- (* z z) (* 1.0 1.0))) (/ x (pow z 2)) (/ x (pow z 2)) (/ x (pow z 2)) (- (+ (* 1.0 (* x y)) (* 1.0 (/ (* x y) (pow z 2)))) (* 1.0 (/ (* x y) z))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (- (+ (* 1.0 (* (pow z 2) y)) (* 1.0 y)) (* 1.0 (* z y))) (- (+ (* 1.0 (/ y (pow z 3))) (/ y z)) (* 1.0 (/ y (pow z 2)))) (- (+ (* 1.0 (/ y (pow z 3))) (/ y z)) (* 1.0 (/ y (pow z 2)))) 0.630 * * [simplify]: iteration 0 : 534 enodes (cost 730 ) 0.641 * * [simplify]: iteration 1 : 2689 enodes (cost 629 ) 0.697 * * [simplify]: iteration 2 : 5003 enodes (cost 629 ) 0.703 * [simplify]: Simplified to: (expm1 (/ x (* z z))) (log1p (/ x (* z z))) (log (/ x (* z z))) (log (/ x (* z z))) (log (/ x (* z z))) (exp (/ x (* z z))) (pow (/ x (* z z)) 3) (pow (/ x (* z z)) 3) (* (cbrt (/ x (* z z))) (cbrt (/ x (* z z)))) (cbrt (/ x (* z z))) (pow (/ x (* z z)) 3) (sqrt (/ x (* z z))) (sqrt (/ x (* z z))) (- x) (- (* z z)) (/ (* (cbrt x) (cbrt x)) z) (/ (cbrt x) z) (/ (sqrt x) z) (/ (sqrt x) z) (/ 1 z) (/ x z) (/ 1 (* z z)) (/ (* z z) x) (/ x z) (/ (* z z) (cbrt x)) (/ (* z z) (sqrt x)) (/ (* z z) x) (expm1 (* (/ x (* z z)) (/ y (+ z 1.0)))) (log1p (* (/ x (* z z)) (/ y (+ z 1.0)))) (* (/ x (* z z)) (/ y (+ z 1.0))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (exp (* (/ x (* z z)) (/ y (+ z 1.0)))) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (* (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0))))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (* x y) (* (* z z) (+ z 1.0)) (* (sqrt (/ x (* z z))) (sqrt (/ y (+ z 1.0)))) (* (sqrt (/ x (* z z))) (sqrt (/ y (+ z 1.0)))) (* (sqrt (/ x (* z z))) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (sqrt (/ x (* z z))) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ (sqrt x) z) (sqrt (/ y (+ z 1.0)))) (* (/ (sqrt x) z) (sqrt (/ y (+ z 1.0)))) (* (/ (sqrt x) z) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ (sqrt x) z) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ x (* z z)) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (* (/ x (* z z)) (sqrt (/ y (+ z 1.0)))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) (sqrt (+ z 1.0)))) (/ (* x (* (cbrt y) (cbrt y))) (pow z 2)) (/ (* x (* (cbrt y) (cbrt y))) (pow z 2)) (* (/ x (* z z)) (/ (sqrt y) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ (sqrt y) (sqrt (+ z 1.0)))) (/ (* x (sqrt y)) (pow z 2)) (/ (* x (sqrt y)) (pow z 2)) (/ (/ x (* z z)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (/ x (* z z)) (sqrt (+ z 1.0))) (/ x (* z z)) (/ x (* z z)) (/ x (* z z)) (* (/ x (* z z)) y) (* (/ x (* z z)) (/ y (+ (pow z 3) (pow 1.0 3)))) (* (/ x (* z z)) (/ y (- (* z z) (* 1.0 1.0)))) (* (cbrt (/ x (* z z))) (/ y (+ z 1.0))) (* (sqrt (/ x (* z z))) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (sqrt x) z) (/ y (+ z 1.0))) (* (/ x z) (/ y (+ z 1.0))) (* (/ x (* z z)) (/ y (+ z 1.0))) (/ (/ y (+ z 1.0)) (pow z 2)) (* (/ x (* z z)) y) (* x (/ y (+ z 1.0))) (expm1 (/ y (+ z 1.0))) (log1p (/ y (+ z 1.0))) (log (/ y (+ z 1.0))) (log (/ y (+ z 1.0))) (exp (/ y (+ z 1.0))) (pow (/ y (+ z 1.0)) 3) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0)))) (cbrt (/ y (+ z 1.0))) (pow (/ y (+ z 1.0)) 3) (sqrt (/ y (+ z 1.0))) (sqrt (/ y (+ z 1.0))) (- y) (- (+ z 1.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (cbrt y) (cbrt (+ z 1.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (+ z 1.0))) (/ (cbrt y) (sqrt (+ z 1.0))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z 1.0)) (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z 1.0)) (/ (sqrt y) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (sqrt y) (cbrt (+ z 1.0))) (/ (sqrt y) (sqrt (+ z 1.0))) (/ (sqrt y) (sqrt (+ z 1.0))) (sqrt y) (/ (sqrt y) (+ z 1.0)) (sqrt y) (/ (sqrt y) (+ z 1.0)) (/ 1 (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ y (cbrt (+ z 1.0))) (/ 1 (sqrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) 1 (/ y (+ z 1.0)) 1 (/ y (+ z 1.0)) (/ 1 (+ z 1.0)) (/ (+ z 1.0) y) (/ y (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ y (sqrt (+ z 1.0))) y y (/ (+ z 1.0) (cbrt y)) (/ (+ z 1.0) (sqrt y)) (/ (+ z 1.0) y) (/ y (+ (pow z 3) (pow 1.0 3))) (/ y (- (* z z) (* 1.0 1.0))) (/ x (* z z)) (/ x (* z z)) (/ x (* z z)) (* 1.0 (- (fma y x (* (/ x (* z z)) y)) (/ (* x y) z))) (fma 1.0 (/ (* x y) (pow z 5)) (- (/ (* x y) (pow z 3)) (* 1.0 (/ (* x y) (pow z 4))))) (fma 1.0 (/ (* x y) (pow z 5)) (- (/ (* x y) (pow z 3)) (* 1.0 (/ (* x y) (pow z 4))))) (* 1.0 (- (fma y (pow z 2) y) (* z y))) (fma 1.0 (/ y (pow z 3)) (- (/ y z) (* 1.0 (/ y (pow z 2))))) (fma 1.0 (/ y (pow z 3)) (- (/ y z) (* 1.0 (/ y (pow z 2))))) 0.704 * * * [progress]: adding candidates to table 0.997 * * [progress]: iteration 3 / 4 0.997 * * * [progress]: picking best candidate 1.012 * * * * [pick]: Picked # 1.012 * * * [progress]: localizing error 1.023 * * * [progress]: generating rewritten candidates 1.023 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.024 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.025 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.025 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1.032 * * * [progress]: generating series expansions 1.032 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.032 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.032 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.032 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.032 * [taylor]: Taking taylor expansion of 1/3 in x 1.032 * [taylor]: Taking taylor expansion of (log x) in x 1.032 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.033 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.033 * [taylor]: Taking taylor expansion of 1/3 in x 1.033 * [taylor]: Taking taylor expansion of (log x) in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.086 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.086 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.086 * [taylor]: Taking taylor expansion of 1/3 in x 1.086 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.086 * [taylor]: Taking taylor expansion of x in x 1.087 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.087 * [taylor]: Taking taylor expansion of 1/3 in x 1.087 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.087 * [taylor]: Taking taylor expansion of x in x 1.143 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.143 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.143 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.143 * [taylor]: Taking taylor expansion of -1 in x 1.144 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.144 * [taylor]: Taking taylor expansion of 1/3 in x 1.144 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.144 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.145 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.145 * [taylor]: Taking taylor expansion of -1 in x 1.145 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.145 * [taylor]: Taking taylor expansion of 1/3 in x 1.145 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.216 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.216 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.216 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.216 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.216 * [taylor]: Taking taylor expansion of 1/3 in x 1.216 * [taylor]: Taking taylor expansion of (log x) in x 1.216 * [taylor]: Taking taylor expansion of x in x 1.217 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.217 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.217 * [taylor]: Taking taylor expansion of 1/3 in x 1.217 * [taylor]: Taking taylor expansion of (log x) in x 1.217 * [taylor]: Taking taylor expansion of x in x 1.266 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.267 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.267 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.267 * [taylor]: Taking taylor expansion of 1/3 in x 1.267 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.268 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.268 * [taylor]: Taking taylor expansion of 1/3 in x 1.268 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.268 * [taylor]: Taking taylor expansion of x in x 1.327 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.327 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.327 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.327 * [taylor]: Taking taylor expansion of -1 in x 1.328 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.328 * [taylor]: Taking taylor expansion of 1/3 in x 1.328 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.328 * [taylor]: Taking taylor expansion of x in x 1.329 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.329 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.329 * [taylor]: Taking taylor expansion of -1 in x 1.329 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.330 * [taylor]: Taking taylor expansion of 1/3 in x 1.330 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.330 * [taylor]: Taking taylor expansion of x in x 1.398 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.398 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.398 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.399 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.399 * [taylor]: Taking taylor expansion of 1/3 in x 1.399 * [taylor]: Taking taylor expansion of (log x) in x 1.399 * [taylor]: Taking taylor expansion of x in x 1.399 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.399 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.399 * [taylor]: Taking taylor expansion of 1/3 in x 1.399 * [taylor]: Taking taylor expansion of (log x) in x 1.399 * [taylor]: Taking taylor expansion of x in x 1.457 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.457 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.457 * [taylor]: Taking taylor expansion of 1/3 in x 1.457 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.457 * [taylor]: Taking taylor expansion of x in x 1.458 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.458 * [taylor]: Taking taylor expansion of 1/3 in x 1.458 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.458 * [taylor]: Taking taylor expansion of x in x 1.510 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.510 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.510 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.510 * [taylor]: Taking taylor expansion of -1 in x 1.511 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.511 * [taylor]: Taking taylor expansion of 1/3 in x 1.511 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.511 * [taylor]: Taking taylor expansion of x in x 1.512 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.512 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.512 * [taylor]: Taking taylor expansion of -1 in x 1.519 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.519 * [taylor]: Taking taylor expansion of 1/3 in x 1.519 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.519 * [taylor]: Taking taylor expansion of x in x 1.582 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.582 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 1.582 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 1.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 1.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 1.582 * [taylor]: Taking taylor expansion of 1/3 in x 1.582 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 1.582 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.583 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 1.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 1.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 1.583 * [taylor]: Taking taylor expansion of 1/3 in x 1.583 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 1.583 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.642 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 1.642 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 1.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 1.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 1.642 * [taylor]: Taking taylor expansion of 1/3 in x 1.642 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.642 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.642 * [taylor]: Taking taylor expansion of x in x 1.643 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 1.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 1.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 1.643 * [taylor]: Taking taylor expansion of 1/3 in x 1.643 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.643 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.643 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.703 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0 1.704 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 1.704 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 1.704 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.704 * [taylor]: Taking taylor expansion of -1 in x 1.704 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 1.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 1.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 1.705 * [taylor]: Taking taylor expansion of 1/3 in x 1.705 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.705 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.705 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.705 * [taylor]: Taking taylor expansion of x in x 1.706 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 1.706 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 1.706 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.706 * [taylor]: Taking taylor expansion of -1 in x 1.706 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 1.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 1.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 1.706 * [taylor]: Taking taylor expansion of 1/3 in x 1.706 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.707 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.707 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.707 * [taylor]: Taking taylor expansion of x in x 1.785 * * * [progress]: simplifying candidates 1.786 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* (cbrt x) (cbrt x))) (log1p (* (cbrt x) (cbrt x))) (+ 1/3 1/3) (+ 1 1) (* x x) (* (cbrt x) (cbrt x)) (+ 1 1) (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 1 1) (* (cbrt x) (cbrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 2 1/3) (* 2 1) (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* (cbrt x) (cbrt 1)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (* (cbrt x) 1) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt (sqrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (cbrt x)) (* (sqrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 2/3) (pow (/ 1 x) -2/3) (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) 1.790 * * [simplify]: iteration 0 : 119 enodes (cost 308 ) 1.793 * * [simplify]: iteration 1 : 477 enodes (cost 281 ) 1.808 * * [simplify]: iteration 2 : 3223 enodes (cost 258 ) 1.877 * * [simplify]: iteration 3 : 5001 enodes (cost 255 ) 1.879 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* (cbrt x) (cbrt x))) (log1p (* (cbrt x) (cbrt x))) 2/3 2 (pow x 2) (pow x 2/3) 2 (* 2/3 (log x)) (* 2/3 (log x)) (exp (pow x 2/3)) (pow x 2) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (pow x 2) (fabs (pow x 1/3)) (fabs (pow x 1/3)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) 1 (pow x 2/3) (pow (cbrt (cbrt x)) 4) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (pow x 1/3) (pow x 1/3) 1 (pow x 2/3) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (pow x 1/3) (pow x 1/3) 2/3 2 (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (pow x 1/3) (pow (cbrt (cbrt x)) 5) (pow (sqrt (cbrt x)) 3) (pow x 1/3) (pow (cbrt (cbrt x)) 4) (* (cbrt x) (cbrt (sqrt x))) (pow x 2/3) (pow (cbrt (cbrt x)) 4) (pow (sqrt (cbrt x)) 3) (pow x 2/3) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 2/3) (pow (/ 1 x) -2/3) (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) 1.880 * * * [progress]: adding candidates to table 2.138 * * [progress]: iteration 4 / 4 2.138 * * * [progress]: picking best candidate 2.161 * * * * [pick]: Picked # 2.162 * * * [progress]: localizing error 2.177 * * * [progress]: generating rewritten candidates 2.177 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2) 2.178 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 2) 2.179 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1) 2.180 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1) 2.182 * * * [progress]: generating series expansions 2.182 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2) 2.182 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 2.182 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.182 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.182 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.182 * [taylor]: Taking taylor expansion of 1/9 in x 2.182 * [taylor]: Taking taylor expansion of (log x) in x 2.182 * [taylor]: Taking taylor expansion of x in x 2.183 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.183 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.183 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.183 * [taylor]: Taking taylor expansion of 1/9 in x 2.183 * [taylor]: Taking taylor expansion of (log x) in x 2.183 * [taylor]: Taking taylor expansion of x in x 2.241 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 2.241 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.241 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.241 * [taylor]: Taking taylor expansion of 1/9 in x 2.241 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.241 * [taylor]: Taking taylor expansion of x in x 2.242 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.242 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.242 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.242 * [taylor]: Taking taylor expansion of 1/9 in x 2.242 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.242 * [taylor]: Taking taylor expansion of x in x 2.294 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 2.294 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 2.294 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.295 * [taylor]: Taking taylor expansion of 1/3 in x 2.295 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.295 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.295 * [taylor]: Taking taylor expansion of -1 in x 2.298 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.298 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.298 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.298 * [taylor]: Taking taylor expansion of 1/9 in x 2.298 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.298 * [taylor]: Taking taylor expansion of x in x 2.299 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 2.299 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.299 * [taylor]: Taking taylor expansion of 1/3 in x 2.299 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.299 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.299 * [taylor]: Taking taylor expansion of -1 in x 2.303 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.303 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.303 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.303 * [taylor]: Taking taylor expansion of 1/9 in x 2.303 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.436 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 2) 2.436 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 2.436 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.436 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.436 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.436 * [taylor]: Taking taylor expansion of 1/9 in x 2.436 * [taylor]: Taking taylor expansion of (log x) in x 2.436 * [taylor]: Taking taylor expansion of x in x 2.437 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.437 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.437 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.437 * [taylor]: Taking taylor expansion of 1/9 in x 2.437 * [taylor]: Taking taylor expansion of (log x) in x 2.437 * [taylor]: Taking taylor expansion of x in x 2.491 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 2.491 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.491 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.491 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.491 * [taylor]: Taking taylor expansion of 1/9 in x 2.491 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.491 * [taylor]: Taking taylor expansion of x in x 2.492 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.492 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.492 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.492 * [taylor]: Taking taylor expansion of 1/9 in x 2.492 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.492 * [taylor]: Taking taylor expansion of x in x 2.550 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 2.550 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 2.550 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.550 * [taylor]: Taking taylor expansion of 1/3 in x 2.550 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.550 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.550 * [taylor]: Taking taylor expansion of -1 in x 2.554 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.554 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.554 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.554 * [taylor]: Taking taylor expansion of 1/9 in x 2.554 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.554 * [taylor]: Taking taylor expansion of x in x 2.555 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 2.555 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.555 * [taylor]: Taking taylor expansion of 1/3 in x 2.555 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.555 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.555 * [taylor]: Taking taylor expansion of -1 in x 2.558 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.558 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.558 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.559 * [taylor]: Taking taylor expansion of 1/9 in x 2.559 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.559 * [taylor]: Taking taylor expansion of x in x 2.680 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1) 2.680 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 2.681 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.681 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.681 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.681 * [taylor]: Taking taylor expansion of 1/9 in x 2.681 * [taylor]: Taking taylor expansion of (log x) in x 2.681 * [taylor]: Taking taylor expansion of x in x 2.682 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.682 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.682 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.682 * [taylor]: Taking taylor expansion of 1/9 in x 2.682 * [taylor]: Taking taylor expansion of (log x) in x 2.682 * [taylor]: Taking taylor expansion of x in x 2.746 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 2.746 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.746 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.746 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.746 * [taylor]: Taking taylor expansion of 1/9 in x 2.746 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.746 * [taylor]: Taking taylor expansion of x in x 2.747 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.747 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.747 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.747 * [taylor]: Taking taylor expansion of 1/9 in x 2.747 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.747 * [taylor]: Taking taylor expansion of x in x 2.802 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 2.802 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 2.802 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.803 * [taylor]: Taking taylor expansion of 1/3 in x 2.803 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.803 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.803 * [taylor]: Taking taylor expansion of -1 in x 2.806 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.806 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.806 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.806 * [taylor]: Taking taylor expansion of 1/9 in x 2.806 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.806 * [taylor]: Taking taylor expansion of x in x 2.807 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 2.807 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.807 * [taylor]: Taking taylor expansion of 1/3 in x 2.807 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.807 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.807 * [taylor]: Taking taylor expansion of -1 in x 2.811 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.811 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.811 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.811 * [taylor]: Taking taylor expansion of 1/9 in x 2.811 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.811 * [taylor]: Taking taylor expansion of x in x 2.934 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1) 2.934 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.934 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.934 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.934 * [taylor]: Taking taylor expansion of 1/3 in x 2.934 * [taylor]: Taking taylor expansion of (log x) in x 2.934 * [taylor]: Taking taylor expansion of x in x 2.934 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.934 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.934 * [taylor]: Taking taylor expansion of 1/3 in x 2.935 * [taylor]: Taking taylor expansion of (log x) in x 2.935 * [taylor]: Taking taylor expansion of x in x 2.980 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.980 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.981 * [taylor]: Taking taylor expansion of 1/3 in x 2.981 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.981 * [taylor]: Taking taylor expansion of x in x 2.981 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.981 * [taylor]: Taking taylor expansion of 1/3 in x 2.981 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.982 * [taylor]: Taking taylor expansion of x in x 3.037 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 3.037 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.037 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.037 * [taylor]: Taking taylor expansion of -1 in x 3.037 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.038 * [taylor]: Taking taylor expansion of 1/3 in x 3.038 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.038 * [taylor]: Taking taylor expansion of x in x 3.038 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.038 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.038 * [taylor]: Taking taylor expansion of -1 in x 3.039 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.039 * [taylor]: Taking taylor expansion of 1/3 in x 3.039 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.039 * [taylor]: Taking taylor expansion of x in x 3.104 * * * [progress]: simplifying candidates 3.105 * [simplify]: Simplifying using # : (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 3.108 * * [simplify]: iteration 0 : 75 enodes (cost 283 ) 3.110 * * [simplify]: iteration 1 : 145 enodes (cost 265 ) 3.113 * * [simplify]: iteration 2 : 361 enodes (cost 257 ) 3.120 * * [simplify]: iteration 3 : 1382 enodes (cost 257 ) 3.149 * * [simplify]: iteration 4 : 5002 enodes (cost 257 ) 3.150 * [simplify]: Simplified to: (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (pow x 1/3) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (pow x 1/3) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (pow x 1/3) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 3.151 * * * [progress]: adding candidates to table 3.428 * [progress]: [Phase 3 of 3] Extracting. 3.428 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 3.431 * * * [regime-changes]: Trying 5 branch expressions: ((* (* z z) (+ z 1.0)) (* x y) z y x) 3.431 * * * * [regimes]: Trying to branch on (* (* z z) (+ z 1.0)) from (# # # # # # # # # # #) 3.462 * * * * [regimes]: Trying to branch on (* (* z z) (+ z 1.0)) from (# #) 3.482 * * * * [regimes]: Trying to branch on (* x y) from (# # # # # # # # # # #) 3.518 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 3.554 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 3.590 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 3.627 * * * [regime]: Found split indices: #