Details

sample40.0ms

Algorithm

intervals

Results

23.0ms

465×

body

valid

simplify1.3s

Counts

1 → 1

Iterations

Useful iterations: 4 (35.0ms)

Iter	Nodes	Cost
0	11	19
1	20	19
2	47	17
3	103	17
4	218	11
5	442	11
6	1017	11
7	2886	11
done	5001	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: 7.3b

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 52

Calls

3 calls:

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

series25.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify994.0ms

Counts

61 → 61

Iterations

Useful iterations: 3 (291.0ms)

Iter	Nodes	Cost
0	80	667
1	206	617
2	739	529
3	3085	525
done	5000	525

prune102.0ms

Filtered

38 candidates to 61 candidates (-60.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	57	4	61
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	57	6	63

Merged error: 0.0b

Counts

63 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

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

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.im x.re) x.re)) (pow x.im 3))
6.0ms	(* (* x.im x.re) x.re)
7.0ms	(* 3 (* (* x.im x.re) x.re))

series25.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify1.4s

Counts

60 → 60

Iterations

Useful iterations: 3 (448.0ms)

Iter	Nodes	Cost
0	82	664
1	224	616
2	948	528
3	4527	520
done	5000	520

prune90.0ms

Filtered

33 candidates to 60 candidates (-81.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	56	4	60
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	57	9	66

Merged error: 0b

Counts

66 → 9

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))
0.2b	(* (* 3 (* x.im x.re)) x.re)
0.2b	(* 3 (* 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.im x.re)) x.re) (pow x.im 3))
10.0ms	(* (* 3 (* x.im x.re)) x.re)
5.0ms	(* 3 (* x.im x.re))

series22.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify501.0ms

Counts

60 → 60

Iterations

Useful iterations: 2 (77.0ms)

Iter	Nodes	Cost
0	83	664
1	224	610
2	992	528
done	5001	528

prune80.0ms

Filtered

33 candidates to 60 candidates (-81.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	2	4	6
Picked	0	1	1
Done	0	2	2
Total	61	8	69

Merged error: 0b

Counts

69 → 8

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite23.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.im) x.re) x.re) (pow x.im 3))
8.0ms	(* (* (* 3 x.im) x.re) x.re)
6.0ms	(* (* 3 x.im) x.re)

series25.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify526.0ms

Counts

60 → 60

Iterations

Useful iterations: done (524.0ms)

Iter	Nodes	Cost
0	82	665
1	223	609
2	1081	527
done	5000	523

prune64.0ms

Filtered

34 candidates to 60 candidates (-76.5%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	60	8	68

Merged error: 0b

Counts

68 → 8

regimes112.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

775.0ms

14669×

body

valid

Details

sample40.0ms

simplify1.3s

prune9.0ms

localize7.0ms

rewrite25.0ms

series25.0ms

simplify994.0ms

prune102.0ms

localize8.0ms

rewrite23.0ms

series25.0ms

simplify1.4s

prune90.0ms

localize8.0ms

rewrite26.0ms

series22.0ms

simplify501.0ms

prune80.0ms

localize8.0ms

rewrite23.0ms

series25.0ms

simplify526.0ms

prune64.0ms

regimes112.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling