Details

Time bar (total: 42.9s)

sample187.0ms

Algorithm
halfpoints

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5004
82858
71238
6604
5389
4288
3163
277
134
018

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize280.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
0.1b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.1b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.2b
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
8×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand
6×*p16-lft-identity-expand /p16-rgt-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
4×distribute-rgt-in sub-neg distribute-lft-in introduce-quire associate--r+ associate--r-
3×associate-*r* associate-*l* p16-flip--
2×associate-*r/
1×associate-*l/ *-commutative
Counts
4 → 60
Calls
4 calls:
0.0ms
(sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
4.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

simplify1.8s

Counts
64 → 64
Iterations
IterNodes
done5001
31341
2267
175
039

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize379.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
0.1b
(sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
0.1b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.2b
(+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
9×+p16-lft-identity-expand +p16-rgt-identity-expand
7×-p16-rgt-identity-expand
6×associate-+r+ *p16-lft-identity-expand introduce-quire /p16-rgt-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
3×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
2×associate-+l+ associate-*l/ p16-flip-- associate--r+
1×+-commutative associate-+r- sub-neg insert-quire-add p16-distribute-lft-out associate-*r/ *-commutative insert-quire-fdp-add associate-+l- distribute-lft-out associate--r-
Counts
4 → 64
Calls
4 calls:
6.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
0.0ms
(sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
3.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.0ms
(+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
0.0ms
(sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))

simplify2.7s

Counts
68 → 68
Iterations
IterNodes
done5029
32620
2375
1106
052

prune1.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize299.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
0.1b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.1b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.2b
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
8×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand
6×*p16-lft-identity-expand /p16-rgt-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
4×distribute-rgt-in sub-neg distribute-lft-in introduce-quire associate--r+ associate--r-
3×associate-*r* associate-*l* p16-flip--
2×associate-*r/
1×associate-*l/ *-commutative
Counts
4 → 60
Calls
4 calls:
0.0ms
(sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
3.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

simplify1.7s

Counts
64 → 64
Iterations
IterNodes
done5022
31341
2267
175
039

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize288.0ms

Local error

Found 4 expressions with local error:

0.1b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.1b
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
0.2b
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.2b
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
16×distribute-rgt-in distribute-lft-in
15×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand
10×associate-+l+ associate-+r+
9×sub-neg associate--r-
8×/p16-rgt-identity-expand
7×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
6×introduce-quire associate-*r*
4×associate-*l* associate-*l/ associate-*r/
3×p16-flip--
2×*-commutative associate--r+
1×+-commutative associate-+r- insert-quire-add distribute-rgt-out insert-quire-fdp-add associate-+l-
Counts
4 → 98
Calls
4 calls:
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.0ms
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
8.0ms
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
0.0ms
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

simplify23.2s

Counts
102 → 102
Iterations
IterNodes
done5000
2628
1154
075

prune2.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes499.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify11.0ms

Iterations
IterNodes
done22
122
020

end0.0ms

sample2.7s

Algorithm
halfpoints