5.920 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying: (- (* a a) (* b b)) 0.019 * [simplify]: Sending expressions to egg_math: (- (* h0 h0) (* h1 h1)) 0.021 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.022 * * [simplify]: iteration 1 : 18 enodes (cost 3 ) 0.023 * * [simplify]: iteration 2 : 35 enodes (cost 3 ) 0.025 * * [simplify]: iteration 3 : 67 enodes (cost 3 ) 0.027 * * [simplify]: iteration 4 : 163 enodes (cost 3 ) 0.029 * * [simplify]: iteration 5 : 294 enodes (cost 3 ) 0.033 * * [simplify]: iteration 6 : 541 enodes (cost 3 ) 0.044 * * [simplify]: iteration 7 : 2138 enodes (cost 3 ) 0.100 * * [simplify]: iteration 8 : 5001 enodes (cost 3 ) 0.101 * * [progress]: iteration 1 / 4 0.101 * * * [progress]: picking best candidate 0.102 * * * * [pick]: Picked # 0.102 * * * [progress]: localizing error 0.106 * * * [progress]: generating rewritten candidates 0.106 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.115 * * * [progress]: generating series expansions 0.115 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.115 * [backup-simplify]: Simplify (- (* a a) (* b b)) into (- (pow a 2) (pow b 2)) 0.115 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0 0.115 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 0.115 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.115 * [taylor]: Taking taylor expansion of a in b 0.115 * [backup-simplify]: Simplify a into a 0.115 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.115 * [taylor]: Taking taylor expansion of b in b 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 1 into 1 0.115 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.115 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.115 * [taylor]: Taking taylor expansion of a in a 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 1 into 1 0.115 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.115 * [taylor]: Taking taylor expansion of b in a 0.115 * [backup-simplify]: Simplify b into b 0.115 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.115 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.115 * [taylor]: Taking taylor expansion of a in a 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 1 into 1 0.115 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.115 * [taylor]: Taking taylor expansion of b in a 0.115 * [backup-simplify]: Simplify b into b 0.115 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.115 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2)) 0.115 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2)) 0.115 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b 0.116 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.116 * [taylor]: Taking taylor expansion of b in b 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 1 into 1 0.116 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 0.116 * [backup-simplify]: Simplify (- 0) into 0 0.116 * [backup-simplify]: Simplify (+ 0 0) into 0 0.116 * [taylor]: Taking taylor expansion of 0 in b 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify (* 1 1) into 1 0.117 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 0.117 * [backup-simplify]: Simplify (- 0) into 0 0.117 * [backup-simplify]: Simplify (+ 1 0) into 1 0.117 * [taylor]: Taking taylor expansion of 1 in b 0.117 * [backup-simplify]: Simplify 1 into 1 0.117 * [backup-simplify]: Simplify 1 into 1 0.117 * [backup-simplify]: Simplify 0 into 0 0.118 * [backup-simplify]: Simplify (* 1 1) into 1 0.118 * [backup-simplify]: Simplify (- 1) into -1 0.118 * [backup-simplify]: Simplify -1 into -1 0.118 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.119 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 0.119 * [backup-simplify]: Simplify (- 0) into 0 0.119 * [backup-simplify]: Simplify (+ 0 0) into 0 0.119 * [taylor]: Taking taylor expansion of 0 in b 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.120 * [backup-simplify]: Simplify (- 0) into 0 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.121 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 0.121 * [backup-simplify]: Simplify (- 0) into 0 0.121 * [backup-simplify]: Simplify (+ 0 0) into 0 0.121 * [taylor]: Taking taylor expansion of 0 in b 0.121 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 0.122 * [backup-simplify]: Simplify (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 0.122 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.122 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.122 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.122 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.122 * [taylor]: Taking taylor expansion of a in b 0.122 * [backup-simplify]: Simplify a into a 0.122 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.122 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 0.122 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.122 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.122 * [taylor]: Taking taylor expansion of b in b 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 1 into 1 0.122 * [backup-simplify]: Simplify (* 1 1) into 1 0.123 * [backup-simplify]: Simplify (/ 1 1) into 1 0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.123 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.123 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.123 * [taylor]: Taking taylor expansion of a in a 0.123 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify 1 into 1 0.123 * [backup-simplify]: Simplify (* 1 1) into 1 0.123 * [backup-simplify]: Simplify (/ 1 1) into 1 0.123 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.123 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.123 * [taylor]: Taking taylor expansion of b in a 0.123 * [backup-simplify]: Simplify b into b 0.123 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.123 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.123 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.123 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.123 * [taylor]: Taking taylor expansion of a in a 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 1 into 1 0.124 * [backup-simplify]: Simplify (* 1 1) into 1 0.124 * [backup-simplify]: Simplify (/ 1 1) into 1 0.124 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.124 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.124 * [taylor]: Taking taylor expansion of b in a 0.124 * [backup-simplify]: Simplify b into b 0.124 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.124 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.124 * [backup-simplify]: Simplify (+ 1 0) into 1 0.124 * [taylor]: Taking taylor expansion of 1 in b 0.124 * [backup-simplify]: Simplify 1 into 1 0.125 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.125 * [backup-simplify]: Simplify (+ 0 0) into 0 0.126 * [taylor]: Taking taylor expansion of 0 in b 0.126 * [backup-simplify]: Simplify 0 into 0 0.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.127 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 0.127 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 0.127 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.127 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.127 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.127 * [taylor]: Taking taylor expansion of b in b 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify 1 into 1 0.127 * [backup-simplify]: Simplify (* 1 1) into 1 0.127 * [backup-simplify]: Simplify (/ 1 1) into 1 0.127 * [backup-simplify]: Simplify (- 1) into -1 0.128 * [backup-simplify]: Simplify -1 into -1 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.129 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 0.129 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 0.129 * [backup-simplify]: Simplify (- 0) into 0 0.129 * [backup-simplify]: Simplify (+ 0 0) into 0 0.129 * [taylor]: Taking taylor expansion of 0 in b 0.129 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.130 * [backup-simplify]: Simplify (- 0) into 0 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.132 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 0.132 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 0.132 * [backup-simplify]: Simplify (- 0) into 0 0.133 * [backup-simplify]: Simplify (+ 0 0) into 0 0.133 * [taylor]: Taking taylor expansion of 0 in b 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.134 * [backup-simplify]: Simplify (- 0) into 0 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 0.134 * [backup-simplify]: Simplify (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 0.134 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.134 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.134 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.134 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.134 * [taylor]: Taking taylor expansion of a in b 0.134 * [backup-simplify]: Simplify a into a 0.134 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.134 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 0.135 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.135 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.135 * [taylor]: Taking taylor expansion of b in b 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify (* 1 1) into 1 0.135 * [backup-simplify]: Simplify (/ 1 1) into 1 0.135 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.135 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.135 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.135 * [taylor]: Taking taylor expansion of a in a 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify (* 1 1) into 1 0.136 * [backup-simplify]: Simplify (/ 1 1) into 1 0.136 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.136 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.136 * [taylor]: Taking taylor expansion of b in a 0.136 * [backup-simplify]: Simplify b into b 0.136 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.136 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.136 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.136 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.136 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.136 * [taylor]: Taking taylor expansion of a in a 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify 1 into 1 0.136 * [backup-simplify]: Simplify (* 1 1) into 1 0.136 * [backup-simplify]: Simplify (/ 1 1) into 1 0.136 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.136 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.136 * [taylor]: Taking taylor expansion of b in a 0.136 * [backup-simplify]: Simplify b into b 0.136 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.137 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.137 * [backup-simplify]: Simplify (+ 1 0) into 1 0.137 * [taylor]: Taking taylor expansion of 1 in b 0.137 * [backup-simplify]: Simplify 1 into 1 0.137 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.138 * [backup-simplify]: Simplify (+ 0 0) into 0 0.138 * [taylor]: Taking taylor expansion of 0 in b 0.138 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.139 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 0.139 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 0.139 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.139 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.139 * [taylor]: Taking taylor expansion of b in b 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify 1 into 1 0.139 * [backup-simplify]: Simplify (* 1 1) into 1 0.140 * [backup-simplify]: Simplify (/ 1 1) into 1 0.140 * [backup-simplify]: Simplify (- 1) into -1 0.140 * [backup-simplify]: Simplify -1 into -1 0.140 * [backup-simplify]: Simplify 1 into 1 0.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.141 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 0.141 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 0.142 * [backup-simplify]: Simplify (- 0) into 0 0.142 * [backup-simplify]: Simplify (+ 0 0) into 0 0.142 * [taylor]: Taking taylor expansion of 0 in b 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.143 * [backup-simplify]: Simplify (- 0) into 0 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.144 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 0.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 0.145 * [backup-simplify]: Simplify (- 0) into 0 0.145 * [backup-simplify]: Simplify (+ 0 0) into 0 0.145 * [taylor]: Taking taylor expansion of 0 in b 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.146 * [backup-simplify]: Simplify (- 0) into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 0.147 * * * [progress]: simplifying candidates 0.147 * [simplify]: Simplifying: (fma a a (- (* b b))) (fma (- b) b (* b b)) (expm1 (- (* a a) (* b b))) (log1p (- (* a a) (* b b))) (- (* b b)) (/ (exp (* a a)) (exp (* b b))) (log (- (* a a) (* b b))) (exp (- (* a a) (* b b))) (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b))) (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (- (pow (* a a) 3) (pow (* b b) 3)) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* b b)) (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b)) (+ a b) (- a b) (- (* b b)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 0.147 * [simplify]: Sending expressions to egg_math: (fma h0 h0 (- (* h1 h1))) (fma (- h1) h1 (* h1 h1)) (expm1 (- (* h0 h0) (* h1 h1))) (log1p (- (* h0 h0) (* h1 h1))) (- (* h1 h1)) (/ (exp (* h0 h0)) (exp (* h1 h1))) (log (- (* h0 h0) (* h1 h1))) (exp (- (* h0 h0) (* h1 h1))) (* (cbrt (- (* h0 h0) (* h1 h1))) (cbrt (- (* h0 h0) (* h1 h1)))) (cbrt (- (* h0 h0) (* h1 h1))) (* (* (- (* h0 h0) (* h1 h1)) (- (* h0 h0) (* h1 h1))) (- (* h0 h0) (* h1 h1))) (sqrt (- (* h0 h0) (* h1 h1))) (sqrt (- (* h0 h0) (* h1 h1))) (- (pow (* h0 h0) 3) (pow (* h1 h1) 3)) (+ (* (* h0 h0) (* h0 h0)) (+ (* (* h1 h1) (* h1 h1)) (* (* h0 h0) (* h1 h1)))) (- (* h1 h1)) (- (* (* h0 h0) (* h0 h0)) (* (* h1 h1) (* h1 h1))) (+ (* h0 h0) (* h1 h1)) (+ h0 h1) (- h0 h1) (- (* h1 h1)) (- (pow h0 2) (pow h1 2)) (- (pow h0 2) (pow h1 2)) (- (pow h0 2) (pow h1 2)) 0.152 * * [simplify]: iteration 0 : 102 enodes (cost 97 ) 0.155 * * [simplify]: iteration 1 : 416 enodes (cost 87 ) 0.162 * * [simplify]: iteration 2 : 1403 enodes (cost 84 ) 0.188 * * [simplify]: iteration 3 : 5002 enodes (cost 80 ) 0.189 * * * [progress]: adding candidates to table 0.220 * * [progress]: iteration 2 / 4 0.221 * * * [progress]: picking best candidate 0.223 * * * * [pick]: Picked # 0.223 * * * [progress]: localizing error 0.227 * * * [progress]: generating rewritten candidates 0.227 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.264 * * * [progress]: generating series expansions 0.264 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.265 * [backup-simplify]: Simplify (* (+ a b) (- a b)) into (* (- a b) (+ a b)) 0.265 * [approximate]: Taking taylor expansion of (* (- a b) (+ a b)) in (a b) around 0 0.265 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in b 0.265 * [taylor]: Taking taylor expansion of (- a b) in b 0.265 * [taylor]: Taking taylor expansion of a in b 0.265 * [backup-simplify]: Simplify a into a 0.265 * [taylor]: Taking taylor expansion of b in b 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.265 * [taylor]: Taking taylor expansion of (+ a b) in b 0.265 * [taylor]: Taking taylor expansion of a in b 0.265 * [backup-simplify]: Simplify a into a 0.265 * [taylor]: Taking taylor expansion of b in b 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.265 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a 0.265 * [taylor]: Taking taylor expansion of (- a b) in a 0.265 * [taylor]: Taking taylor expansion of a in a 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.265 * [taylor]: Taking taylor expansion of b in a 0.265 * [backup-simplify]: Simplify b into b 0.265 * [taylor]: Taking taylor expansion of (+ a b) in a 0.265 * [taylor]: Taking taylor expansion of a in a 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.265 * [taylor]: Taking taylor expansion of b in a 0.265 * [backup-simplify]: Simplify b into b 0.265 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a 0.265 * [taylor]: Taking taylor expansion of (- a b) in a 0.265 * [taylor]: Taking taylor expansion of a in a 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.265 * [taylor]: Taking taylor expansion of b in a 0.265 * [backup-simplify]: Simplify b into b 0.265 * [taylor]: Taking taylor expansion of (+ a b) in a 0.265 * [taylor]: Taking taylor expansion of a in a 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.265 * [taylor]: Taking taylor expansion of b in a 0.265 * [backup-simplify]: Simplify b into b 0.265 * [backup-simplify]: Simplify (- b) into (- b) 0.265 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b) 0.265 * [backup-simplify]: Simplify (+ 0 b) into b 0.265 * [backup-simplify]: Simplify (* (- b) b) into (* -1 (pow b 2)) 0.265 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b 0.265 * [taylor]: Taking taylor expansion of -1 in b 0.265 * [backup-simplify]: Simplify -1 into -1 0.265 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.265 * [taylor]: Taking taylor expansion of b in b 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.266 * [backup-simplify]: Simplify (+ 1 0) into 1 0.266 * [backup-simplify]: Simplify (- 0) into 0 0.266 * [backup-simplify]: Simplify (+ 1 0) into 1 0.266 * [backup-simplify]: Simplify (+ (* (- b) 1) (* 1 b)) into 0 0.266 * [taylor]: Taking taylor expansion of 0 in b 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify (+ 0 0) into 0 0.267 * [backup-simplify]: Simplify (- 0) into 0 0.267 * [backup-simplify]: Simplify (+ 0 0) into 0 0.267 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 1) (* 0 b))) into 1 0.267 * [taylor]: Taking taylor expansion of 1 in b 0.268 * [backup-simplify]: Simplify 1 into 1 0.268 * [backup-simplify]: Simplify 1 into 1 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify (* 1 1) into 1 0.268 * [backup-simplify]: Simplify (* -1 1) into -1 0.268 * [backup-simplify]: Simplify -1 into -1 0.268 * [backup-simplify]: Simplify (+ 0 0) into 0 0.269 * [backup-simplify]: Simplify (- 0) into 0 0.269 * [backup-simplify]: Simplify (+ 0 0) into 0 0.269 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 0) (+ (* 0 1) (* 0 b)))) into 0 0.269 * [taylor]: Taking taylor expansion of 0 in b 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.270 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify (+ 0 0) into 0 0.271 * [backup-simplify]: Simplify (- 0) into 0 0.271 * [backup-simplify]: Simplify (+ 0 0) into 0 0.272 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 b))))) into 0 0.272 * [taylor]: Taking taylor expansion of 0 in b 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 0.272 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) into (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) 0.272 * [approximate]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in (a b) around 0 0.272 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in b 0.272 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.272 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.272 * [taylor]: Taking taylor expansion of a in b 0.272 * [backup-simplify]: Simplify a into a 0.272 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.272 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.272 * [taylor]: Taking taylor expansion of b in b 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 1 into 1 0.272 * [backup-simplify]: Simplify (/ 1 1) into 1 0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.272 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.272 * [taylor]: Taking taylor expansion of b in b 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 1 into 1 0.273 * [backup-simplify]: Simplify (/ 1 1) into 1 0.273 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.273 * [taylor]: Taking taylor expansion of a in b 0.273 * [backup-simplify]: Simplify a into a 0.273 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.273 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a 0.273 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.273 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.273 * [taylor]: Taking taylor expansion of a in a 0.273 * [backup-simplify]: Simplify 0 into 0 0.273 * [backup-simplify]: Simplify 1 into 1 0.273 * [backup-simplify]: Simplify (/ 1 1) into 1 0.273 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.273 * [taylor]: Taking taylor expansion of b in a 0.273 * [backup-simplify]: Simplify b into b 0.273 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.273 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.273 * [taylor]: Taking taylor expansion of b in a 0.273 * [backup-simplify]: Simplify b into b 0.273 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.273 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.273 * [taylor]: Taking taylor expansion of a in a 0.273 * [backup-simplify]: Simplify 0 into 0 0.273 * [backup-simplify]: Simplify 1 into 1 0.274 * [backup-simplify]: Simplify (/ 1 1) into 1 0.274 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a 0.274 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.274 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.274 * [taylor]: Taking taylor expansion of a in a 0.274 * [backup-simplify]: Simplify 0 into 0 0.274 * [backup-simplify]: Simplify 1 into 1 0.274 * [backup-simplify]: Simplify (/ 1 1) into 1 0.274 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.274 * [taylor]: Taking taylor expansion of b in a 0.274 * [backup-simplify]: Simplify b into b 0.274 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.274 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.274 * [taylor]: Taking taylor expansion of b in a 0.274 * [backup-simplify]: Simplify b into b 0.274 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.274 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.274 * [taylor]: Taking taylor expansion of a in a 0.274 * [backup-simplify]: Simplify 0 into 0 0.274 * [backup-simplify]: Simplify 1 into 1 0.274 * [backup-simplify]: Simplify (/ 1 1) into 1 0.275 * [backup-simplify]: Simplify (+ 1 0) into 1 0.275 * [backup-simplify]: Simplify (+ 0 1) into 1 0.275 * [backup-simplify]: Simplify (* 1 1) into 1 0.275 * [taylor]: Taking taylor expansion of 1 in b 0.275 * [backup-simplify]: Simplify 1 into 1 0.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.276 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 0.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.276 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 0.276 * [backup-simplify]: Simplify (+ 0 (- (/ 1 b))) into (- (/ 1 b)) 0.276 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (- (/ 1 b)) 1)) into 0 0.276 * [taylor]: Taking taylor expansion of 0 in b 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.277 * [backup-simplify]: Simplify (+ 0 0) into 0 0.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.278 * [backup-simplify]: Simplify (- 0) into 0 0.278 * [backup-simplify]: Simplify (+ 0 0) into 0 0.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) (/ 1 b)) (* 0 1))) into (- (/ 1 (pow b 2))) 0.279 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.279 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.279 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.279 * [taylor]: Taking taylor expansion of b in b 0.279 * [backup-simplify]: Simplify 0 into 0 0.279 * [backup-simplify]: Simplify 1 into 1 0.279 * [backup-simplify]: Simplify (* 1 1) into 1 0.279 * [backup-simplify]: Simplify (/ 1 1) into 1 0.280 * [backup-simplify]: Simplify (- 1) into -1 0.280 * [backup-simplify]: Simplify -1 into -1 0.280 * [backup-simplify]: Simplify 1 into 1 0.280 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.280 * [backup-simplify]: Simplify (+ 0 0) into 0 0.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.281 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.281 * [backup-simplify]: Simplify (- 0) into 0 0.282 * [backup-simplify]: Simplify (+ 0 0) into 0 0.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) 0) (+ (* 0 (/ 1 b)) (* 0 1)))) into 0 0.282 * [taylor]: Taking taylor expansion of 0 in b 0.282 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.283 * [backup-simplify]: Simplify (- 0) into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.284 * [backup-simplify]: Simplify (+ 0 0) into 0 0.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.285 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.285 * [backup-simplify]: Simplify (- 0) into 0 0.285 * [backup-simplify]: Simplify (+ 0 0) into 0 0.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 1))))) into 0 0.286 * [taylor]: Taking taylor expansion of 0 in b 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.287 * [backup-simplify]: Simplify (- 0) into 0 0.287 * [backup-simplify]: Simplify 0 into 0 0.287 * [backup-simplify]: Simplify 0 into 0 0.287 * [backup-simplify]: Simplify 0 into 0 0.287 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 0.288 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b)))) into (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) 0.288 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in (a b) around 0 0.288 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in b 0.288 * [taylor]: Taking taylor expansion of -1 in b 0.288 * [backup-simplify]: Simplify -1 into -1 0.288 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in b 0.288 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.288 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.288 * [taylor]: Taking taylor expansion of b in b 0.288 * [backup-simplify]: Simplify 0 into 0 0.288 * [backup-simplify]: Simplify 1 into 1 0.288 * [backup-simplify]: Simplify (/ 1 1) into 1 0.288 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.288 * [taylor]: Taking taylor expansion of a in b 0.288 * [backup-simplify]: Simplify a into a 0.288 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.288 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.288 * [taylor]: Taking taylor expansion of b in b 0.288 * [backup-simplify]: Simplify 0 into 0 0.288 * [backup-simplify]: Simplify 1 into 1 0.288 * [backup-simplify]: Simplify (/ 1 1) into 1 0.288 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.288 * [taylor]: Taking taylor expansion of a in b 0.288 * [backup-simplify]: Simplify a into a 0.289 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.289 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a 0.289 * [taylor]: Taking taylor expansion of -1 in a 0.289 * [backup-simplify]: Simplify -1 into -1 0.289 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a 0.289 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.289 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.289 * [taylor]: Taking taylor expansion of b in a 0.289 * [backup-simplify]: Simplify b into b 0.289 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.289 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.289 * [taylor]: Taking taylor expansion of a in a 0.289 * [backup-simplify]: Simplify 0 into 0 0.289 * [backup-simplify]: Simplify 1 into 1 0.289 * [backup-simplify]: Simplify (/ 1 1) into 1 0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.289 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.289 * [taylor]: Taking taylor expansion of b in a 0.289 * [backup-simplify]: Simplify b into b 0.289 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.289 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.289 * [taylor]: Taking taylor expansion of a in a 0.289 * [backup-simplify]: Simplify 0 into 0 0.289 * [backup-simplify]: Simplify 1 into 1 0.289 * [backup-simplify]: Simplify (/ 1 1) into 1 0.289 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a 0.289 * [taylor]: Taking taylor expansion of -1 in a 0.289 * [backup-simplify]: Simplify -1 into -1 0.289 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a 0.289 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.289 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.289 * [taylor]: Taking taylor expansion of b in a 0.289 * [backup-simplify]: Simplify b into b 0.290 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.290 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.290 * [taylor]: Taking taylor expansion of a in a 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify 1 into 1 0.290 * [backup-simplify]: Simplify (/ 1 1) into 1 0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.290 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.290 * [taylor]: Taking taylor expansion of b in a 0.290 * [backup-simplify]: Simplify b into b 0.290 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.290 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.290 * [taylor]: Taking taylor expansion of a in a 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify 1 into 1 0.290 * [backup-simplify]: Simplify (/ 1 1) into 1 0.290 * [backup-simplify]: Simplify (- 1) into -1 0.291 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.291 * [backup-simplify]: Simplify (+ 0 1) into 1 0.291 * [backup-simplify]: Simplify (* -1 1) into -1 0.291 * [backup-simplify]: Simplify (* -1 -1) into 1 0.291 * [taylor]: Taking taylor expansion of 1 in b 0.291 * [backup-simplify]: Simplify 1 into 1 0.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.292 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 0.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.293 * [backup-simplify]: Simplify (- 0) into 0 0.293 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 0.293 * [backup-simplify]: Simplify (+ (* -1 (/ 1 b)) (* (/ 1 b) 1)) into 0 0.293 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 0.293 * [taylor]: Taking taylor expansion of 0 in b 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.294 * [backup-simplify]: Simplify (+ 0 0) into 0 0.294 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.295 * [backup-simplify]: Simplify (- 0) into 0 0.295 * [backup-simplify]: Simplify (+ 0 0) into 0 0.295 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 0.296 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow b 2))) 0.296 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.296 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.296 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.296 * [taylor]: Taking taylor expansion of b in b 0.296 * [backup-simplify]: Simplify 0 into 0 0.296 * [backup-simplify]: Simplify 1 into 1 0.296 * [backup-simplify]: Simplify (* 1 1) into 1 0.297 * [backup-simplify]: Simplify (/ 1 1) into 1 0.297 * [backup-simplify]: Simplify (- 1) into -1 0.297 * [backup-simplify]: Simplify -1 into -1 0.297 * [backup-simplify]: Simplify 1 into 1 0.297 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.298 * [backup-simplify]: Simplify (+ 0 0) into 0 0.298 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.298 * [backup-simplify]: Simplify (- 0) into 0 0.299 * [backup-simplify]: Simplify (+ 0 0) into 0 0.299 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 (/ 1 b)) (* 0 1)))) into 0 0.300 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1)))) into 0 0.300 * [taylor]: Taking taylor expansion of 0 in b 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.301 * [backup-simplify]: Simplify (- 0) into 0 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.302 * [backup-simplify]: Simplify (+ 0 0) into 0 0.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.303 * [backup-simplify]: Simplify (- 0) into 0 0.303 * [backup-simplify]: Simplify (+ 0 0) into 0 0.304 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 1))))) into 0 0.305 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))))) into 0 0.305 * [taylor]: Taking taylor expansion of 0 in b 0.305 * [backup-simplify]: Simplify 0 into 0 0.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.306 * [backup-simplify]: Simplify (- 0) into 0 0.306 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 0.306 * * * [progress]: simplifying candidates 0.307 * [simplify]: Simplifying: (expm1 (* (+ a b) (- a b))) (log1p (* (+ a b) (- a b))) (* (+ a b) (- a b)) (+ (log (+ a b)) (log (- a b))) (log (* (+ a b) (- a b))) (exp (* (+ a b) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (cbrt (* (+ a b) (- a b))) (cbrt (* (+ a b) (- a b)))) (cbrt (* (+ a b) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (sqrt (* (+ a b) (- a b))) (sqrt (* (+ a b) (- a b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (+ a b)) (* (sqrt (+ a b)) (sqrt (- a b))) (* (sqrt (+ a b)) (sqrt (- a b))) (* (+ a b) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (cbrt b) (* (cbrt b) (cbrt b)))))) (* (+ a b) (fma (- (cbrt b)) (* (cbrt b) (cbrt b)) (* (cbrt b) (* (cbrt b) (cbrt b))))) (* (+ a b) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (sqrt b) (sqrt b))))) (* (+ a b) (fma (- (sqrt b)) (sqrt b) (* (sqrt b) (sqrt b)))) (* (+ a b) (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* b 1)))) (* (+ a b) (fma (- b) 1 (* b 1))) (* (+ a b) (fma (sqrt a) (sqrt a) (- (* (cbrt b) (* (cbrt b) (cbrt b)))))) (* (+ a b) (fma (- (cbrt b)) (* (cbrt b) (cbrt b)) (* (cbrt b) (* (cbrt b) (cbrt b))))) (* (+ a b) (fma (sqrt a) (sqrt a) (- (* (sqrt b) (sqrt b))))) (* (+ a b) (fma (- (sqrt b)) (sqrt b) (* (sqrt b) (sqrt b)))) (* (+ a b) (fma (sqrt a) (sqrt a) (- (* b 1)))) (* (+ a b) (fma (- b) 1 (* b 1))) (* (+ a b) (fma 1 a (- (* (cbrt b) (* (cbrt b) (cbrt b)))))) (* (+ a b) (fma (- (cbrt b)) (* (cbrt b) (cbrt b)) (* (cbrt b) (* (cbrt b) (cbrt b))))) (* (+ a b) (fma 1 a (- (* (sqrt b) (sqrt b))))) (* (+ a b) (fma (- (sqrt b)) (sqrt b) (* (sqrt b) (sqrt b)))) (* (+ a b) (fma 1 a (- (* b 1)))) (* (+ a b) (fma (- b) 1 (* b 1))) (* (+ a b) a) (* (+ a b) (- b)) (* (+ a b) a) (* (+ a b) (- b)) (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (cbrt b) (* (cbrt b) (cbrt b))))) (+ a b)) (* (fma (- (cbrt b)) (* (cbrt b) (cbrt b)) (* (cbrt b) (* (cbrt b) (cbrt b)))) (+ a b)) (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (sqrt b) (sqrt b)))) (+ a b)) (* (fma (- (sqrt b)) (sqrt b) (* (sqrt b) (sqrt b))) (+ a b)) (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* b 1))) (+ a b)) (* (fma (- b) 1 (* b 1)) (+ a b)) (* (fma (sqrt a) (sqrt a) (- (* (cbrt b) (* (cbrt b) (cbrt b))))) (+ a b)) (* (fma (- (cbrt b)) (* (cbrt b) (cbrt b)) (* (cbrt b) (* (cbrt b) (cbrt b)))) (+ a b)) (* (fma (sqrt a) (sqrt a) (- (* (sqrt b) (sqrt b)))) (+ a b)) (* (fma (- (sqrt b)) (sqrt b) (* (sqrt b) (sqrt b))) (+ a b)) (* (fma (sqrt a) (sqrt a) (- (* b 1))) (+ a b)) (* (fma (- b) 1 (* b 1)) (+ a b)) (* (fma 1 a (- (* (cbrt b) (* (cbrt b) (cbrt b))))) (+ a b)) (* (fma (- (cbrt b)) (* (cbrt b) (cbrt b)) (* (cbrt b) (* (cbrt b) (cbrt b)))) (+ a b)) (* (fma 1 a (- (* (sqrt b) (sqrt b)))) (+ a b)) (* (fma (- (sqrt b)) (sqrt b) (* (sqrt b) (sqrt b))) (+ a b)) (* (fma 1 a (- (* b 1))) (+ a b)) (* (fma (- b) 1 (* b 1)) (+ a b)) (* a (+ a b)) (* (- b) (+ a b)) (* a (+ a b)) (* (- b) (+ a b)) (* (+ a b) (* (cbrt (- a b)) (cbrt (- a b)))) (* (+ a b) (sqrt (- a b))) (* (+ a b) 1) (* (+ a b) (+ (sqrt a) (sqrt b))) (* (+ a b) 1) (* (cbrt (+ a b)) (- a b)) (* (sqrt (+ a b)) (- a b)) (* (+ a b) (- a b)) (* (+ a b) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- a b)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 0.307 * [simplify]: Sending expressions to egg_math: (expm1 (* (+ h0 h1) (- h0 h1))) (log1p (* (+ h0 h1) (- h0 h1))) (* (+ h0 h1) (- h0 h1)) (+ (log (+ h0 h1)) (log (- h0 h1))) (log (* (+ h0 h1) (- h0 h1))) (exp (* (+ h0 h1) (- h0 h1))) (* (* (* (+ h0 h1) (+ h0 h1)) (+ h0 h1)) (* (* (- h0 h1) (- h0 h1)) (- h0 h1))) (* (cbrt (* (+ h0 h1) (- h0 h1))) (cbrt (* (+ h0 h1) (- h0 h1)))) (cbrt (* (+ h0 h1) (- h0 h1))) (* (* (* (+ h0 h1) (- h0 h1)) (* (+ h0 h1) (- h0 h1))) (* (+ h0 h1) (- h0 h1))) (sqrt (* (+ h0 h1) (- h0 h1))) (sqrt (* (+ h0 h1) (- h0 h1))) (* (+ (pow h0 3) (pow h1 3)) (- (pow h0 3) (pow h1 3))) (* (+ (* h0 h0) (- (* h1 h1) (* h0 h1))) (+ (* h0 h0) (+ (* h1 h1) (* h0 h1)))) (* (+ (pow h0 3) (pow h1 3)) (- (* h0 h0) (* h1 h1))) (* (+ (* h0 h0) (- (* h1 h1) (* h0 h1))) (+ h0 h1)) (* (- (* h0 h0) (* h1 h1)) (- (pow h0 3) (pow h1 3))) (* (- h0 h1) (+ (* h0 h0) (+ (* h1 h1) (* h0 h1)))) (* (- (* h0 h0) (* h1 h1)) (- (* h0 h0) (* h1 h1))) (* (- h0 h1) (+ h0 h1)) (* (sqrt (+ h0 h1)) (sqrt (- h0 h1))) (* (sqrt (+ h0 h1)) (sqrt (- h0 h1))) (* (+ h0 h1) (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* (cbrt h1) (* (cbrt h1) (cbrt h1)))))) (* (+ h0 h1) (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) (* (+ h0 h1) (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* (sqrt h1) (sqrt h1))))) (* (+ h0 h1) (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1)))) (* (+ h0 h1) (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* h1 1)))) (* (+ h0 h1) (fma (- h1) 1 (* h1 1))) (* (+ h0 h1) (fma (sqrt h0) (sqrt h0) (- (* (cbrt h1) (* (cbrt h1) (cbrt h1)))))) (* (+ h0 h1) (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) (* (+ h0 h1) (fma (sqrt h0) (sqrt h0) (- (* (sqrt h1) (sqrt h1))))) (* (+ h0 h1) (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1)))) (* (+ h0 h1) (fma (sqrt h0) (sqrt h0) (- (* h1 1)))) (* (+ h0 h1) (fma (- h1) 1 (* h1 1))) (* (+ h0 h1) (fma 1 h0 (- (* (cbrt h1) (* (cbrt h1) (cbrt h1)))))) (* (+ h0 h1) (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) (* (+ h0 h1) (fma 1 h0 (- (* (sqrt h1) (sqrt h1))))) (* (+ h0 h1) (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1)))) (* (+ h0 h1) (fma 1 h0 (- (* h1 1)))) (* (+ h0 h1) (fma (- h1) 1 (* h1 1))) (* (+ h0 h1) h0) (* (+ h0 h1) (- h1)) (* (+ h0 h1) h0) (* (+ h0 h1) (- h1)) (* (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) (+ h0 h1)) (* (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1)))) (+ h0 h1)) (* (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* (sqrt h1) (sqrt h1)))) (+ h0 h1)) (* (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1))) (+ h0 h1)) (* (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* h1 1))) (+ h0 h1)) (* (fma (- h1) 1 (* h1 1)) (+ h0 h1)) (* (fma (sqrt h0) (sqrt h0) (- (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) (+ h0 h1)) (* (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1)))) (+ h0 h1)) (* (fma (sqrt h0) (sqrt h0) (- (* (sqrt h1) (sqrt h1)))) (+ h0 h1)) (* (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1))) (+ h0 h1)) (* (fma (sqrt h0) (sqrt h0) (- (* h1 1))) (+ h0 h1)) (* (fma (- h1) 1 (* h1 1)) (+ h0 h1)) (* (fma 1 h0 (- (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) (+ h0 h1)) (* (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1)))) (+ h0 h1)) (* (fma 1 h0 (- (* (sqrt h1) (sqrt h1)))) (+ h0 h1)) (* (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1))) (+ h0 h1)) (* (fma 1 h0 (- (* h1 1))) (+ h0 h1)) (* (fma (- h1) 1 (* h1 1)) (+ h0 h1)) (* h0 (+ h0 h1)) (* (- h1) (+ h0 h1)) (* h0 (+ h0 h1)) (* (- h1) (+ h0 h1)) (* (+ h0 h1) (* (cbrt (- h0 h1)) (cbrt (- h0 h1)))) (* (+ h0 h1) (sqrt (- h0 h1))) (* (+ h0 h1) 1) (* (+ h0 h1) (+ (sqrt h0) (sqrt h1))) (* (+ h0 h1) 1) (* (cbrt (+ h0 h1)) (- h0 h1)) (* (sqrt (+ h0 h1)) (- h0 h1)) (* (+ h0 h1) (- h0 h1)) (* (+ h0 h1) (- h0 h1)) (* (+ h0 h1) (- (pow h0 3) (pow h1 3))) (* (+ h0 h1) (- (* h0 h0) (* h1 h1))) (* (+ (pow h0 3) (pow h1 3)) (- h0 h1)) (* (- (* h0 h0) (* h1 h1)) (- h0 h1)) (- (pow h0 2) (pow h1 2)) (- (pow h0 2) (pow h1 2)) (- (pow h0 2) (pow h1 2)) 0.314 * * [simplify]: iteration 0 : 349 enodes (cost 495 ) 0.321 * * [simplify]: iteration 1 : 1721 enodes (cost 354 ) 0.350 * * [simplify]: iteration 2 : 5002 enodes (cost 354 ) 0.353 * * * [progress]: adding candidates to table 0.416 * * [progress]: iteration 3 / 4 0.416 * * * [progress]: picking best candidate 0.418 * * * * [pick]: Picked # 0.418 * * * [progress]: localizing error 0.422 * * * [progress]: generating rewritten candidates 0.422 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.423 * * * [progress]: generating series expansions 0.423 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.423 * [backup-simplify]: Simplify (fma a a (- (* b b))) into (fma a a (- (pow b 2))) 0.423 * [approximate]: Taking taylor expansion of (fma a a (- (pow b 2))) in (a b) around 0 0.423 * [taylor]: Taking taylor expansion of (fma a a (- (pow b 2))) in b 0.423 * [taylor]: Rewrote expression to (+ (* a a) (- (pow b 2))) 0.423 * [taylor]: Taking taylor expansion of (* a a) in b 0.423 * [taylor]: Taking taylor expansion of a in b 0.423 * [backup-simplify]: Simplify a into a 0.423 * [taylor]: Taking taylor expansion of a in b 0.423 * [backup-simplify]: Simplify a into a 0.423 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b 0.423 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.423 * [taylor]: Taking taylor expansion of b in b 0.423 * [backup-simplify]: Simplify 0 into 0 0.423 * [backup-simplify]: Simplify 1 into 1 0.423 * [taylor]: Taking taylor expansion of (fma a a (- (pow b 2))) in a 0.423 * [taylor]: Rewrote expression to (+ (* a a) (- (pow b 2))) 0.423 * [taylor]: Taking taylor expansion of (* a a) in a 0.423 * [taylor]: Taking taylor expansion of a in a 0.424 * [backup-simplify]: Simplify 0 into 0 0.424 * [backup-simplify]: Simplify 1 into 1 0.424 * [taylor]: Taking taylor expansion of a in a 0.424 * [backup-simplify]: Simplify 0 into 0 0.424 * [backup-simplify]: Simplify 1 into 1 0.424 * [taylor]: Taking taylor expansion of (- (pow b 2)) in a 0.424 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.424 * [taylor]: Taking taylor expansion of b in a 0.424 * [backup-simplify]: Simplify b into b 0.424 * [taylor]: Taking taylor expansion of (fma a a (- (pow b 2))) in a 0.424 * [taylor]: Rewrote expression to (+ (* a a) (- (pow b 2))) 0.424 * [taylor]: Taking taylor expansion of (* a a) in a 0.424 * [taylor]: Taking taylor expansion of a in a 0.424 * [backup-simplify]: Simplify 0 into 0 0.424 * [backup-simplify]: Simplify 1 into 1 0.424 * [taylor]: Taking taylor expansion of a in a 0.424 * [backup-simplify]: Simplify 0 into 0 0.424 * [backup-simplify]: Simplify 1 into 1 0.424 * [taylor]: Taking taylor expansion of (- (pow b 2)) in a 0.424 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.424 * [taylor]: Taking taylor expansion of b in a 0.424 * [backup-simplify]: Simplify b into b 0.424 * [backup-simplify]: Simplify (* 0 0) into 0 0.424 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.424 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2)) 0.425 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2)) 0.425 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b 0.425 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.425 * [taylor]: Taking taylor expansion of b in b 0.425 * [backup-simplify]: Simplify 0 into 0 0.425 * [backup-simplify]: Simplify 1 into 1 0.425 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 0.425 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 0.425 * [backup-simplify]: Simplify (- 0) into 0 0.425 * [backup-simplify]: Simplify (+ 0 0) into 0 0.426 * [taylor]: Taking taylor expansion of 0 in b 0.426 * [backup-simplify]: Simplify 0 into 0 0.426 * [backup-simplify]: Simplify 0 into 0 0.426 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 0.426 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 0.426 * [backup-simplify]: Simplify (- 0) into 0 0.427 * [backup-simplify]: Simplify (+ 1 0) into 1 0.427 * [taylor]: Taking taylor expansion of 1 in b 0.427 * [backup-simplify]: Simplify 1 into 1 0.427 * [backup-simplify]: Simplify 1 into 1 0.427 * [backup-simplify]: Simplify 0 into 0 0.427 * [backup-simplify]: Simplify (* 1 1) into 1 0.427 * [backup-simplify]: Simplify (- 1) into -1 0.427 * [backup-simplify]: Simplify -1 into -1 0.428 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 0.428 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 0.429 * [backup-simplify]: Simplify (- 0) into 0 0.429 * [backup-simplify]: Simplify (+ 0 0) into 0 0.429 * [taylor]: Taking taylor expansion of 0 in b 0.429 * [backup-simplify]: Simplify 0 into 0 0.429 * [backup-simplify]: Simplify 0 into 0 0.429 * [backup-simplify]: Simplify 0 into 0 0.429 * [backup-simplify]: Simplify 0 into 0 0.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.429 * [backup-simplify]: Simplify (- 0) into 0 0.429 * [backup-simplify]: Simplify 0 into 0 0.430 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.431 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 0.431 * [backup-simplify]: Simplify (- 0) into 0 0.431 * [backup-simplify]: Simplify (+ 0 0) into 0 0.431 * [taylor]: Taking taylor expansion of 0 in b 0.431 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 0.432 * [backup-simplify]: Simplify (fma (/ 1 a) (/ 1 a) (- (* (/ 1 b) (/ 1 b)))) into (fma (/ 1 a) (/ 1 a) (- (/ 1 (pow b 2)))) 0.432 * [approximate]: Taking taylor expansion of (fma (/ 1 a) (/ 1 a) (- (/ 1 (pow b 2)))) in (a b) around 0 0.432 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ 1 a) (- (/ 1 (pow b 2)))) in b 0.432 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ 1 a)) (- (/ 1 (pow b 2)))) 0.432 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in b 0.432 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.432 * [taylor]: Taking taylor expansion of a in b 0.432 * [backup-simplify]: Simplify a into a 0.432 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.432 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.432 * [taylor]: Taking taylor expansion of a in b 0.432 * [backup-simplify]: Simplify a into a 0.432 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.432 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.432 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.432 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.432 * [taylor]: Taking taylor expansion of b in b 0.432 * [backup-simplify]: Simplify 0 into 0 0.432 * [backup-simplify]: Simplify 1 into 1 0.432 * [backup-simplify]: Simplify (* 1 1) into 1 0.432 * [backup-simplify]: Simplify (/ 1 1) into 1 0.433 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ 1 a) (- (/ 1 (pow b 2)))) in a 0.433 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ 1 a)) (- (/ 1 (pow b 2)))) 0.433 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a 0.433 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.433 * [taylor]: Taking taylor expansion of a in a 0.433 * [backup-simplify]: Simplify 0 into 0 0.433 * [backup-simplify]: Simplify 1 into 1 0.433 * [backup-simplify]: Simplify (/ 1 1) into 1 0.433 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.433 * [taylor]: Taking taylor expansion of a in a 0.433 * [backup-simplify]: Simplify 0 into 0 0.433 * [backup-simplify]: Simplify 1 into 1 0.433 * [backup-simplify]: Simplify (/ 1 1) into 1 0.433 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in a 0.433 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.433 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.433 * [taylor]: Taking taylor expansion of b in a 0.433 * [backup-simplify]: Simplify b into b 0.433 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.433 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.433 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ 1 a) (- (/ 1 (pow b 2)))) in a 0.434 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ 1 a)) (- (/ 1 (pow b 2)))) 0.434 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a 0.434 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.434 * [taylor]: Taking taylor expansion of a in a 0.434 * [backup-simplify]: Simplify 0 into 0 0.434 * [backup-simplify]: Simplify 1 into 1 0.434 * [backup-simplify]: Simplify (/ 1 1) into 1 0.434 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.434 * [taylor]: Taking taylor expansion of a in a 0.434 * [backup-simplify]: Simplify 0 into 0 0.434 * [backup-simplify]: Simplify 1 into 1 0.434 * [backup-simplify]: Simplify (/ 1 1) into 1 0.434 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in a 0.434 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.434 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.434 * [taylor]: Taking taylor expansion of b in a 0.434 * [backup-simplify]: Simplify b into b 0.434 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.434 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.435 * [backup-simplify]: Simplify (* 1 1) into 1 0.435 * [backup-simplify]: Simplify (+ 1 0) into 1 0.435 * [taylor]: Taking taylor expansion of 1 in b 0.435 * [backup-simplify]: Simplify 1 into 1 0.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.436 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.436 * [backup-simplify]: Simplify (+ 0 0) into 0 0.436 * [taylor]: Taking taylor expansion of 0 in b 0.436 * [backup-simplify]: Simplify 0 into 0 0.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.438 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 0.438 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 0.438 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.438 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.438 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.438 * [taylor]: Taking taylor expansion of b in b 0.438 * [backup-simplify]: Simplify 0 into 0 0.438 * [backup-simplify]: Simplify 1 into 1 0.438 * [backup-simplify]: Simplify (* 1 1) into 1 0.439 * [backup-simplify]: Simplify (/ 1 1) into 1 0.439 * [backup-simplify]: Simplify (- 1) into -1 0.439 * [backup-simplify]: Simplify -1 into -1 0.439 * [backup-simplify]: Simplify 1 into 1 0.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.440 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 0.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 0.441 * [backup-simplify]: Simplify (- 0) into 0 0.441 * [backup-simplify]: Simplify (+ 0 0) into 0 0.441 * [taylor]: Taking taylor expansion of 0 in b 0.441 * [backup-simplify]: Simplify 0 into 0 0.442 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.442 * [backup-simplify]: Simplify (- 0) into 0 0.442 * [backup-simplify]: Simplify 0 into 0 0.442 * [backup-simplify]: Simplify 0 into 0 0.442 * [backup-simplify]: Simplify 0 into 0 0.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.444 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 0.444 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 0.445 * [backup-simplify]: Simplify (- 0) into 0 0.445 * [backup-simplify]: Simplify (+ 0 0) into 0 0.445 * [taylor]: Taking taylor expansion of 0 in b 0.445 * [backup-simplify]: Simplify 0 into 0 0.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.446 * [backup-simplify]: Simplify (- 0) into 0 0.446 * [backup-simplify]: Simplify 0 into 0 0.446 * [backup-simplify]: Simplify 0 into 0 0.446 * [backup-simplify]: Simplify 0 into 0 0.446 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 0.446 * [backup-simplify]: Simplify (fma (/ 1 (- a)) (/ 1 (- a)) (- (* (/ 1 (- b)) (/ 1 (- b))))) into (fma (/ -1 a) (/ -1 a) (- (/ 1 (pow b 2)))) 0.447 * [approximate]: Taking taylor expansion of (fma (/ -1 a) (/ -1 a) (- (/ 1 (pow b 2)))) in (a b) around 0 0.447 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (/ -1 a) (- (/ 1 (pow b 2)))) in b 0.447 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (/ -1 a)) (- (/ 1 (pow b 2)))) 0.447 * [taylor]: Taking taylor expansion of (* (/ -1 a) (/ -1 a)) in b 0.447 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.447 * [taylor]: Taking taylor expansion of -1 in b 0.447 * [backup-simplify]: Simplify -1 into -1 0.447 * [taylor]: Taking taylor expansion of a in b 0.447 * [backup-simplify]: Simplify a into a 0.447 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.447 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.447 * [taylor]: Taking taylor expansion of -1 in b 0.447 * [backup-simplify]: Simplify -1 into -1 0.447 * [taylor]: Taking taylor expansion of a in b 0.447 * [backup-simplify]: Simplify a into a 0.447 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.447 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.447 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.447 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.447 * [taylor]: Taking taylor expansion of b in b 0.447 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify 1 into 1 0.447 * [backup-simplify]: Simplify (* 1 1) into 1 0.447 * [backup-simplify]: Simplify (/ 1 1) into 1 0.447 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (/ -1 a) (- (/ 1 (pow b 2)))) in a 0.448 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (/ -1 a)) (- (/ 1 (pow b 2)))) 0.448 * [taylor]: Taking taylor expansion of (* (/ -1 a) (/ -1 a)) in a 0.448 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.448 * [taylor]: Taking taylor expansion of -1 in a 0.448 * [backup-simplify]: Simplify -1 into -1 0.448 * [taylor]: Taking taylor expansion of a in a 0.448 * [backup-simplify]: Simplify 0 into 0 0.448 * [backup-simplify]: Simplify 1 into 1 0.448 * [backup-simplify]: Simplify (/ -1 1) into -1 0.448 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.448 * [taylor]: Taking taylor expansion of -1 in a 0.448 * [backup-simplify]: Simplify -1 into -1 0.448 * [taylor]: Taking taylor expansion of a in a 0.448 * [backup-simplify]: Simplify 0 into 0 0.448 * [backup-simplify]: Simplify 1 into 1 0.448 * [backup-simplify]: Simplify (/ -1 1) into -1 0.448 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in a 0.448 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.448 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.448 * [taylor]: Taking taylor expansion of b in a 0.448 * [backup-simplify]: Simplify b into b 0.448 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.449 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.449 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (/ -1 a) (- (/ 1 (pow b 2)))) in a 0.449 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (/ -1 a)) (- (/ 1 (pow b 2)))) 0.449 * [taylor]: Taking taylor expansion of (* (/ -1 a) (/ -1 a)) in a 0.449 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.449 * [taylor]: Taking taylor expansion of -1 in a 0.449 * [backup-simplify]: Simplify -1 into -1 0.449 * [taylor]: Taking taylor expansion of a in a 0.449 * [backup-simplify]: Simplify 0 into 0 0.449 * [backup-simplify]: Simplify 1 into 1 0.449 * [backup-simplify]: Simplify (/ -1 1) into -1 0.449 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.449 * [taylor]: Taking taylor expansion of -1 in a 0.449 * [backup-simplify]: Simplify -1 into -1 0.449 * [taylor]: Taking taylor expansion of a in a 0.449 * [backup-simplify]: Simplify 0 into 0 0.449 * [backup-simplify]: Simplify 1 into 1 0.449 * [backup-simplify]: Simplify (/ -1 1) into -1 0.449 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in a 0.449 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.449 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.449 * [taylor]: Taking taylor expansion of b in a 0.449 * [backup-simplify]: Simplify b into b 0.449 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.450 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.450 * [backup-simplify]: Simplify (* -1 -1) into 1 0.450 * [backup-simplify]: Simplify (+ 1 0) into 1 0.450 * [taylor]: Taking taylor expansion of 1 in b 0.450 * [backup-simplify]: Simplify 1 into 1 0.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.452 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 0.452 * [backup-simplify]: Simplify (+ 0 0) into 0 0.452 * [taylor]: Taking taylor expansion of 0 in b 0.452 * [backup-simplify]: Simplify 0 into 0 0.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.453 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.453 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 0.454 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 0.454 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 0.454 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.454 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.454 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.454 * [taylor]: Taking taylor expansion of b in b 0.454 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify 1 into 1 0.454 * [backup-simplify]: Simplify (* 1 1) into 1 0.454 * [backup-simplify]: Simplify (/ 1 1) into 1 0.454 * [backup-simplify]: Simplify (- 1) into -1 0.454 * [backup-simplify]: Simplify -1 into -1 0.454 * [backup-simplify]: Simplify 1 into 1 0.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.456 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 0.456 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 0.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 0.457 * [backup-simplify]: Simplify (- 0) into 0 0.457 * [backup-simplify]: Simplify (+ 0 0) into 0 0.457 * [taylor]: Taking taylor expansion of 0 in b 0.457 * [backup-simplify]: Simplify 0 into 0 0.457 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.458 * [backup-simplify]: Simplify (- 0) into 0 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.460 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 0.460 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 0.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 0.460 * [backup-simplify]: Simplify (- 0) into 0 0.461 * [backup-simplify]: Simplify (+ 0 0) into 0 0.461 * [taylor]: Taking taylor expansion of 0 in b 0.461 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.462 * [backup-simplify]: Simplify (- 0) into 0 0.462 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 0.462 * * * [progress]: simplifying candidates 0.463 * [simplify]: Simplifying: (expm1 (fma a a (- (* b b)))) (log1p (fma a a (- (* b b)))) (* a a) (log (fma a a (- (* b b)))) (exp (fma a a (- (* b b)))) (* (cbrt (fma a a (- (* b b)))) (cbrt (fma a a (- (* b b))))) (cbrt (fma a a (- (* b b)))) (* (* (fma a a (- (* b b))) (fma a a (- (* b b)))) (fma a a (- (* b b)))) (sqrt (fma a a (- (* b b)))) (sqrt (fma a a (- (* b b)))) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 0.463 * [simplify]: Sending expressions to egg_math: (expm1 (fma h0 h0 (- (* h1 h1)))) (log1p (fma h0 h0 (- (* h1 h1)))) (* h0 h0) (log (fma h0 h0 (- (* h1 h1)))) (exp (fma h0 h0 (- (* h1 h1)))) (* (cbrt (fma h0 h0 (- (* h1 h1)))) (cbrt (fma h0 h0 (- (* h1 h1))))) (cbrt (fma h0 h0 (- (* h1 h1)))) (* (* (fma h0 h0 (- (* h1 h1))) (fma h0 h0 (- (* h1 h1)))) (fma h0 h0 (- (* h1 h1)))) (sqrt (fma h0 h0 (- (* h1 h1)))) (sqrt (fma h0 h0 (- (* h1 h1)))) (- (pow h0 2) (pow h1 2)) (- (pow h0 2) (pow h1 2)) (- (pow h0 2) (pow h1 2)) 0.465 * * [simplify]: iteration 0 : 31 enodes (cost 58 ) 0.466 * * [simplify]: iteration 1 : 84 enodes (cost 51 ) 0.468 * * [simplify]: iteration 2 : 277 enodes (cost 51 ) 0.474 * * [simplify]: iteration 3 : 1347 enodes (cost 51 ) 0.519 * * [simplify]: iteration 4 : 5002 enodes (cost 51 ) 0.520 * * * [progress]: adding candidates to table 0.546 * [progress]: [Phase 3 of 3] Extracting. 0.547 * * [regime]: Finding splitpoints for: (# #) 0.547 * * * [regime-changes]: Trying 3 branch expressions: ((* b b) b a) 0.547 * * * * [regimes]: Trying to branch on (* b b) from (# #) 0.556 * * * * [regimes]: Trying to branch on b from (# #) 0.568 * * * * [regimes]: Trying to branch on a from (# #) 0.578 * * * [regime]: Found split indices: #