Details

Time bar (total: 6.7s)

sample119.0ms

Algorithm
halfpoints
Results

simplify70.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
70.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

prune33.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.7b

localize106.0ms

Local error

Found 2 expressions with local error:

0.7b
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.2b
(/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
1×sub-neg p16-flip--
Counts
2 → 2
Calls
2 calls:
Slowest
3.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
2.0ms
(/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))

series0.0ms

Counts
2 → 2
Calls
2 calls:
Slowest
0.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.0ms
(/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))

simplify184.0ms

Counts
2 → 4
Calls
2 calls:
Slowest
112.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
71.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

prune104.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.6b

localize277.0ms

Local error

Found 4 expressions with local error:

0.8b
(/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
0.6b
(-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
0.4b
(*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
0.3b
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
2×p16-flip-- difference-of-squares
1×+-commutative sub-neg associate-*l/ associate-*r/ *-commutative associate-/l* associate-/l/
Counts
4 → 9
Calls
4 calls:
Slowest
15.0ms
(/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
9.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
5.0ms
(-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
4.0ms
(*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
0.0ms
(-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)))
0.0ms
(*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))
0.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

simplify1.1s

Counts
6 → 13
Calls
6 calls:
Slowest
957.0ms
(-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
113.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
17.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
15.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
8.0ms
(*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))))

prune432.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.5b

localize246.0ms

Local error

Found 4 expressions with local error:

0.7b
(/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
0.7b
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.3b
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.3b
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
2×+-commutative p16-flip--
1×sub-neg associate-/r/
Counts
4 → 5
Calls
4 calls:
Slowest
8.0ms
(/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
4.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
4.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
3.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(/.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
0.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

simplify44.0ms

Counts
5 → 9
Calls
5 calls:
Slowest
8.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
8.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
7.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
7.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
7.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

prune188.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.4b

localize174.0ms

Local error

Found 4 expressions with local error:

0.8b
(/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
0.7b
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.3b
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.3b
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
2×+-commutative p16-flip--
1×sub-neg associate-*r/ associate-/l* associate-/l/
Counts
4 → 6
Calls
4 calls:
Slowest
8.0ms
(/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
4.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
4.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
3.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)))
0.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
0.0ms
(+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

simplify1.1s

Counts
10 → 10
Calls
10 calls:
Slowest
572.0ms
(*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x)) (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) x))))
126.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
124.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
119.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))
102.0ms
(-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) x))

prune320.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.4b

regimes173.0ms

Accuracy

-∞% (-63.1b remaining)

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

bsearch4.0ms

end0.0ms

sample1.9s

Algorithm
halfpoints
Results