Details

Time bar (total: 17.4s)

sample100.0ms

Algorithm
halfpoints

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done2018
72018
61485
5622
4223
3106
251
121
011

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize121.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.p16 x.im (+.p16 x.im x.im))
0.1b
(*.p16 x.im (+.p16 x.im (+.p16 x.im x.im)))
0.2b
(*.p16 x.re (-.p16 (*.p16 x.re x.re) (*.p16 x.im (+.p16 x.im (+.p16 x.im x.im)))))
0.3b
(-.p16 (*.p16 x.re x.re) (*.p16 x.im (+.p16 x.im (+.p16 x.im x.im))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
10×+p16-lft-identity-expand +p16-rgt-identity-expand
9×-p16-rgt-identity-expand
8×distribute-rgt-in distribute-lft-in
6×*p16-lft-identity-expand introduce-quire associate-*r* associate--l+ /p16-rgt-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
4×associate--r+
3×sub-neg associate-*r/ associate--r-
2×p16-flip-- *-commutative
1×associate--l- +-commutative insert-quire-sub associate-+r+ associate-+r- insert-quire-fdp-sub
Counts
4 → 72
Calls
4 calls:
4.0ms
(+.p16 x.im (+.p16 x.im x.im))
5.0ms
(*.p16 x.im (+.p16 x.im (+.p16 x.im x.im)))
11.0ms
(*.p16 x.re (-.p16 (*.p16 x.re x.re) (*.p16 x.im (+.p16 x.im (+.p16 x.im x.im)))))
5.0ms
(-.p16 (*.p16 x.re x.re) (*.p16 x.im (+.p16 x.im (+.p16 x.im x.im))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(+.p16 x.im (+.p16 x.im x.im))
0.0ms
(*.p16 x.im (+.p16 x.im (+.p16 x.im x.im)))
0.0ms
(*.p16 x.re (-.p16 (*.p16 x.re x.re) (*.p16 x.im (+.p16 x.im (+.p16 x.im x.im)))))
0.0ms
(-.p16 (*.p16 x.re x.re) (*.p16 x.im (+.p16 x.im (+.p16 x.im x.im))))

simplify942.0ms

Counts
76 → 76
Iterations
IterNodes
done2057
42057
31766
2286
184
043

prune1.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize216.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.p16 x.im (+.p16 x.im x.im))
0.1b
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
0.2b
(*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im))))
0.2b
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
26×distribute-rgt-in distribute-lft-in
24×associate--l+
18×+p16-lft-identity-expand +p16-rgt-identity-expand
11×sub-neg
9×associate-*r*
8×*p16-lft-identity-expand -p16-rgt-identity-expand /p16-rgt-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
6×introduce-quire
5×associate-*r/
4×associate--r+
3×associate-*l* p16-flip-- *-commutative associate--r-
1×associate--l- insert-quire-sub associate-*l/ insert-quire-fdp-sub
Counts
4 → 103
Calls
4 calls:
3.0ms
(*.p16 x.im (+.p16 x.im x.im))
7.0ms
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
9.0ms
(*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im))))
11.0ms
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 x.im (+.p16 x.im x.im))
0.0ms
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
0.0ms
(*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im))))
0.0ms
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im)))

simplify731.0ms

Counts
107 → 107
Iterations
IterNodes
done2000
32000
2596
1192
079

prune2.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize227.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
0.2b
(-.p16 (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im x.im)) (*.p16 x.im x.im))
0.2b
(*.p16 x.re (-.p16 (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im x.im)) (*.p16 x.im x.im)))
0.2b
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im x.im))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
68×associate--l+
31×distribute-rgt-in distribute-lft-in
25×+p16-lft-identity-expand +p16-rgt-identity-expand
17×sub-neg
12×introduce-quire -p16-rgt-identity-expand
7×*p16-lft-identity-expand /p16-rgt-identity-expand *p16-rgt-identity-expand associate--r- p16-*-un-lft-identity
6×insert-quire-sub associate-*r* insert-quire-fdp-sub
4×associate-*r/ p16-flip-- associate--r+
3×associate-*l*
2×associate--l- *-commutative
1×associate-*l/
Counts
4 → 126
Calls
4 calls:
9.0ms
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
9.0ms
(-.p16 (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im x.im)) (*.p16 x.im x.im))
12.0ms
(*.p16 x.re (-.p16 (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im x.im)) (*.p16 x.im x.im)))
6.0ms
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im x.im))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
0.0ms
(-.p16 (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im x.im)) (*.p16 x.im x.im))
0.0ms
(*.p16 x.re (-.p16 (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im x.im)) (*.p16 x.im x.im)))
0.0ms
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im x.im))

simplify861.0ms

Counts
130 → 130
Iterations
IterNodes
done2000
32000
2752
1237
0100

prune2.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize183.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)
0.2b
(*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)
0.3b
(-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))
0.3b
(-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
8×+p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand +p16-rgt-identity-expand
7×associate-*l*
6×*p16-lft-identity-expand /p16-rgt-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
4×associate--l+ associate--r+
3×associate-*l/ p16-flip--
2×associate--l- insert-quire-sub sub-neg *-commutative insert-quire-fdp-sub associate--r- difference-of-squares
Counts
4 → 65
Calls
4 calls:
3.0ms
(*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)
2.0ms
(*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)
3.0ms
(-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))
3.0ms
(-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)
0.0ms
(*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)
0.0ms
(-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))
0.0ms
(-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))

simplify909.0ms

Counts
69 → 69
Iterations
IterNodes
done2000
32000
2368
196
046

prune1.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes309.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done11
011

end0.0ms

sample2.4s

Algorithm
halfpoints