24.022 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x) 0.040 * * [simplify]: iteration 0 : 404 enodes (cost 7 ) 0.040 * * [simplify]: iteration 1 : 404 enodes (cost 7 ) 0.041 * [simplify]: Simplified to: (*.f64 x (+.f64 6 (*.f64 x -9))) 0.043 * * [progress]: iteration 1 / 4 0.043 * * * [progress]: picking best candidate 0.045 * * * * [pick]: Picked # 0.045 * * * [progress]: localizing error 0.049 * * * [progress]: generating rewritten candidates 0.049 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.055 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.059 * * * [progress]: generating series expansions 0.059 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.059 * [approximate]: Taking taylor expansion of (* x (- 6 (* 9 x))) in (x) around 0 0.059 * [taylor]: Taking taylor expansion of (* x (- 6 (* 9 x))) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (- 6 (* 9 x)) in x 0.060 * [taylor]: Taking taylor expansion of 6 in x 0.060 * [taylor]: Taking taylor expansion of (* 9 x) in x 0.060 * [taylor]: Taking taylor expansion of 9 in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (* x (- 6 (* 9 x))) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (- 6 (* 9 x)) in x 0.060 * [taylor]: Taking taylor expansion of 6 in x 0.060 * [taylor]: Taking taylor expansion of (* 9 x) in x 0.060 * [taylor]: Taking taylor expansion of 9 in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.061 * [approximate]: Taking taylor expansion of (/ (- 6 (* 9 (/ 1 x))) x) in (x) around 0 0.061 * [taylor]: Taking taylor expansion of (/ (- 6 (* 9 (/ 1 x))) x) in x 0.061 * [taylor]: Taking taylor expansion of (- 6 (* 9 (/ 1 x))) in x 0.061 * [taylor]: Taking taylor expansion of 6 in x 0.061 * [taylor]: Taking taylor expansion of (* 9 (/ 1 x)) in x 0.061 * [taylor]: Taking taylor expansion of 9 in x 0.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of (/ (- 6 (* 9 (/ 1 x))) x) in x 0.061 * [taylor]: Taking taylor expansion of (- 6 (* 9 (/ 1 x))) in x 0.062 * [taylor]: Taking taylor expansion of 6 in x 0.062 * [taylor]: Taking taylor expansion of (* 9 (/ 1 x)) in x 0.062 * [taylor]: Taking taylor expansion of 9 in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.063 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 9 (/ 1 x)) 6) x)) in (x) around 0 0.063 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9 (/ 1 x)) 6) x)) in x 0.064 * [taylor]: Taking taylor expansion of -1 in x 0.064 * [taylor]: Taking taylor expansion of (/ (+ (* 9 (/ 1 x)) 6) x) in x 0.064 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 x)) 6) in x 0.064 * [taylor]: Taking taylor expansion of (* 9 (/ 1 x)) in x 0.064 * [taylor]: Taking taylor expansion of 9 in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of 6 in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9 (/ 1 x)) 6) x)) in x 0.064 * [taylor]: Taking taylor expansion of -1 in x 0.064 * [taylor]: Taking taylor expansion of (/ (+ (* 9 (/ 1 x)) 6) x) in x 0.064 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 x)) 6) in x 0.064 * [taylor]: Taking taylor expansion of (* 9 (/ 1 x)) in x 0.064 * [taylor]: Taking taylor expansion of 9 in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of 6 in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.066 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.066 * [approximate]: Taking taylor expansion of (- 6 (* 9 x)) in (x) around 0 0.066 * [taylor]: Taking taylor expansion of (- 6 (* 9 x)) in x 0.066 * [taylor]: Taking taylor expansion of 6 in x 0.066 * [taylor]: Taking taylor expansion of (* 9 x) in x 0.066 * [taylor]: Taking taylor expansion of 9 in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of (- 6 (* 9 x)) in x 0.066 * [taylor]: Taking taylor expansion of 6 in x 0.066 * [taylor]: Taking taylor expansion of (* 9 x) in x 0.066 * [taylor]: Taking taylor expansion of 9 in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.067 * [approximate]: Taking taylor expansion of (- 6 (* 9 (/ 1 x))) in (x) around 0 0.067 * [taylor]: Taking taylor expansion of (- 6 (* 9 (/ 1 x))) in x 0.067 * [taylor]: Taking taylor expansion of 6 in x 0.067 * [taylor]: Taking taylor expansion of (* 9 (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of 9 in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (- 6 (* 9 (/ 1 x))) in x 0.067 * [taylor]: Taking taylor expansion of 6 in x 0.067 * [taylor]: Taking taylor expansion of (* 9 (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of 9 in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.068 * [approximate]: Taking taylor expansion of (+ (* 9 (/ 1 x)) 6) in (x) around 0 0.068 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 x)) 6) in x 0.068 * [taylor]: Taking taylor expansion of (* 9 (/ 1 x)) in x 0.068 * [taylor]: Taking taylor expansion of 9 in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of 6 in x 0.069 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 x)) 6) in x 0.069 * [taylor]: Taking taylor expansion of (* 9 (/ 1 x)) in x 0.069 * [taylor]: Taking taylor expansion of 9 in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of 6 in x 0.070 * * * [progress]: simplifying candidates 0.074 * [simplify]: Simplifying using # : (*.f64 x (+.f64 6 (*.f64 x -9))) (+.f64 (log.f64 x) (log.f64 (+.f64 6 (*.f64 x -9)))) (log.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (exp.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (+.f64 6 (*.f64 x -9)) (+.f64 6 (*.f64 x -9))) (+.f64 6 (*.f64 x -9)))) (*.f64 (cbrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (cbrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9))))) (cbrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (*.f64 (*.f64 (*.f64 x (+.f64 6 (*.f64 x -9))) (*.f64 x (+.f64 6 (*.f64 x -9)))) (*.f64 x (+.f64 6 (*.f64 x -9)))) (sqrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (sqrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 6 (*.f64 x -9)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 6 (*.f64 x -9)))) (*.f64 x 6) (*.f64 x (*.f64 x -9)) (*.f64 6 x) (*.f64 (*.f64 x -9) x) (*.f64 x (*.f64 (cbrt.f64 (+.f64 6 (*.f64 x -9))) (cbrt.f64 (+.f64 6 (*.f64 x -9))))) (*.f64 x (sqrt.f64 (+.f64 6 (*.f64 x -9)))) (*.f64 x 1) (*.f64 (cbrt.f64 x) (+.f64 6 (*.f64 x -9))) (*.f64 (sqrt.f64 x) (+.f64 6 (*.f64 x -9))) (*.f64 x (+.f64 6 (*.f64 x -9))) (*.f64 x (+.f64 (pow.f64 6 3) (pow.f64 (*.f64 x -9) 3))) (*.f64 x (-.f64 (*.f64 6 6) (*.f64 (*.f64 x -9) (*.f64 x -9)))) (*.f64 (exp.f64 6) (exp.f64 (*.f64 x -9))) (log.f64 (+.f64 6 (*.f64 x -9))) (exp.f64 (+.f64 6 (*.f64 x -9))) (*.f64 (cbrt.f64 (+.f64 6 (*.f64 x -9))) (cbrt.f64 (+.f64 6 (*.f64 x -9)))) (cbrt.f64 (+.f64 6 (*.f64 x -9))) (*.f64 (*.f64 (+.f64 6 (*.f64 x -9)) (+.f64 6 (*.f64 x -9))) (+.f64 6 (*.f64 x -9))) (sqrt.f64 (+.f64 6 (*.f64 x -9))) (sqrt.f64 (+.f64 6 (*.f64 x -9))) (+.f64 (pow.f64 6 3) (pow.f64 (*.f64 x -9) 3)) (+.f64 (*.f64 6 6) (-.f64 (*.f64 (*.f64 x -9) (*.f64 x -9)) (*.f64 6 (*.f64 x -9)))) (-.f64 (*.f64 6 6) (*.f64 (*.f64 x -9) (*.f64 x -9))) (-.f64 6 (*.f64 x -9)) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 6 (*.f64 9 x)) (-.f64 6 (*.f64 9 x)) (-.f64 6 (*.f64 9 x)) 0.135 * * [simplify]: iteration 0 : 4883 enodes (cost 309 ) 0.136 * * [simplify]: iteration 1 : 4883 enodes (cost 309 ) 0.138 * [simplify]: Simplified to: (*.f64 x (+.f64 6 (*.f64 x -9))) (log.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (log.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (exp.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (pow.f64 (*.f64 x (+.f64 6 (*.f64 x -9))) 3) (*.f64 (cbrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (cbrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9))))) (cbrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (pow.f64 (*.f64 x (+.f64 6 (*.f64 x -9))) 3) (sqrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (sqrt.f64 (*.f64 x (+.f64 6 (*.f64 x -9)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 6 (*.f64 x -9)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 6 (*.f64 x -9)))) (*.f64 x 6) (*.f64 x (*.f64 x -9)) (*.f64 x 6) (*.f64 x (*.f64 x -9)) (*.f64 x (*.f64 (cbrt.f64 (+.f64 6 (*.f64 x -9))) (cbrt.f64 (+.f64 6 (*.f64 x -9))))) (*.f64 x (sqrt.f64 (+.f64 6 (*.f64 x -9)))) x (*.f64 (+.f64 6 (*.f64 x -9)) (cbrt.f64 x)) (*.f64 (+.f64 6 (*.f64 x -9)) (sqrt.f64 x)) (*.f64 x (+.f64 6 (*.f64 x -9))) (*.f64 x (+.f64 216 (pow.f64 (*.f64 x -9) 3))) (*.f64 x (-.f64 36 (*.f64 x (*.f64 x 81)))) (exp.f64 (+.f64 6 (*.f64 x -9))) (log.f64 (+.f64 6 (*.f64 x -9))) (exp.f64 (+.f64 6 (*.f64 x -9))) (*.f64 (cbrt.f64 (+.f64 6 (*.f64 x -9))) (cbrt.f64 (+.f64 6 (*.f64 x -9)))) (cbrt.f64 (+.f64 6 (*.f64 x -9))) (pow.f64 (+.f64 6 (*.f64 x -9)) 3) (sqrt.f64 (+.f64 6 (*.f64 x -9))) (sqrt.f64 (+.f64 6 (*.f64 x -9))) (+.f64 216 (pow.f64 (*.f64 x -9) 3)) (+.f64 36 (*.f64 x (-.f64 (*.f64 x 81) -54))) (-.f64 36 (*.f64 x (*.f64 x 81))) (-.f64 6 (*.f64 x -9)) (*.f64 x (+.f64 6 (*.f64 x -9))) (*.f64 x (+.f64 6 (*.f64 x -9))) (*.f64 x (+.f64 6 (*.f64 x -9))) (+.f64 6 (*.f64 x -9)) (+.f64 6 (*.f64 x -9)) (+.f64 6 (*.f64 x -9)) 0.138 * * * [progress]: adding candidates to table 0.162 * * [progress]: iteration 2 / 4 0.162 * * * [progress]: picking best candidate 0.171 * * * * [pick]: Picked # 0.172 * * * [progress]: localizing error 0.177 * * * [progress]: generating rewritten candidates 0.177 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.184 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.190 * * * [progress]: generating series expansions 0.190 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.190 * [approximate]: Taking taylor expansion of (* -9 (pow x 2)) in (x) around 0 0.190 * [taylor]: Taking taylor expansion of (* -9 (pow x 2)) in x 0.190 * [taylor]: Taking taylor expansion of -9 in x 0.190 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of (* -9 (pow x 2)) in x 0.190 * [taylor]: Taking taylor expansion of -9 in x 0.190 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.191 * [approximate]: Taking taylor expansion of (/ -9 (pow x 2)) in (x) around 0 0.191 * [taylor]: Taking taylor expansion of (/ -9 (pow x 2)) in x 0.191 * [taylor]: Taking taylor expansion of -9 in x 0.191 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of (/ -9 (pow x 2)) in x 0.191 * [taylor]: Taking taylor expansion of -9 in x 0.191 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.192 * [approximate]: Taking taylor expansion of (/ -9 (pow x 2)) in (x) around 0 0.192 * [taylor]: Taking taylor expansion of (/ -9 (pow x 2)) in x 0.192 * [taylor]: Taking taylor expansion of -9 in x 0.192 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.192 * [taylor]: Taking taylor expansion of x in x 0.192 * [taylor]: Taking taylor expansion of (/ -9 (pow x 2)) in x 0.192 * [taylor]: Taking taylor expansion of -9 in x 0.192 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.192 * [taylor]: Taking taylor expansion of x in x 0.193 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.194 * [approximate]: Taking taylor expansion of (- (* 6 x) (* 9 (pow x 2))) in (x) around 0 0.194 * [taylor]: Taking taylor expansion of (- (* 6 x) (* 9 (pow x 2))) in x 0.194 * [taylor]: Taking taylor expansion of (* 6 x) in x 0.194 * [taylor]: Taking taylor expansion of 6 in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x 0.194 * [taylor]: Taking taylor expansion of 9 in x 0.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of (- (* 6 x) (* 9 (pow x 2))) in x 0.194 * [taylor]: Taking taylor expansion of (* 6 x) in x 0.194 * [taylor]: Taking taylor expansion of 6 in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x 0.194 * [taylor]: Taking taylor expansion of 9 in x 0.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.195 * [approximate]: Taking taylor expansion of (- (* 6 (/ 1 x)) (* 9 (/ 1 (pow x 2)))) in (x) around 0 0.195 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 x)) (* 9 (/ 1 (pow x 2)))) in x 0.195 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x 0.195 * [taylor]: Taking taylor expansion of 6 in x 0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x 0.196 * [taylor]: Taking taylor expansion of 9 in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 x)) (* 9 (/ 1 (pow x 2)))) in x 0.196 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x 0.196 * [taylor]: Taking taylor expansion of 6 in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x 0.196 * [taylor]: Taking taylor expansion of 9 in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.198 * [approximate]: Taking taylor expansion of (neg (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x)))) in (x) around 0 0.198 * [taylor]: Taking taylor expansion of (neg (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x)))) in x 0.198 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x))) in x 0.198 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x 0.198 * [taylor]: Taking taylor expansion of 9 in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.198 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x 0.198 * [taylor]: Taking taylor expansion of 6 in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (neg (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x)))) in x 0.198 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x))) in x 0.198 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x 0.198 * [taylor]: Taking taylor expansion of 9 in x 0.199 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.199 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x 0.199 * [taylor]: Taking taylor expansion of 6 in x 0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.201 * * * [progress]: simplifying candidates 0.201 * [simplify]: Simplifying using # : (*.f64 x (*.f64 x -9)) (*.f64 x (*.f64 x -9)) (+.f64 (log.f64 x) (+.f64 (log.f64 x) (log.f64 -9))) (+.f64 (log.f64 x) (log.f64 (*.f64 x -9))) (log.f64 (*.f64 x (*.f64 x -9))) (exp.f64 (*.f64 x (*.f64 x -9))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 -9 -9) -9))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x -9) (*.f64 x -9)) (*.f64 x -9))) (*.f64 (cbrt.f64 (*.f64 x (*.f64 x -9))) (cbrt.f64 (*.f64 x (*.f64 x -9)))) (cbrt.f64 (*.f64 x (*.f64 x -9))) (*.f64 (*.f64 (*.f64 x (*.f64 x -9)) (*.f64 x (*.f64 x -9))) (*.f64 x (*.f64 x -9))) (sqrt.f64 (*.f64 x (*.f64 x -9))) (sqrt.f64 (*.f64 x (*.f64 x -9))) (*.f64 x x) (*.f64 (cbrt.f64 x) (*.f64 x -9)) (*.f64 (sqrt.f64 x) (*.f64 x -9)) (*.f64 x (*.f64 x -9)) (*.f64 (exp.f64 (*.f64 x 6)) (exp.f64 (*.f64 x (*.f64 x -9)))) (log.f64 (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))) (exp.f64 (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))) (cbrt.f64 (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9))))) (cbrt.f64 (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))) (*.f64 (*.f64 (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9))) (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))) (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))) (sqrt.f64 (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))) (sqrt.f64 (+.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9)))) (+.f64 (pow.f64 (*.f64 x 6) 3) (pow.f64 (*.f64 x (*.f64 x -9)) 3)) (+.f64 (*.f64 (*.f64 x 6) (*.f64 x 6)) (-.f64 (*.f64 (*.f64 x (*.f64 x -9)) (*.f64 x (*.f64 x -9))) (*.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9))))) (-.f64 (*.f64 (*.f64 x 6) (*.f64 x 6)) (*.f64 (*.f64 x (*.f64 x -9)) (*.f64 x (*.f64 x -9)))) (-.f64 (*.f64 x 6) (*.f64 x (*.f64 x -9))) (+.f64 6 (*.f64 x -9)) (*.f64 -9 (pow.f64 x 2)) (*.f64 -9 (pow.f64 x 2)) (*.f64 -9 (pow.f64 x 2)) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) 0.229 * * [simplify]: iteration 0 : 4932 enodes (cost 258 ) 0.229 * * [simplify]: iteration 1 : 4932 enodes (cost 258 ) 0.231 * [simplify]: Simplified to: (*.f64 x (*.f64 x -9)) (*.f64 x (*.f64 x -9)) (log.f64 (*.f64 x (*.f64 x -9))) (log.f64 (*.f64 x (*.f64 x -9))) (log.f64 (*.f64 x (*.f64 x -9))) (exp.f64 (*.f64 x (*.f64 x -9))) (*.f64 -729 (pow.f64 x 6)) (*.f64 -729 (pow.f64 x 6)) (*.f64 (cbrt.f64 (*.f64 x (*.f64 x -9))) (cbrt.f64 (*.f64 x (*.f64 x -9)))) (cbrt.f64 (*.f64 x (*.f64 x -9))) (*.f64 -729 (pow.f64 x 6)) (sqrt.f64 (*.f64 x (*.f64 x -9))) (sqrt.f64 (*.f64 x (*.f64 x -9))) (*.f64 x x) (*.f64 (*.f64 x -9) (cbrt.f64 x)) (*.f64 -9 (pow.f64 x 3/2)) (*.f64 x (*.f64 x -9)) (pow.f64 (exp.f64 x) (+.f64 (*.f64 x -9) 6)) (log.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (pow.f64 (exp.f64 x) (+.f64 (*.f64 x -9) 6)) (*.f64 (cbrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (cbrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6)))) (cbrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (pow.f64 (*.f64 x (+.f64 (*.f64 x -9) 6)) 3) (sqrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (sqrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (+.f64 (*.f64 -729 (pow.f64 x 6)) (pow.f64 (*.f64 x 6) 3)) (*.f64 (*.f64 x x) (+.f64 36 (*.f64 (*.f64 x -9) (-.f64 (*.f64 x -9) 6)))) (*.f64 (*.f64 x x) (-.f64 36 (*.f64 (*.f64 x x) 81))) (*.f64 x (-.f64 6 (*.f64 x -9))) (+.f64 (*.f64 x -9) 6) (*.f64 x (*.f64 x -9)) (*.f64 x (*.f64 x -9)) (*.f64 x (*.f64 x -9)) (*.f64 x (+.f64 (*.f64 x -9) 6)) (*.f64 x (+.f64 (*.f64 x -9) 6)) (*.f64 x (+.f64 (*.f64 x -9) 6)) 0.231 * * * [progress]: adding candidates to table 0.246 * * [progress]: iteration 3 / 4 0.246 * * * [progress]: picking best candidate 0.256 * * * * [pick]: Picked # 0.256 * * * [progress]: localizing error 0.262 * * * [progress]: generating rewritten candidates 0.262 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.268 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.273 * * * [progress]: generating series expansions 0.273 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.273 * [approximate]: Taking taylor expansion of (* -9 (pow x 2)) in (x) around 0 0.273 * [taylor]: Taking taylor expansion of (* -9 (pow x 2)) in x 0.273 * [taylor]: Taking taylor expansion of -9 in x 0.273 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.273 * [taylor]: Taking taylor expansion of (* -9 (pow x 2)) in x 0.273 * [taylor]: Taking taylor expansion of -9 in x 0.273 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.274 * [approximate]: Taking taylor expansion of (/ -9 (pow x 2)) in (x) around 0 0.274 * [taylor]: Taking taylor expansion of (/ -9 (pow x 2)) in x 0.274 * [taylor]: Taking taylor expansion of -9 in x 0.274 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.274 * [taylor]: Taking taylor expansion of x in x 0.274 * [taylor]: Taking taylor expansion of (/ -9 (pow x 2)) in x 0.274 * [taylor]: Taking taylor expansion of -9 in x 0.274 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.274 * [taylor]: Taking taylor expansion of x in x 0.277 * [approximate]: Taking taylor expansion of (/ -9 (pow x 2)) in (x) around 0 0.277 * [taylor]: Taking taylor expansion of (/ -9 (pow x 2)) in x 0.277 * [taylor]: Taking taylor expansion of -9 in x 0.277 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of (/ -9 (pow x 2)) in x 0.278 * [taylor]: Taking taylor expansion of -9 in x 0.278 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.279 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.279 * [approximate]: Taking taylor expansion of (- (* 6 x) (* 9 (pow x 2))) in (x) around 0 0.279 * [taylor]: Taking taylor expansion of (- (* 6 x) (* 9 (pow x 2))) in x 0.279 * [taylor]: Taking taylor expansion of (* 6 x) in x 0.279 * [taylor]: Taking taylor expansion of 6 in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.279 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x 0.279 * [taylor]: Taking taylor expansion of 9 in x 0.279 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.279 * [taylor]: Taking taylor expansion of (- (* 6 x) (* 9 (pow x 2))) in x 0.279 * [taylor]: Taking taylor expansion of (* 6 x) in x 0.279 * [taylor]: Taking taylor expansion of 6 in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.279 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x 0.279 * [taylor]: Taking taylor expansion of 9 in x 0.279 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.281 * [approximate]: Taking taylor expansion of (- (* 6 (/ 1 x)) (* 9 (/ 1 (pow x 2)))) in (x) around 0 0.281 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 x)) (* 9 (/ 1 (pow x 2)))) in x 0.281 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x 0.281 * [taylor]: Taking taylor expansion of 6 in x 0.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.281 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x 0.281 * [taylor]: Taking taylor expansion of 9 in x 0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.281 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.281 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 x)) (* 9 (/ 1 (pow x 2)))) in x 0.281 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x 0.281 * [taylor]: Taking taylor expansion of 6 in x 0.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.281 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x 0.281 * [taylor]: Taking taylor expansion of 9 in x 0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.281 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.283 * [approximate]: Taking taylor expansion of (neg (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x)))) in (x) around 0 0.283 * [taylor]: Taking taylor expansion of (neg (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x)))) in x 0.283 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x))) in x 0.283 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x 0.283 * [taylor]: Taking taylor expansion of 9 in x 0.283 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.284 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x 0.284 * [taylor]: Taking taylor expansion of 6 in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (neg (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x)))) in x 0.284 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 2))) (* 6 (/ 1 x))) in x 0.284 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x 0.284 * [taylor]: Taking taylor expansion of 9 in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.284 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.284 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x 0.284 * [taylor]: Taking taylor expansion of 6 in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.286 * * * [progress]: simplifying candidates 0.287 * [simplify]: Simplifying using # : (*.f64 (*.f64 x x) -9) (*.f64 (*.f64 x x) -9) (+.f64 (+.f64 (log.f64 x) (log.f64 x)) (log.f64 -9)) (+.f64 (log.f64 (*.f64 x x)) (log.f64 -9)) (log.f64 (*.f64 (*.f64 x x) -9)) (exp.f64 (*.f64 (*.f64 x x) -9)) (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 -9 -9) -9)) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 (*.f64 -9 -9) -9)) (*.f64 (cbrt.f64 (*.f64 (*.f64 x x) -9)) (cbrt.f64 (*.f64 (*.f64 x x) -9))) (cbrt.f64 (*.f64 (*.f64 x x) -9)) (*.f64 (*.f64 (*.f64 (*.f64 x x) -9) (*.f64 (*.f64 x x) -9)) (*.f64 (*.f64 x x) -9)) (sqrt.f64 (*.f64 (*.f64 x x) -9)) (sqrt.f64 (*.f64 (*.f64 x x) -9)) (*.f64 x (sqrt.f64 -9)) (*.f64 x (sqrt.f64 -9)) (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 -9) (cbrt.f64 -9))) (*.f64 (*.f64 x x) (sqrt.f64 -9)) (*.f64 (*.f64 x x) 1) (*.f64 x -9) (*.f64 (exp.f64 (*.f64 x 6)) (exp.f64 (*.f64 (*.f64 x x) -9))) (log.f64 (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))) (exp.f64 (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))) (*.f64 (cbrt.f64 (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))) (cbrt.f64 (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9)))) (cbrt.f64 (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))) (*.f64 (*.f64 (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9)) (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))) (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))) (sqrt.f64 (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))) (sqrt.f64 (+.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9))) (+.f64 (pow.f64 (*.f64 x 6) 3) (pow.f64 (*.f64 (*.f64 x x) -9) 3)) (+.f64 (*.f64 (*.f64 x 6) (*.f64 x 6)) (-.f64 (*.f64 (*.f64 (*.f64 x x) -9) (*.f64 (*.f64 x x) -9)) (*.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9)))) (-.f64 (*.f64 (*.f64 x 6) (*.f64 x 6)) (*.f64 (*.f64 (*.f64 x x) -9) (*.f64 (*.f64 x x) -9))) (-.f64 (*.f64 x 6) (*.f64 (*.f64 x x) -9)) (*.f64 -9 (pow.f64 x 2)) (*.f64 -9 (pow.f64 x 2)) (*.f64 -9 (pow.f64 x 2)) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) 0.344 * * [simplify]: iteration 0 : 5877 enodes (cost 263 ) 0.346 * [simplify]: Simplified to: (*.f64 (*.f64 x x) -9) (*.f64 (*.f64 x x) -9) (log.f64 (*.f64 (*.f64 x x) -9)) (log.f64 (*.f64 (*.f64 x x) -9)) (log.f64 (*.f64 (*.f64 x x) -9)) (exp.f64 (*.f64 (*.f64 x x) -9)) (*.f64 (pow.f64 x 6) -729) (*.f64 (pow.f64 x 6) -729) (*.f64 (cbrt.f64 (*.f64 (*.f64 x x) -9)) (cbrt.f64 (*.f64 (*.f64 x x) -9))) (cbrt.f64 (*.f64 (*.f64 x x) -9)) (*.f64 (pow.f64 x 6) -729) (sqrt.f64 (*.f64 (*.f64 x x) -9)) (sqrt.f64 (*.f64 (*.f64 x x) -9)) (*.f64 x (sqrt.f64 -9)) (*.f64 x (sqrt.f64 -9)) (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 -9) (cbrt.f64 -9))) (*.f64 x (*.f64 x (sqrt.f64 -9))) (*.f64 x x) (*.f64 x -9) (pow.f64 (exp.f64 x) (+.f64 (*.f64 x -9) 6)) (log.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (pow.f64 (exp.f64 x) (+.f64 (*.f64 x -9) 6)) (*.f64 (cbrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (cbrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6)))) (cbrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (pow.f64 (*.f64 x (+.f64 (*.f64 x -9) 6)) 3) (sqrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (sqrt.f64 (*.f64 x (+.f64 (*.f64 x -9) 6))) (+.f64 (*.f64 (pow.f64 x 6) -729) (pow.f64 (*.f64 x 6) 3)) (*.f64 (*.f64 x x) (+.f64 36 (*.f64 -9 (*.f64 x (-.f64 (*.f64 x -9) 6))))) (-.f64 (*.f64 x (*.f64 x 36)) (*.f64 81 (pow.f64 x 4))) (*.f64 x (+.f64 6 (*.f64 x 9))) (*.f64 (*.f64 x x) -9) (*.f64 (*.f64 x x) -9) (*.f64 (*.f64 x x) -9) (*.f64 x (+.f64 (*.f64 x -9) 6)) (*.f64 x (+.f64 (*.f64 x -9) 6)) (*.f64 x (+.f64 (*.f64 x -9) 6)) 0.346 * * * [progress]: adding candidates to table 0.359 * * [progress]: iteration 4 / 4 0.359 * * * [progress]: picking best candidate 0.368 * * * * [pick]: Picked # 0.368 * * * [progress]: localizing error 0.373 * * * [progress]: generating rewritten candidates 0.373 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.380 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.386 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 0.391 * * * [progress]: generating series expansions 0.391 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.391 * [approximate]: Taking taylor expansion of (* 3 (* x (- 2 (* 3 x)))) in (x) around 0 0.391 * [taylor]: Taking taylor expansion of (* 3 (* x (- 2 (* 3 x)))) in x 0.391 * [taylor]: Taking taylor expansion of 3 in x 0.391 * [taylor]: Taking taylor expansion of (* x (- 2 (* 3 x))) in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [taylor]: Taking taylor expansion of (- 2 (* 3 x)) in x 0.391 * [taylor]: Taking taylor expansion of 2 in x 0.391 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.391 * [taylor]: Taking taylor expansion of 3 in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [taylor]: Taking taylor expansion of (* 3 (* x (- 2 (* 3 x)))) in x 0.391 * [taylor]: Taking taylor expansion of 3 in x 0.391 * [taylor]: Taking taylor expansion of (* x (- 2 (* 3 x))) in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [taylor]: Taking taylor expansion of (- 2 (* 3 x)) in x 0.391 * [taylor]: Taking taylor expansion of 2 in x 0.391 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.391 * [taylor]: Taking taylor expansion of 3 in x 0.392 * [taylor]: Taking taylor expansion of x in x 0.394 * [approximate]: Taking taylor expansion of (* 3 (/ (- 2 (* 3 (/ 1 x))) x)) in (x) around 0 0.394 * [taylor]: Taking taylor expansion of (* 3 (/ (- 2 (* 3 (/ 1 x))) x)) in x 0.394 * [taylor]: Taking taylor expansion of 3 in x 0.394 * [taylor]: Taking taylor expansion of (/ (- 2 (* 3 (/ 1 x))) x) in x 0.394 * [taylor]: Taking taylor expansion of (- 2 (* 3 (/ 1 x))) in x 0.394 * [taylor]: Taking taylor expansion of 2 in x 0.394 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.394 * [taylor]: Taking taylor expansion of 3 in x 0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of (* 3 (/ (- 2 (* 3 (/ 1 x))) x)) in x 0.394 * [taylor]: Taking taylor expansion of 3 in x 0.394 * [taylor]: Taking taylor expansion of (/ (- 2 (* 3 (/ 1 x))) x) in x 0.394 * [taylor]: Taking taylor expansion of (- 2 (* 3 (/ 1 x))) in x 0.394 * [taylor]: Taking taylor expansion of 2 in x 0.394 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.394 * [taylor]: Taking taylor expansion of 3 in x 0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.397 * [approximate]: Taking taylor expansion of (* -3 (/ (+ (* 3 (/ 1 x)) 2) x)) in (x) around 0 0.397 * [taylor]: Taking taylor expansion of (* -3 (/ (+ (* 3 (/ 1 x)) 2) x)) in x 0.397 * [taylor]: Taking taylor expansion of -3 in x 0.397 * [taylor]: Taking taylor expansion of (/ (+ (* 3 (/ 1 x)) 2) x) in x 0.397 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) 2) in x 0.397 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.397 * [taylor]: Taking taylor expansion of 3 in x 0.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of 2 in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of (* -3 (/ (+ (* 3 (/ 1 x)) 2) x)) in x 0.397 * [taylor]: Taking taylor expansion of -3 in x 0.397 * [taylor]: Taking taylor expansion of (/ (+ (* 3 (/ 1 x)) 2) x) in x 0.397 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) 2) in x 0.397 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.397 * [taylor]: Taking taylor expansion of 3 in x 0.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of 2 in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.400 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.400 * [approximate]: Taking taylor expansion of (* 3 (- 2 (* 3 x))) in (x) around 0 0.400 * [taylor]: Taking taylor expansion of (* 3 (- 2 (* 3 x))) in x 0.400 * [taylor]: Taking taylor expansion of 3 in x 0.400 * [taylor]: Taking taylor expansion of (- 2 (* 3 x)) in x 0.400 * [taylor]: Taking taylor expansion of 2 in x 0.400 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.400 * [taylor]: Taking taylor expansion of 3 in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of (* 3 (- 2 (* 3 x))) in x 0.400 * [taylor]: Taking taylor expansion of 3 in x 0.400 * [taylor]: Taking taylor expansion of (- 2 (* 3 x)) in x 0.400 * [taylor]: Taking taylor expansion of 2 in x 0.400 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.400 * [taylor]: Taking taylor expansion of 3 in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.401 * [approximate]: Taking taylor expansion of (* 3 (- 2 (* 3 (/ 1 x)))) in (x) around 0 0.401 * [taylor]: Taking taylor expansion of (* 3 (- 2 (* 3 (/ 1 x)))) in x 0.401 * [taylor]: Taking taylor expansion of 3 in x 0.401 * [taylor]: Taking taylor expansion of (- 2 (* 3 (/ 1 x))) in x 0.401 * [taylor]: Taking taylor expansion of 2 in x 0.401 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.401 * [taylor]: Taking taylor expansion of 3 in x 0.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of (* 3 (- 2 (* 3 (/ 1 x)))) in x 0.401 * [taylor]: Taking taylor expansion of 3 in x 0.401 * [taylor]: Taking taylor expansion of (- 2 (* 3 (/ 1 x))) in x 0.401 * [taylor]: Taking taylor expansion of 2 in x 0.401 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.401 * [taylor]: Taking taylor expansion of 3 in x 0.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.403 * [approximate]: Taking taylor expansion of (* 3 (+ (* 3 (/ 1 x)) 2)) in (x) around 0 0.403 * [taylor]: Taking taylor expansion of (* 3 (+ (* 3 (/ 1 x)) 2)) in x 0.403 * [taylor]: Taking taylor expansion of 3 in x 0.403 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) 2) in x 0.403 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.403 * [taylor]: Taking taylor expansion of 3 in x 0.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.403 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of 2 in x 0.403 * [taylor]: Taking taylor expansion of (* 3 (+ (* 3 (/ 1 x)) 2)) in x 0.403 * [taylor]: Taking taylor expansion of 3 in x 0.403 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) 2) in x 0.403 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.403 * [taylor]: Taking taylor expansion of 3 in x 0.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.403 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of 2 in x 0.407 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 0.407 * [approximate]: Taking taylor expansion of (- 2 (* 3 x)) in (x) around 0 0.407 * [taylor]: Taking taylor expansion of (- 2 (* 3 x)) in x 0.407 * [taylor]: Taking taylor expansion of 2 in x 0.407 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.407 * [taylor]: Taking taylor expansion of 3 in x 0.407 * [taylor]: Taking taylor expansion of x in x 0.407 * [taylor]: Taking taylor expansion of (- 2 (* 3 x)) in x 0.407 * [taylor]: Taking taylor expansion of 2 in x 0.407 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.407 * [taylor]: Taking taylor expansion of 3 in x 0.407 * [taylor]: Taking taylor expansion of x in x 0.408 * [approximate]: Taking taylor expansion of (- 2 (* 3 (/ 1 x))) in (x) around 0 0.408 * [taylor]: Taking taylor expansion of (- 2 (* 3 (/ 1 x))) in x 0.408 * [taylor]: Taking taylor expansion of 2 in x 0.408 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.408 * [taylor]: Taking taylor expansion of 3 in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.408 * [taylor]: Taking taylor expansion of (- 2 (* 3 (/ 1 x))) in x 0.408 * [taylor]: Taking taylor expansion of 2 in x 0.408 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.408 * [taylor]: Taking taylor expansion of 3 in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.409 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 x)) 2) in (x) around 0 0.409 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) 2) in x 0.409 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.409 * [taylor]: Taking taylor expansion of 3 in x 0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of 2 in x 0.409 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) 2) in x 0.409 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.409 * [taylor]: Taking taylor expansion of 3 in x 0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of 2 in x 0.411 * * * [progress]: simplifying candidates 0.412 * [simplify]: Simplifying using # : (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x) (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x) (+.f64 (+.f64 (log.f64 3) (log.f64 (-.f64 2 (*.f64 x 3)))) (log.f64 x)) (+.f64 (log.f64 (*.f64 3 (-.f64 2 (*.f64 x 3)))) (log.f64 x)) (log.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)) (exp.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)) (*.f64 (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (-.f64 2 (*.f64 x 3)) (-.f64 2 (*.f64 x 3))) (-.f64 2 (*.f64 x 3)))) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) (*.f64 3 (-.f64 2 (*.f64 x 3)))) (*.f64 3 (-.f64 2 (*.f64 x 3)))) (*.f64 (*.f64 x x) x)) (*.f64 (cbrt.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)) (cbrt.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x))) (cbrt.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)) (*.f64 (*.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x) (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)) (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)) (sqrt.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)) (sqrt.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) x)) (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) (sqrt.f64 x)) (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) 1) (*.f64 (-.f64 2 (*.f64 x 3)) x) (*.f64 (*.f64 3 (-.f64 (pow.f64 2 3) (pow.f64 (*.f64 x 3) 3))) x) (*.f64 (*.f64 3 (-.f64 (*.f64 2 2) (*.f64 (*.f64 x 3) (*.f64 x 3)))) x) (*.f64 3 (-.f64 2 (*.f64 x 3))) (+.f64 (log.f64 3) (log.f64 (-.f64 2 (*.f64 x 3)))) (log.f64 (*.f64 3 (-.f64 2 (*.f64 x 3)))) (exp.f64 (*.f64 3 (-.f64 2 (*.f64 x 3)))) (*.f64 (*.f64 (*.f64 3 3) 3) (*.f64 (*.f64 (-.f64 2 (*.f64 x 3)) (-.f64 2 (*.f64 x 3))) (-.f64 2 (*.f64 x 3)))) (*.f64 (cbrt.f64 (*.f64 3 (-.f64 2 (*.f64 x 3)))) (cbrt.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))))) (cbrt.f64 (*.f64 3 (-.f64 2 (*.f64 x 3)))) (*.f64 (*.f64 (*.f64 3 (-.f64 2 (*.f64 x 3))) (*.f64 3 (-.f64 2 (*.f64 x 3)))) (*.f64 3 (-.f64 2 (*.f64 x 3)))) (sqrt.f64 (*.f64 3 (-.f64 2 (*.f64 x 3)))) (sqrt.f64 (*.f64 3 (-.f64 2 (*.f64 x 3)))) (*.f64 (sqrt.f64 3) (sqrt.f64 (-.f64 2 (*.f64 x 3)))) (*.f64 (sqrt.f64 3) (sqrt.f64 (-.f64 2 (*.f64 x 3)))) (*.f64 3 2) (*.f64 3 (neg.f64 (*.f64 x 3))) (*.f64 2 3) (*.f64 (neg.f64 (*.f64 x 3)) 3) (*.f64 3 (*.f64 (cbrt.f64 (-.f64 2 (*.f64 x 3))) (cbrt.f64 (-.f64 2 (*.f64 x 3))))) (*.f64 3 (sqrt.f64 (-.f64 2 (*.f64 x 3)))) (*.f64 3 1) (*.f64 (cbrt.f64 3) (-.f64 2 (*.f64 x 3))) (*.f64 (sqrt.f64 3) (-.f64 2 (*.f64 x 3))) (*.f64 3 (-.f64 2 (*.f64 x 3))) (*.f64 3 (-.f64 (pow.f64 2 3) (pow.f64 (*.f64 x 3) 3))) (*.f64 3 (-.f64 (*.f64 2 2) (*.f64 (*.f64 x 3) (*.f64 x 3)))) (/.f64 (exp.f64 2) (exp.f64 (*.f64 x 3))) (log.f64 (-.f64 2 (*.f64 x 3))) (exp.f64 (-.f64 2 (*.f64 x 3))) (*.f64 (cbrt.f64 (-.f64 2 (*.f64 x 3))) (cbrt.f64 (-.f64 2 (*.f64 x 3)))) (cbrt.f64 (-.f64 2 (*.f64 x 3))) (*.f64 (*.f64 (-.f64 2 (*.f64 x 3)) (-.f64 2 (*.f64 x 3))) (-.f64 2 (*.f64 x 3))) (sqrt.f64 (-.f64 2 (*.f64 x 3))) (sqrt.f64 (-.f64 2 (*.f64 x 3))) (-.f64 (pow.f64 2 3) (pow.f64 (*.f64 x 3) 3)) (+.f64 (*.f64 2 2) (+.f64 (*.f64 (*.f64 x 3) (*.f64 x 3)) (*.f64 2 (*.f64 x 3)))) (neg.f64 (*.f64 x 3)) (-.f64 (*.f64 2 2) (*.f64 (*.f64 x 3) (*.f64 x 3))) (+.f64 2 (*.f64 x 3)) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 (*.f64 6 x) (*.f64 9 (pow.f64 x 2))) (-.f64 6 (*.f64 9 x)) (-.f64 6 (*.f64 9 x)) (-.f64 6 (*.f64 9 x)) (-.f64 2 (*.f64 3 x)) (-.f64 2 (*.f64 3 x)) (-.f64 2 (*.f64 3 x)) 0.457 * * [simplify]: iteration 0 : 4919 enodes (cost 460 ) 0.458 * * [simplify]: iteration 1 : 4919 enodes (cost 460 ) 0.460 * [simplify]: Simplified to: (*.f64 x (-.f64 6 (*.f64 x 9))) (*.f64 x (-.f64 6 (*.f64 x 9))) (log.f64 (*.f64 x (-.f64 6 (*.f64 x 9)))) (log.f64 (*.f64 x (-.f64 6 (*.f64 x 9)))) (log.f64 (*.f64 x (-.f64 6 (*.f64 x 9)))) (pow.f64 (exp.f64 x) (-.f64 6 (*.f64 x 9))) (pow.f64 (*.f64 x (-.f64 6 (*.f64 x 9))) 3) (pow.f64 (*.f64 x (-.f64 6 (*.f64 x 9))) 3) (*.f64 (cbrt.f64 (*.f64 x (-.f64 6 (*.f64 x 9)))) (cbrt.f64 (*.f64 x (-.f64 6 (*.f64 x 9))))) (cbrt.f64 (*.f64 x (-.f64 6 (*.f64 x 9)))) (pow.f64 (*.f64 x (-.f64 6 (*.f64 x 9))) 3) (sqrt.f64 (*.f64 x (-.f64 6 (*.f64 x 9)))) (sqrt.f64 (*.f64 x (-.f64 6 (*.f64 x 9)))) (*.f64 (-.f64 6 (*.f64 x 9)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (-.f64 6 (*.f64 x 9)) (sqrt.f64 x)) (-.f64 6 (*.f64 x 9)) (*.f64 x (-.f64 2 (*.f64 3 x))) (*.f64 x (*.f64 3 (-.f64 8 (*.f64 27 (pow.f64 x 3))))) (-.f64 (*.f64 x 12) (*.f64 27 (pow.f64 x 3))) (-.f64 6 (*.f64 x 9)) (log.f64 (-.f64 6 (*.f64 x 9))) (log.f64 (-.f64 6 (*.f64 x 9))) (exp.f64 (-.f64 6 (*.f64 x 9))) (pow.f64 (-.f64 6 (*.f64 x 9)) 3) (*.f64 (cbrt.f64 (-.f64 6 (*.f64 x 9))) (cbrt.f64 (-.f64 6 (*.f64 x 9)))) (cbrt.f64 (-.f64 6 (*.f64 x 9))) (pow.f64 (-.f64 6 (*.f64 x 9)) 3) (sqrt.f64 (-.f64 6 (*.f64 x 9))) (sqrt.f64 (-.f64 6 (*.f64 x 9))) (*.f64 (sqrt.f64 3) (sqrt.f64 (-.f64 2 (*.f64 3 x)))) (*.f64 (sqrt.f64 3) (sqrt.f64 (-.f64 2 (*.f64 3 x)))) 6 (*.f64 x -9) 6 (*.f64 x -9) (*.f64 3 (*.f64 (cbrt.f64 (-.f64 2 (*.f64 3 x))) (cbrt.f64 (-.f64 2 (*.f64 3 x))))) (*.f64 3 (sqrt.f64 (-.f64 2 (*.f64 3 x)))) 3 (*.f64 (-.f64 2 (*.f64 3 x)) (cbrt.f64 3)) (*.f64 (-.f64 2 (*.f64 3 x)) (sqrt.f64 3)) (-.f64 6 (*.f64 x 9)) (*.f64 3 (-.f64 8 (*.f64 27 (pow.f64 x 3)))) (*.f64 3 (-.f64 4 (*.f64 9 (*.f64 x x)))) (exp.f64 (-.f64 2 (*.f64 3 x))) (log.f64 (-.f64 2 (*.f64 3 x))) (exp.f64 (-.f64 2 (*.f64 3 x))) (*.f64 (cbrt.f64 (-.f64 2 (*.f64 3 x))) (cbrt.f64 (-.f64 2 (*.f64 3 x)))) (cbrt.f64 (-.f64 2 (*.f64 3 x))) (pow.f64 (-.f64 2 (*.f64 3 x)) 3) (sqrt.f64 (-.f64 2 (*.f64 3 x))) (sqrt.f64 (-.f64 2 (*.f64 3 x))) (-.f64 8 (*.f64 27 (pow.f64 x 3))) (+.f64 4 (*.f64 x (+.f64 6 (*.f64 x 9)))) (*.f64 x -3) (-.f64 4 (*.f64 9 (*.f64 x x))) (+.f64 2 (*.f64 3 x)) (*.f64 x (-.f64 6 (*.f64 x 9))) (*.f64 x (-.f64 6 (*.f64 x 9))) (*.f64 x (-.f64 6 (*.f64 x 9))) (-.f64 6 (*.f64 x 9)) (-.f64 6 (*.f64 x 9)) (-.f64 6 (*.f64 x 9)) (-.f64 2 (*.f64 3 x)) (-.f64 2 (*.f64 3 x)) (-.f64 2 (*.f64 3 x)) 0.460 * * * [progress]: adding candidates to table 0.489 * [progress]: [Phase 3 of 3] Extracting. 0.489 * * [regime]: Finding splitpoints for: (# # # # # # # #) 0.491 * * * [regime-changes]: Trying 1 branch expressions: (x) 0.491 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 0.517 * * * [regime]: Found split indices: #