4.991 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.082 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.084 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.085 * * * * [points]: Setting MPFR precision to 64 0.085 * * * * [points]: Setting MPFR precision to 320 0.085 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.085 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.086 * * * * [points]: Setting MPFR precision to 576 0.087 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.087 * * * * [points]: Setting MPFR precision to 320 0.087 * * * * [points]: Setting MPFR precision to 576 0.088 * * * * [points]: Setting MPFR precision to 832 0.089 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.089 * * * * [points]: Setting MPFR precision to 576 0.090 * * * * [points]: Setting MPFR precision to 832 0.092 * * * * [points]: Setting MPFR precision to 1088 0.093 * * * * [points]: Computing exacts for 256 points 0.093 * * * * [points]: Setting MPFR precision to 832 0.097 * * * * [points]: Setting MPFR precision to 1088 0.101 * * * * [points]: Filtering points with unrepresentable outputs 0.101 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 253 / 256 0.101 * * * * [points]: Computing exacts for 4 points 0.101 * * * * [points]: Setting MPFR precision to 832 0.102 * * * * [points]: Setting MPFR precision to 1088 0.102 * * * * [points]: Filtering points with unrepresentable outputs 0.102 * * * * [points]: Sampled 256 points with exact outputs 0.109 * * * [progress]: [2/2] Setting up program. 0.112 * [progress]: [Phase 2 of 3] Improving. 0.112 * [simplify]: Simplifying using # : (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)) 0.115 * * [simplify]: iteration 0 : 42 enodes (cost 7 ) 0.115 * * [simplify]: iteration 1 : 42 enodes (cost 7 ) 0.115 * [simplify]: Simplified to: (* d1 (+ 10.0 (+ d2 20.0))) 0.119 * * [progress]: iteration 1 / 4 0.119 * * * [progress]: picking best candidate 0.124 * * * * [pick]: Picked # 0.124 * * * [progress]: localizing error 0.129 * * * [progress]: generating rewritten candidates 0.129 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.140 * * * [progress]: generating series expansions 0.140 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.140 * [approximate]: Taking taylor expansion of (* d1 (+ d2 30.0)) in (d1 d2) around 0 0.140 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d2 0.140 * [taylor]: Taking taylor expansion of d1 in d2 0.140 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.140 * [taylor]: Taking taylor expansion of d2 in d2 0.140 * [taylor]: Taking taylor expansion of 30.0 in d2 0.140 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1 0.140 * [taylor]: Taking taylor expansion of d1 in d1 0.140 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.140 * [taylor]: Taking taylor expansion of d2 in d1 0.140 * [taylor]: Taking taylor expansion of 30.0 in d1 0.140 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1 0.140 * [taylor]: Taking taylor expansion of d1 in d1 0.140 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.140 * [taylor]: Taking taylor expansion of d2 in d1 0.140 * [taylor]: Taking taylor expansion of 30.0 in d1 0.140 * [taylor]: Taking taylor expansion of 0 in d2 0.140 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.140 * [taylor]: Taking taylor expansion of d2 in d2 0.140 * [taylor]: Taking taylor expansion of 30.0 in d2 0.140 * [taylor]: Taking taylor expansion of 0 in d2 0.140 * [taylor]: Taking taylor expansion of 0 in d2 0.141 * [taylor]: Taking taylor expansion of 0 in d2 0.141 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in (d1 d2) around 0 0.141 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d2 0.141 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.141 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.141 * [taylor]: Taking taylor expansion of d2 in d2 0.141 * [taylor]: Taking taylor expansion of 30.0 in d2 0.141 * [taylor]: Taking taylor expansion of d1 in d2 0.141 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1 0.141 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.141 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.141 * [taylor]: Taking taylor expansion of d2 in d1 0.141 * [taylor]: Taking taylor expansion of 30.0 in d1 0.141 * [taylor]: Taking taylor expansion of d1 in d1 0.141 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1 0.141 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.141 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.141 * [taylor]: Taking taylor expansion of d2 in d1 0.141 * [taylor]: Taking taylor expansion of 30.0 in d1 0.141 * [taylor]: Taking taylor expansion of d1 in d1 0.141 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.141 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.141 * [taylor]: Taking taylor expansion of d2 in d2 0.141 * [taylor]: Taking taylor expansion of 30.0 in d2 0.142 * [taylor]: Taking taylor expansion of 0 in d2 0.142 * [taylor]: Taking taylor expansion of 0 in d2 0.142 * [taylor]: Taking taylor expansion of 0 in d2 0.142 * [taylor]: Taking taylor expansion of 0 in d2 0.143 * [approximate]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in (d1 d2) around 0 0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d2 0.143 * [taylor]: Taking taylor expansion of -1 in d2 0.143 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d2 0.143 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.143 * [taylor]: Taking taylor expansion of 30.0 in d2 0.143 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.143 * [taylor]: Taking taylor expansion of d2 in d2 0.143 * [taylor]: Taking taylor expansion of d1 in d2 0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1 0.143 * [taylor]: Taking taylor expansion of -1 in d1 0.143 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1 0.143 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.143 * [taylor]: Taking taylor expansion of 30.0 in d1 0.143 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.143 * [taylor]: Taking taylor expansion of d2 in d1 0.143 * [taylor]: Taking taylor expansion of d1 in d1 0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1 0.143 * [taylor]: Taking taylor expansion of -1 in d1 0.143 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1 0.143 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.143 * [taylor]: Taking taylor expansion of 30.0 in d1 0.143 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.143 * [taylor]: Taking taylor expansion of d2 in d1 0.143 * [taylor]: Taking taylor expansion of d1 in d1 0.143 * [taylor]: Taking taylor expansion of (* -1 (- 30.0 (/ 1 d2))) in d2 0.143 * [taylor]: Taking taylor expansion of -1 in d2 0.143 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.143 * [taylor]: Taking taylor expansion of 30.0 in d2 0.143 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.143 * [taylor]: Taking taylor expansion of d2 in d2 0.144 * [taylor]: Taking taylor expansion of 0 in d2 0.144 * [taylor]: Taking taylor expansion of 0 in d2 0.144 * [taylor]: Taking taylor expansion of 0 in d2 0.145 * [taylor]: Taking taylor expansion of 0 in d2 0.145 * * * [progress]: simplifying candidates 0.145 * [simplify]: Simplifying using # : (* d1 (+ 10.0 (+ d2 20.0))) (+ (log d1) (log (+ 10.0 (+ d2 20.0)))) (log (* d1 (+ 10.0 (+ d2 20.0)))) (exp (* d1 (+ 10.0 (+ d2 20.0)))) (* (* (* d1 d1) d1) (* (* (+ 10.0 (+ d2 20.0)) (+ 10.0 (+ d2 20.0))) (+ 10.0 (+ d2 20.0)))) (* (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (cbrt (* d1 (+ 10.0 (+ d2 20.0))))) (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (* (* (* d1 (+ 10.0 (+ d2 20.0))) (* d1 (+ 10.0 (+ d2 20.0)))) (* d1 (+ 10.0 (+ d2 20.0)))) (sqrt (* d1 (+ 10.0 (+ d2 20.0)))) (sqrt (* d1 (+ 10.0 (+ d2 20.0)))) (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0)))) (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 10.0) (* d1 (+ d2 20.0)) (* 10.0 d1) (* (+ d2 20.0) d1) (* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 1) (* d1 1) (* d1 1) (* (cbrt d1) (+ 10.0 (+ d2 20.0))) (* (sqrt d1) (+ 10.0 (+ d2 20.0))) (* d1 (+ 10.0 (+ d2 20.0))) (* d1 (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) 0.193 * * [simplify]: iteration 0 : 5342 enodes (cost 212 ) 0.195 * [simplify]: Simplified to: (* d1 (+ 10.0 (+ d2 20.0))) (log (* d1 (+ 10.0 (+ d2 20.0)))) (log (* d1 (+ 10.0 (+ d2 20.0)))) (pow (exp d1) (+ 10.0 (+ d2 20.0))) (pow (* d1 (+ 10.0 (+ d2 20.0))) 3) (* (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (cbrt (* d1 (+ 10.0 (+ d2 20.0))))) (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (pow (* d1 (+ 10.0 (+ d2 20.0))) 3) (sqrt (* d1 (+ 10.0 (+ d2 20.0)))) (sqrt (* d1 (+ 10.0 (+ d2 20.0)))) (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0)))) (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 10.0) (* d1 (+ d2 20.0)) (* d1 10.0) (* d1 (+ d2 20.0)) (* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) d1 d1 d1 (* (+ 10.0 (+ d2 20.0)) (cbrt d1)) (* (+ 10.0 (+ d2 20.0)) (sqrt d1)) (* d1 (+ 10.0 (+ d2 20.0))) (* d1 (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (* d1 (+ d2 30.0)) (* d1 (+ d2 30.0)) (* d1 (+ d2 30.0)) 0.195 * * * [progress]: adding candidates to table 0.223 * * [progress]: iteration 2 / 4 0.223 * * * [progress]: picking best candidate 0.231 * * * * [pick]: Picked # 0.231 * * * [progress]: localizing error 0.238 * * * [progress]: generating rewritten candidates 0.239 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.247 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.251 * * * [progress]: generating series expansions 0.252 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.252 * [approximate]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in (d1 d2) around 0 0.252 * [taylor]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in d2 0.252 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d2 0.252 * [taylor]: Taking taylor expansion of 30.0 in d2 0.252 * [taylor]: Taking taylor expansion of d1 in d2 0.252 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.252 * [taylor]: Taking taylor expansion of d1 in d2 0.252 * [taylor]: Taking taylor expansion of d2 in d2 0.252 * [taylor]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in d1 0.252 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d1 0.252 * [taylor]: Taking taylor expansion of 30.0 in d1 0.252 * [taylor]: Taking taylor expansion of d1 in d1 0.252 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.252 * [taylor]: Taking taylor expansion of d1 in d1 0.252 * [taylor]: Taking taylor expansion of d2 in d1 0.252 * [taylor]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in d1 0.252 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d1 0.252 * [taylor]: Taking taylor expansion of 30.0 in d1 0.252 * [taylor]: Taking taylor expansion of d1 in d1 0.252 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.252 * [taylor]: Taking taylor expansion of d1 in d1 0.252 * [taylor]: Taking taylor expansion of d2 in d1 0.252 * [taylor]: Taking taylor expansion of 0 in d2 0.253 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.253 * [taylor]: Taking taylor expansion of d2 in d2 0.253 * [taylor]: Taking taylor expansion of 30.0 in d2 0.253 * [taylor]: Taking taylor expansion of 0 in d2 0.253 * [taylor]: Taking taylor expansion of 0 in d2 0.253 * [taylor]: Taking taylor expansion of 0 in d2 0.253 * [approximate]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in (d1 d2) around 0 0.253 * [taylor]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d2 0.253 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d2 0.253 * [taylor]: Taking taylor expansion of 30.0 in d2 0.253 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 0.253 * [taylor]: Taking taylor expansion of d1 in d2 0.253 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.253 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.253 * [taylor]: Taking taylor expansion of d1 in d2 0.253 * [taylor]: Taking taylor expansion of d2 in d2 0.253 * [taylor]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1 0.253 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1 0.254 * [taylor]: Taking taylor expansion of 30.0 in d1 0.254 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.254 * [taylor]: Taking taylor expansion of d1 in d1 0.254 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.254 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.254 * [taylor]: Taking taylor expansion of d1 in d1 0.254 * [taylor]: Taking taylor expansion of d2 in d1 0.254 * [taylor]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1 0.254 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1 0.254 * [taylor]: Taking taylor expansion of 30.0 in d1 0.254 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.254 * [taylor]: Taking taylor expansion of d1 in d1 0.254 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.254 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.254 * [taylor]: Taking taylor expansion of d1 in d1 0.254 * [taylor]: Taking taylor expansion of d2 in d1 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.254 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.254 * [taylor]: Taking taylor expansion of d2 in d2 0.254 * [taylor]: Taking taylor expansion of 30.0 in d2 0.254 * [taylor]: Taking taylor expansion of 0 in d2 0.254 * [taylor]: Taking taylor expansion of 0 in d2 0.255 * [taylor]: Taking taylor expansion of 0 in d2 0.255 * [taylor]: Taking taylor expansion of 0 in d2 0.255 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 30.0 (/ 1 d1))) in (d1 d2) around 0 0.255 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 30.0 (/ 1 d1))) in d2 0.255 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.255 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.255 * [taylor]: Taking taylor expansion of d1 in d2 0.255 * [taylor]: Taking taylor expansion of d2 in d2 0.256 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d2 0.256 * [taylor]: Taking taylor expansion of 30.0 in d2 0.256 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 0.256 * [taylor]: Taking taylor expansion of d1 in d2 0.256 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 30.0 (/ 1 d1))) in d1 0.256 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.256 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.256 * [taylor]: Taking taylor expansion of d1 in d1 0.256 * [taylor]: Taking taylor expansion of d2 in d1 0.256 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1 0.256 * [taylor]: Taking taylor expansion of 30.0 in d1 0.256 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.256 * [taylor]: Taking taylor expansion of d1 in d1 0.256 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 30.0 (/ 1 d1))) in d1 0.256 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.256 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.256 * [taylor]: Taking taylor expansion of d1 in d1 0.256 * [taylor]: Taking taylor expansion of d2 in d1 0.256 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1 0.256 * [taylor]: Taking taylor expansion of 30.0 in d1 0.256 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.256 * [taylor]: Taking taylor expansion of d1 in d1 0.256 * [taylor]: Taking taylor expansion of (- (/ 1 d2) 30.0) in d2 0.256 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.256 * [taylor]: Taking taylor expansion of d2 in d2 0.256 * [taylor]: Taking taylor expansion of 30.0 in d2 0.256 * [taylor]: Taking taylor expansion of 0 in d2 0.257 * [taylor]: Taking taylor expansion of 0 in d2 0.257 * [taylor]: Taking taylor expansion of 0 in d2 0.257 * [taylor]: Taking taylor expansion of 0 in d2 0.257 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.258 * [approximate]: Taking taylor expansion of (+ (* 10.0 d1) (* d1 d2)) in (d1 d2) around 0 0.258 * [taylor]: Taking taylor expansion of (+ (* 10.0 d1) (* d1 d2)) in d2 0.258 * [taylor]: Taking taylor expansion of (* 10.0 d1) in d2 0.258 * [taylor]: Taking taylor expansion of 10.0 in d2 0.258 * [taylor]: Taking taylor expansion of d1 in d2 0.258 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.258 * [taylor]: Taking taylor expansion of d1 in d2 0.258 * [taylor]: Taking taylor expansion of d2 in d2 0.258 * [taylor]: Taking taylor expansion of (+ (* 10.0 d1) (* d1 d2)) in d1 0.258 * [taylor]: Taking taylor expansion of (* 10.0 d1) in d1 0.258 * [taylor]: Taking taylor expansion of 10.0 in d1 0.258 * [taylor]: Taking taylor expansion of d1 in d1 0.258 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.258 * [taylor]: Taking taylor expansion of d1 in d1 0.258 * [taylor]: Taking taylor expansion of d2 in d1 0.258 * [taylor]: Taking taylor expansion of (+ (* 10.0 d1) (* d1 d2)) in d1 0.258 * [taylor]: Taking taylor expansion of (* 10.0 d1) in d1 0.258 * [taylor]: Taking taylor expansion of 10.0 in d1 0.258 * [taylor]: Taking taylor expansion of d1 in d1 0.258 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.258 * [taylor]: Taking taylor expansion of d1 in d1 0.258 * [taylor]: Taking taylor expansion of d2 in d1 0.258 * [taylor]: Taking taylor expansion of 0 in d2 0.258 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2 0.258 * [taylor]: Taking taylor expansion of d2 in d2 0.258 * [taylor]: Taking taylor expansion of 10.0 in d2 0.258 * [taylor]: Taking taylor expansion of 0 in d2 0.258 * [taylor]: Taking taylor expansion of 0 in d2 0.259 * [taylor]: Taking taylor expansion of 0 in d2 0.259 * [approximate]: Taking taylor expansion of (+ (* 10.0 (/ 1 d1)) (/ 1 (* d1 d2))) in (d1 d2) around 0 0.259 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d2 0.259 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d2 0.259 * [taylor]: Taking taylor expansion of 10.0 in d2 0.259 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 0.259 * [taylor]: Taking taylor expansion of d1 in d2 0.259 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.259 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.259 * [taylor]: Taking taylor expansion of d1 in d2 0.259 * [taylor]: Taking taylor expansion of d2 in d2 0.259 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1 0.259 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d1 0.259 * [taylor]: Taking taylor expansion of 10.0 in d1 0.259 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.259 * [taylor]: Taking taylor expansion of d1 in d1 0.259 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.259 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.259 * [taylor]: Taking taylor expansion of d1 in d1 0.259 * [taylor]: Taking taylor expansion of d2 in d1 0.259 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1 0.259 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d1 0.259 * [taylor]: Taking taylor expansion of 10.0 in d1 0.259 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.259 * [taylor]: Taking taylor expansion of d1 in d1 0.259 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.259 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.259 * [taylor]: Taking taylor expansion of d1 in d1 0.259 * [taylor]: Taking taylor expansion of d2 in d1 0.259 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2 0.259 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.259 * [taylor]: Taking taylor expansion of d2 in d2 0.259 * [taylor]: Taking taylor expansion of 10.0 in d2 0.260 * [taylor]: Taking taylor expansion of 0 in d2 0.260 * [taylor]: Taking taylor expansion of 0 in d2 0.260 * [taylor]: Taking taylor expansion of 0 in d2 0.261 * [taylor]: Taking taylor expansion of 0 in d2 0.261 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 10.0 (/ 1 d1))) in (d1 d2) around 0 0.261 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 10.0 (/ 1 d1))) in d2 0.261 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.261 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.261 * [taylor]: Taking taylor expansion of d1 in d2 0.261 * [taylor]: Taking taylor expansion of d2 in d2 0.261 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d2 0.261 * [taylor]: Taking taylor expansion of 10.0 in d2 0.261 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 0.261 * [taylor]: Taking taylor expansion of d1 in d2 0.261 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 10.0 (/ 1 d1))) in d1 0.261 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.261 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.261 * [taylor]: Taking taylor expansion of d1 in d1 0.261 * [taylor]: Taking taylor expansion of d2 in d1 0.261 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d1 0.261 * [taylor]: Taking taylor expansion of 10.0 in d1 0.261 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.261 * [taylor]: Taking taylor expansion of d1 in d1 0.261 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 10.0 (/ 1 d1))) in d1 0.261 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.261 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.261 * [taylor]: Taking taylor expansion of d1 in d1 0.261 * [taylor]: Taking taylor expansion of d2 in d1 0.261 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d1 0.261 * [taylor]: Taking taylor expansion of 10.0 in d1 0.261 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.261 * [taylor]: Taking taylor expansion of d1 in d1 0.262 * [taylor]: Taking taylor expansion of (- (/ 1 d2) 10.0) in d2 0.262 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.262 * [taylor]: Taking taylor expansion of d2 in d2 0.262 * [taylor]: Taking taylor expansion of 10.0 in d2 0.262 * [taylor]: Taking taylor expansion of 0 in d2 0.262 * [taylor]: Taking taylor expansion of 0 in d2 0.262 * [taylor]: Taking taylor expansion of 0 in d2 0.263 * [taylor]: Taking taylor expansion of 0 in d2 0.263 * * * [progress]: simplifying candidates 0.263 * [simplify]: Simplifying using # : (* (* (exp (* d1 10.0)) (exp (* d1 d2))) (exp (* d1 20.0))) (* (exp (+ (* d1 10.0) (* d1 d2))) (exp (* d1 20.0))) (log (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (exp (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (* (cbrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (cbrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))) (cbrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (* (* (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)) (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (sqrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (sqrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (+ (pow (+ (* d1 10.0) (* d1 d2)) 3) (pow (* d1 20.0) 3)) (+ (* (+ (* d1 10.0) (* d1 d2)) (+ (* d1 10.0) (* d1 d2))) (- (* (* d1 20.0) (* d1 20.0)) (* (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))) (- (* (+ (* d1 10.0) (* d1 d2)) (+ (* d1 10.0) (* d1 d2))) (* (* d1 20.0) (* d1 20.0))) (- (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)) (+ (+ 10.0 d2) 20.0) (+ (* d1 d2) (* d1 20.0)) (* (exp (* d1 10.0)) (exp (* d1 d2))) (log (+ (* d1 10.0) (* d1 d2))) (exp (+ (* d1 10.0) (* d1 d2))) (* (cbrt (+ (* d1 10.0) (* d1 d2))) (cbrt (+ (* d1 10.0) (* d1 d2)))) (cbrt (+ (* d1 10.0) (* d1 d2))) (* (* (+ (* d1 10.0) (* d1 d2)) (+ (* d1 10.0) (* d1 d2))) (+ (* d1 10.0) (* d1 d2))) (sqrt (+ (* d1 10.0) (* d1 d2))) (sqrt (+ (* d1 10.0) (* d1 d2))) (+ (pow (* d1 10.0) 3) (pow (* d1 d2) 3)) (+ (* (* d1 10.0) (* d1 10.0)) (- (* (* d1 d2) (* d1 d2)) (* (* d1 10.0) (* d1 d2)))) (- (* (* d1 10.0) (* d1 10.0)) (* (* d1 d2) (* d1 d2))) (- (* d1 10.0) (* d1 d2)) (+ 10.0 d2) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) (+ (* 10.0 d1) (* d1 d2)) (+ (* 10.0 d1) (* d1 d2)) (+ (* 10.0 d1) (* d1 d2)) 0.306 * * [simplify]: iteration 0 : 5022 enodes (cost 277 ) 0.308 * [simplify]: Simplified to: (pow (exp d1) (+ 10.0 (+ d2 20.0))) (pow (exp d1) (+ 10.0 (+ d2 20.0))) (log (* d1 (+ 10.0 (+ d2 20.0)))) (pow (exp d1) (+ 10.0 (+ d2 20.0))) (* (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (cbrt (* d1 (+ 10.0 (+ d2 20.0))))) (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (pow (* d1 (+ 10.0 (+ d2 20.0))) 3) (sqrt (* d1 (+ 10.0 (+ d2 20.0)))) (sqrt (* d1 (+ 10.0 (+ d2 20.0)))) (+ (pow (* d1 (+ 10.0 d2)) 3) (pow (* d1 20.0) 3)) (* d1 (- (* d1 (* 20.0 20.0)) (* (* d1 (+ 10.0 d2)) (- 20.0 (+ 10.0 d2))))) (* d1 (* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))) (* d1 (+ 10.0 (- d2 20.0))) (+ 10.0 (+ d2 20.0)) (* d1 (+ d2 20.0)) (pow (exp d1) (+ 10.0 d2)) (log (* d1 (+ 10.0 d2))) (pow (exp d1) (+ 10.0 d2)) (* (cbrt (* d1 (+ 10.0 d2))) (cbrt (* d1 (+ 10.0 d2)))) (cbrt (* d1 (+ 10.0 d2))) (pow (* d1 (+ 10.0 d2)) 3) (sqrt (* d1 (+ 10.0 d2))) (sqrt (* d1 (+ 10.0 d2))) (+ (pow (* d1 10.0) 3) (pow (* d1 d2) 3)) (* d1 (+ (* d1 (* 10.0 10.0)) (* d1 (* d2 (- d2 10.0))))) (* d1 (* d1 (- (* 10.0 10.0) (* d2 d2)))) (* d1 (- 10.0 d2)) (+ 10.0 d2) (* d1 (+ d2 30.0)) (* d1 (+ d2 30.0)) (* d1 (+ d2 30.0)) (* d1 (+ 10.0 d2)) (* d1 (+ 10.0 d2)) (* d1 (+ 10.0 d2)) 0.308 * * * [progress]: adding candidates to table 0.338 * * [progress]: iteration 3 / 4 0.339 * * * [progress]: picking best candidate 0.344 * * * * [pick]: Picked # 0.344 * * * [progress]: localizing error 0.354 * * * [progress]: generating rewritten candidates 0.354 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.369 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.379 * * * [progress]: generating series expansions 0.379 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.380 * [approximate]: Taking taylor expansion of (* d1 (+ d2 30.0)) in (d1 d2) around 0 0.380 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d2 0.380 * [taylor]: Taking taylor expansion of d1 in d2 0.380 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.380 * [taylor]: Taking taylor expansion of d2 in d2 0.380 * [taylor]: Taking taylor expansion of 30.0 in d2 0.380 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1 0.380 * [taylor]: Taking taylor expansion of d1 in d1 0.380 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.380 * [taylor]: Taking taylor expansion of d2 in d1 0.380 * [taylor]: Taking taylor expansion of 30.0 in d1 0.380 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1 0.380 * [taylor]: Taking taylor expansion of d1 in d1 0.380 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.380 * [taylor]: Taking taylor expansion of d2 in d1 0.380 * [taylor]: Taking taylor expansion of 30.0 in d1 0.380 * [taylor]: Taking taylor expansion of 0 in d2 0.380 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.380 * [taylor]: Taking taylor expansion of d2 in d2 0.380 * [taylor]: Taking taylor expansion of 30.0 in d2 0.380 * [taylor]: Taking taylor expansion of 0 in d2 0.380 * [taylor]: Taking taylor expansion of 0 in d2 0.380 * [taylor]: Taking taylor expansion of 0 in d2 0.381 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in (d1 d2) around 0 0.381 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d2 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.381 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.381 * [taylor]: Taking taylor expansion of d2 in d2 0.381 * [taylor]: Taking taylor expansion of 30.0 in d2 0.381 * [taylor]: Taking taylor expansion of d1 in d2 0.381 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.381 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.381 * [taylor]: Taking taylor expansion of d2 in d1 0.381 * [taylor]: Taking taylor expansion of 30.0 in d1 0.381 * [taylor]: Taking taylor expansion of d1 in d1 0.381 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.381 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.381 * [taylor]: Taking taylor expansion of d2 in d1 0.381 * [taylor]: Taking taylor expansion of 30.0 in d1 0.381 * [taylor]: Taking taylor expansion of d1 in d1 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.381 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.381 * [taylor]: Taking taylor expansion of d2 in d2 0.381 * [taylor]: Taking taylor expansion of 30.0 in d2 0.381 * [taylor]: Taking taylor expansion of 0 in d2 0.382 * [taylor]: Taking taylor expansion of 0 in d2 0.382 * [taylor]: Taking taylor expansion of 0 in d2 0.382 * [taylor]: Taking taylor expansion of 0 in d2 0.382 * [approximate]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in (d1 d2) around 0 0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d2 0.382 * [taylor]: Taking taylor expansion of -1 in d2 0.383 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d2 0.383 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.383 * [taylor]: Taking taylor expansion of 30.0 in d2 0.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.383 * [taylor]: Taking taylor expansion of d2 in d2 0.383 * [taylor]: Taking taylor expansion of d1 in d2 0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1 0.383 * [taylor]: Taking taylor expansion of -1 in d1 0.383 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1 0.383 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.383 * [taylor]: Taking taylor expansion of 30.0 in d1 0.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.383 * [taylor]: Taking taylor expansion of d2 in d1 0.383 * [taylor]: Taking taylor expansion of d1 in d1 0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1 0.383 * [taylor]: Taking taylor expansion of -1 in d1 0.383 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1 0.383 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.383 * [taylor]: Taking taylor expansion of 30.0 in d1 0.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.383 * [taylor]: Taking taylor expansion of d2 in d1 0.383 * [taylor]: Taking taylor expansion of d1 in d1 0.383 * [taylor]: Taking taylor expansion of (* -1 (- 30.0 (/ 1 d2))) in d2 0.383 * [taylor]: Taking taylor expansion of -1 in d2 0.383 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.383 * [taylor]: Taking taylor expansion of 30.0 in d2 0.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.383 * [taylor]: Taking taylor expansion of d2 in d2 0.384 * [taylor]: Taking taylor expansion of 0 in d2 0.384 * [taylor]: Taking taylor expansion of 0 in d2 0.384 * [taylor]: Taking taylor expansion of 0 in d2 0.385 * [taylor]: Taking taylor expansion of 0 in d2 0.385 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.385 * [approximate]: Taking taylor expansion of (* d1 (sqrt (+ d2 30.0))) in (d1 d2) around 0 0.385 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d2 30.0))) in d2 0.385 * [taylor]: Taking taylor expansion of d1 in d2 0.385 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2 0.385 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.385 * [taylor]: Taking taylor expansion of d2 in d2 0.385 * [taylor]: Taking taylor expansion of 30.0 in d2 0.385 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d2 30.0))) in d1 0.385 * [taylor]: Taking taylor expansion of d1 in d1 0.385 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d1 0.385 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.385 * [taylor]: Taking taylor expansion of d2 in d1 0.385 * [taylor]: Taking taylor expansion of 30.0 in d1 0.385 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d2 30.0))) in d1 0.385 * [taylor]: Taking taylor expansion of d1 in d1 0.385 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d1 0.385 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.385 * [taylor]: Taking taylor expansion of d2 in d1 0.385 * [taylor]: Taking taylor expansion of 30.0 in d1 0.385 * [taylor]: Taking taylor expansion of 0 in d2 0.385 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2 0.385 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.386 * [taylor]: Taking taylor expansion of d2 in d2 0.386 * [taylor]: Taking taylor expansion of 30.0 in d2 0.386 * [taylor]: Taking taylor expansion of 0 in d2 0.386 * [taylor]: Taking taylor expansion of 0 in d2 0.387 * [approximate]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) 30.0))) in (d1 d2) around 0 0.387 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) 30.0))) in d2 0.387 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 0.387 * [taylor]: Taking taylor expansion of d1 in d2 0.387 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.387 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.387 * [taylor]: Taking taylor expansion of d2 in d2 0.387 * [taylor]: Taking taylor expansion of 30.0 in d2 0.387 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) 30.0))) in d1 0.387 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.387 * [taylor]: Taking taylor expansion of d1 in d1 0.387 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d1 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.387 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.387 * [taylor]: Taking taylor expansion of d2 in d1 0.387 * [taylor]: Taking taylor expansion of 30.0 in d1 0.387 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) 30.0))) in d1 0.387 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.387 * [taylor]: Taking taylor expansion of d1 in d1 0.387 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d1 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.387 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.387 * [taylor]: Taking taylor expansion of d2 in d1 0.387 * [taylor]: Taking taylor expansion of 30.0 in d1 0.388 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.388 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.388 * [taylor]: Taking taylor expansion of d2 in d2 0.388 * [taylor]: Taking taylor expansion of 30.0 in d2 0.388 * [taylor]: Taking taylor expansion of 0 in d2 0.388 * [taylor]: Taking taylor expansion of 0 in d2 0.389 * [taylor]: Taking taylor expansion of 0 in d2 0.390 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2))))) in (d1 d2) around 0 0.390 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2))))) in d2 0.390 * [taylor]: Taking taylor expansion of -1 in d2 0.390 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2)))) in d2 0.390 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 0.390 * [taylor]: Taking taylor expansion of d1 in d2 0.390 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2 0.390 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.390 * [taylor]: Taking taylor expansion of 30.0 in d2 0.390 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.390 * [taylor]: Taking taylor expansion of d2 in d2 0.390 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2))))) in d1 0.390 * [taylor]: Taking taylor expansion of -1 in d1 0.390 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2)))) in d1 0.390 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.390 * [taylor]: Taking taylor expansion of d1 in d1 0.390 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d1 0.390 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.390 * [taylor]: Taking taylor expansion of 30.0 in d1 0.390 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.390 * [taylor]: Taking taylor expansion of d2 in d1 0.390 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2))))) in d1 0.390 * [taylor]: Taking taylor expansion of -1 in d1 0.390 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2)))) in d1 0.390 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.390 * [taylor]: Taking taylor expansion of d1 in d1 0.390 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d1 0.390 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.390 * [taylor]: Taking taylor expansion of 30.0 in d1 0.390 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.390 * [taylor]: Taking taylor expansion of d2 in d1 0.391 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- 30.0 (/ 1 d2)))) in d2 0.391 * [taylor]: Taking taylor expansion of -1 in d2 0.391 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2 0.391 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.391 * [taylor]: Taking taylor expansion of 30.0 in d2 0.391 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.391 * [taylor]: Taking taylor expansion of d2 in d2 0.391 * [taylor]: Taking taylor expansion of 0 in d2 0.391 * [taylor]: Taking taylor expansion of 0 in d2 0.392 * [taylor]: Taking taylor expansion of 0 in d2 0.393 * * * [progress]: simplifying candidates 0.394 * [simplify]: Simplifying using # : (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))) (+ (+ (log d1) (log (sqrt (+ 10.0 (+ d2 20.0))))) (log (sqrt (+ 10.0 (+ d2 20.0))))) (+ (log (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (log (sqrt (+ 10.0 (+ d2 20.0))))) (log (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (exp (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (* (* (* d1 d1) d1) (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (* (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (cbrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (cbrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))) (cbrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (* (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (sqrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (sqrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (* (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))) (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0)))))) (* (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (* (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))) (sqrt (- 10.0 (+ d2 20.0)))) (* (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (* (sqrt (- 10.0 (+ d2 20.0))) (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0)))))) (* (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (* (sqrt (- 10.0 (+ d2 20.0))) (sqrt (- 10.0 (+ d2 20.0)))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt 1)) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt 1)) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt 1)) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) 1) (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (* (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (sqrt (+ 10.0 (+ d2 20.0)))) (* (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (+ (log d1) (log (sqrt (+ 10.0 (+ d2 20.0))))) (log (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (exp (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* (* (* d1 d1) d1) (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))) (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (sqrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (sqrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* (sqrt d1) (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) (* (sqrt d1) (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) (* (sqrt d1) (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) (* (sqrt d1) (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) (* d1 (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))) (* d1 (sqrt (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) (* d1 (sqrt 1)) (* d1 (sqrt 1)) (* d1 (sqrt 1)) (* d1 (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) (* d1 1) (* (cbrt d1) (sqrt (+ 10.0 (+ d2 20.0)))) (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) (- (+ (* 1/2 (/ (* d1 d2) (sqrt 30.0))) (* d1 (sqrt 30.0))) (* 1/8 (/ (* d1 (pow d2 2)) (pow (sqrt 30.0) 3)))) (- (+ (* 30.0 (/ (* d1 NAN) d2)) (+ (* 2 (/ (* d1 (pow NAN 5)) (pow d2 2))) (* d1 NAN))) (+ (/ (* d1 (pow NAN 3)) d2) (* 60.0 (/ (* d1 (pow NAN 3)) (pow d2 2))))) (- (+ (/ (* d1 (pow NAN 3)) d2) (+ (* 2 (/ (* d1 (pow NAN 5)) (pow d2 2))) (* d1 NAN))) (+ (* 30.0 (/ (* d1 NAN) d2)) (* 60.0 (/ (* d1 (pow NAN 3)) (pow d2 2))))) 0.435 * * [simplify]: iteration 0 : 5036 enodes (cost 799 ) 0.439 * [simplify]: Simplified to: (* d1 (+ 10.0 (+ d2 20.0))) (* d1 (+ 10.0 (+ d2 20.0))) (log (* d1 (+ 10.0 (+ d2 20.0)))) (log (* d1 (+ 10.0 (+ d2 20.0)))) (log (* d1 (+ 10.0 (+ d2 20.0)))) (pow (exp d1) (+ 10.0 (+ d2 20.0))) (pow (* d1 (+ 10.0 (+ d2 20.0))) 3) (pow (* d1 (+ 10.0 (+ d2 20.0))) 3) (* (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (cbrt (* d1 (+ 10.0 (+ d2 20.0))))) (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (pow (* d1 (+ 10.0 (+ d2 20.0))) 3) (sqrt (* d1 (+ 10.0 (+ d2 20.0)))) (sqrt (* d1 (+ 10.0 (+ d2 20.0)))) (* d1 (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0)))) (* d1 (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))) (* (sqrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))) (sqrt (- 10.0 (+ d2 20.0)))) (* d1 (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))) (* (sqrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))) (sqrt (- 10.0 (+ d2 20.0)))) (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (- 10.0 (+ d2 20.0)) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0))))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (+ 10.0 (+ d2 20.0)) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (log (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (log (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (pow (exp d1) (sqrt (+ 10.0 (+ d2 20.0)))) (pow (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) 3) (* (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))) (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (pow (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) 3) (sqrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (sqrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* (sqrt (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt d1)) (* (sqrt (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt d1)) (* (sqrt (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt d1)) (* (sqrt (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt d1)) (* d1 (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))) (* d1 (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) d1 d1 d1 (* d1 (sqrt (sqrt (+ 10.0 (+ d2 20.0))))) d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (cbrt d1)) (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt d1)) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (* d1 (+ d2 30.0)) (* d1 (+ d2 30.0)) (* d1 (+ d2 30.0)) (+ (* 1/2 (* d2 (/ d1 (sqrt 30.0)))) (+ (* d1 (sqrt 30.0)) (* (* (* d2 (/ d1 (sqrt 30.0))) (/ d2 30.0)) -1/8))) (+ (* d1 NAN) (+ (* 2 (* (pow NAN 5) (/ d1 (* d2 d2)))) (- (* 30.0 (* NAN (/ d1 d2))) (* (+ (/ 60.0 d2) 1) (* (pow NAN 3) (/ d1 d2)))))) (+ (* d1 NAN) (+ (* 2 (* (pow NAN 5) (/ d1 (* d2 d2)))) (- (* (pow NAN 3) (/ d1 d2)) (+ (* 30.0 (* NAN (/ d1 d2))) (* (* (pow NAN 3) (/ d1 d2)) (/ 60.0 d2)))))) 0.439 * * * [progress]: adding candidates to table 0.513 * * [progress]: iteration 4 / 4 0.513 * * * [progress]: picking best candidate 0.519 * * * * [pick]: Picked # 0.519 * * * [progress]: localizing error 0.532 * * * [progress]: generating rewritten candidates 0.532 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.536 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 0.541 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.559 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.572 * * * [progress]: generating series expansions 0.572 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.572 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in (d2) around 0 0.572 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2 0.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2 0.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2 0.573 * [taylor]: Taking taylor expansion of 1/3 in d2 0.573 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2 0.573 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.573 * [taylor]: Taking taylor expansion of d2 in d2 0.573 * [taylor]: Taking taylor expansion of 30.0 in d2 0.573 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2 0.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2 0.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2 0.573 * [taylor]: Taking taylor expansion of 1/3 in d2 0.573 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2 0.573 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.573 * [taylor]: Taking taylor expansion of d2 in d2 0.573 * [taylor]: Taking taylor expansion of 30.0 in d2 0.574 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in (d2) around 0 0.574 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2 0.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2 0.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2 0.574 * [taylor]: Taking taylor expansion of 1/3 in d2 0.574 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2 0.574 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.574 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.575 * [taylor]: Taking taylor expansion of d2 in d2 0.575 * [taylor]: Taking taylor expansion of 30.0 in d2 0.575 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2 0.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2 0.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2 0.575 * [taylor]: Taking taylor expansion of 1/3 in d2 0.575 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2 0.575 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.575 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.575 * [taylor]: Taking taylor expansion of d2 in d2 0.575 * [taylor]: Taking taylor expansion of 30.0 in d2 0.576 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in (d2) around 0 0.576 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2 0.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2 0.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2 0.576 * [taylor]: Taking taylor expansion of 1/3 in d2 0.577 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2 0.577 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.577 * [taylor]: Taking taylor expansion of 30.0 in d2 0.577 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.577 * [taylor]: Taking taylor expansion of d2 in d2 0.577 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2 0.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2 0.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2 0.577 * [taylor]: Taking taylor expansion of 1/3 in d2 0.577 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2 0.577 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.577 * [taylor]: Taking taylor expansion of 30.0 in d2 0.577 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.577 * [taylor]: Taking taylor expansion of d2 in d2 0.579 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 0.579 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in (d2) around 0 0.579 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2 0.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2 0.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2 0.579 * [taylor]: Taking taylor expansion of 1/3 in d2 0.579 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2 0.579 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.579 * [taylor]: Taking taylor expansion of d2 in d2 0.579 * [taylor]: Taking taylor expansion of 30.0 in d2 0.579 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2 0.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2 0.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2 0.579 * [taylor]: Taking taylor expansion of 1/3 in d2 0.579 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2 0.579 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.579 * [taylor]: Taking taylor expansion of d2 in d2 0.579 * [taylor]: Taking taylor expansion of 30.0 in d2 0.580 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in (d2) around 0 0.580 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2 0.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2 0.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2 0.580 * [taylor]: Taking taylor expansion of 1/3 in d2 0.580 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.581 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.581 * [taylor]: Taking taylor expansion of d2 in d2 0.581 * [taylor]: Taking taylor expansion of 30.0 in d2 0.581 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2 0.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2 0.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2 0.581 * [taylor]: Taking taylor expansion of 1/3 in d2 0.581 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.581 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.581 * [taylor]: Taking taylor expansion of d2 in d2 0.581 * [taylor]: Taking taylor expansion of 30.0 in d2 0.582 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in (d2) around 0 0.582 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2 0.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2 0.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2 0.582 * [taylor]: Taking taylor expansion of 1/3 in d2 0.583 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2 0.583 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.583 * [taylor]: Taking taylor expansion of 30.0 in d2 0.583 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.583 * [taylor]: Taking taylor expansion of d2 in d2 0.583 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2 0.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2 0.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2 0.583 * [taylor]: Taking taylor expansion of 1/3 in d2 0.583 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2 0.583 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.583 * [taylor]: Taking taylor expansion of 30.0 in d2 0.583 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.583 * [taylor]: Taking taylor expansion of d2 in d2 0.585 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.585 * [approximate]: Taking taylor expansion of (* (* d1 (fabs (pow (+ d2 30.0) 1/3))) (pow (pow (+ d2 30.0) 2) 1/3)) in (d1 d2) around 0 0.585 * [taylor]: Taking taylor expansion of (* (* d1 (fabs (pow (+ d2 30.0) 1/3))) (pow (pow (+ d2 30.0) 2) 1/3)) in d2 0.585 * [taylor]: Taking taylor expansion of (* d1 (fabs (pow (+ d2 30.0) 1/3))) in d2 0.585 * [taylor]: Taking taylor expansion of d1 in d2 0.585 * [taylor]: Taking taylor expansion of (fabs (pow (+ d2 30.0) 1/3)) in d2 0.585 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d2 0.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d2 0.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d2 0.585 * [taylor]: Taking taylor expansion of 1/3 in d2 0.585 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d2 0.585 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d2 0.585 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.585 * [taylor]: Taking taylor expansion of d2 in d2 0.585 * [taylor]: Taking taylor expansion of 30.0 in d2 0.585 * [taylor]: Taking taylor expansion of (* (* d1 (fabs (pow (+ d2 30.0) 1/3))) (pow (pow (+ d2 30.0) 2) 1/3)) in d1 0.585 * [taylor]: Taking taylor expansion of (* d1 (fabs (pow (+ d2 30.0) 1/3))) in d1 0.585 * [taylor]: Taking taylor expansion of d1 in d1 0.585 * [taylor]: Taking taylor expansion of (fabs (pow (+ d2 30.0) 1/3)) in d1 0.585 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d1 0.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d1 0.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d1 0.585 * [taylor]: Taking taylor expansion of 1/3 in d1 0.585 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d1 0.585 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d1 0.585 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.585 * [taylor]: Taking taylor expansion of d2 in d1 0.585 * [taylor]: Taking taylor expansion of 30.0 in d1 0.586 * [taylor]: Taking taylor expansion of (* (* d1 (fabs (pow (+ d2 30.0) 1/3))) (pow (pow (+ d2 30.0) 2) 1/3)) in d1 0.586 * [taylor]: Taking taylor expansion of (* d1 (fabs (pow (+ d2 30.0) 1/3))) in d1 0.586 * [taylor]: Taking taylor expansion of d1 in d1 0.586 * [taylor]: Taking taylor expansion of (fabs (pow (+ d2 30.0) 1/3)) in d1 0.586 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d1 0.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d1 0.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d1 0.586 * [taylor]: Taking taylor expansion of 1/3 in d1 0.586 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d1 0.586 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d1 0.586 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.586 * [taylor]: Taking taylor expansion of d2 in d1 0.586 * [taylor]: Taking taylor expansion of 30.0 in d1 0.586 * [taylor]: Taking taylor expansion of 0 in d2 0.587 * [taylor]: Taking taylor expansion of (* (pow (pow (+ d2 30.0) 2) 1/3) (fabs (pow (+ d2 30.0) 1/3))) in d2 0.587 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d2 0.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d2 0.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d2 0.587 * [taylor]: Taking taylor expansion of 1/3 in d2 0.587 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d2 0.587 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d2 0.587 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.587 * [taylor]: Taking taylor expansion of d2 in d2 0.587 * [taylor]: Taking taylor expansion of 30.0 in d2 0.587 * [taylor]: Taking taylor expansion of (fabs (pow (+ d2 30.0) 1/3)) in d2 0.588 * [taylor]: Taking taylor expansion of 0 in d2 0.590 * [taylor]: Taking taylor expansion of 0 in d2 0.592 * [approximate]: Taking taylor expansion of (* (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in (d1 d2) around 0 0.592 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in d2 0.592 * [taylor]: Taking taylor expansion of (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) in d2 0.592 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) in d2 0.592 * [taylor]: Taking taylor expansion of d1 in d2 0.592 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d2 0.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d2 0.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d2 0.592 * [taylor]: Taking taylor expansion of 1/3 in d2 0.592 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d2 0.592 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d2 0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.593 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.593 * [taylor]: Taking taylor expansion of d2 in d2 0.593 * [taylor]: Taking taylor expansion of 30.0 in d2 0.593 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in d1 0.593 * [taylor]: Taking taylor expansion of (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) in d1 0.593 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) in d1 0.593 * [taylor]: Taking taylor expansion of d1 in d1 0.593 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d1 0.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d1 0.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d1 0.593 * [taylor]: Taking taylor expansion of 1/3 in d1 0.593 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d1 0.593 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d1 0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.593 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.593 * [taylor]: Taking taylor expansion of d2 in d1 0.593 * [taylor]: Taking taylor expansion of 30.0 in d1 0.594 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in d1 0.594 * [taylor]: Taking taylor expansion of (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) in d1 0.594 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) in d1 0.594 * [taylor]: Taking taylor expansion of d1 in d1 0.594 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d1 0.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d1 0.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d1 0.594 * [taylor]: Taking taylor expansion of 1/3 in d1 0.594 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d1 0.594 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d1 0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.594 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.594 * [taylor]: Taking taylor expansion of d2 in d1 0.594 * [taylor]: Taking taylor expansion of 30.0 in d1 0.594 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) (fabs (pow (+ (/ 1 d2) 30.0) 1/3))) in d2 0.594 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d2 0.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d2 0.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d2 0.595 * [taylor]: Taking taylor expansion of 1/3 in d2 0.595 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d2 0.595 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d2 0.595 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.595 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.595 * [taylor]: Taking taylor expansion of d2 in d2 0.595 * [taylor]: Taking taylor expansion of 30.0 in d2 0.595 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) in d2 0.596 * [taylor]: Taking taylor expansion of 0 in d2 0.598 * [taylor]: Taking taylor expansion of 0 in d2 0.600 * [approximate]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) in (d1 d2) around 0 0.600 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) in d2 0.600 * [taylor]: Taking taylor expansion of -1 in d2 0.600 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)) in d2 0.600 * [taylor]: Taking taylor expansion of (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) in d2 0.600 * [taylor]: Taking taylor expansion of (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) in d2 0.600 * [taylor]: Taking taylor expansion of d1 in d2 0.600 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d2 0.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d2 0.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d2 0.600 * [taylor]: Taking taylor expansion of 1/3 in d2 0.600 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d2 0.600 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d2 0.600 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.600 * [taylor]: Taking taylor expansion of 30.0 in d2 0.600 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.600 * [taylor]: Taking taylor expansion of d2 in d2 0.600 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) in d1 0.600 * [taylor]: Taking taylor expansion of -1 in d1 0.600 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)) in d1 0.601 * [taylor]: Taking taylor expansion of (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) in d1 0.601 * [taylor]: Taking taylor expansion of (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) in d1 0.601 * [taylor]: Taking taylor expansion of d1 in d1 0.601 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d1 0.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d1 0.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d1 0.601 * [taylor]: Taking taylor expansion of 1/3 in d1 0.601 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d1 0.601 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d1 0.601 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.601 * [taylor]: Taking taylor expansion of 30.0 in d1 0.601 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.601 * [taylor]: Taking taylor expansion of d2 in d1 0.601 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) in d1 0.601 * [taylor]: Taking taylor expansion of -1 in d1 0.601 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)) in d1 0.601 * [taylor]: Taking taylor expansion of (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) in d1 0.601 * [taylor]: Taking taylor expansion of (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) in d1 0.601 * [taylor]: Taking taylor expansion of d1 in d1 0.602 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d1 0.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d1 0.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d1 0.602 * [taylor]: Taking taylor expansion of 1/3 in d1 0.602 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d1 0.602 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d1 0.602 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.602 * [taylor]: Taking taylor expansion of 30.0 in d1 0.602 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.602 * [taylor]: Taking taylor expansion of d2 in d1 0.605 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) (fabs (pow (- 30.0 (/ 1 d2)) 1/3)))) in d2 0.605 * [taylor]: Taking taylor expansion of -1 in d2 0.605 * [taylor]: Taking taylor expansion of (* (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) (fabs (pow (- 30.0 (/ 1 d2)) 1/3))) in d2 0.605 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d2 0.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d2 0.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d2 0.605 * [taylor]: Taking taylor expansion of 1/3 in d2 0.605 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d2 0.605 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d2 0.605 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.605 * [taylor]: Taking taylor expansion of 30.0 in d2 0.605 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.605 * [taylor]: Taking taylor expansion of d2 in d2 0.605 * [taylor]: Taking taylor expansion of (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) in d2 0.607 * [taylor]: Taking taylor expansion of 0 in d2 0.609 * [taylor]: Taking taylor expansion of 0 in d2 0.611 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.612 * [approximate]: Taking taylor expansion of (* (* d1 (fabs (pow (+ d2 30.0) 1/3))) (sqrt (+ d2 30.0))) in (d1 d2) around 0 0.612 * [taylor]: Taking taylor expansion of (* (* d1 (fabs (pow (+ d2 30.0) 1/3))) (sqrt (+ d2 30.0))) in d2 0.612 * [taylor]: Taking taylor expansion of (* d1 (fabs (pow (+ d2 30.0) 1/3))) in d2 0.612 * [taylor]: Taking taylor expansion of d1 in d2 0.612 * [taylor]: Taking taylor expansion of (fabs (pow (+ d2 30.0) 1/3)) in d2 0.612 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2 0.612 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.612 * [taylor]: Taking taylor expansion of d2 in d2 0.612 * [taylor]: Taking taylor expansion of 30.0 in d2 0.612 * [taylor]: Taking taylor expansion of (* (* d1 (fabs (pow (+ d2 30.0) 1/3))) (sqrt (+ d2 30.0))) in d1 0.612 * [taylor]: Taking taylor expansion of (* d1 (fabs (pow (+ d2 30.0) 1/3))) in d1 0.612 * [taylor]: Taking taylor expansion of d1 in d1 0.612 * [taylor]: Taking taylor expansion of (fabs (pow (+ d2 30.0) 1/3)) in d1 0.612 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d1 0.612 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.612 * [taylor]: Taking taylor expansion of d2 in d1 0.612 * [taylor]: Taking taylor expansion of 30.0 in d1 0.612 * [taylor]: Taking taylor expansion of (* (* d1 (fabs (pow (+ d2 30.0) 1/3))) (sqrt (+ d2 30.0))) in d1 0.612 * [taylor]: Taking taylor expansion of (* d1 (fabs (pow (+ d2 30.0) 1/3))) in d1 0.612 * [taylor]: Taking taylor expansion of d1 in d1 0.612 * [taylor]: Taking taylor expansion of (fabs (pow (+ d2 30.0) 1/3)) in d1 0.612 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d1 0.612 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 0.612 * [taylor]: Taking taylor expansion of d2 in d1 0.612 * [taylor]: Taking taylor expansion of 30.0 in d1 0.613 * [taylor]: Taking taylor expansion of 0 in d2 0.613 * [taylor]: Taking taylor expansion of (* (sqrt (+ d2 30.0)) (fabs (pow (+ d2 30.0) 1/3))) in d2 0.613 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2 0.613 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.613 * [taylor]: Taking taylor expansion of d2 in d2 0.613 * [taylor]: Taking taylor expansion of 30.0 in d2 0.613 * [taylor]: Taking taylor expansion of (fabs (pow (+ d2 30.0) 1/3)) in d2 0.613 * [taylor]: Taking taylor expansion of 0 in d2 0.614 * [taylor]: Taking taylor expansion of 0 in d2 0.615 * [approximate]: Taking taylor expansion of (* (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) (sqrt (+ (/ 1 d2) 30.0))) in (d1 d2) around 0 0.615 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) (sqrt (+ (/ 1 d2) 30.0))) in d2 0.615 * [taylor]: Taking taylor expansion of (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) in d2 0.615 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) in d2 0.615 * [taylor]: Taking taylor expansion of d1 in d2 0.616 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2 0.616 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.616 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.616 * [taylor]: Taking taylor expansion of d2 in d2 0.616 * [taylor]: Taking taylor expansion of 30.0 in d2 0.616 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) (sqrt (+ (/ 1 d2) 30.0))) in d1 0.616 * [taylor]: Taking taylor expansion of (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) in d1 0.616 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) in d1 0.616 * [taylor]: Taking taylor expansion of d1 in d1 0.616 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d1 0.616 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.616 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.616 * [taylor]: Taking taylor expansion of d2 in d1 0.616 * [taylor]: Taking taylor expansion of 30.0 in d1 0.616 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) (sqrt (+ (/ 1 d2) 30.0))) in d1 0.616 * [taylor]: Taking taylor expansion of (/ (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) d1) in d1 0.616 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) in d1 0.616 * [taylor]: Taking taylor expansion of d1 in d1 0.616 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d1 0.616 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 0.616 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.616 * [taylor]: Taking taylor expansion of d2 in d1 0.617 * [taylor]: Taking taylor expansion of 30.0 in d1 0.617 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 d2) 30.0)) (fabs (pow (+ (/ 1 d2) 30.0) 1/3))) in d2 0.617 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2 0.617 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.617 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.617 * [taylor]: Taking taylor expansion of d2 in d2 0.617 * [taylor]: Taking taylor expansion of 30.0 in d2 0.617 * [taylor]: Taking taylor expansion of (fabs (pow (+ (/ 1 d2) 30.0) 1/3)) in d2 0.617 * [taylor]: Taking taylor expansion of 0 in d2 0.618 * [taylor]: Taking taylor expansion of 0 in d2 0.619 * [taylor]: Taking taylor expansion of 0 in d2 0.621 * [approximate]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (sqrt (- 30.0 (/ 1 d2))))) in (d1 d2) around 0 0.621 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (sqrt (- 30.0 (/ 1 d2))))) in d2 0.621 * [taylor]: Taking taylor expansion of -1 in d2 0.621 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (sqrt (- 30.0 (/ 1 d2)))) in d2 0.621 * [taylor]: Taking taylor expansion of (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) in d2 0.621 * [taylor]: Taking taylor expansion of (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) in d2 0.621 * [taylor]: Taking taylor expansion of d1 in d2 0.621 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2 0.622 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.622 * [taylor]: Taking taylor expansion of 30.0 in d2 0.622 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.622 * [taylor]: Taking taylor expansion of d2 in d2 0.622 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (sqrt (- 30.0 (/ 1 d2))))) in d1 0.622 * [taylor]: Taking taylor expansion of -1 in d1 0.622 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (sqrt (- 30.0 (/ 1 d2)))) in d1 0.622 * [taylor]: Taking taylor expansion of (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) in d1 0.622 * [taylor]: Taking taylor expansion of (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) in d1 0.622 * [taylor]: Taking taylor expansion of d1 in d1 0.622 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d1 0.622 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.622 * [taylor]: Taking taylor expansion of 30.0 in d1 0.622 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.622 * [taylor]: Taking taylor expansion of d2 in d1 0.622 * [taylor]: Taking taylor expansion of (* -1 (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (sqrt (- 30.0 (/ 1 d2))))) in d1 0.622 * [taylor]: Taking taylor expansion of -1 in d1 0.622 * [taylor]: Taking taylor expansion of (* (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) (sqrt (- 30.0 (/ 1 d2)))) in d1 0.622 * [taylor]: Taking taylor expansion of (/ (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) d1) in d1 0.622 * [taylor]: Taking taylor expansion of (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) in d1 0.622 * [taylor]: Taking taylor expansion of d1 in d1 0.623 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d1 0.623 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 0.623 * [taylor]: Taking taylor expansion of 30.0 in d1 0.623 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.623 * [taylor]: Taking taylor expansion of d2 in d1 0.623 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 30.0 (/ 1 d2))) (fabs (pow (- 30.0 (/ 1 d2)) 1/3)))) in d2 0.623 * [taylor]: Taking taylor expansion of -1 in d2 0.623 * [taylor]: Taking taylor expansion of (* (sqrt (- 30.0 (/ 1 d2))) (fabs (pow (- 30.0 (/ 1 d2)) 1/3))) in d2 0.623 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2 0.623 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.623 * [taylor]: Taking taylor expansion of 30.0 in d2 0.623 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.623 * [taylor]: Taking taylor expansion of d2 in d2 0.623 * [taylor]: Taking taylor expansion of (fabs (pow (- 30.0 (/ 1 d2)) 1/3)) in d2 0.624 * [taylor]: Taking taylor expansion of 0 in d2 0.625 * [taylor]: Taking taylor expansion of 0 in d2 0.626 * [taylor]: Taking taylor expansion of 0 in d2 0.629 * * * [progress]: simplifying candidates 0.631 * [simplify]: Simplifying using # : (log (cbrt (+ 10.0 (+ d2 20.0)))) (exp (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt 1) (cbrt (+ 10.0 (+ d2 20.0))) (cbrt 1) (cbrt (+ 10.0 (+ d2 20.0))) (cbrt 1) (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (cbrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))) (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (cbrt (- 10.0 (+ d2 20.0))) (* (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (log (cbrt (+ 10.0 (+ d2 20.0)))) (exp (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt 1) (cbrt (+ 10.0 (+ d2 20.0))) (cbrt 1) (cbrt (+ 10.0 (+ d2 20.0))) (cbrt 1) (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (cbrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))) (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (cbrt (- 10.0 (+ d2 20.0))) (* (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (+ (+ (log d1) (+ (log (sqrt (+ 10.0 (+ d2 20.0)))) (log (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (log (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (+ (+ (log d1) (log (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (log (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (+ (log (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (log (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (log (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (exp (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (* (* (* (* d1 d1) d1) (* (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))) (* (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (* (* (* (* d1 d1) d1) (* (* (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (* (* (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (* (cbrt (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (cbrt (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))))) (cbrt (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (* (* (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (* (* d1 (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))) (* (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))) (sqrt (cbrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))))) (* (* d1 (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))) (* (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))) (sqrt (cbrt (- 10.0 (+ d2 20.0))))) (* (* d1 (* (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))) (* (sqrt (- 10.0 (+ d2 20.0))) (sqrt (cbrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))))) (* (* d1 (* (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))) (* (sqrt (- 10.0 (+ d2 20.0))) (sqrt (cbrt (- 10.0 (+ d2 20.0))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* (cbrt (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (sqrt (cbrt (+ 10.0 (+ d2 20.0))))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt 1))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt 1))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt 1))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (* (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (cbrt (+ 10.0 (+ d2 20.0))))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt 1)) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) 1) (* (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))) (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))) (* (* d1 (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (* (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (+ (log d1) (+ (log (sqrt (+ 10.0 (+ d2 20.0)))) (log (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (+ (log d1) (log (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (log (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (exp (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (* (* d1 d1) d1) (* (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))) (* (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (* (* d1 d1) d1) (* (* (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (cbrt (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (cbrt (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (cbrt (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (* (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (sqrt (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (sqrt (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* (cbrt d1) (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* (sqrt d1) (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (- (+ (pow 30.0 1/3) (+ (* 0.01111111111111111 (* d2 (pow 30.0 1/3))) (* 6.172839506172838e-05 (* (pow d2 2) (pow 30.0 1/3))))) (* 1/6 (* (pow d2 2) (pow (/ 1 (pow 30.0 5)) 1/3)))) (- (+ (* 10.0 (/ (exp (* 1/3 (- (log 1) (log (/ 1 d2))))) d2)) (exp (* 1/3 (- (log 1) (log (/ 1 d2)))))) (* 100.0 (/ (exp (* 1/3 (- (log 1) (log (/ 1 d2))))) (pow d2 2)))) (- (+ (* 10.0 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 d2))))) d2)) (exp (* 1/3 (- (log (neg 1)) (log (/ -1 d2)))))) (* 100.0 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 d2))))) (pow d2 2)))) (- (+ (pow 30.0 1/3) (+ (* 0.01111111111111111 (* d2 (pow 30.0 1/3))) (* 6.172839506172838e-05 (* (pow d2 2) (pow 30.0 1/3))))) (* 1/6 (* (pow d2 2) (pow (/ 1 (pow 30.0 5)) 1/3)))) (- (+ (* 10.0 (/ (exp (* 1/3 (- (log 1) (log (/ 1 d2))))) d2)) (exp (* 1/3 (- (log 1) (log (/ 1 d2)))))) (* 100.0 (/ (exp (* 1/3 (- (log 1) (log (/ 1 d2))))) (pow d2 2)))) (- (+ (* 10.0 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 d2))))) d2)) (exp (* 1/3 (- (log (neg 1)) (log (/ -1 d2)))))) (* 100.0 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 d2))))) (pow d2 2)))) (- (+ (* 0.0006172839506172838 (* (* d1 (* (pow d2 2) (fabs (pow (+ d2 30.0) 1/3)))) (pow 900.0 1/3))) (+ (* (* d1 (fabs (pow (+ d2 30.0) 1/3))) (pow 900.0 1/3)) (* 0.02222222222222222 (* (* d1 (* d2 (fabs (pow (+ d2 30.0) 1/3)))) (pow 900.0 1/3))))) (* 600.0 (* (* d1 (* (pow d2 2) (fabs (pow (+ d2 30.0) 1/3)))) (pow (/ 1 (pow 900.0 5)) 1/3)))) (- (+ (* 20.0 (/ (* d1 (* (fabs (pow (+ d2 30.0) 1/3)) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 d2)))))))) d2)) (* d1 (* (fabs (pow (+ d2 30.0) 1/3)) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 d2))))))))) (* 100.0 (/ (* d1 (* (fabs (pow (+ d2 30.0) 1/3)) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 d2)))))))) (pow d2 2)))) (- (+ (* 20.0 (/ (* d1 (* (fabs (pow (+ d2 30.0) 1/3)) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 d2)))))))) d2)) (* d1 (* (fabs (pow (+ d2 30.0) 1/3)) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 d2))))))))) (* 100.0 (/ (* d1 (* (fabs (pow (+ d2 30.0) 1/3)) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 d2)))))))) (pow d2 2)))) (- (+ (* 1/2 (/ (* d1 (* d2 (fabs (pow (+ d2 30.0) 1/3)))) (sqrt 30.0))) (* d1 (* (fabs (pow (+ d2 30.0) 1/3)) (sqrt 30.0)))) (* 1/8 (/ (* d1 (* (pow d2 2) (fabs (pow (+ d2 30.0) 1/3)))) (pow (sqrt 30.0) 3)))) (- (+ (* d1 (* NAN (fabs (pow (+ d2 30.0) 1/3)))) (+ (* 2 (/ (* d1 (* (pow NAN 5) (fabs (pow (+ d2 30.0) 1/3)))) (pow d2 2))) (* 30.0 (/ (* d1 (* NAN (fabs (pow (+ d2 30.0) 1/3)))) d2)))) (+ (* 60.0 (/ (* d1 (* (pow NAN 3) (fabs (pow (+ d2 30.0) 1/3)))) (pow d2 2))) (/ (* d1 (* (pow NAN 3) (fabs (pow (+ d2 30.0) 1/3)))) d2))) (- (+ (* d1 (* NAN (fabs (pow (+ d2 30.0) 1/3)))) (+ (* 2 (/ (* d1 (* (pow NAN 5) (fabs (pow (+ d2 30.0) 1/3)))) (pow d2 2))) (/ (* d1 (* (pow NAN 3) (fabs (pow (+ d2 30.0) 1/3)))) d2))) (+ (* 60.0 (/ (* d1 (* (pow NAN 3) (fabs (pow (+ d2 30.0) 1/3)))) (pow d2 2))) (* 30.0 (/ (* d1 (* NAN (fabs (pow (+ d2 30.0) 1/3)))) d2)))) 0.696 * * [simplify]: iteration 0 : 4987 enodes (cost 2059 ) 0.696 * * [simplify]: iteration 1 : 4987 enodes (cost 2059 ) 0.703 * [simplify]: Simplified to: (log (cbrt (+ 10.0 (+ d2 20.0)))) (exp (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (pow (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) 4)) (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) 1 (cbrt (+ 10.0 (+ d2 20.0))) 1 (cbrt (+ 10.0 (+ d2 20.0))) 1 (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (cbrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))) (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (cbrt (- 10.0 (+ d2 20.0))) (* (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (+ 10.0 (+ d2 20.0)) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (log (cbrt (+ 10.0 (+ d2 20.0)))) (exp (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (pow (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) 4)) (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) 1 (cbrt (+ 10.0 (+ d2 20.0))) 1 (cbrt (+ 10.0 (+ d2 20.0))) 1 (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (cbrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))) (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (cbrt (- 10.0 (+ d2 20.0))) (* (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (cbrt (+ 10.0 (+ d2 20.0)))) (+ 10.0 (+ d2 20.0)) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (log (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (log (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (log (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (log (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (pow (pow (exp d1) (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (pow (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) 3) (pow (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) 3) (pow (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) 3) (* (cbrt (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (cbrt (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))))) (cbrt (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (pow (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) 3) (sqrt (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (sqrt (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (* d1 (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (sqrt (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))))) (* (sqrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))) (sqrt (cbrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))))) (* d1 (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (sqrt (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))))) (* (sqrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))) (sqrt (cbrt (- 10.0 (+ d2 20.0))))) (* d1 (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (sqrt (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))))) (* (sqrt (cbrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0)))))) (sqrt (- 10.0 (+ d2 20.0)))) (* d1 (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (* (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (sqrt (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))))) (* (sqrt (cbrt (- 10.0 (+ d2 20.0)))) (sqrt (- 10.0 (+ d2 20.0)))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (* (cbrt (sqrt (cbrt (+ 10.0 (+ d2 20.0))))) (cbrt (sqrt (cbrt (+ 10.0 (+ d2 20.0))))))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (pow (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) 4)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (fabs (cbrt (cbrt (+ 10.0 (+ d2 20.0)))))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (sqrt (cbrt (+ 10.0 (+ d2 20.0)))))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))))) (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (cbrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))))) (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* d1 (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))))) (* (sqrt (cbrt (+ 10.0 (+ d2 20.0)))) (* d1 (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (log (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (log (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (log (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (pow (exp d1) (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (pow (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) 3) (pow (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) 3) (* (cbrt (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (cbrt (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))))) (cbrt (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (pow (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) 3) (sqrt (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (sqrt (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0))))))) (* (sqrt (+ 10.0 (+ d2 20.0))) d1) (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (cbrt d1))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt d1))) (* (sqrt (+ 10.0 (+ d2 20.0))) (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))) (* d1 (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))) (* d1 (* (fabs (cbrt (+ 10.0 (+ d2 20.0)))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))) (+ (cbrt 30.0) (+ (* (cbrt 30.0) (* d2 (+ 0.01111111111111111 (* 6.172839506172838e-05 d2)))) (* (cbrt (/ 1 (pow 30.0 5))) (* (* d2 d2) -1/6)))) (+ (cbrt d2) (* (/ (cbrt d2) d2) (- 10.0 (/ 100.0 d2)))) (+ (cbrt d2) (* (/ (cbrt d2) d2) (- 10.0 (/ 100.0 d2)))) (+ (cbrt 30.0) (+ (* (cbrt 30.0) (* d2 (+ 0.01111111111111111 (* 6.172839506172838e-05 d2)))) (* (cbrt (/ 1 (pow 30.0 5))) (* (* d2 d2) -1/6)))) (+ (cbrt d2) (* (/ (cbrt d2) d2) (- 10.0 (/ 100.0 d2)))) (+ (cbrt d2) (* (/ (cbrt d2) d2) (- 10.0 (/ 100.0 d2)))) (+ (* (cbrt 900.0) (* (fabs (cbrt (+ d2 30.0))) (+ d1 (* 0.02222222222222222 (* d2 d1))))) (* (* d1 (* d2 (* d2 (fabs (cbrt (+ d2 30.0)))))) (- (* (cbrt 900.0) 0.0006172839506172838) (* (cbrt (/ 1 (pow 900.0 5))) 600.0)))) (+ (* d1 (* (fabs (cbrt (+ d2 30.0))) (cbrt (* d2 d2)))) (* (* (/ d1 d2) (* (fabs (cbrt (+ d2 30.0))) (cbrt (* d2 d2)))) (- 20.0 (/ 100.0 d2)))) (+ (* d1 (* (fabs (cbrt (+ d2 30.0))) (cbrt (* d2 d2)))) (* (* (/ d1 d2) (* (fabs (cbrt (+ d2 30.0))) (cbrt (* d2 d2)))) (- 20.0 (/ 100.0 d2)))) (+ (* 1/2 (* (/ d1 (sqrt 30.0)) (* d2 (fabs (cbrt (+ d2 30.0)))))) (+ (* d1 (* (fabs (cbrt (+ d2 30.0))) (sqrt 30.0))) (* (* (/ d1 (sqrt 30.0)) (/ (* d2 (* d2 (fabs (cbrt (+ d2 30.0))))) 30.0)) -1/8))) (+ (* d1 (* (fabs (cbrt (+ d2 30.0))) NAN)) (+ (* 2 (* (/ d1 d2) (/ (* (fabs (cbrt (+ d2 30.0))) (pow NAN 5)) d2))) (- (* 30.0 (* (/ d1 d2) (* (fabs (cbrt (+ d2 30.0))) NAN))) (* (+ (/ 60.0 d2) 1) (* (/ d1 d2) (* (fabs (cbrt (+ d2 30.0))) (pow NAN 3))))))) (+ (* d1 (* (fabs (cbrt (+ d2 30.0))) NAN)) (+ (* 2 (* (/ d1 d2) (/ (* (fabs (cbrt (+ d2 30.0))) (pow NAN 5)) d2))) (- (* (/ d1 d2) (* (fabs (cbrt (+ d2 30.0))) (pow NAN 3))) (+ (* 30.0 (* (/ d1 d2) (* (fabs (cbrt (+ d2 30.0))) NAN))) (* 60.0 (* (/ d1 d2) (/ (* (fabs (cbrt (+ d2 30.0))) (pow NAN 3)) d2))))))) 0.704 * * * [progress]: adding candidates to table 0.930 * [progress]: [Phase 3 of 3] Extracting. 0.930 * * [regime]: Finding splitpoints for: (# # #) 0.931 * * * [regime-changes]: Trying 2 branch expressions: (d2 d1) 0.931 * * * * [regimes]: Trying to branch on d2 from (# # #) 0.968 * * * * [regimes]: Trying to branch on d1 from (# # #) 1.006 * * * [regime]: Found split indices: #