Average Error: 0.5 → 0.5
Time: 5.2m
Precision: 64
Internal Precision: 128
\[x1 + \left(\left(\left(\left(\left(\left(\left(2 \cdot x1\right) \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right) \cdot \left(\frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1} - 3\right) + \left(x1 \cdot x1\right) \cdot \left(4 \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1} - 6\right)\right) \cdot \left(x1 \cdot x1 + 1\right) + \left(\left(3 \cdot x1\right) \cdot x1\right) \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right) + \left(x1 \cdot x1\right) \cdot x1\right) + x1\right) + 3 \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 - 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right)\]
↓
\[(\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(2 \cdot x2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \left(\frac{\frac{\frac{\left(-3 + \frac{x1}{(x1 \cdot x1 + 1)_*}\right) \cdot \left((x1 \cdot \left(3 \cdot x1\right) + \left(2 \cdot x2\right))_* - (\left(\frac{x1}{(x1 \cdot x1 + 1)_*}\right) \cdot \left((x1 \cdot x1 + 1)_*\right) + \left(3 \cdot (x1 \cdot x1 + 1)_*\right))_*\right)}{(\left((x1 \cdot x1 + 1)_*\right) \cdot -3 + x1)_*}}{(x1 \cdot x1 + 1)_*}}{\frac{\frac{\frac{1}{2}}{x1}}{(3 \cdot \left(x1 \cdot x1\right) + \left(2 \cdot x2 - x1\right))_*}}\right))_*\right) + \left((\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left((\left(3 \cdot x1\right) \cdot x1 + \left(x2 \cdot -2 - x1\right))_* \cdot \frac{3}{(x1 \cdot x1 + 1)_*}\right))_* + \frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(2 \cdot x2 - x1\right))_*\right))_* + x1\]

Error

Bits error versus x1

Bits error versus x2

