Details

sample39.0ms

Algorithm

intervals

Results

24.0ms

465×

body

valid

simplify2.9s

Counts

1 → 1

Iterations

Useful iterations: 4 (38.0ms)

Iter	Nodes	Cost
0	11	19
1	19	19
2	46	17
3	100	17
4	210	11
5	428	11
6	946	11
7	2736	11
done	5000	11

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.1b

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))
0.1b	(* (* x.re x.im) x.re)
0.2b	(* 3 (* (* x.re x.im) x.re))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`associate-r` `associate-l`
2×	`*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 51

Calls

3 calls:

8.0ms	(- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))
9.0ms	(* (* x.re x.im) x.re)
7.0ms	(* 3 (* (* x.re x.im) x.re))

series21.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))
4.0ms	(* (* x.re x.im) x.re)
5.0ms	(* 3 (* (* x.re x.im) x.re))

simplify3.0s

Counts

60 → 60

Iterations

Useful iterations: 3 (1.4s)

Iter	Nodes	Cost
0	83	664
1	218	610
2	809	528
3	4101	524
done	5000	524

prune91.0ms

Filtered

35 candidates to 60 candidates (-71.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	54	6	60
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	54	8	62

Merged error: 0b

Counts

62 → 8

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))
0.2b	(* (* 3 (* x.re x.im)) x.re)
0.2b	(* 3 (* x.re x.im))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`associate-r` `associate-l`
2×	`*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 51

Calls

3 calls:

8.0ms	(- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))
8.0ms	(* (* 3 (* x.re x.im)) x.re)
6.0ms	(* 3 (* x.re x.im))

series23.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))
7.0ms	(* (* 3 (* x.re x.im)) x.re)
4.0ms	(* 3 (* x.re x.im))

simplify2.2s

Counts

60 → 60

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	85	664
1	225	602
2	930	532
done	5000	522

prune82.0ms

Filtered

34 candidates to 60 candidates (-76.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	60	8	68

Merged error: 0b

Counts

68 → 8

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))
0.2b	(* (* (* 3 x.re) x.im) x.re)
0.3b	(* (* 3 x.re) x.im)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`associate-r`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
2×	`associate-l` `*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 51

Calls

3 calls:

8.0ms	(- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))
7.0ms	(* (* (* 3 x.re) x.im) x.re)
5.0ms	(* (* 3 x.re) x.im)

series21.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))
5.0ms	(* (* (* 3 x.re) x.im) x.re)
4.0ms	(* (* 3 x.re) x.im)

simplify2.0s

Counts

60 → 60

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	86	665
1	228	601
2	1088	537
done	5001	523

prune81.0ms

Filtered

35 candidates to 60 candidates (-71.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	1	4	5
Picked	1	0	1
Done	0	2	2
Total	61	7	68

Merged error: 0b

Counts

68 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))
0.2b	(* (* 3 x.re) (* x.im x.re))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`sub-neg` `flip3--` `diff-log` `associate-r` `associate-l` `*-commutative` `flip--`

Counts

2 → 34

Calls

2 calls:

8.0ms	(- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))
7.0ms	(* (* 3 x.re) (* x.im x.re))

series17.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))
5.0ms	(* (* 3 x.re) (* x.im x.re))

simplify3.3s

Counts

40 → 40

Iterations

Useful iterations: 3 (936.0ms)

Iter	Nodes	Cost
0	68	529
1	191	478
2	767	416
3	3373	406
done	5001	406

prune40.0ms

Filtered

20 candidates to 40 candidates (-100.0%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	40	7	47

Merged error: 0b

Counts

47 → 7

regimes104.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	11	11
done	11	11

end0.0ms

sample1.2s

Algorithm

intervals

Results

767.0ms

14669×

body

valid

Details

sample39.0ms

simplify2.9s

prune9.0ms

localize7.0ms

rewrite26.0ms

series21.0ms

simplify3.0s

prune91.0ms

localize7.0ms

rewrite23.0ms

series23.0ms

simplify2.2s

prune82.0ms

localize7.0ms

rewrite22.0ms

series21.0ms

simplify2.0s

prune81.0ms

localize7.0ms

rewrite16.0ms

series17.0ms

simplify3.3s

prune40.0ms

regimes104.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling