Details

Time bar (total: 6.4s)

sample40.0ms

Algorithm
intervals
Results
21.0ms326×body80valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
07124
11199
21499
done1499

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma x.re y.im (* x.im y.re))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma x.re y.im (* x.im y.re))

series67.0ms

Counts
1 → 3
Calls
1 calls:
67.0ms
(fma x.re y.im (* x.im y.re))

simplify2.0s

Counts
13 → 13
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
0201842
1241792
2701792
32441792
410521792
done50011792

prune71.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma y.re x.im (* x.re y.im))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma y.re x.im (* x.re y.im))

series50.0ms

Counts
1 → 3
Calls
1 calls:
50.0ms
(fma y.re x.im (* x.re y.im))

simplify2.9s

Counts
13 → 13
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0191842
1261792
2771792
33571792
424861792
done50001792

prune66.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes319.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0699
1799
done799

end0.0ms

sample872.0ms

Algorithm
intervals
Results
400.0ms10499×body80valid