Details

sample314.0ms

Algorithm

intervals

Results

138.0ms	405×	body	80	valid
15.0ms	17×	body	640	valid
5.0ms	4×	body	1280	valid
4.0ms	7×	body	320	valid
2.0ms	6×	body	160	valid

simplify2.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5003
3	1816
2	407
1	109
0	35

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize197.0ms

Local error

Found 4 expressions with local error:

4.2b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.3b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
4.7b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.7b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

rewrite2.3s

Algorithm

rewrite-expression-head

Rules

243×	`add-sqr-sqrt`
239×	`*-un-lft-identity`
201×	`prod-diff`
171×	`add-cube-cbrt`
166×	`times-frac`
130×	`associate-+l+`
75×	`distribute-rgt-in` `distribute-lft-in`
35×	`difference-of-squares`
34×	`distribute-lft-out--`
30×	`add-cbrt-cube` `add-exp-log`
24×	`associate-r`
23×	`associate-*r/`
22×	`associate-/r/`
21×	`fma-neg`
18×	`pow1`
15×	`prod-exp` `cbrt-unprod`
12×	`flip3-+` `flip-+`
11×	`flip3--` `div-inv` `flip--`
10×	`associate-+r+` `frac-add`
9×	`pow-prod-down`
8×	`add-log-exp`
7×	`sub-neg`
4×	`expm1-log1p-u` `frac-times` `log1p-expm1-u`
3×	`cbrt-undiv` `div-exp`
2×	`associate-l` `associate-l/` `-commutative`
1×	`associate--l-` `+-commutative` `sum-log` `fma-def` `diff-log` `div-sub` `unswap-sqr`

Counts

4 → 347

Calls

4 calls:

258.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
270.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
927.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
751.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

series973.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
138.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
520.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
222.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

simplify2.5s

Counts

359 → 359

Iterations

Iter	Nodes
done	5000
1	1492
0	449

prune5.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.2b

localize186.0ms

Local error

Found 4 expressions with local error:

4.2b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.3b	(* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))
4.7b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1)) (* (- 6.0) (* x1 x1))))
4.7b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

rewrite3.2s

Algorithm

rewrite-expression-head

Rules

237×	`add-sqr-sqrt`
234×	`*-un-lft-identity`
189×	`prod-diff`
166×	`times-frac` `add-cube-cbrt`
130×	`associate-+l+`
65×	`distribute-rgt-in` `distribute-lft-in`
46×	`add-cbrt-cube` `add-exp-log`
35×	`difference-of-squares`
34×	`distribute-lft-out--`
25×	`pow1` `prod-exp` `cbrt-unprod`
22×	`associate-r` `associate-/r/`
21×	`fma-neg`
17×	`flip3-+` `flip-+`
14×	`pow-prod-down`
12×	`associate-*r/`
11×	`div-inv` `add-log-exp`
10×	`frac-add`
5×	`cbrt-undiv` `flip3--` `div-exp` `flip--`
4×	`expm1-log1p-u` `frac-times` `log1p-expm1-u`
3×	`sum-log` `sub-neg` `associate-*l/`
2×	`distribute-lft-neg-out` `associate-+r-` `associate-l` `*-commutative`
1×	`associate--l-` `+-commutative` `associate-+r+` `fma-def` `diff-log` `div-sub` `unsub-neg`

Counts

4 → 337

Calls

4 calls:

220.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
362.0ms	(* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))
1.9s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1)) (* (- 6.0) (* x1 x1))))
723.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

series888.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
75.0ms	(* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))
524.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1)) (* (- 6.0) (* x1 x1))))
197.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

simplify2.7s

Counts

349 → 349

Iterations

Iter	Nodes
done	5000
1	1443
0	427

prune5.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.2b

localize177.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
4.2b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.7b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1) (* (- 6.0) (* x1 x1))))
4.7b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

rewrite6.6s

Algorithm

rewrite-expression-head

Rules

375×	`add-sqr-sqrt`
369×	`*-un-lft-identity`
315×	`prod-diff`
263×	`add-cube-cbrt`
257×	`times-frac`
130×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
55×	`difference-of-squares`
53×	`distribute-lft-out--`
43×	`add-cbrt-cube` `add-exp-log`
34×	`associate-/r/`
27×	`associate-r`
23×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+`
22×	`pow1`
21×	`fma-neg`
17×	`div-inv`
16×	`associate-*r/`
12×	`pow-prod-down`
11×	`add-log-exp`
10×	`frac-add`
7×	`flip3--` `flip--`
6×	`frac-times`
5×	`cbrt-undiv` `sub-neg` `div-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`sum-log` `associate-*l/`
2×	`distribute-lft-neg-out` `associate-+r-` `associate-l` `*-commutative`
1×	`associate--l-` `+-commutative` `associate-+r+` `fma-def` `diff-log` `div-sub` `unsub-neg`

Counts

4 → 473

Calls

4 calls:

1.3s	(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
315.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.1s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1) (* (- 6.0) (* x1 x1))))
832.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

series1.2s

Counts

4 → 12

Calls

4 calls:

385.0ms	(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
94.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
507.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1) (* (- 6.0) (* x1 x1))))
167.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

simplify3.3s

Counts

485 → 485

Iterations

Iter	Nodes
done	5002
1	1835
0	545

prune7.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize587.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
4.2b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.7b	(+ (/ (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 x1) 1.0)) (+ (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1) (* (- 6.0) (* x1 x1))))
4.7b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

rewrite6.6s

Algorithm

rewrite-expression-head

Rules

245×	`add-sqr-sqrt`
241×	`*-un-lft-identity`
189×	`prod-diff`
170×	`times-frac`
169×	`add-cube-cbrt`
65×	`distribute-rgt-in` `distribute-lft-in`
37×	`difference-of-squares`
35×	`distribute-lft-out--`
34×	`add-cbrt-cube` `add-exp-log`
27×	`associate-r`
24×	`associate-/r/`
22×	`pow1`
21×	`fma-neg`
18×	`prod-exp` `cbrt-unprod`
14×	`flip3-+` `flip-+`
12×	`pow-prod-down` `div-inv`
11×	`add-log-exp`
9×	`fma-def` `associate-*r/`
7×	`flip3--` `flip--`
4×	`expm1-log1p-u` `frac-times` `log1p-expm1-u`
3×	`cbrt-undiv` `sum-log` `sub-neg` `div-exp`
2×	`distribute-lft-neg-out` `associate-+r-` `associate-l` `associate-l/` `frac-add` `-commutative`
1×	`associate--l-` `+-commutative` `associate-+r+` `diff-log` `div-sub` `unsub-neg` `distribute-lft-out`

Counts

4 → 343

Calls

4 calls:

1.4s	(* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
296.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.1s	(+ (/ (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 x1) 1.0)) (+ (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1) (* (- 6.0) (* x1 x1))))
777.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

series1.0s

Counts

4 → 12

Calls

4 calls:

311.0ms	(* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
96.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
504.0ms	(+ (/ (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 x1) 1.0)) (+ (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1) (* (- 6.0) (* x1 x1))))
123.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)

simplify2.6s

Counts

355 → 355

Iterations

Iter	Nodes
done	5002
1	1638
0	512

prune4.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

regimes585.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify51.0ms

Iterations

Iter	Nodes
done	72
3	72
2	68
1	64
0	39

end0.0ms

sample6.1s

Algorithm

intervals

Results

4.7s	14021×	body	80	valid
487.0ms	426×	body	640	valid
195.0ms	303×	body	320	valid
185.0ms	188×	body	1280	valid
63.0ms	162×	body	160	valid