Details

Time bar (total: 4.9s)

sample235.0ms

Algorithm
halfpoints
Results

simplify44.0ms

Calls
1 calls:
Slowest
43.0ms
(+.p16 (*.p16 re im) (*.p16 im re))

prune39.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize125.0ms

Local error

Found 1 expressions with local error:

0.1b
(+.p16 (*.p16 im re) (*.p16 im re))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative p16-distribute-lft-out distribute-rgt-out distribute-lft-out
Calls
1 calls:
Slowest
84.0ms
(+.p16 (*.p16 im re) (*.p16 im re))

series1.0ms

Calls
1 calls:
Slowest
0.0ms
(+.p16 (*.p16 im re) (*.p16 im re))

simplify47.0ms

Calls
4 calls:
Slowest
41.0ms
(+.p16 (*.p16 im re) (*.p16 im re))
2.0ms
(+.p16 re re)
2.0ms
(+.p16 im im)
2.0ms
(+.p16 re re)

prune270.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize110.0ms

Local error

Found 1 expressions with local error:

0.1b
(*.p16 im (+.p16 re re))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
1×distribute-rgt-in distribute-lft-in *-commutative
Calls
1 calls:
Slowest
2.0ms
(*.p16 im (+.p16 re re))

series0.0ms

Calls
1 calls:
Slowest
0.0ms
(*.p16 im (+.p16 re re))

simplify5.0ms

Calls
3 calls:
Slowest
2.0ms
(*.p16 im re)
2.0ms
(*.p16 re im)
1.0ms
(+.p16 re re)

prune179.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes573.0ms

Accuracy

-∞% (-63.9b remaining)

Error of 0.1b against oracle of 64.0b and baseline of 64.0b

bsearch1.0ms

end0.0ms

sample3.2s

Algorithm
halfpoints
Results