Average Error: 0.5 → 0.5
Time: 2.1m
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{\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)}{\frac{(x1 \cdot x1 + 1)_*}{(\left((x1 \cdot \left(3 \cdot x1\right) + \left(2 \cdot x2\right))_*\right) \cdot \left(2 \cdot x1\right) + \left(x1 \cdot \left(x1 \cdot -2\right)\right))_*} \cdot \left((x1 \cdot x1 + 1)_* \cdot \left(\frac{x1}{(x1 \cdot x1 + 1)_*} - 3\right)\right)}\right))_*\right) + \left((\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))_* + \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. Simplified0.5

    \[\leadsto \color{blue}{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 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{(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}}}{\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))_*\]

  5. 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{\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)}}}{\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))_*\]

  6. Applied associate-/l/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{(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)}{\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))_*} \cdot \left((x1 \cdot x1 + 1)_* \cdot \left(\frac{x1}{(x1 \cdot x1 + 1)_*} - 3\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))_*\]

  7. 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{\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)}}{\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))_*} \cdot \left((x1 \cdot x1 + 1)_* \cdot \left(\frac{x1}{(x1 \cdot x1 + 1)_*} - 3\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))_*\]

  8. 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{\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)}{\frac{(x1 \cdot x1 + 1)_*}{(\left((x1 \cdot \left(3 \cdot x1\right) + \left(2 \cdot x2\right))_*\right) \cdot \left(2 \cdot x1\right) + \left(x1 \cdot \left(x1 \cdot -2\right)\right))_*} \cdot \left((x1 \cdot x1 + 1)_* \cdot \left(\frac{x1}{(x1 \cdot x1 + 1)_*} - 3\right)\right)}\right))_*\right) + \left((\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))_* + \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 2019008 +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: 2.1m)Debug log

sample766.0ms

Algorithm
intervals

simplify317.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

316.0ms
(+ 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)))))

prune60.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize118.0ms

Local error

Found 4 expressions with local error:

5.3b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
5.3b
(* (* (* 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)))
2.6b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

rewrite335.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

178.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)))
91.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
36.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

series467.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

278.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)))
73.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
67.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
49.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify16.2s

Counts
91 → 128
Calls

91 calls. Slowest were:

932.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)))))
692.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)))))
583.0ms
(* (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))

prune3.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.4b

localize58.0ms

Local error

Found 4 expressions with local error:

5.3b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
5.3b
(* (* x1 x1) (* 4 (/ (- (+ (* (* 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))))) (* x1 (* x1 -6)))
2.6b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

rewrite870.0ms

Algorithm
rewrite-expression-head
Counts
4 → 95
Calls

4 calls. Slowest were:

670.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))))) (* x1 (* x1 -6)))
125.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
39.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

series422.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

282.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))))) (* x1 (* x1 -6)))
52.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
49.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
38.0ms
(* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))

simplify6.4s

Counts
59 → 107
Calls

59 calls. Slowest were:

347.0ms
(+ (log (* (* 3 x1) x1)) (- (log (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (log (+ (* x1 x1) 1))))
322.0ms
(+ (log (* (* 3 x1) x1)) (log (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))
319.0ms
(- (* 8 (* x1 (pow x2 2))) (+ (* 20 (pow x1 3)) (* 12 (* x1 x2))))

prune3.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.4b

localize71.0ms

Local error

Found 4 expressions with local error:

7.6b
(fma (fma x1 (* 3 x1) (- (* 2 x2) x1)) (/ 1 (+ (* x1 x1) 1)) (- 3))
5.3b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
5.3b
(* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))
4.1b
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (fma x1 (* 3 x1) (- (* 2 x2) x1)) (/ 1 (+ (* x1 x1) 1)) (- 3))) (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* x1 (* x1 -6)))

rewrite410.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

326.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (fma x1 (* 3 x1) (- (* 2 x2) x1)) (/ 1 (+ (* x1 x1) 1)) (- 3))) (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* x1 (* x1 -6)))
43.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
38.0ms
(* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))

series411.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

258.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (fma x1 (* 3 x1) (- (* 2 x2) x1)) (/ 1 (+ (* x1 x1) 1)) (- 3))) (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* x1 (* x1 -6)))
57.0ms
(fma (fma x1 (* 3 x1) (- (* 2 x2) x1)) (/ 1 (+ (* x1 x1) 1)) (- 3))
55.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
40.0ms
(* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))

simplify5.8s

Counts
44 → 88
Calls

44 calls. Slowest were:

483.0ms
(cbrt (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
320.0ms
(+ (log (* (* 3 x1) x1)) (- (log (- (+ (* (* 3 x1) x1) (* 2 x2)) x1)) (log (+ (* x1 x1) 1))))
290.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

prune3.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.4b

localize115.0ms

Local error

Found 4 expressions with local error:

9.3b
(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))))))
5.3b
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))
2.9b
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
1.0b
(/ (- (/ (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)))))

rewrite121.0ms

Algorithm
rewrite-expression-head
Counts
4 → 225
Calls

4 calls. Slowest were:

82.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)))))
29.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)))

series483.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

185.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)))))
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))))))
76.0ms
(- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))
50.0ms
(* (/ 3 (/ (fma x1 x1 1) (* x1 x1))) (fma 3 (* x1 x1) (- (* x2 2) x1)))

simplify1.0m

Counts
307 → 237
Calls

307 calls. Slowest were:

883.0ms
(/ (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3)) (/ (cbrt (fma x1 x1 1)) (cbrt (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
781.0ms
(/ (sqrt (- (/ (fma x1 (* 3 x1) (* x2 2)) (fma x1 x1 1)) (+ (/ x1 (fma x1 x1 1)) 3))) (sqrt (/ (fma x1 x1 1) (fma (fma x1 (* 3 x1) (* x2 2)) (* x1 2) (* (* x1 2) (- x1))))))
572.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))))

prune8.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.4b

regimes558.0ms

Accuracy

0% (0.1b remaining)

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

bsearch20.0ms

end0.0ms

sample9.5s

Algorithm
intervals