Derivation

  1. Initial program 0.5

    \[x1 + \left(\left(\left(\left(\left(\left(\left(2 \cdot x1\right) \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right) \cdot \left(\frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1} - 3\right) + \left(x1 \cdot x1\right) \cdot \left(4 \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1} - 6\right)\right) \cdot \left(x1 \cdot x1 + 1\right) + \left(\left(3 \cdot x1\right) \cdot x1\right) \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 + 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right) + \left(x1 \cdot x1\right) \cdot x1\right) + x1\right) + 3 \cdot \frac{\left(\left(3 \cdot x1\right) \cdot x1 - 2 \cdot x2\right) - x1}{x1 \cdot x1 + 1}\right)\]

  2. Initial simplification0.5

    \[\leadsto x1 + (\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \left(\frac{\frac{(x1 \cdot \left(3 \cdot x1\right) + \left(x2 \cdot 2\right))_*}{(x1 \cdot x1 + 1)_*} - \left(\frac{x1}{(x1 \cdot x1 + 1)_*} + 3\right)}{\frac{(x1 \cdot x1 + 1)_*}{(\left((x1 \cdot \left(3 \cdot x1\right) + \left(x2 \cdot 2\right))_*\right) \cdot \left(x1 \cdot 2\right) + \left(\left(x1 \cdot 2\right) \cdot \left(-x1\right)\right))_*}}\right))_*\right) + \left(\frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_* + (\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left(\frac{3}{(x1 \cdot x1 + 1)_*} \cdot (\left(3 \cdot x1\right) \cdot x1 + \left(-2 \cdot x2 - x1\right))_*\right))_*\right))_*\]
  3. Using strategy rm

  4. Applied div-inv0.5

    \[\leadsto x1 + (\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \left(\frac{\frac{(x1 \cdot \left(3 \cdot x1\right) + \left(x2 \cdot 2\right))_*}{(x1 \cdot x1 + 1)_*} - \left(\frac{x1}{(x1 \cdot x1 + 1)_*} + 3\right)}{\color{blue}{(x1 \cdot x1 + 1)_* \cdot \frac{1}{(\left((x1 \cdot \left(3 \cdot x1\right) + \left(x2 \cdot 2\right))_*\right) \cdot \left(x1 \cdot 2\right) + \left(\left(x1 \cdot 2\right) \cdot \left(-x1\right)\right))_*}}}\right))_*\right) + \left(\frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_* + (\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left(\frac{3}{(x1 \cdot x1 + 1)_*} \cdot (\left(3 \cdot x1\right) \cdot x1 + \left(-2 \cdot x2 - x1\right))_*\right))_*\right))_*\]

  5. Applied associate-/r*0.5

    \[\leadsto x1 + (\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \color{blue}{\left(\frac{\frac{\frac{(x1 \cdot \left(3 \cdot x1\right) + \left(x2 \cdot 2\right))_*}{(x1 \cdot x1 + 1)_*} - \left(\frac{x1}{(x1 \cdot x1 + 1)_*} + 3\right)}{(x1 \cdot x1 + 1)_*}}{\frac{1}{(\left((x1 \cdot \left(3 \cdot x1\right) + \left(x2 \cdot 2\right))_*\right) \cdot \left(x1 \cdot 2\right) + \left(\left(x1 \cdot 2\right) \cdot \left(-x1\right)\right))_*}}\right)})_*\right) + \left(\frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_* + (\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left(\frac{3}{(x1 \cdot x1 + 1)_*} \cdot (\left(3 \cdot x1\right) \cdot x1 + \left(-2 \cdot x2 - x1\right))_*\right))_*\right))_*\]

  6. Simplified0.5

    \[\leadsto x1 + (\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \left(\frac{\frac{\frac{(x1 \cdot \left(3 \cdot x1\right) + \left(x2 \cdot 2\right))_*}{(x1 \cdot x1 + 1)_*} - \left(\frac{x1}{(x1 \cdot x1 + 1)_*} + 3\right)}{(x1 \cdot x1 + 1)_*}}{\color{blue}{\frac{\frac{\frac{1}{2}}{x1}}{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}}}\right))_*\right) + \left(\frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_* + (\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left(\frac{3}{(x1 \cdot x1 + 1)_*} \cdot (\left(3 \cdot x1\right) \cdot x1 + \left(-2 \cdot x2 - x1\right))_*\right))_*\right))_*\]
  7. Using strategy rm

  8. Applied flip-+0.5

    \[\leadsto x1 + (\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \left(\frac{\frac{\frac{(x1 \cdot \left(3 \cdot x1\right) + \left(x2 \cdot 2\right))_*}{(x1 \cdot x1 + 1)_*} - \color{blue}{\frac{\frac{x1}{(x1 \cdot x1 + 1)_*} \cdot \frac{x1}{(x1 \cdot x1 + 1)_*} - 3 \cdot 3}{\frac{x1}{(x1 \cdot x1 + 1)_*} - 3}}}{(x1 \cdot x1 + 1)_*}}{\frac{\frac{\frac{1}{2}}{x1}}{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}}\right))_*\right) + \left(\frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_* + (\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left(\frac{3}{(x1 \cdot x1 + 1)_*} \cdot (\left(3 \cdot x1\right) \cdot x1 + \left(-2 \cdot x2 - x1\right))_*\right))_*\right))_*\]

  9. Applied frac-sub0.5

    \[\leadsto x1 + (\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \left(\frac{\frac{\color{blue}{\frac{(x1 \cdot \left(3 \cdot x1\right) + \left(x2 \cdot 2\right))_* \cdot \left(\frac{x1}{(x1 \cdot x1 + 1)_*} - 3\right) - (x1 \cdot x1 + 1)_* \cdot \left(\frac{x1}{(x1 \cdot x1 + 1)_*} \cdot \frac{x1}{(x1 \cdot x1 + 1)_*} - 3 \cdot 3\right)}{(x1 \cdot x1 + 1)_* \cdot \left(\frac{x1}{(x1 \cdot x1 + 1)_*} - 3\right)}}}{(x1 \cdot x1 + 1)_*}}{\frac{\frac{\frac{1}{2}}{x1}}{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}}\right))_*\right) + \left(\frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_* + (\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left(\frac{3}{(x1 \cdot x1 + 1)_*} \cdot (\left(3 \cdot x1\right) \cdot x1 + \left(-2 \cdot x2 - x1\right))_*\right))_*\right))_*\]

  10. Simplified0.5

    \[\leadsto x1 + (\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \left(\frac{\frac{\frac{\color{blue}{\left((x1 \cdot \left(x1 \cdot 3\right) + \left(x2 \cdot 2\right))_* - (\left(\frac{x1}{(x1 \cdot x1 + 1)_*}\right) \cdot \left((x1 \cdot x1 + 1)_*\right) + \left(3 \cdot (x1 \cdot x1 + 1)_*\right))_*\right) \cdot \left(-3 + \frac{x1}{(x1 \cdot x1 + 1)_*}\right)}}{(x1 \cdot x1 + 1)_* \cdot \left(\frac{x1}{(x1 \cdot x1 + 1)_*} - 3\right)}}{(x1 \cdot x1 + 1)_*}}{\frac{\frac{\frac{1}{2}}{x1}}{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}}\right))_*\right) + \left(\frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_* + (\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left(\frac{3}{(x1 \cdot x1 + 1)_*} \cdot (\left(3 \cdot x1\right) \cdot x1 + \left(-2 \cdot x2 - x1\right))_*\right))_*\right))_*\]

  11. Simplified0.5

    \[\leadsto x1 + (\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \left(\frac{\frac{\frac{\left((x1 \cdot \left(x1 \cdot 3\right) + \left(x2 \cdot 2\right))_* - (\left(\frac{x1}{(x1 \cdot x1 + 1)_*}\right) \cdot \left((x1 \cdot x1 + 1)_*\right) + \left(3 \cdot (x1 \cdot x1 + 1)_*\right))_*\right) \cdot \left(-3 + \frac{x1}{(x1 \cdot x1 + 1)_*}\right)}{\color{blue}{(\left((x1 \cdot x1 + 1)_*\right) \cdot -3 + \left(\frac{x1}{1}\right))_*}}}{(x1 \cdot x1 + 1)_*}}{\frac{\frac{\frac{1}{2}}{x1}}{(3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_*}}\right))_*\right) + \left(\frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(x2 \cdot 2 - x1\right))_* + (\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left(\frac{3}{(x1 \cdot x1 + 1)_*} \cdot (\left(3 \cdot x1\right) \cdot x1 + \left(-2 \cdot x2 - x1\right))_*\right))_*\right))_*\]

  12. Final simplification0.5

    \[\leadsto (\left((x1 \cdot x1 + 1)_*\right) \cdot \left((\left((4 \cdot \left(\frac{(3 \cdot \left(x1 \cdot x1\right) + \left(2 \cdot x2 - x1\right))_*}{(x1 \cdot x1 + 1)_*}\right) + -6)_*\right) \cdot \left(x1 \cdot x1\right) + \left(\frac{\frac{\frac{\left(-3 + \frac{x1}{(x1 \cdot x1 + 1)_*}\right) \cdot \left((x1 \cdot \left(3 \cdot x1\right) + \left(2 \cdot x2\right))_* - (\left(\frac{x1}{(x1 \cdot x1 + 1)_*}\right) \cdot \left((x1 \cdot x1 + 1)_*\right) + \left(3 \cdot (x1 \cdot x1 + 1)_*\right))_*\right)}{(\left((x1 \cdot x1 + 1)_*\right) \cdot -3 + x1)_*}}{(x1 \cdot x1 + 1)_*}}{\frac{\frac{\frac{1}{2}}{x1}}{(3 \cdot \left(x1 \cdot x1\right) + \left(2 \cdot x2 - x1\right))_*}}\right))_*\right) + \left((\left((x1 \cdot x1 + 1)_*\right) \cdot x1 + \left((\left(3 \cdot x1\right) \cdot x1 + \left(x2 \cdot -2 - x1\right))_* \cdot \frac{3}{(x1 \cdot x1 + 1)_*}\right))_* + \frac{3}{\frac{(x1 \cdot x1 + 1)_*}{x1 \cdot x1}} \cdot (3 \cdot \left(x1 \cdot x1\right) + \left(2 \cdot x2 - x1\right))_*\right))_* + x1\]

