5.518 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (+ x (* (* y z) z)) 0.020 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.020 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.022 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 0.024 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 0.025 * * [simplify]: iteration done : 16 enodes (cost 6 ) 0.025 * [simplify]: Simplified to: (fma (* y z) z x) 0.028 * * [progress]: iteration 1 / 4 0.028 * * * [progress]: picking best candidate 0.029 * * * * [pick]: Picked # 0.029 * * * [progress]: localizing error 0.034 * * * [progress]: generating rewritten candidates 0.034 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.042 * * * [progress]: generating series expansions 0.042 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.042 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 0.042 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.042 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.042 * [taylor]: Taking taylor expansion of z in z 0.042 * [taylor]: Taking taylor expansion of y in z 0.042 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.042 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.042 * [taylor]: Taking taylor expansion of z in y 0.042 * [taylor]: Taking taylor expansion of y in y 0.042 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.042 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.042 * [taylor]: Taking taylor expansion of z in y 0.042 * [taylor]: Taking taylor expansion of y in y 0.042 * [taylor]: Taking taylor expansion of 0 in z 0.043 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.043 * [taylor]: Taking taylor expansion of z in z 0.044 * [taylor]: Taking taylor expansion of 0 in z 0.046 * [taylor]: Taking taylor expansion of 0 in z 0.046 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 0.046 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.046 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.046 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.046 * [taylor]: Taking taylor expansion of z in z 0.046 * [taylor]: Taking taylor expansion of y in z 0.046 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.046 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.046 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.046 * [taylor]: Taking taylor expansion of z in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.047 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.047 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.047 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.047 * [taylor]: Taking taylor expansion of z in y 0.047 * [taylor]: Taking taylor expansion of y in y 0.048 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.048 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.048 * [taylor]: Taking taylor expansion of z in z 0.049 * [taylor]: Taking taylor expansion of 0 in z 0.051 * [taylor]: Taking taylor expansion of 0 in z 0.054 * [taylor]: Taking taylor expansion of 0 in z 0.057 * [taylor]: Taking taylor expansion of 0 in z 0.057 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 0.058 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 0.058 * [taylor]: Taking taylor expansion of -1 in z 0.058 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.058 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.058 * [taylor]: Taking taylor expansion of z in z 0.058 * [taylor]: Taking taylor expansion of y in z 0.058 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.058 * [taylor]: Taking taylor expansion of -1 in y 0.058 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.058 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.058 * [taylor]: Taking taylor expansion of z in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.059 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.059 * [taylor]: Taking taylor expansion of -1 in y 0.059 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.059 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.059 * [taylor]: Taking taylor expansion of z in y 0.059 * [taylor]: Taking taylor expansion of y in y 0.059 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 0.059 * [taylor]: Taking taylor expansion of -1 in z 0.059 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.059 * [taylor]: Taking taylor expansion of z in z 0.065 * [taylor]: Taking taylor expansion of 0 in z 0.067 * [taylor]: Taking taylor expansion of 0 in z 0.070 * [taylor]: Taking taylor expansion of 0 in z 0.074 * [taylor]: Taking taylor expansion of 0 in z 0.074 * * * [progress]: simplifying candidates 0.074 * [simplify]: Simplifying using # : (expm1 (* (* y z) z)) (log1p (* (* y z) z)) (* (* y z) z) (* (* y z) z) (+ (+ (log y) (log z)) (log z)) (+ (log (* y z)) (log z)) (log (* (* y z) z)) (exp (* (* y z) z)) (* (* (* (* y y) y) (* (* z z) z)) (* (* z z) z)) (* (* (* (* y z) (* y z)) (* y z)) (* (* z z) z)) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z)) (* (* (* (* y z) z) (* (* y z) z)) (* (* y z) z)) (sqrt (* (* y z) z)) (sqrt (* (* y z) z)) (* (* y z) (* (cbrt z) (cbrt z))) (* (* y z) (sqrt z)) (* (* y z) 1) (* z z) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) 0.076 * * [simplify]: iteration 0 : 38 enodes (cost 169 ) 0.083 * * [simplify]: iteration 1 : 97 enodes (cost 164 ) 0.125 * * [simplify]: iteration 2 : 379 enodes (cost 134 ) 0.512 * * [simplify]: iteration 3 : 1249 enodes (cost 134 ) 3.269 * * [simplify]: iteration 4 : 3560 enodes (cost 133 ) 5.644 * * [simplify]: iteration done : 5000 enodes (cost 133 ) 5.644 * [simplify]: Simplified to: (expm1 (* (* y z) z)) (log1p (* (* y z) z)) (* (* z z) y) (* (* z z) y) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (exp (* (* y z) z)) (pow (* (pow z 2) y) 3) (pow (* (pow z 2) y) 3) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z)) (pow (* (pow z 2) y) 3) (sqrt (* (* y z) z)) (sqrt (* (* y z) z)) (* (* y z) (* (cbrt z) (cbrt z))) (* (pow z 3/2) y) (* z y) (* z z) (* (* z z) y) (* (* z z) y) (* (* z z) y) 5.644 * * * [progress]: adding candidates to table 5.680 * * [progress]: iteration 2 / 4 5.680 * * * [progress]: picking best candidate 5.689 * * * * [pick]: Picked # 5.689 * * * [progress]: localizing error 5.693 * * * [progress]: generating rewritten candidates 5.694 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 5.701 * * * [progress]: generating series expansions 5.701 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 5.701 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 5.701 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.701 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.701 * [taylor]: Taking taylor expansion of z in z 5.701 * [taylor]: Taking taylor expansion of y in z 5.701 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.701 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.701 * [taylor]: Taking taylor expansion of z in y 5.701 * [taylor]: Taking taylor expansion of y in y 5.701 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.701 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.701 * [taylor]: Taking taylor expansion of z in y 5.701 * [taylor]: Taking taylor expansion of y in y 5.701 * [taylor]: Taking taylor expansion of 0 in z 5.702 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.702 * [taylor]: Taking taylor expansion of z in z 5.703 * [taylor]: Taking taylor expansion of 0 in z 5.705 * [taylor]: Taking taylor expansion of 0 in z 5.705 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 5.705 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 5.705 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.705 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.705 * [taylor]: Taking taylor expansion of z in z 5.705 * [taylor]: Taking taylor expansion of y in z 5.705 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.705 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.705 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.705 * [taylor]: Taking taylor expansion of z in y 5.705 * [taylor]: Taking taylor expansion of y in y 5.706 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.706 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.706 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.706 * [taylor]: Taking taylor expansion of z in y 5.706 * [taylor]: Taking taylor expansion of y in y 5.706 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 5.706 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.706 * [taylor]: Taking taylor expansion of z in z 5.708 * [taylor]: Taking taylor expansion of 0 in z 5.710 * [taylor]: Taking taylor expansion of 0 in z 5.712 * [taylor]: Taking taylor expansion of 0 in z 5.715 * [taylor]: Taking taylor expansion of 0 in z 5.716 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 5.716 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 5.716 * [taylor]: Taking taylor expansion of -1 in z 5.716 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.716 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.716 * [taylor]: Taking taylor expansion of z in z 5.716 * [taylor]: Taking taylor expansion of y in z 5.716 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 5.716 * [taylor]: Taking taylor expansion of -1 in y 5.716 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.716 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.716 * [taylor]: Taking taylor expansion of z in y 5.716 * [taylor]: Taking taylor expansion of y in y 5.717 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 5.717 * [taylor]: Taking taylor expansion of -1 in y 5.717 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.717 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.717 * [taylor]: Taking taylor expansion of z in y 5.717 * [taylor]: Taking taylor expansion of y in y 5.717 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 5.717 * [taylor]: Taking taylor expansion of -1 in z 5.717 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.717 * [taylor]: Taking taylor expansion of z in z 5.719 * [taylor]: Taking taylor expansion of 0 in z 5.721 * [taylor]: Taking taylor expansion of 0 in z 5.724 * [taylor]: Taking taylor expansion of 0 in z 5.727 * [taylor]: Taking taylor expansion of 0 in z 5.727 * * * [progress]: simplifying candidates 5.727 * [simplify]: Simplifying using # : (expm1 (* y (* z z))) (log1p (* y (* z z))) (* y (* z z)) (* y (* z z)) (+ (log y) (+ (log z) (log z))) (+ (log y) (log (* z z))) (log (* y (* z z))) (exp (* y (* z z))) (* (* (* y y) y) (* (* (* z z) z) (* (* z z) z))) (* (* (* y y) y) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (* (* (* y (* z z)) (* y (* z z))) (* y (* z z))) (sqrt (* y (* z z))) (sqrt (* y (* z z))) (* (sqrt y) z) (* (sqrt y) z) (* y z) (* (cbrt y) (* z z)) (* (sqrt y) (* z z)) (* y (* z z)) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) 5.729 * * [simplify]: iteration 0 : 36 enodes (cost 174 ) 5.735 * * [simplify]: iteration 1 : 85 enodes (cost 171 ) 5.762 * * [simplify]: iteration 2 : 244 enodes (cost 141 ) 5.866 * * [simplify]: iteration 3 : 476 enodes (cost 141 ) 6.086 * * [simplify]: iteration 4 : 744 enodes (cost 141 ) 6.701 * * [simplify]: iteration 5 : 1693 enodes (cost 141 ) 9.115 * * [simplify]: iteration done : 5000 enodes (cost 141 ) 9.116 * [simplify]: Simplified to: (expm1 (* y (* z z))) (log1p (* y (* z z))) (* (pow z 2) y) (* (pow z 2) y) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (exp (* y (* z z))) (pow (* (pow z 2) y) 3) (pow (* (pow z 2) y) 3) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (pow (* (pow z 2) y) 3) (sqrt (* y (* z z))) (sqrt (* y (* z z))) (* (sqrt y) z) (* (sqrt y) z) (* y z) (* (cbrt y) (* z z)) (* (sqrt y) (* z z)) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) 9.116 * * * [progress]: adding candidates to table 9.156 * * [progress]: iteration 3 / 4 9.156 * * * [progress]: picking best candidate 9.163 * * * * [pick]: Picked # 9.164 * * * [progress]: localizing error 9.172 * * * [progress]: generating rewritten candidates 9.172 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 9.177 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 9.183 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 9.189 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 9.197 * * * [progress]: generating series expansions 9.197 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 9.197 * [approximate]: Taking taylor expansion of (* z (sqrt y)) in (y z) around 0 9.197 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in z 9.197 * [taylor]: Taking taylor expansion of z in z 9.197 * [taylor]: Taking taylor expansion of (sqrt y) in z 9.197 * [taylor]: Taking taylor expansion of y in z 9.198 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in y 9.198 * [taylor]: Taking taylor expansion of z in y 9.198 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.198 * [taylor]: Taking taylor expansion of y in y 9.199 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in y 9.199 * [taylor]: Taking taylor expansion of z in y 9.199 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.199 * [taylor]: Taking taylor expansion of y in y 9.200 * [taylor]: Taking taylor expansion of 0 in z 9.201 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z 9.201 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 9.201 * [taylor]: Taking taylor expansion of +nan.0 in z 9.201 * [taylor]: Taking taylor expansion of z in z 9.204 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z 9.204 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 9.204 * [taylor]: Taking taylor expansion of +nan.0 in z 9.205 * [taylor]: Taking taylor expansion of z in z 9.210 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z 9.210 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 9.210 * [taylor]: Taking taylor expansion of +nan.0 in z 9.210 * [taylor]: Taking taylor expansion of z in z 9.216 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z 9.216 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 9.216 * [taylor]: Taking taylor expansion of +nan.0 in z 9.216 * [taylor]: Taking taylor expansion of z in z 9.220 * [approximate]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in (y z) around 0 9.221 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in z 9.221 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.221 * [taylor]: Taking taylor expansion of z in z 9.221 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 9.221 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.221 * [taylor]: Taking taylor expansion of y in z 9.221 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in y 9.221 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.221 * [taylor]: Taking taylor expansion of z in y 9.221 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.221 * [taylor]: Taking taylor expansion of y in y 9.222 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in y 9.222 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.223 * [taylor]: Taking taylor expansion of z in y 9.223 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.223 * [taylor]: Taking taylor expansion of y in y 9.224 * [taylor]: Taking taylor expansion of 0 in z 9.224 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 9.224 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 9.224 * [taylor]: Taking taylor expansion of +nan.0 in z 9.224 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.224 * [taylor]: Taking taylor expansion of z in z 9.228 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 9.228 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 9.228 * [taylor]: Taking taylor expansion of +nan.0 in z 9.228 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.228 * [taylor]: Taking taylor expansion of z in z 9.234 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 9.234 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 9.234 * [taylor]: Taking taylor expansion of +nan.0 in z 9.234 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.234 * [taylor]: Taking taylor expansion of z in z 9.236 * [approximate]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in (y z) around 0 9.236 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in z 9.236 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 9.236 * [taylor]: Taking taylor expansion of -1 in z 9.236 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 9.236 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.236 * [taylor]: Taking taylor expansion of z in z 9.236 * [taylor]: Taking taylor expansion of y in z 9.237 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in y 9.237 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 9.237 * [taylor]: Taking taylor expansion of -1 in y 9.237 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.237 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.237 * [taylor]: Taking taylor expansion of z in y 9.237 * [taylor]: Taking taylor expansion of y in y 9.239 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in y 9.239 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 9.239 * [taylor]: Taking taylor expansion of -1 in y 9.239 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.239 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.239 * [taylor]: Taking taylor expansion of z in y 9.239 * [taylor]: Taking taylor expansion of y in y 9.240 * [taylor]: Taking taylor expansion of 0 in z 9.240 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 2)) in z 9.240 * [taylor]: Taking taylor expansion of +nan.0 in z 9.240 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.240 * [taylor]: Taking taylor expansion of z in z 9.243 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 4)) in z 9.243 * [taylor]: Taking taylor expansion of +nan.0 in z 9.243 * [taylor]: Taking taylor expansion of (pow z 4) in z 9.243 * [taylor]: Taking taylor expansion of z in z 9.255 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 6)) in z 9.255 * [taylor]: Taking taylor expansion of +nan.0 in z 9.255 * [taylor]: Taking taylor expansion of (pow z 6) in z 9.255 * [taylor]: Taking taylor expansion of z in z 9.267 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 9.267 * [approximate]: Taking taylor expansion of (* z (sqrt y)) in (y z) around 0 9.267 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in z 9.267 * [taylor]: Taking taylor expansion of z in z 9.268 * [taylor]: Taking taylor expansion of (sqrt y) in z 9.268 * [taylor]: Taking taylor expansion of y in z 9.268 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in y 9.268 * [taylor]: Taking taylor expansion of z in y 9.268 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.268 * [taylor]: Taking taylor expansion of y in y 9.269 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in y 9.269 * [taylor]: Taking taylor expansion of z in y 9.269 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.269 * [taylor]: Taking taylor expansion of y in y 9.270 * [taylor]: Taking taylor expansion of 0 in z 9.270 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z 9.270 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 9.270 * [taylor]: Taking taylor expansion of +nan.0 in z 9.270 * [taylor]: Taking taylor expansion of z in z 9.273 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z 9.273 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 9.273 * [taylor]: Taking taylor expansion of +nan.0 in z 9.273 * [taylor]: Taking taylor expansion of z in z 9.278 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z 9.278 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 9.278 * [taylor]: Taking taylor expansion of +nan.0 in z 9.278 * [taylor]: Taking taylor expansion of z in z 9.284 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z 9.284 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 9.284 * [taylor]: Taking taylor expansion of +nan.0 in z 9.284 * [taylor]: Taking taylor expansion of z in z 9.288 * [approximate]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in (y z) around 0 9.288 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in z 9.288 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.288 * [taylor]: Taking taylor expansion of z in z 9.288 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 9.288 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.288 * [taylor]: Taking taylor expansion of y in z 9.288 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in y 9.288 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.288 * [taylor]: Taking taylor expansion of z in y 9.288 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.288 * [taylor]: Taking taylor expansion of y in y 9.290 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in y 9.290 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.290 * [taylor]: Taking taylor expansion of z in y 9.290 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.290 * [taylor]: Taking taylor expansion of y in y 9.291 * [taylor]: Taking taylor expansion of 0 in z 9.291 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 9.291 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 9.291 * [taylor]: Taking taylor expansion of +nan.0 in z 9.291 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.291 * [taylor]: Taking taylor expansion of z in z 9.295 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 9.295 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 9.295 * [taylor]: Taking taylor expansion of +nan.0 in z 9.295 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.295 * [taylor]: Taking taylor expansion of z in z 9.301 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 9.301 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 9.301 * [taylor]: Taking taylor expansion of +nan.0 in z 9.301 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.301 * [taylor]: Taking taylor expansion of z in z 9.303 * [approximate]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in (y z) around 0 9.303 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in z 9.303 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 9.303 * [taylor]: Taking taylor expansion of -1 in z 9.303 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 9.303 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.303 * [taylor]: Taking taylor expansion of z in z 9.303 * [taylor]: Taking taylor expansion of y in z 9.304 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in y 9.304 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 9.304 * [taylor]: Taking taylor expansion of -1 in y 9.305 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.305 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.305 * [taylor]: Taking taylor expansion of z in y 9.305 * [taylor]: Taking taylor expansion of y in y 9.306 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in y 9.306 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 9.306 * [taylor]: Taking taylor expansion of -1 in y 9.306 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.306 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.306 * [taylor]: Taking taylor expansion of z in y 9.306 * [taylor]: Taking taylor expansion of y in y 9.307 * [taylor]: Taking taylor expansion of 0 in z 9.307 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 2)) in z 9.307 * [taylor]: Taking taylor expansion of +nan.0 in z 9.307 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.307 * [taylor]: Taking taylor expansion of z in z 9.310 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 4)) in z 9.310 * [taylor]: Taking taylor expansion of +nan.0 in z 9.310 * [taylor]: Taking taylor expansion of (pow z 4) in z 9.310 * [taylor]: Taking taylor expansion of z in z 9.318 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 6)) in z 9.318 * [taylor]: Taking taylor expansion of +nan.0 in z 9.318 * [taylor]: Taking taylor expansion of (pow z 6) in z 9.318 * [taylor]: Taking taylor expansion of z in z 9.330 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 9.331 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 9.331 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 9.331 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.331 * [taylor]: Taking taylor expansion of z in z 9.331 * [taylor]: Taking taylor expansion of y in z 9.331 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.331 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.331 * [taylor]: Taking taylor expansion of z in y 9.331 * [taylor]: Taking taylor expansion of y in y 9.331 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.331 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.331 * [taylor]: Taking taylor expansion of z in y 9.331 * [taylor]: Taking taylor expansion of y in y 9.331 * [taylor]: Taking taylor expansion of 0 in z 9.331 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.331 * [taylor]: Taking taylor expansion of z in z 9.332 * [taylor]: Taking taylor expansion of 0 in z 9.334 * [taylor]: Taking taylor expansion of 0 in z 9.337 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 9.337 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 9.337 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 9.337 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.337 * [taylor]: Taking taylor expansion of z in z 9.337 * [taylor]: Taking taylor expansion of y in z 9.337 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 9.337 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.337 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.337 * [taylor]: Taking taylor expansion of z in y 9.337 * [taylor]: Taking taylor expansion of y in y 9.338 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 9.338 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.338 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.338 * [taylor]: Taking taylor expansion of z in y 9.338 * [taylor]: Taking taylor expansion of y in y 9.339 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 9.339 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.339 * [taylor]: Taking taylor expansion of z in z 9.340 * [taylor]: Taking taylor expansion of 0 in z 9.342 * [taylor]: Taking taylor expansion of 0 in z 9.345 * [taylor]: Taking taylor expansion of 0 in z 9.348 * [taylor]: Taking taylor expansion of 0 in z 9.348 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 9.348 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 9.348 * [taylor]: Taking taylor expansion of -1 in z 9.348 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 9.348 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.348 * [taylor]: Taking taylor expansion of z in z 9.348 * [taylor]: Taking taylor expansion of y in z 9.349 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 9.349 * [taylor]: Taking taylor expansion of -1 in y 9.349 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.349 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.349 * [taylor]: Taking taylor expansion of z in y 9.349 * [taylor]: Taking taylor expansion of y in y 9.349 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 9.349 * [taylor]: Taking taylor expansion of -1 in y 9.349 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.350 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.350 * [taylor]: Taking taylor expansion of z in y 9.350 * [taylor]: Taking taylor expansion of y in y 9.350 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 9.350 * [taylor]: Taking taylor expansion of -1 in z 9.350 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.350 * [taylor]: Taking taylor expansion of z in z 9.352 * [taylor]: Taking taylor expansion of 0 in z 9.354 * [taylor]: Taking taylor expansion of 0 in z 9.357 * [taylor]: Taking taylor expansion of 0 in z 9.360 * [taylor]: Taking taylor expansion of 0 in z 9.360 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 9.360 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 9.360 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 9.360 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.360 * [taylor]: Taking taylor expansion of z in z 9.360 * [taylor]: Taking taylor expansion of y in z 9.360 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.361 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.361 * [taylor]: Taking taylor expansion of z in y 9.361 * [taylor]: Taking taylor expansion of y in y 9.361 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.361 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.361 * [taylor]: Taking taylor expansion of z in y 9.361 * [taylor]: Taking taylor expansion of y in y 9.361 * [taylor]: Taking taylor expansion of 0 in z 9.361 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.361 * [taylor]: Taking taylor expansion of z in z 9.362 * [taylor]: Taking taylor expansion of 0 in z 9.364 * [taylor]: Taking taylor expansion of 0 in z 9.364 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 9.364 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 9.364 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 9.364 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.364 * [taylor]: Taking taylor expansion of z in z 9.364 * [taylor]: Taking taylor expansion of y in z 9.364 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 9.364 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.364 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.364 * [taylor]: Taking taylor expansion of z in y 9.364 * [taylor]: Taking taylor expansion of y in y 9.365 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 9.365 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.365 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.365 * [taylor]: Taking taylor expansion of z in y 9.365 * [taylor]: Taking taylor expansion of y in y 9.366 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 9.366 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.366 * [taylor]: Taking taylor expansion of z in z 9.367 * [taylor]: Taking taylor expansion of 0 in z 9.369 * [taylor]: Taking taylor expansion of 0 in z 9.372 * [taylor]: Taking taylor expansion of 0 in z 9.375 * [taylor]: Taking taylor expansion of 0 in z 9.375 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 9.375 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 9.375 * [taylor]: Taking taylor expansion of -1 in z 9.375 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 9.375 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.375 * [taylor]: Taking taylor expansion of z in z 9.375 * [taylor]: Taking taylor expansion of y in z 9.376 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 9.376 * [taylor]: Taking taylor expansion of -1 in y 9.376 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.376 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.376 * [taylor]: Taking taylor expansion of z in y 9.376 * [taylor]: Taking taylor expansion of y in y 9.376 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 9.376 * [taylor]: Taking taylor expansion of -1 in y 9.376 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 9.376 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.376 * [taylor]: Taking taylor expansion of z in y 9.376 * [taylor]: Taking taylor expansion of y in y 9.377 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 9.377 * [taylor]: Taking taylor expansion of -1 in z 9.377 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.377 * [taylor]: Taking taylor expansion of z in z 9.379 * [taylor]: Taking taylor expansion of 0 in z 9.381 * [taylor]: Taking taylor expansion of 0 in z 9.383 * [taylor]: Taking taylor expansion of 0 in z 9.387 * [taylor]: Taking taylor expansion of 0 in z 9.387 * * * [progress]: simplifying candidates 9.388 * [simplify]: Simplifying using # : (expm1 (sqrt (* y (* z z)))) (log1p (sqrt (* y (* z z)))) (log (sqrt (* y (* z z)))) (exp (sqrt (* y (* z z)))) (* (cbrt (sqrt (* y (* z z)))) (cbrt (sqrt (* y (* z z))))) (cbrt (sqrt (* y (* z z)))) (* (* (sqrt (* y (* z z))) (sqrt (* y (* z z)))) (sqrt (* y (* z z)))) (sqrt y) (sqrt (* z z)) (/ 1 2) (/ 1 2) (/ 1 2) (sqrt (sqrt (* y (* z z)))) (sqrt (sqrt (* y (* z z)))) (expm1 (sqrt (* y (* z z)))) (log1p (sqrt (* y (* z z)))) (log (sqrt (* y (* z z)))) (exp (sqrt (* y (* z z)))) (* (cbrt (sqrt (* y (* z z)))) (cbrt (sqrt (* y (* z z))))) (cbrt (sqrt (* y (* z z)))) (* (* (sqrt (* y (* z z))) (sqrt (* y (* z z)))) (sqrt (* y (* z z)))) (sqrt y) (sqrt (* z z)) (/ 1 2) (/ 1 2) (/ 1 2) (sqrt (sqrt (* y (* z z)))) (sqrt (sqrt (* y (* z z)))) (expm1 (* y (* z z))) (log1p (* y (* z z))) (* y (* z z)) (* y (* z z)) (+ (log y) (+ (log z) (log z))) (+ (log y) (log (* z z))) (log (* y (* z z))) (exp (* y (* z z))) (* (* (* y y) y) (* (* (* z z) z) (* (* z z) z))) (* (* (* y y) y) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (* (* (* y (* z z)) (* y (* z z))) (* y (* z z))) (sqrt (* y (* z z))) (sqrt (* y (* z z))) (* (sqrt y) z) (* (sqrt y) z) (* y z) (* (cbrt y) (* z z)) (* (sqrt y) (* z z)) (* y (* z z)) (expm1 (* y (* z z))) (log1p (* y (* z z))) (* y (* z z)) (* y (* z z)) (+ (log y) (+ (log z) (log z))) (+ (log y) (log (* z z))) (log (* y (* z z))) (exp (* y (* z z))) (* (* (* y y) y) (* (* (* z z) z) (* (* z z) z))) (* (* (* y y) y) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (* (* (* y (* z z)) (* y (* z z))) (* y (* z z))) (sqrt (* y (* z z))) (sqrt (* y (* z z))) (* (sqrt y) z) (* (sqrt y) z) (* y z) (* (cbrt y) (* z z)) (* (sqrt y) (* z z)) (* y (* z z)) (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (* z (pow y 3))) (- (* +nan.0 (* z (pow y 2)))))))) (- (+ (* +nan.0 (/ z (pow y 2))) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y))))))) 0 (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (* z (pow y 3))) (- (* +nan.0 (* z (pow y 2)))))))) (- (+ (* +nan.0 (/ z (pow y 2))) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y))))))) 0 (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) 9.391 * * [simplify]: iteration 0 : 74 enodes (cost 636 ) 9.403 * * [simplify]: iteration 1 : 175 enodes (cost 582 ) 9.441 * * [simplify]: iteration 2 : 557 enodes (cost 510 ) 9.929 * * [simplify]: iteration 3 : 2281 enodes (cost 498 ) 11.451 * * [simplify]: iteration done : 5001 enodes (cost 494 ) 11.451 * [simplify]: Simplified to: (expm1 (sqrt (* y (* z z)))) (log1p (sqrt (* y (* z z)))) (log (sqrt (* y (* z z)))) (exp (sqrt (* y (* z z)))) (* (cbrt (sqrt (* y (* z z)))) (cbrt (sqrt (* y (* z z))))) (cbrt (sqrt (* y (* z z)))) (pow (sqrt (* y (* z z))) 3) (sqrt y) (fabs z) 1/2 1/2 1/2 (sqrt (sqrt (* y (* z z)))) (sqrt (sqrt (* y (* z z)))) (expm1 (sqrt (* y (* z z)))) (log1p (sqrt (* y (* z z)))) (log (sqrt (* y (* z z)))) (exp (sqrt (* y (* z z)))) (* (cbrt (sqrt (* y (* z z)))) (cbrt (sqrt (* y (* z z))))) (cbrt (sqrt (* y (* z z)))) (pow (sqrt (* y (* z z))) 3) (sqrt y) (fabs z) 1/2 1/2 1/2 (sqrt (sqrt (* y (* z z)))) (sqrt (sqrt (* y (* z z)))) (expm1 (* y (* z z))) (log1p (* y (* z z))) (* (* z y) z) (* (* z y) z) (log (* (* y z) z)) (log (* (* y z) z)) (log (* (* y z) z)) (exp (* y (* z z))) (pow (* (* y z) z) 3) (pow (* (* y z) z) 3) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (pow (* (* y z) z) 3) (sqrt (* y (* z z))) (sqrt (* y (* z z))) (* (sqrt y) z) (* (sqrt y) z) (* z y) (* (cbrt y) (* z z)) (* (sqrt y) (pow z 2)) (* (* z y) z) (expm1 (* y (* z z))) (log1p (* y (* z z))) (* (* z y) z) (* (* z y) z) (log (* (* y z) z)) (log (* (* y z) z)) (log (* (* y z) z)) (exp (* y (* z z))) (pow (* (* y z) z) 3) (pow (* (* y z) z) 3) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (pow (* (* y z) z) 3) (sqrt (* y (* z z))) (sqrt (* y (* z z))) (* (sqrt y) z) (* (sqrt y) z) (* z y) (* (cbrt y) (* z z)) (* (sqrt y) (pow z 2)) (* (* z y) z) (* (- (- (pow y 3) (* y y)) y) (* +nan.0 z)) (- (* +nan.0 z) (* (/ z y) (+ +nan.0 (/ +nan.0 y)))) 0 (* (- (- (pow y 3) (* y y)) y) (* +nan.0 z)) (- (* +nan.0 z) (* (/ z y) (+ +nan.0 (/ +nan.0 y)))) 0 (* (* z y) z) (* (* z y) z) (* (* z y) z) (* (* z y) z) (* (* z y) z) (* (* z y) z) 11.452 * * * [progress]: adding candidates to table 11.642 * * [progress]: iteration 4 / 4 11.642 * * * [progress]: picking best candidate 11.645 * * * * [pick]: Picked # 11.645 * * * [progress]: localizing error 11.655 * * * [progress]: generating rewritten candidates 11.656 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 11.661 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 11.676 * * * [progress]: generating series expansions 11.676 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 11.676 * [approximate]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in (z y) around 0 11.676 * [taylor]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in y 11.676 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in y 11.676 * [taylor]: Taking taylor expansion of (pow z 3) in y 11.676 * [taylor]: Taking taylor expansion of z in y 11.677 * [taylor]: Taking taylor expansion of y in y 11.677 * [taylor]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in z 11.677 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in z 11.677 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.677 * [taylor]: Taking taylor expansion of z in z 11.679 * [taylor]: Taking taylor expansion of y in z 11.679 * [taylor]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in z 11.679 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in z 11.679 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.679 * [taylor]: Taking taylor expansion of z in z 11.681 * [taylor]: Taking taylor expansion of y in z 11.681 * [taylor]: Taking taylor expansion of 0 in y 11.681 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y 11.681 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 11.681 * [taylor]: Taking taylor expansion of +nan.0 in y 11.681 * [taylor]: Taking taylor expansion of y in y 11.685 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y 11.685 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 11.685 * [taylor]: Taking taylor expansion of +nan.0 in y 11.685 * [taylor]: Taking taylor expansion of y in y 11.691 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y 11.691 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 11.691 * [taylor]: Taking taylor expansion of +nan.0 in y 11.691 * [taylor]: Taking taylor expansion of y in y 11.699 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y 11.700 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 11.700 * [taylor]: Taking taylor expansion of +nan.0 in y 11.700 * [taylor]: Taking taylor expansion of y in y 11.703 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in (z y) around 0 11.703 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in y 11.703 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in y 11.703 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 11.703 * [taylor]: Taking taylor expansion of (pow z 3) in y 11.703 * [taylor]: Taking taylor expansion of z in y 11.704 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.704 * [taylor]: Taking taylor expansion of y in y 11.704 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in z 11.704 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in z 11.704 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 11.704 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.704 * [taylor]: Taking taylor expansion of z in z 11.706 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.706 * [taylor]: Taking taylor expansion of y in z 11.706 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in z 11.706 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in z 11.706 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 11.706 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.706 * [taylor]: Taking taylor expansion of z in z 11.708 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.708 * [taylor]: Taking taylor expansion of y in z 11.708 * [taylor]: Taking taylor expansion of 0 in y 11.708 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.708 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.708 * [taylor]: Taking taylor expansion of +nan.0 in y 11.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.708 * [taylor]: Taking taylor expansion of y in y 11.713 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.713 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.713 * [taylor]: Taking taylor expansion of +nan.0 in y 11.713 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.713 * [taylor]: Taking taylor expansion of y in y 11.720 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.720 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.720 * [taylor]: Taking taylor expansion of +nan.0 in y 11.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.720 * [taylor]: Taking taylor expansion of y in y 11.723 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in (z y) around 0 11.723 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in y 11.723 * [taylor]: Taking taylor expansion of -1 in y 11.723 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y)) in y 11.723 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in y 11.723 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y 11.723 * [taylor]: Taking taylor expansion of (pow -1 3) in y 11.723 * [taylor]: Taking taylor expansion of -1 in y 11.723 * [taylor]: Taking taylor expansion of (pow z 3) in y 11.723 * [taylor]: Taking taylor expansion of z in y 11.725 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.725 * [taylor]: Taking taylor expansion of y in y 11.725 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in z 11.725 * [taylor]: Taking taylor expansion of -1 in z 11.725 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y)) in z 11.725 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in z 11.725 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z 11.725 * [taylor]: Taking taylor expansion of (pow -1 3) in z 11.725 * [taylor]: Taking taylor expansion of -1 in z 11.725 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.725 * [taylor]: Taking taylor expansion of z in z 11.727 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.727 * [taylor]: Taking taylor expansion of y in z 11.727 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in z 11.727 * [taylor]: Taking taylor expansion of -1 in z 11.728 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y)) in z 11.728 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in z 11.728 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z 11.728 * [taylor]: Taking taylor expansion of (pow -1 3) in z 11.728 * [taylor]: Taking taylor expansion of -1 in z 11.728 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.728 * [taylor]: Taking taylor expansion of z in z 11.730 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.730 * [taylor]: Taking taylor expansion of y in z 11.730 * [taylor]: Taking taylor expansion of 0 in y 11.731 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.731 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.731 * [taylor]: Taking taylor expansion of +nan.0 in y 11.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.731 * [taylor]: Taking taylor expansion of y in y 11.737 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.737 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.737 * [taylor]: Taking taylor expansion of +nan.0 in y 11.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.737 * [taylor]: Taking taylor expansion of y in y 11.745 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.745 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.745 * [taylor]: Taking taylor expansion of +nan.0 in y 11.745 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.745 * [taylor]: Taking taylor expansion of y in y 11.747 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 11.748 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (z y) around 0 11.748 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 11.748 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.748 * [taylor]: Taking taylor expansion of z in y 11.748 * [taylor]: Taking taylor expansion of y in y 11.748 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 11.748 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.748 * [taylor]: Taking taylor expansion of z in z 11.748 * [taylor]: Taking taylor expansion of y in z 11.748 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 11.748 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.748 * [taylor]: Taking taylor expansion of z in z 11.748 * [taylor]: Taking taylor expansion of y in z 11.748 * [taylor]: Taking taylor expansion of y in y 11.749 * [taylor]: Taking taylor expansion of 0 in y 11.750 * [taylor]: Taking taylor expansion of 0 in y 11.755 * [taylor]: Taking taylor expansion of 0 in y 11.755 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (z y) around 0 11.755 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 11.755 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 11.755 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.755 * [taylor]: Taking taylor expansion of z in y 11.755 * [taylor]: Taking taylor expansion of y in y 11.756 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 11.756 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 11.756 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.756 * [taylor]: Taking taylor expansion of z in z 11.756 * [taylor]: Taking taylor expansion of y in z 11.756 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 11.756 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 11.756 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.756 * [taylor]: Taking taylor expansion of z in z 11.757 * [taylor]: Taking taylor expansion of y in z 11.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.757 * [taylor]: Taking taylor expansion of y in y 11.758 * [taylor]: Taking taylor expansion of 0 in y 11.760 * [taylor]: Taking taylor expansion of 0 in y 11.762 * [taylor]: Taking taylor expansion of 0 in y 11.763 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in (z y) around 0 11.763 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in y 11.763 * [taylor]: Taking taylor expansion of -1 in y 11.763 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y) in y 11.763 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) in y 11.763 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 11.763 * [taylor]: Taking taylor expansion of (/ -1 z) in y 11.763 * [taylor]: Taking taylor expansion of -1 in y 11.763 * [taylor]: Taking taylor expansion of z in y 11.763 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in y 11.763 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y 11.763 * [taylor]: Taking taylor expansion of (pow -1 3) in y 11.763 * [taylor]: Taking taylor expansion of -1 in y 11.763 * [taylor]: Taking taylor expansion of (pow z 3) in y 11.763 * [taylor]: Taking taylor expansion of z in y 11.765 * [taylor]: Taking taylor expansion of y in y 11.766 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in z 11.766 * [taylor]: Taking taylor expansion of -1 in z 11.766 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y) in z 11.766 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) in z 11.766 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 11.766 * [taylor]: Taking taylor expansion of (/ -1 z) in z 11.766 * [taylor]: Taking taylor expansion of -1 in z 11.766 * [taylor]: Taking taylor expansion of z in z 11.767 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in z 11.767 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z 11.767 * [taylor]: Taking taylor expansion of (pow -1 3) in z 11.767 * [taylor]: Taking taylor expansion of -1 in z 11.767 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.767 * [taylor]: Taking taylor expansion of z in z 11.770 * [taylor]: Taking taylor expansion of y in z 11.778 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in z 11.778 * [taylor]: Taking taylor expansion of -1 in z 11.778 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y) in z 11.778 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) in z 11.778 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 11.778 * [taylor]: Taking taylor expansion of (/ -1 z) in z 11.778 * [taylor]: Taking taylor expansion of -1 in z 11.778 * [taylor]: Taking taylor expansion of z in z 11.780 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in z 11.780 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z 11.780 * [taylor]: Taking taylor expansion of (pow -1 3) in z 11.780 * [taylor]: Taking taylor expansion of -1 in z 11.780 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.780 * [taylor]: Taking taylor expansion of z in z 11.782 * [taylor]: Taking taylor expansion of y in z 11.790 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y 11.790 * [taylor]: Taking taylor expansion of +nan.0 in y 11.790 * [taylor]: Taking taylor expansion of y in y 11.802 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.802 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.802 * [taylor]: Taking taylor expansion of +nan.0 in y 11.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.802 * [taylor]: Taking taylor expansion of y in y 11.816 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.816 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.816 * [taylor]: Taking taylor expansion of +nan.0 in y 11.816 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.816 * [taylor]: Taking taylor expansion of y in y 11.818 * * * [progress]: simplifying candidates 11.819 * [simplify]: Simplifying using # : (expm1 (* (pow z 3/2) y)) (log1p (* (pow z 3/2) y)) (+ (* (log z) 3/2) (log y)) (+ (* (log z) 3/2) (log y)) (+ (log (pow z 3/2)) (log y)) (log (* (pow z 3/2) y)) (exp (* (pow z 3/2) y)) (* (* (* (pow z 3/2) (pow z 3/2)) (pow z 3/2)) (* (* y y) y)) (* (cbrt (* (pow z 3/2) y)) (cbrt (* (pow z 3/2) y))) (cbrt (* (pow z 3/2) y)) (* (* (* (pow z 3/2) y) (* (pow z 3/2) y)) (* (pow z 3/2) y)) (sqrt (* (pow z 3/2) y)) (sqrt (* (pow z 3/2) y)) (* (pow (sqrt z) 3/2) (sqrt y)) (* (pow (sqrt z) 3/2) (sqrt y)) (* (sqrt (pow z 3/2)) (sqrt y)) (* (sqrt (pow z 3/2)) (sqrt y)) (* (pow z (/ 3/2 2)) (sqrt y)) (* (pow z (/ 3/2 2)) (sqrt y)) (* (pow z 3/2) (* (cbrt y) (cbrt y))) (* (pow z 3/2) (sqrt y)) (* (pow z 3/2) 1) (* (pow (cbrt z) 3/2) y) (* (pow (sqrt z) 3/2) y) (* (pow z 3/2) y) (* (cbrt (pow z 3/2)) y) (* (sqrt (pow z 3/2)) y) (* (pow z 3/2) y) (* (pow z (/ 3/2 2)) y) (expm1 (* (* (pow z 3/2) y) (sqrt z))) (log1p (* (* (pow z 3/2) y) (sqrt z))) (* (* (pow z 3/2) y) (sqrt z)) (+ (+ (* (log z) 3/2) (log y)) (log (sqrt z))) (+ (+ (* (log z) 3/2) (log y)) (log (sqrt z))) (+ (+ (log (pow z 3/2)) (log y)) (log (sqrt z))) (+ (log (* (pow z 3/2) y)) (log (sqrt z))) (log (* (* (pow z 3/2) y) (sqrt z))) (exp (* (* (pow z 3/2) y) (sqrt z))) (* (* (* (* (pow z 3/2) (pow z 3/2)) (pow z 3/2)) (* (* y y) y)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (pow z 3/2) y) (* (pow z 3/2) y)) (* (pow z 3/2) y)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (* (pow z 3/2) y) (sqrt z))) (cbrt (* (* (pow z 3/2) y) (sqrt z)))) (cbrt (* (* (pow z 3/2) y) (sqrt z))) (* (* (* (* (pow z 3/2) y) (sqrt z)) (* (* (pow z 3/2) y) (sqrt z))) (* (* (pow z 3/2) y) (sqrt z))) (sqrt (* (* (pow z 3/2) y) (sqrt z))) (sqrt (* (* (pow z 3/2) y) (sqrt z))) (* (* (pow z 3/2) y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (* (pow z 3/2) y) (sqrt (* (cbrt z) (cbrt z)))) (* (* (pow z 3/2) y) (sqrt (sqrt z))) (* (* (pow z 3/2) y) (sqrt 1)) (* (* (pow z 3/2) y) (sqrt (sqrt z))) (* (* (pow z 3/2) y) 1) (* y (sqrt z)) (- (+ (* +nan.0 (* (pow z 4) y)) (- (+ (* +nan.0 (* (pow z 2) y)) (- (* +nan.0 (* (pow z 3) y))))))) (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) (* (pow z 2) y) (* (pow z 2) y) (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 11.822 * * [simplify]: iteration 0 : 106 enodes (cost 578 ) 11.848 * * [simplify]: iteration 1 : 264 enodes (cost 514 ) 11.947 * * [simplify]: iteration 2 : 877 enodes (cost 468 ) 13.263 * * [simplify]: iteration 3 : 4069 enodes (cost 458 ) 14.907 * * [simplify]: iteration done : 5000 enodes (cost 454 ) 14.907 * [simplify]: Simplified to: (expm1 (* (pow z 3/2) y)) (log1p (* (pow z 3/2) y)) (log (* (pow z 3/2) y)) (log (* (pow z 3/2) y)) (log (* (pow z 3/2) y)) (log (* (pow z 3/2) y)) (exp (* (pow z 3/2) y)) (pow (* (pow z 3/2) y) 3) (* (cbrt (* (pow z 3/2) y)) (cbrt (* (pow z 3/2) y))) (cbrt (* (pow z 3/2) y)) (pow (* (pow z 3/2) y) 3) (sqrt (* (pow z 3/2) y)) (sqrt (* (pow z 3/2) y)) (* (pow (sqrt z) 3/2) (sqrt y)) (* (pow (sqrt z) 3/2) (sqrt y)) (* (sqrt (pow z 3/2)) (sqrt y)) (* (sqrt (pow z 3/2)) (sqrt y)) (* (pow z 3/4) (sqrt y)) (* (pow z 3/4) (sqrt y)) (* (pow z 3/2) (* (cbrt y) (cbrt y))) (* (pow z 3/2) (sqrt y)) (pow z 3/2) (* (pow (cbrt z) 3/2) y) (* (pow (sqrt z) 3/2) y) (* (pow z 3/2) y) (* (cbrt (pow z 3/2)) y) (* (sqrt (pow z 3/2)) y) (* (pow z 3/2) y) (* (pow z 3/4) y) (expm1 (* (* (pow z 3/2) y) (sqrt z))) (log1p (* (* (pow z 3/2) y) (sqrt z))) (* (* (pow z 3/2) y) (sqrt z)) (log (* (* (pow z 3/2) y) (sqrt z))) (log (* (* (pow z 3/2) y) (sqrt z))) (log (* (* (pow z 3/2) y) (sqrt z))) (log (* (* (pow z 3/2) y) (sqrt z))) (log (* (* (pow z 3/2) y) (sqrt z))) (exp (* (* (pow z 3/2) y) (sqrt z))) (pow (* (* (pow z 3/2) y) (sqrt z)) 3) (pow (* (* (pow z 3/2) y) (sqrt z)) 3) (* (cbrt (* (* (pow z 3/2) y) (sqrt z))) (cbrt (* (* (pow z 3/2) y) (sqrt z)))) (cbrt (* (* (pow z 3/2) y) (sqrt z))) (pow (* (* (pow z 3/2) y) (sqrt z)) 3) (sqrt (* (* (pow z 3/2) y) (sqrt z))) (sqrt (* (* (pow z 3/2) y) (sqrt z))) (* (* (pow z 3/2) y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (pow z 3/2) (* y (fabs (cbrt z)))) (* (* (pow z 3/2) y) (sqrt (sqrt z))) (* (pow z 3/2) y) (* (* (pow z 3/2) y) (sqrt (sqrt z))) (* (pow z 3/2) y) (* y (sqrt z)) (* (- (* (* z y) (- z (pow z 2))) (* (pow z 4) y)) +nan.0) (* +nan.0 (- (- (/ y z) y) (* z y))) (* +nan.0 (- (- (/ y z) y) (* z y))) (* y (pow z 2)) (* y (pow z 2)) (* +nan.0 (- (- (/ y z) y) (* z y))) 14.908 * * * [progress]: adding candidates to table 15.032 * [progress]: [Phase 3 of 3] Extracting. 15.033 * * [regime]: Finding splitpoints for: (# # # # #) 15.034 * * * [regime-changes]: Trying 5 branch expressions: ((* (* y z) z) (+ x (* (* y z) z)) z y x) 15.035 * * * * [regimes]: Trying to branch on (* (* y z) z) from (# # # # #) 15.057 * * * * [regimes]: Trying to branch on (+ x (* (* y z) z)) from (# # # # #) 15.083 * * * * [regimes]: Trying to branch on z from (# # # # #) 15.104 * * * * [regimes]: Trying to branch on y from (# # # # #) 15.129 * * * * [regimes]: Trying to branch on x from (# # # # #) 15.151 * * * [regime]: Found split indices: #