Details

Time bar (total: 18.4s)

sample59.0ms

Algorithm
intervals
Results
33.0ms466×body80valid

simplify99.0ms

Counts
1 → 1
Iterations
IterNodes
done80
480
377
244
118
09

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (fma y 2.0 x) x (* y y))

rewrite1.0ms

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

series68.0ms

Counts
1 → 3
Calls
1 calls:
68.0ms
(fma (fma y 2.0 x) x (* y y))

simplify2.4s

Counts
13 → 13
Iterations
IterNodes
done5010
41020
3263
2101
143
023

prune111.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ (* x x) (* (* x 2.0) y)) (* y y))
0.0b
(+ (* x x) (* (* x 2.0) y))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×fma-def sum-log
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
2×pow1 add-exp-log +-commutative expm1-log1p-u flip3-+ add-cbrt-cube flip-+ log1p-expm1-u
1×associate-+l+
Counts
2 → 32
Calls
2 calls:
67.0ms
(+ (+ (* x x) (* (* x 2.0) y)) (* y y))
26.0ms
(+ (* x x) (* (* x 2.0) y))

series126.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(+ (+ (* x x) (* (* x 2.0) y)) (* y y))
74.0ms
(+ (* x x) (* (* x 2.0) y))

simplify5.8s

Counts
38 → 38
Iterations
IterNodes
done5000
34484
2889
1209
062

prune307.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (fma x x (* y (* x 2.0))) (* y y))
0.0b
(fma x x (* y (* x 2.0)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
4×add-log-exp
3×add-sqr-sqrt add-cube-cbrt fma-def *-un-lft-identity
2×pow1 add-exp-log expm1-log1p-u add-cbrt-cube fma-udef log1p-expm1-u
1×+-commutative associate-+l+ flip3-+ sum-log flip-+
Counts
2 → 27
Calls
2 calls:
14.0ms
(+ (fma x x (* y (* x 2.0))) (* y y))
1.0ms
(fma x x (* y (* x 2.0)))

series172.0ms

Counts
2 → 6
Calls
2 calls:
69.0ms
(+ (fma x x (* y (* x 2.0))) (* y y))
104.0ms
(fma x x (* y (* x 2.0)))

simplify3.3s

Counts
33 → 33
Iterations
IterNodes
done5000
31078
2315
1119
048

prune268.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma y (fma x 2.0 y) (* x x))

rewrite1.0ms

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

series68.0ms

Counts
1 → 3
Calls
1 calls:
68.0ms
(fma y (fma x 2.0 y) (* x x))

simplify2.7s

Counts
13 → 13
Iterations
IterNodes
done5002
41580
3369
2101
143
023

prune105.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes143.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.9s14252×body80valid