Reproduce

herbie shell --seed 2018365 +o rules:numerics
(FPCore (x1 x2)
  :name "Rosa's FloatVsDoubleBenchmark"
  (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))))

Details

Time bar (total: 5.1m)Debug log

start993.0ms

Algorithm
intervals

setup502.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize113.0ms

Local error

Found 4 expressions with local error:

6.2b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
6.2b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
4.1b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
3.4b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

rewrite364.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

162.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
128.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
47.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

series419.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

241.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
71.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
64.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
42.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify16.8s

Counts
91 → 128
Calls

91 calls. Slowest were:

701.0ms
(+ (* (* (* (* 2 x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 3 3))) (+ (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* (* (+ (* x1 x1) 1) (+ (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* 6 6)))))
667.0ms
(+ (* (* (* (* 2 x1) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (- (pow (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (pow 3 3))) (+ (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* (* (+ (* x1 x1) 1) (+ (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (+ (* 3 3) (* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* 6 6)))))
614.0ms
(* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))

prune5.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize52.0ms

Local error

Found 4 expressions with local error:

8.6b
(fma (* (/ (* 2 x1) (fma x1 x1 1)) (fma (* x1 x1) 3 (- (* 2 x2) x1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
6.2b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
6.2b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
3.4b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

rewrite201.0ms

Algorithm
rewrite-expression-head
Counts
4 → 94
Calls

4 calls. Slowest were:

145.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
29.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
25.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

series332.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

163.0ms
(fma (* (/ (* 2 x1) (fma x1 x1 1)) (fma (* x1 x1) 3 (- (* 2 x2) x1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
68.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
51.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
49.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

simplify8.3s

Counts
61 → 106
Calls

61 calls. Slowest were:

421.0ms
(- (* 8 (* x1 (pow x2 2))) (+ (* 20 (pow x1 3)) (* 12 (* x1 x2))))
388.0ms
(+ (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (* 6 6) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
372.0ms
(+ (log (* x1 x1)) (log (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

prune4.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize132.0ms

Local error

Found 4 expressions with local error:

8.4b
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
6.1b
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
3.7b
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
0.6b
(/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1)))))

rewrite97.0ms

Algorithm
rewrite-expression-head
Counts
4 → 225
Calls

4 calls. Slowest were:

72.0ms
(/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1)))))
16.0ms
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
4.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))

series458.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

172.0ms
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
153.0ms
(/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1)))))
79.0ms
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
54.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))

simplify1.1m

Counts
307 → 237
Calls

307 calls. Slowest were:

806.0ms
(/ (+ (sqrt (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1))) (sqrt (+ (/ x1 (fma x1 x1 1)) 3))) (/ 1 (* (cbrt (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1)))) (cbrt (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1)))))))
657.0ms
(- (* (fma x1 (* 3 x1) (* x2 2)) (- (/ x1 (fma x1 x1 1)) 3)) (* (fma x1 x1 1) (- (* (/ x1 (fma x1 x1 1)) (/ x1 (fma x1 x1 1))) (* 3 3))))
614.0ms
(- (* (fma x1 (* 3 x1) (* x2 2)) (- (/ x1 (fma x1 x1 1)) 3)) (* (fma x1 x1 1) (- (* (/ x1 (fma x1 x1 1)) (/ x1 (fma x1 x1 1))) (* 3 3))))

