20.156 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.026 * [simplify]: Simplifying: (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)) 0.026 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.026 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.026 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.026 * * [simplify]: Extracting # 3 : cost 4 inf + 42 0.026 * * [simplify]: Extracting # 4 : cost 6 inf + 42 0.026 * * [simplify]: Extracting # 5 : cost 4 inf + 44 0.027 * * [simplify]: Extracting # 6 : cost 0 inf + 575 0.027 * * [simplify]: iteration 0 : 8 enodes (cost 203 ) 0.028 * * [simplify]: Extracting # 0 : cost 0 inf + 575 0.028 * * [simplify]: Extracting # 1 : cost 1 inf + 575 0.028 * * [simplify]: Extracting # 2 : cost 0 inf + 656 0.028 * * [simplify]: iteration 1 : 15 enodes (cost 203 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 inf + 656 0.031 * * [simplify]: Extracting # 1 : cost 4 inf + 656 0.031 * * [simplify]: Extracting # 2 : cost 0 inf + 940 0.031 * * [simplify]: iteration 2 : 25 enodes (cost 203 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 inf + 940 0.036 * * [simplify]: Extracting # 1 : cost 3 inf + 940 0.037 * * [simplify]: Extracting # 2 : cost 0 inf + 1103 0.037 * * [simplify]: Extracting # 3 : cost 0 inf + 986 0.037 * * [simplify]: iteration 3 : 37 enodes (cost 164 ) 0.043 * * [simplify]: Extracting # 0 : cost 0 inf + 986 0.043 * * [simplify]: Extracting # 1 : cost 0 inf + 908 0.043 * * [simplify]: iteration 4 : 44 enodes (cost 164 ) 0.049 * * [simplify]: Extracting # 0 : cost 0 inf + 908 0.049 * * [simplify]: iteration 5 : 47 enodes (cost 164 ) 0.055 * * [simplify]: Extracting # 0 : cost 0 inf + 908 0.055 * * [simplify]: iteration complete: 47 enodes (cost 164 ) 0.055 * [simplify]: Simplified to: (+ (* 3 (* z z)) (* x y)) 0.059 * * [progress]: iteration 1 / 4 0.059 * * * [progress]: picking best candidate 0.073 * * * * [pick]: Picked # 0.073 * * * [progress]: localizing error 0.083 * * * [progress]: generating rewritten candidates 0.083 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.097 * * * [progress]: generating series expansions 0.097 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.097 * [backup-simplify]: Simplify (* 3 (* z z)) into (* 3 (pow z 2)) 0.097 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0 0.097 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.097 * [taylor]: Taking taylor expansion of 3 in z 0.097 * [backup-simplify]: Simplify 3 into 3 0.097 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 1 into 1 0.097 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.097 * [taylor]: Taking taylor expansion of 3 in z 0.097 * [backup-simplify]: Simplify 3 into 3 0.097 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 1 into 1 0.098 * [backup-simplify]: Simplify (* 1 1) into 1 0.098 * [backup-simplify]: Simplify (* 3 1) into 3 0.098 * [backup-simplify]: Simplify 3 into 3 0.099 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.099 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.099 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.100 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.100 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.101 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.102 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.103 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.103 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.105 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.105 * [backup-simplify]: Simplify 0 into 0 0.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.106 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.106 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 0.107 * [backup-simplify]: Simplify (* 3 (* (/ 1 z) (/ 1 z))) into (/ 3 (pow z 2)) 0.107 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 0.107 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.107 * [taylor]: Taking taylor expansion of 3 in z 0.107 * [backup-simplify]: Simplify 3 into 3 0.107 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.107 * [taylor]: Taking taylor expansion of z in z 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify 1 into 1 0.107 * [backup-simplify]: Simplify (* 1 1) into 1 0.107 * [backup-simplify]: Simplify (/ 3 1) into 3 0.107 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.107 * [taylor]: Taking taylor expansion of 3 in z 0.107 * [backup-simplify]: Simplify 3 into 3 0.107 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.107 * [taylor]: Taking taylor expansion of z in z 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify 1 into 1 0.108 * [backup-simplify]: Simplify (* 1 1) into 1 0.108 * [backup-simplify]: Simplify (/ 3 1) into 3 0.108 * [backup-simplify]: Simplify 3 into 3 0.108 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.109 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.111 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.111 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.114 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.116 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2)) 0.116 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- z)) (/ 1 (- z)))) into (/ 3 (pow z 2)) 0.116 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 0.116 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.116 * [taylor]: Taking taylor expansion of 3 in z 0.116 * [backup-simplify]: Simplify 3 into 3 0.116 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.116 * [taylor]: Taking taylor expansion of z in z 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 1 into 1 0.116 * [backup-simplify]: Simplify (* 1 1) into 1 0.117 * [backup-simplify]: Simplify (/ 3 1) into 3 0.117 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.117 * [taylor]: Taking taylor expansion of 3 in z 0.117 * [backup-simplify]: Simplify 3 into 3 0.117 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.117 * [taylor]: Taking taylor expansion of z in z 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 1 into 1 0.117 * [backup-simplify]: Simplify (* 1 1) into 1 0.117 * [backup-simplify]: Simplify (/ 3 1) into 3 0.117 * [backup-simplify]: Simplify 3 into 3 0.118 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 0.118 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.119 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.121 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.122 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.122 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.123 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.125 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2)) 0.125 * * * [progress]: simplifying candidates 0.125 * [simplify]: Simplifying: (* 3 (* z z)) (* 3 (* z z)) (+ (log 3) (+ (log z) (log z))) (+ (log 3) (log (* z z))) (log (* 3 (* z z))) (exp (* 3 (* z z))) (* (* (* 3 3) 3) (* (* (* z z) z) (* (* z z) z))) (* (* (* 3 3) 3) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z)))) (cbrt (* 3 (* z z))) (* (* (* 3 (* z z)) (* 3 (* z z))) (* 3 (* z z))) (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))) (* (sqrt 3) z) (* (sqrt 3) z) (* 3 z) (* (cbrt 3) (* z z)) (* (sqrt 3) (* z z)) (* 3 (* z z)) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) 0.126 * * [simplify]: Extracting # 0 : cost 16 inf + 0 0.126 * * [simplify]: Extracting # 1 : cost 29 inf + 0 0.126 * * [simplify]: Extracting # 2 : cost 29 inf + 195 0.126 * * [simplify]: Extracting # 3 : cost 9 inf + 2306 0.126 * * [simplify]: Extracting # 4 : cost 1 inf + 3771 0.127 * * [simplify]: Extracting # 5 : cost 0 inf + 4013 0.127 * * [simplify]: iteration 0 : 34 enodes (cost 3497 ) 0.136 * * [simplify]: Extracting # 0 : cost 0 inf + 4013 0.137 * * [simplify]: Extracting # 1 : cost 19 inf + 3411 0.138 * * [simplify]: Extracting # 2 : cost 4 inf + 5044 0.138 * * [simplify]: Extracting # 3 : cost 0 inf + 5421 0.139 * * [simplify]: iteration 1 : 90 enodes (cost 2684 ) 0.192 * * [simplify]: Extracting # 0 : cost 0 inf + 5421 0.195 * * [simplify]: Extracting # 1 : cost 60 inf + 5130 0.198 * * [simplify]: Extracting # 2 : cost 11 inf + 10126 0.203 * * [simplify]: Extracting # 3 : cost 1 inf + 10935 0.208 * * [simplify]: Extracting # 4 : cost 0 inf + 11298 0.213 * * [simplify]: iteration 2 : 279 enodes (cost 2684 ) 0.518 * * [simplify]: Extracting # 0 : cost 0 inf + 11298 0.529 * * [simplify]: Extracting # 1 : cost 262 inf + 11058 0.552 * * [simplify]: Extracting # 2 : cost 17 inf + 37704 0.581 * * [simplify]: Extracting # 3 : cost 2 inf + 38575 0.611 * * [simplify]: Extracting # 4 : cost 0 inf + 39190 0.629 * * [simplify]: iteration 3 : 1313 enodes (cost 2684 ) 1.267 * * [simplify]: Extracting # 0 : cost 0 inf + 39190 1.308 * * [simplify]: Extracting # 1 : cost 1772 inf + 37527 1.382 * * [simplify]: Extracting # 2 : cost 25 inf + 247503 1.489 * * [simplify]: Extracting # 3 : cost 7 inf + 249934 1.620 * * [simplify]: Extracting # 4 : cost 0 inf + 252194 1.736 * * [simplify]: iteration complete: 5009 enodes (cost 2684 ) 1.736 * [simplify]: Simplified to: (* (* 3 z) z) (* (* 3 z) z) (log (* 3 (* z z))) (log (* 3 (* z z))) (log (* 3 (* z z))) (exp (* 3 (* z z))) (* (* (* 3 (* z z)) (* 3 (* z z))) (* 3 (* z z))) (* (* (* 3 (* z z)) (* 3 (* z z))) (* 3 (* z z))) (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z)))) (cbrt (* 3 (* z z))) (* (* (* 3 (* z z)) (* 3 (* z z))) (* 3 (* z z))) (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))) (* (sqrt 3) z) (* (sqrt 3) z) (* 3 z) (* (cbrt 3) (* z z)) (* (sqrt 3) (* z z)) (* (* 3 z) z) (* (* 3 z) z) (* (* 3 z) z) (* (* 3 z) z) 1.737 * * * [progress]: adding candidates to table 1.814 * * [progress]: iteration 2 / 4 1.814 * * * [progress]: picking best candidate 1.852 * * * * [pick]: Picked # 1.853 * * * [progress]: localizing error 1.876 * * * [progress]: generating rewritten candidates 1.876 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1.894 * * * [progress]: generating series expansions 1.894 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1.894 * [backup-simplify]: Simplify (* (* 3 z) z) into (* 3 (pow z 2)) 1.894 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0 1.894 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 1.894 * [taylor]: Taking taylor expansion of 3 in z 1.894 * [backup-simplify]: Simplify 3 into 3 1.894 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.894 * [taylor]: Taking taylor expansion of z in z 1.894 * [backup-simplify]: Simplify 0 into 0 1.894 * [backup-simplify]: Simplify 1 into 1 1.894 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 1.894 * [taylor]: Taking taylor expansion of 3 in z 1.894 * [backup-simplify]: Simplify 3 into 3 1.894 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.895 * [backup-simplify]: Simplify 0 into 0 1.895 * [backup-simplify]: Simplify 1 into 1 1.895 * [backup-simplify]: Simplify (* 1 1) into 1 1.896 * [backup-simplify]: Simplify (* 3 1) into 3 1.896 * [backup-simplify]: Simplify 3 into 3 1.896 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.897 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 1.897 * [backup-simplify]: Simplify 0 into 0 1.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.898 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 1.898 * [backup-simplify]: Simplify 0 into 0 1.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.899 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.899 * [backup-simplify]: Simplify 0 into 0 1.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.901 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.901 * [backup-simplify]: Simplify 0 into 0 1.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.903 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.903 * [backup-simplify]: Simplify 0 into 0 1.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.905 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.905 * [backup-simplify]: Simplify 0 into 0 1.905 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 1.905 * [backup-simplify]: Simplify (* (* 3 (/ 1 z)) (/ 1 z)) into (/ 3 (pow z 2)) 1.905 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 1.905 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 1.905 * [taylor]: Taking taylor expansion of 3 in z 1.905 * [backup-simplify]: Simplify 3 into 3 1.905 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.905 * [taylor]: Taking taylor expansion of z in z 1.905 * [backup-simplify]: Simplify 0 into 0 1.905 * [backup-simplify]: Simplify 1 into 1 1.905 * [backup-simplify]: Simplify (* 1 1) into 1 1.905 * [backup-simplify]: Simplify (/ 3 1) into 3 1.905 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 1.906 * [taylor]: Taking taylor expansion of 3 in z 1.906 * [backup-simplify]: Simplify 3 into 3 1.906 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.906 * [taylor]: Taking taylor expansion of z in z 1.906 * [backup-simplify]: Simplify 0 into 0 1.906 * [backup-simplify]: Simplify 1 into 1 1.906 * [backup-simplify]: Simplify (* 1 1) into 1 1.906 * [backup-simplify]: Simplify (/ 3 1) into 3 1.906 * [backup-simplify]: Simplify 3 into 3 1.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 1.907 * [backup-simplify]: Simplify 0 into 0 1.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.908 * [backup-simplify]: Simplify 0 into 0 1.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.909 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.909 * [backup-simplify]: Simplify 0 into 0 1.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.911 * [backup-simplify]: Simplify 0 into 0 1.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.912 * [backup-simplify]: Simplify 0 into 0 1.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.914 * [backup-simplify]: Simplify 0 into 0 1.914 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2)) 1.914 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- z))) (/ 1 (- z))) into (/ 3 (pow z 2)) 1.914 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 1.914 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 1.914 * [taylor]: Taking taylor expansion of 3 in z 1.914 * [backup-simplify]: Simplify 3 into 3 1.914 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.914 * [taylor]: Taking taylor expansion of z in z 1.914 * [backup-simplify]: Simplify 0 into 0 1.914 * [backup-simplify]: Simplify 1 into 1 1.915 * [backup-simplify]: Simplify (* 1 1) into 1 1.915 * [backup-simplify]: Simplify (/ 3 1) into 3 1.915 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 1.915 * [taylor]: Taking taylor expansion of 3 in z 1.915 * [backup-simplify]: Simplify 3 into 3 1.915 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.915 * [taylor]: Taking taylor expansion of z in z 1.915 * [backup-simplify]: Simplify 0 into 0 1.915 * [backup-simplify]: Simplify 1 into 1 1.915 * [backup-simplify]: Simplify (* 1 1) into 1 1.916 * [backup-simplify]: Simplify (/ 3 1) into 3 1.916 * [backup-simplify]: Simplify 3 into 3 1.916 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.917 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 1.917 * [backup-simplify]: Simplify 0 into 0 1.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.919 * [backup-simplify]: Simplify 0 into 0 1.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.921 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.921 * [backup-simplify]: Simplify 0 into 0 1.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.923 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.924 * [backup-simplify]: Simplify 0 into 0 1.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.926 * [backup-simplify]: Simplify 0 into 0 1.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.929 * [backup-simplify]: Simplify 0 into 0 1.929 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2)) 1.929 * * * [progress]: simplifying candidates 1.930 * [simplify]: Simplifying: (* (* 3 z) z) (* (* 3 z) z) (+ (+ (log 3) (log z)) (log z)) (+ (log (* 3 z)) (log z)) (log (* (* 3 z) z)) (exp (* (* 3 z) z)) (* (* (* (* 3 3) 3) (* (* z z) z)) (* (* z z) z)) (* (* (* (* 3 z) (* 3 z)) (* 3 z)) (* (* z z) z)) (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z))) (cbrt (* (* 3 z) z)) (* (* (* (* 3 z) z) (* (* 3 z) z)) (* (* 3 z) z)) (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)) (* (* 3 z) (* (cbrt z) (cbrt z))) (* (* 3 z) (sqrt z)) (* (* 3 z) 1) (* z z) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) 1.930 * * [simplify]: Extracting # 0 : cost 16 inf + 0 1.930 * * [simplify]: Extracting # 1 : cost 30 inf + 0 1.930 * * [simplify]: Extracting # 2 : cost 31 inf + 74 1.931 * * [simplify]: Extracting # 3 : cost 15 inf + 1914 1.931 * * [simplify]: Extracting # 4 : cost 2 inf + 3887 1.932 * * [simplify]: Extracting # 5 : cost 1 inf + 4089 1.933 * * [simplify]: Extracting # 6 : cost 0 inf + 4331 1.933 * * [simplify]: iteration 0 : 36 enodes (cost 3373 ) 1.951 * * [simplify]: Extracting # 0 : cost 0 inf + 4331 1.952 * * [simplify]: Extracting # 1 : cost 23 inf + 3659 1.953 * * [simplify]: Extracting # 2 : cost 0 inf + 6128 1.955 * * [simplify]: Extracting # 3 : cost 0 inf + 6048 1.957 * * [simplify]: iteration 1 : 101 enodes (cost 2599 ) 2.019 * * [simplify]: Extracting # 0 : cost 0 inf + 6048 2.021 * * [simplify]: Extracting # 1 : cost 71 inf + 5676 2.024 * * [simplify]: Extracting # 2 : cost 11 inf + 12546 2.027 * * [simplify]: Extracting # 3 : cost 2 inf + 13273 2.030 * * [simplify]: Extracting # 4 : cost 0 inf + 13999 2.033 * * [simplify]: iteration 2 : 324 enodes (cost 2519 ) 2.347 * * [simplify]: Extracting # 0 : cost 0 inf + 13999 2.360 * * [simplify]: Extracting # 1 : cost 219 inf + 13124 2.379 * * [simplify]: Extracting # 2 : cost 41 inf + 34720 2.402 * * [simplify]: Extracting # 3 : cost 2 inf + 39091 2.423 * * [simplify]: Extracting # 4 : cost 0 inf + 39706 2.442 * * [simplify]: iteration 3 : 1223 enodes (cost 2519 ) 4.089 * * [simplify]: Extracting # 0 : cost 0 inf + 39706 4.158 * * [simplify]: Extracting # 1 : cost 1557 inf + 38209 4.294 * * [simplify]: Extracting # 2 : cost 36 inf + 237779 4.458 * * [simplify]: Extracting # 3 : cost 12 inf + 240418 4.692 * * [simplify]: Extracting # 4 : cost 0 inf + 244273 4.839 * * [simplify]: iteration complete: 5000 enodes (cost 2519 ) 4.839 * [simplify]: Simplified to: (* (* 3 z) z) (* (* 3 z) z) (log (* (* 3 z) z)) (log (* (* 3 z) z)) (log (* (* 3 z) z)) (exp (* (* 3 z) z)) (* (* (* 3 z) z) (* (* (* 3 z) z) (* (* 3 z) z))) (* (* (* 3 z) z) (* (* (* 3 z) z) (* (* 3 z) z))) (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z))) (cbrt (* (* 3 z) z)) (* (* (* 3 z) z) (* (* (* 3 z) z) (* (* 3 z) z))) (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)) (* (* 3 z) (* (cbrt z) (cbrt z))) (* (* 3 z) (sqrt z)) (* 3 z) (* z z) (* (* 3 z) z) (* (* 3 z) z) (* (* 3 z) z) 4.840 * * * [progress]: adding candidates to table 4.950 * * [progress]: iteration 3 / 4 4.950 * * * [progress]: picking best candidate 4.990 * * * * [pick]: Picked # 4.990 * * * [progress]: localizing error 5.009 * * * [progress]: generating rewritten candidates 5.009 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 5.043 * * * [progress]: generating series expansions 5.043 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 5.043 * [backup-simplify]: Simplify (* (* z z) 3) into (* 3 (pow z 2)) 5.043 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0 5.043 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 5.043 * [taylor]: Taking taylor expansion of 3 in z 5.043 * [backup-simplify]: Simplify 3 into 3 5.043 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.043 * [taylor]: Taking taylor expansion of z in z 5.043 * [backup-simplify]: Simplify 0 into 0 5.043 * [backup-simplify]: Simplify 1 into 1 5.043 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 5.043 * [taylor]: Taking taylor expansion of 3 in z 5.043 * [backup-simplify]: Simplify 3 into 3 5.043 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.043 * [taylor]: Taking taylor expansion of z in z 5.043 * [backup-simplify]: Simplify 0 into 0 5.043 * [backup-simplify]: Simplify 1 into 1 5.044 * [backup-simplify]: Simplify (* 1 1) into 1 5.045 * [backup-simplify]: Simplify (* 3 1) into 3 5.045 * [backup-simplify]: Simplify 3 into 3 5.045 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.046 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 5.046 * [backup-simplify]: Simplify 0 into 0 5.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.048 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 5.048 * [backup-simplify]: Simplify 0 into 0 5.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.050 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.050 * [backup-simplify]: Simplify 0 into 0 5.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.053 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.053 * [backup-simplify]: Simplify 0 into 0 5.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.057 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.057 * [backup-simplify]: Simplify 0 into 0 5.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.060 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.060 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 5.061 * [backup-simplify]: Simplify (* (* (/ 1 z) (/ 1 z)) 3) into (/ 3 (pow z 2)) 5.061 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 5.061 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 5.061 * [taylor]: Taking taylor expansion of 3 in z 5.061 * [backup-simplify]: Simplify 3 into 3 5.061 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.061 * [taylor]: Taking taylor expansion of z in z 5.061 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify 1 into 1 5.062 * [backup-simplify]: Simplify (* 1 1) into 1 5.062 * [backup-simplify]: Simplify (/ 3 1) into 3 5.062 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 5.062 * [taylor]: Taking taylor expansion of 3 in z 5.062 * [backup-simplify]: Simplify 3 into 3 5.062 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.062 * [taylor]: Taking taylor expansion of z in z 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 1 into 1 5.063 * [backup-simplify]: Simplify (* 1 1) into 1 5.063 * [backup-simplify]: Simplify (/ 3 1) into 3 5.063 * [backup-simplify]: Simplify 3 into 3 5.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.065 * [backup-simplify]: Simplify 0 into 0 5.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.067 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.067 * [backup-simplify]: Simplify 0 into 0 5.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.069 * [backup-simplify]: Simplify 0 into 0 5.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.072 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.072 * [backup-simplify]: Simplify 0 into 0 5.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.075 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.075 * [backup-simplify]: Simplify 0 into 0 5.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.077 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.077 * [backup-simplify]: Simplify 0 into 0 5.078 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2)) 5.078 * [backup-simplify]: Simplify (* (* (/ 1 (- z)) (/ 1 (- z))) 3) into (/ 3 (pow z 2)) 5.078 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 5.078 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 5.078 * [taylor]: Taking taylor expansion of 3 in z 5.078 * [backup-simplify]: Simplify 3 into 3 5.078 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.078 * [taylor]: Taking taylor expansion of z in z 5.078 * [backup-simplify]: Simplify 0 into 0 5.078 * [backup-simplify]: Simplify 1 into 1 5.079 * [backup-simplify]: Simplify (* 1 1) into 1 5.079 * [backup-simplify]: Simplify (/ 3 1) into 3 5.079 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 5.079 * [taylor]: Taking taylor expansion of 3 in z 5.079 * [backup-simplify]: Simplify 3 into 3 5.079 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.079 * [taylor]: Taking taylor expansion of z in z 5.079 * [backup-simplify]: Simplify 0 into 0 5.079 * [backup-simplify]: Simplify 1 into 1 5.080 * [backup-simplify]: Simplify (* 1 1) into 1 5.080 * [backup-simplify]: Simplify (/ 3 1) into 3 5.080 * [backup-simplify]: Simplify 3 into 3 5.081 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.082 * [backup-simplify]: Simplify 0 into 0 5.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.084 * [backup-simplify]: Simplify 0 into 0 5.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.087 * [backup-simplify]: Simplify 0 into 0 5.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.089 * [backup-simplify]: Simplify 0 into 0 5.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.092 * [backup-simplify]: Simplify 0 into 0 5.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.094 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.094 * [backup-simplify]: Simplify 0 into 0 5.095 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2)) 5.095 * * * [progress]: simplifying candidates 5.095 * [simplify]: Simplifying: (* (* z z) 3) (* (* z z) 3) (+ (+ (log z) (log z)) (log 3)) (+ (log (* z z)) (log 3)) (log (* (* z z) 3)) (exp (* (* z z) 3)) (* (* (* (* z z) z) (* (* z z) z)) (* (* 3 3) 3)) (* (* (* (* z z) (* z z)) (* z z)) (* (* 3 3) 3)) (* (cbrt (* (* z z) 3)) (cbrt (* (* z z) 3))) (cbrt (* (* z z) 3)) (* (* (* (* z z) 3) (* (* z z) 3)) (* (* z z) 3)) (sqrt (* (* z z) 3)) (sqrt (* (* z z) 3)) (* z (sqrt 3)) (* z (sqrt 3)) (* (* z z) (* (cbrt 3) (cbrt 3))) (* (* z z) (sqrt 3)) (* (* z z) 1) (* z 3) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) 5.096 * * [simplify]: Extracting # 0 : cost 17 inf + 0 5.096 * * [simplify]: Extracting # 1 : cost 31 inf + 0 5.096 * * [simplify]: Extracting # 2 : cost 30 inf + 238 5.097 * * [simplify]: Extracting # 3 : cost 9 inf + 2459 5.097 * * [simplify]: Extracting # 4 : cost 1 inf + 4015 5.098 * * [simplify]: Extracting # 5 : cost 0 inf + 4257 5.098 * * [simplify]: iteration 0 : 37 enodes (cost 3537 ) 5.118 * * [simplify]: Extracting # 0 : cost 0 inf + 4257 5.119 * * [simplify]: Extracting # 1 : cost 23 inf + 3614 5.121 * * [simplify]: Extracting # 2 : cost 3 inf + 5774 5.123 * * [simplify]: Extracting # 3 : cost 0 inf + 6020 5.124 * * [simplify]: iteration 1 : 106 enodes (cost 2643 ) 5.174 * * [simplify]: Extracting # 0 : cost 0 inf + 6020 5.176 * * [simplify]: Extracting # 1 : cost 82 inf + 5728 5.178 * * [simplify]: Extracting # 2 : cost 8 inf + 12428 5.181 * * [simplify]: Extracting # 3 : cost 1 inf + 12979 5.184 * * [simplify]: Extracting # 4 : cost 0 inf + 13301 5.186 * * [simplify]: iteration 2 : 351 enodes (cost 2643 ) 5.474 * * [simplify]: Extracting # 0 : cost 0 inf + 13301 5.485 * * [simplify]: Extracting # 1 : cost 261 inf + 13098 5.504 * * [simplify]: Extracting # 2 : cost 16 inf + 40804 5.532 * * [simplify]: Extracting # 3 : cost 2 inf + 41691 5.557 * * [simplify]: Extracting # 4 : cost 0 inf + 42376 5.582 * * [simplify]: iteration 3 : 1151 enodes (cost 2643 ) 7.287 * * [simplify]: Extracting # 0 : cost 0 inf + 42376 7.342 * * [simplify]: Extracting # 1 : cost 1311 inf + 39736 7.426 * * [simplify]: Extracting # 2 : cost 38 inf + 191086 7.550 * * [simplify]: Extracting # 3 : cost 1 inf + 192067 7.664 * * [simplify]: Extracting # 4 : cost 0 inf + 191376 7.783 * * [simplify]: Extracting # 5 : cost 0 inf + 191335 7.917 * * [simplify]: iteration 4 : 4778 enodes (cost 2643 ) 9.667 * * [simplify]: Extracting # 0 : cost 0 inf + 191335 9.770 * * [simplify]: Extracting # 1 : cost 89 inf + 190314 9.885 * * [simplify]: Extracting # 2 : cost 0 inf + 199440 10.000 * * [simplify]: Extracting # 3 : cost 0 inf + 199309 10.133 * * [simplify]: iteration complete: 5004 enodes (cost 2643 ) 10.134 * [simplify]: Simplified to: (* (* z 3) z) (* (* z 3) z) (log (* (* z z) 3)) (log (* (* z z) 3)) (log (* (* z z) 3)) (exp (* (* z z) 3)) (* (* (* (* z z) 3) (* (* z z) 3)) (* (* z z) 3)) (* (* (* (* z z) 3) (* (* z z) 3)) (* (* z z) 3)) (* (cbrt (* (* z z) 3)) (cbrt (* (* z z) 3))) (cbrt (* (* z z) 3)) (* (* (* (* z z) 3) (* (* z z) 3)) (* (* z z) 3)) (sqrt (* (* z z) 3)) (sqrt (* (* z z) 3)) (* z (sqrt 3)) (* z (sqrt 3)) (* (* z (cbrt 3)) (* z (cbrt 3))) (* (* z z) (sqrt 3)) (* z z) (* z 3) (* (* z 3) z) (* (* z 3) z) (* (* z 3) z) 10.134 * * * [progress]: adding candidates to table 10.210 * * [progress]: iteration 4 / 4 10.210 * * * [progress]: picking best candidate 10.236 * * * * [pick]: Picked # 10.236 * * * [progress]: localizing error 10.250 * * * [progress]: generating rewritten candidates 10.250 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 10.265 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 10.322 * * * [progress]: generating series expansions 10.322 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 10.323 * [backup-simplify]: Simplify (* (cbrt 3) (* z z)) into (* (pow z 2) (cbrt 3)) 10.323 * [approximate]: Taking taylor expansion of (* (pow z 2) (cbrt 3)) in (z) around 0 10.323 * [taylor]: Taking taylor expansion of (* (pow z 2) (cbrt 3)) in z 10.323 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.323 * [taylor]: Taking taylor expansion of z in z 10.323 * [backup-simplify]: Simplify 0 into 0 10.323 * [backup-simplify]: Simplify 1 into 1 10.323 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.323 * [taylor]: Taking taylor expansion of 3 in z 10.323 * [backup-simplify]: Simplify 3 into 3 10.323 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.324 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.324 * [taylor]: Taking taylor expansion of (* (pow z 2) (cbrt 3)) in z 10.324 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.324 * [taylor]: Taking taylor expansion of z in z 10.324 * [backup-simplify]: Simplify 0 into 0 10.324 * [backup-simplify]: Simplify 1 into 1 10.324 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.324 * [taylor]: Taking taylor expansion of 3 in z 10.324 * [backup-simplify]: Simplify 3 into 3 10.324 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.325 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.325 * [backup-simplify]: Simplify (* 1 1) into 1 10.326 * [backup-simplify]: Simplify (* 1 (cbrt 3)) into (cbrt 3) 10.326 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.326 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.327 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (cbrt 3))) into 0 10.327 * [backup-simplify]: Simplify 0 into 0 10.328 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0 10.329 * [backup-simplify]: Simplify 0 into 0 10.330 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0 10.331 * [backup-simplify]: Simplify 0 into 0 10.332 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))) into 0 10.334 * [backup-simplify]: Simplify 0 into 0 10.335 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))))) into 0 10.336 * [backup-simplify]: Simplify 0 into 0 10.337 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))))) into 0 10.339 * [backup-simplify]: Simplify 0 into 0 10.340 * [backup-simplify]: Simplify (* (cbrt 3) (pow z 2)) into (* (pow z 2) (cbrt 3)) 10.340 * [backup-simplify]: Simplify (* (cbrt 3) (* (/ 1 z) (/ 1 z))) into (/ (cbrt 3) (pow z 2)) 10.340 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in (z) around 0 10.340 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in z 10.340 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.340 * [taylor]: Taking taylor expansion of 3 in z 10.340 * [backup-simplify]: Simplify 3 into 3 10.340 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.341 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.341 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.341 * [taylor]: Taking taylor expansion of z in z 10.341 * [backup-simplify]: Simplify 0 into 0 10.341 * [backup-simplify]: Simplify 1 into 1 10.342 * [backup-simplify]: Simplify (* 1 1) into 1 10.342 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3) 10.342 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in z 10.343 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.343 * [taylor]: Taking taylor expansion of 3 in z 10.343 * [backup-simplify]: Simplify 3 into 3 10.343 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.344 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.344 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.344 * [taylor]: Taking taylor expansion of z in z 10.344 * [backup-simplify]: Simplify 0 into 0 10.344 * [backup-simplify]: Simplify 1 into 1 10.344 * [backup-simplify]: Simplify (* 1 1) into 1 10.345 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3) 10.349 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.350 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.351 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)))) into 0 10.351 * [backup-simplify]: Simplify 0 into 0 10.352 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.355 * [backup-simplify]: Simplify 0 into 0 10.356 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.359 * [backup-simplify]: Simplify 0 into 0 10.360 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.363 * [backup-simplify]: Simplify 0 into 0 10.364 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.367 * [backup-simplify]: Simplify 0 into 0 10.368 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.371 * [backup-simplify]: Simplify 0 into 0 10.372 * [backup-simplify]: Simplify (* (cbrt 3) (pow (/ 1 (/ 1 z)) 2)) into (* (pow z 2) (cbrt 3)) 10.372 * [backup-simplify]: Simplify (* (cbrt 3) (* (/ 1 (- z)) (/ 1 (- z)))) into (/ (cbrt 3) (pow z 2)) 10.372 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in (z) around 0 10.373 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in z 10.373 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.373 * [taylor]: Taking taylor expansion of 3 in z 10.373 * [backup-simplify]: Simplify 3 into 3 10.373 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.374 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.374 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.374 * [taylor]: Taking taylor expansion of z in z 10.374 * [backup-simplify]: Simplify 0 into 0 10.374 * [backup-simplify]: Simplify 1 into 1 10.374 * [backup-simplify]: Simplify (* 1 1) into 1 10.375 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3) 10.375 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow z 2)) in z 10.375 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.375 * [taylor]: Taking taylor expansion of 3 in z 10.375 * [backup-simplify]: Simplify 3 into 3 10.376 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.376 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.376 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.376 * [taylor]: Taking taylor expansion of z in z 10.376 * [backup-simplify]: Simplify 0 into 0 10.376 * [backup-simplify]: Simplify 1 into 1 10.377 * [backup-simplify]: Simplify (* 1 1) into 1 10.378 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3) 10.378 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)))) into 0 10.380 * [backup-simplify]: Simplify 0 into 0 10.381 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.384 * [backup-simplify]: Simplify 0 into 0 10.385 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.387 * [backup-simplify]: Simplify 0 into 0 10.389 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.391 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.391 * [backup-simplify]: Simplify 0 into 0 10.393 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.395 * [backup-simplify]: Simplify 0 into 0 10.397 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.399 * [backup-simplify]: Simplify 0 into 0 10.400 * [backup-simplify]: Simplify (* (cbrt 3) (pow (/ 1 (/ 1 (- z))) 2)) into (* (pow z 2) (cbrt 3)) 10.400 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 10.402 * [backup-simplify]: Simplify (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) into (* (pow z 2) (pow (cbrt 3) 3)) 10.402 * [approximate]: Taking taylor expansion of (* (pow z 2) (pow (cbrt 3) 3)) in (z) around 0 10.402 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (cbrt 3) 3)) in z 10.402 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.402 * [taylor]: Taking taylor expansion of z in z 10.402 * [backup-simplify]: Simplify 0 into 0 10.402 * [backup-simplify]: Simplify 1 into 1 10.402 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z 10.402 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.402 * [taylor]: Taking taylor expansion of 3 in z 10.402 * [backup-simplify]: Simplify 3 into 3 10.402 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.403 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.403 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (cbrt 3) 3)) in z 10.403 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.403 * [taylor]: Taking taylor expansion of z in z 10.403 * [backup-simplify]: Simplify 0 into 0 10.403 * [backup-simplify]: Simplify 1 into 1 10.403 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z 10.403 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.403 * [taylor]: Taking taylor expansion of 3 in z 10.403 * [backup-simplify]: Simplify 3 into 3 10.404 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.404 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.405 * [backup-simplify]: Simplify (* 1 1) into 1 10.406 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2) 10.408 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3) 10.409 * [backup-simplify]: Simplify (* 1 (pow (cbrt 3) 3)) into 3 10.409 * [backup-simplify]: Simplify 3 into 3 10.410 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0 10.411 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0 10.412 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.413 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (cbrt 3) 3))) into 0 10.413 * [backup-simplify]: Simplify 0 into 0 10.414 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.415 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0 10.416 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0 10.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 3)))) into 0 10.418 * [backup-simplify]: Simplify 0 into 0 10.420 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.421 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0 10.422 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0 10.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 3))))) into 0 10.424 * [backup-simplify]: Simplify 0 into 0 10.426 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.427 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))) into 0 10.429 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))) into 0 10.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 3)))))) into 0 10.431 * [backup-simplify]: Simplify 0 into 0 10.432 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.434 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))))) into 0 10.436 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))))) into 0 10.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 3))))))) into 0 10.438 * [backup-simplify]: Simplify 0 into 0 10.440 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.441 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))))) into 0 10.444 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))))) into 0 10.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 3)))))))) into 0 10.447 * [backup-simplify]: Simplify 0 into 0 10.447 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 10.449 * [backup-simplify]: Simplify (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (/ 1 z) (/ 1 z)))) into (/ (pow (cbrt 3) 3) (pow z 2)) 10.449 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in (z) around 0 10.449 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z 10.449 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z 10.449 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.449 * [taylor]: Taking taylor expansion of 3 in z 10.449 * [backup-simplify]: Simplify 3 into 3 10.449 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.450 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.450 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.450 * [taylor]: Taking taylor expansion of z in z 10.450 * [backup-simplify]: Simplify 0 into 0 10.450 * [backup-simplify]: Simplify 1 into 1 10.451 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2) 10.453 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3) 10.453 * [backup-simplify]: Simplify (* 1 1) into 1 10.455 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3 10.455 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z 10.455 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z 10.455 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.455 * [taylor]: Taking taylor expansion of 3 in z 10.455 * [backup-simplify]: Simplify 3 into 3 10.455 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.456 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.456 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.456 * [taylor]: Taking taylor expansion of z in z 10.456 * [backup-simplify]: Simplify 0 into 0 10.456 * [backup-simplify]: Simplify 1 into 1 10.457 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2) 10.459 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3) 10.459 * [backup-simplify]: Simplify (* 1 1) into 1 10.461 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3 10.461 * [backup-simplify]: Simplify 3 into 3 10.462 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0 10.462 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0 10.463 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 10.464 * [backup-simplify]: Simplify 0 into 0 10.465 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.466 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0 10.467 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0 10.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.469 * [backup-simplify]: Simplify 0 into 0 10.471 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.472 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0 10.473 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0 10.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.475 * [backup-simplify]: Simplify 0 into 0 10.476 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.478 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))) into 0 10.479 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))) into 0 10.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.481 * [backup-simplify]: Simplify 0 into 0 10.482 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.484 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))))) into 0 10.489 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))))) into 0 10.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.491 * [backup-simplify]: Simplify 0 into 0 10.493 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.495 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))))) into 0 10.496 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))))) into 0 10.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.499 * [backup-simplify]: Simplify 0 into 0 10.499 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2)) 10.501 * [backup-simplify]: Simplify (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (/ 1 (- z)) (/ 1 (- z))))) into (/ (pow (cbrt 3) 3) (pow z 2)) 10.501 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in (z) around 0 10.501 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z 10.501 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z 10.501 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.501 * [taylor]: Taking taylor expansion of 3 in z 10.501 * [backup-simplify]: Simplify 3 into 3 10.501 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.502 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.502 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.502 * [taylor]: Taking taylor expansion of z in z 10.502 * [backup-simplify]: Simplify 0 into 0 10.502 * [backup-simplify]: Simplify 1 into 1 10.503 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2) 10.505 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3) 10.505 * [backup-simplify]: Simplify (* 1 1) into 1 10.507 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3 10.507 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow z 2)) in z 10.507 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in z 10.507 * [taylor]: Taking taylor expansion of (cbrt 3) in z 10.507 * [taylor]: Taking taylor expansion of 3 in z 10.507 * [backup-simplify]: Simplify 3 into 3 10.507 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3) 10.508 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0 10.508 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.508 * [taylor]: Taking taylor expansion of z in z 10.508 * [backup-simplify]: Simplify 0 into 0 10.508 * [backup-simplify]: Simplify 1 into 1 10.509 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2) 10.511 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3) 10.511 * [backup-simplify]: Simplify (* 1 1) into 1 10.513 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) 1) into 3 10.513 * [backup-simplify]: Simplify 3 into 3 10.514 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0 10.515 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0 10.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 10.516 * [backup-simplify]: Simplify 0 into 0 10.517 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.518 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0 10.519 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0 10.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.521 * [backup-simplify]: Simplify 0 into 0 10.522 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.523 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0 10.525 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0 10.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.526 * [backup-simplify]: Simplify 0 into 0 10.528 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.529 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))) into 0 10.531 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))) into 0 10.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.533 * [backup-simplify]: Simplify 0 into 0 10.534 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0 10.535 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))))) into 0 10.537 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))))) into 0 10.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.539 * [backup-simplify]: Simplify 0 into 0 10.541 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0 10.542 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3)))))))) into 0 10.544 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))))))) into 0 10.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.547 * [backup-simplify]: Simplify 0 into 0 10.547 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2)) 10.547 * * * [progress]: simplifying candidates 10.548 * [simplify]: Simplifying: (* (cbrt 3) (* z z)) (* (cbrt 3) (* z z)) (+ (log (cbrt 3)) (+ (log z) (log z))) (+ (log (cbrt 3)) (log (* z z))) (log (* (cbrt 3) (* z z))) (exp (* (cbrt 3) (* z z))) (* 3 (* (* (* z z) z) (* (* z z) z))) (* 3 (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* (cbrt 3) (* z z))) (cbrt (* (cbrt 3) (* z z)))) (cbrt (* (cbrt 3) (* z z))) (* (* (* (cbrt 3) (* z z)) (* (cbrt 3) (* z z))) (* (cbrt 3) (* z z))) (sqrt (* (cbrt 3) (* z z))) (sqrt (* (cbrt 3) (* z z))) (* (cbrt (sqrt 3)) z) (* (cbrt (sqrt 3)) z) (* (sqrt (cbrt 3)) z) (* (sqrt (cbrt 3)) z) (* (cbrt 3) z) (* (cbrt (cbrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (cbrt 3) (* z z)) (* (cbrt (cbrt 3)) (* z z)) (* (sqrt (cbrt 3)) (* z z)) (* (cbrt 3) (* z z)) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (log z) (log z)))) (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (log (* z z)))) (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (cbrt 3) (* z z)))) (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (log z) (log z)))) (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (log (* z z)))) (+ (log (* (cbrt 3) (cbrt 3))) (log (* (cbrt 3) (* z z)))) (log (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (* (* 3 3) (* 3 (* (* (* z z) z) (* (* z z) z)))) (* (* 3 3) (* 3 (* (* (* z z) (* z z)) (* z z)))) (* (* 3 3) (* (* (* (cbrt 3) (* z z)) (* (cbrt 3) (* z z))) (* (cbrt 3) (* z z)))) (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* z z) z) (* (* z z) z)))) (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* z z) (* z z)) (* z z)))) (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (cbrt 3) (* z z)) (* (cbrt 3) (* z z))) (* (cbrt 3) (* z z)))) (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))) (* (* (cbrt 3) (cbrt 3)) (cbrt 3)) (* (cbrt 3) (* (cbrt 3) (* z z))) (* (pow z 2) (cbrt 3)) (* (pow z 2) (cbrt 3)) (* (pow z 2) (cbrt 3)) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) 10.549 * * [simplify]: Extracting # 0 : cost 40 inf + 0 10.550 * * [simplify]: Extracting # 1 : cost 60 inf + 0 10.550 * * [simplify]: Extracting # 2 : cost 61 inf + 235 10.550 * * [simplify]: Extracting # 3 : cost 35 inf + 4123 10.552 * * [simplify]: Extracting # 4 : cost 8 inf + 11713 10.553 * * [simplify]: Extracting # 5 : cost 1 inf + 13938 10.555 * * [simplify]: Extracting # 6 : cost 0 inf + 14180 10.557 * * [simplify]: iteration 0 : 66 enodes (cost 15079 ) 10.584 * * [simplify]: Extracting # 0 : cost 0 inf + 14180 10.586 * * [simplify]: Extracting # 1 : cost 32 inf + 12927 10.589 * * [simplify]: Extracting # 2 : cost 3 inf + 19053 10.594 * * [simplify]: Extracting # 3 : cost 0 inf + 19349 10.599 * * [simplify]: iteration 1 : 170 enodes (cost 13154 ) 10.659 * * [simplify]: Extracting # 0 : cost 0 inf + 19349 10.663 * * [simplify]: Extracting # 1 : cost 144 inf + 18538 10.673 * * [simplify]: Extracting # 2 : cost 12 inf + 49438 10.684 * * [simplify]: Extracting # 3 : cost 0 inf + 51574 10.695 * * [simplify]: iteration 2 : 581 enodes (cost 12234 ) 11.323 * * [simplify]: Extracting # 0 : cost 0 inf + 51574 11.358 * * [simplify]: Extracting # 1 : cost 500 inf + 43970 11.407 * * [simplify]: Extracting # 2 : cost 70 inf + 122259 11.474 * * [simplify]: Extracting # 3 : cost 1 inf + 126559 11.552 * * [simplify]: Extracting # 4 : cost 0 inf + 123844 11.620 * * [simplify]: Extracting # 5 : cost 0 inf + 123724 11.685 * * [simplify]: iteration 3 : 2555 enodes (cost 8993 ) 12.738 * * [simplify]: Extracting # 0 : cost 0 inf + 123724 12.832 * * [simplify]: Extracting # 1 : cost 1424 inf + 121285 12.972 * * [simplify]: Extracting # 2 : cost 46 inf + 366445 13.147 * * [simplify]: Extracting # 3 : cost 10 inf + 374236 13.347 * * [simplify]: Extracting # 4 : cost 0 inf + 377976 13.574 * * [simplify]: iteration complete: 5001 enodes (cost 8993 ) 13.575 * [simplify]: Simplified to: (* (* z z) (cbrt 3)) (* (* z z) (cbrt 3)) (log (* (cbrt 3) (* z z))) (log (* (cbrt 3) (* z z))) (log (* (cbrt 3) (* z z))) (exp (* (cbrt 3) (* z z))) (* 3 (* (* (* z z) z) (* (* z z) z))) (* 3 (* (* (* z z) z) (* (* z z) z))) (* (cbrt (* (cbrt 3) (* z z))) (cbrt (* (cbrt 3) (* z z)))) (cbrt (* (cbrt 3) (* z z))) (* 3 (* (* (* z z) z) (* (* z z) z))) (sqrt (* (cbrt 3) (* z z))) (sqrt (* (cbrt 3) (* z z))) (* (cbrt (sqrt 3)) z) (* (cbrt (sqrt 3)) z) (* (sqrt (cbrt 3)) z) (* (sqrt (cbrt 3)) z) (* (cbrt 3) z) (* (cbrt (cbrt 3)) (* z z)) (* (cbrt (sqrt 3)) (* z z)) (* (* z z) (cbrt 3)) (* (cbrt (cbrt 3)) (* z z)) (* (sqrt (cbrt 3)) (* z z)) (* (* z z) (cbrt 3)) (* (* z 3) z) (* (* z 3) z) (* (* z 3) z) (* (* z 3) z) (* (* z 3) z) (* (* z 3) z) (log (* (* z 3) z)) (log (* (* z 3) z)) (log (* (* z 3) z)) (log (* (* z 3) z)) (log (* (* z 3) z)) (log (* (* z 3) z)) (log (* (* z 3) z)) (exp (* (* z 3) z)) (* (* (* z 3) z) (* (* (* z 3) z) (* (* z 3) z))) (* (* (* z 3) z) (* (* (* z 3) z) (* (* z 3) z))) (* (* (* z 3) z) (* (* (* z 3) z) (* (* z 3) z))) (* (* (* z 3) z) (* (* (* z 3) z) (* (* z 3) z))) (* (* (* z 3) z) (* (* (* z 3) z) (* (* z 3) z))) (* (* (* z 3) z) (* (* (* z 3) z) (* (* z 3) z))) (* (cbrt (* (* z 3) z)) (cbrt (* (* z 3) z))) (cbrt (* (* z 3) z)) (* (* (* z 3) z) (* (* (* z 3) z) (* (* z 3) z))) (sqrt (* (* z 3) z)) (sqrt (* (* z 3) z)) 3 (* (* (cbrt 3) z) (* (cbrt 3) z)) (* (* z z) (cbrt 3)) (* (* z z) (cbrt 3)) (* (* z z) (cbrt 3)) (* (* z 3) z) (* (* z 3) z) (* (* z 3) z) 13.577 * * * [progress]: adding candidates to table 13.793 * [progress]: [Phase 3 of 3] Extracting. 13.793 * * [regime]: Finding splitpoints for: (# # # # # # #) 13.795 * * * [regime-changes]: Trying 5 branch expressions: ((* z z) (* x y) z y x) 13.795 * * * * [regimes]: Trying to branch on (* z z) from (# # # # # # #) 13.877 * * * * [regimes]: Trying to branch on (* z z) from (# # # # #) 13.934 * * * * [regimes]: Trying to branch on (* x y) from (# # # # # # #) 14.011 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 14.086 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 14.147 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 14.208 * * * [regime]: Found split indices: #