prune11.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize27.0ms

Local error

Found 4 expressions with local error:

9.1b
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (fma x1 x1 1)) (/ (/ 1/2 x1) (fma 3 (* x1 x1) (- (* x2 2) x1)))))
6.1b
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
3.7b
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
0.6b
(/ (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (fma x1 x1 1)) (/ (/ 1/2 x1) (fma 3 (* x1 x1) (- (* x2 2) x1))))

rewrite114.0ms

Algorithm
rewrite-expression-head
Counts
4 → 519
Calls

4 calls. Slowest were:

55.0ms
(/ (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (fma x1 x1 1)) (/ (/ 1/2 x1) (fma 3 (* x1 x1) (- (* x2 2) x1))))
39.0ms
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
4.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))

series420.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

185.0ms
(fma (fma 4 (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) -6) (* x1 x1) (/ (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (fma x1 x1 1)) (/ (/ 1/2 x1) (fma 3 (* x1 x1) (- (* x2 2) x1)))))
142.0ms
(/ (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (fma x1 x1 1)) (/ (/ 1/2 x1) (fma 3 (* x1 x1) (- (* x2 2) x1))))
47.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
46.0ms
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))

simplify2.8m

Counts
876 → 531
Calls

876 calls. Slowest were:

846.0ms
(/ (/ (* (cbrt (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))) (cbrt (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)))) 1) (/ 1 (* (cbrt (fma 3 (* x1 x1) (- (* x2 2) x1))) (cbrt (fma 3 (* x1 x1) (- (* x2 2) x1))))))
621.0ms
(- (* (fma x1 (* 3 x1) (* x2 2)) (- (/ x1 (fma x1 x1 1)) 3)) (* (fma x1 x1 1) (- (* (/ x1 (fma x1 x1 1)) (/ x1 (fma x1 x1 1))) (* 3 3))))
608.0ms
(/ (sqrt (/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (fma x1 x1 1))) (sqrt (/ (/ 1/2 x1) (fma 3 (* x1 x1) (- (* x2 2) x1)))))

prune17.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

regimes573.0ms

Accuracy

0% (0.1b remaining)

Error of 0.5b against oracle of 0.4b and baseline of 0.5b

bsearch6.0ms