Details

sample1.4s

Algorithm

halfpoints

Results

simplify321.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

321.0ms

(sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))

prune43.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize307.0ms

Local error

Found 4 expressions with local error:

0.5b	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.5b	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.2b	(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

3×	`sub-neg` `p16-flip--`

Counts

4 → 6

Calls

4 calls:

Slowest

40.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
38.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
23.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
21.0ms	(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))

series0.0ms

Counts

4 → 4

Calls

4 calls:

Slowest

0.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.0ms	(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))

simplify1.3s

Counts

4 → 10

Calls

4 calls:

Slowest

375.0ms	(sqrt.p16 (.p16 (.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
333.0ms	(sqrt.p16 (.p16 (.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
308.0ms	(sqrt.p16 (.p16 (.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
301.0ms	(sqrt.p16 (.p16 (.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))

prune348.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize492.0ms

Local error

Found 4 expressions with local error:

0.9b	(/.p16 (-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
0.5b	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.5b	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b	(-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b))

rewrite149.0ms

Algorithm

rewrite-expression-head

Rules

4×	`p16-flip--`
3×	`sub-neg`
2×	`difference-of-squares`
1×	`associate-/l*` `associate-/l/`

Counts

4 → 9

Calls

4 calls:

Slowest

64.0ms	(/.p16 (-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
48.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
31.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
6.0ms	(-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b))

series0.0ms

Counts

4 → 4

Calls

4 calls:

Slowest

0.0ms	(/.p16 (-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
0.0ms	(-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b))
0.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

simplify346.0ms

Counts

4 → 13

Calls

4 calls:

Slowest

178.0ms	(-.p16 (.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (.p16 (.p16 b b) (.p16 b b)))
112.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
28.0ms	(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
26.0ms	(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)

prune433.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize370.0ms

Local error

Found 4 expressions with local error:

0.7b	(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
0.5b	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.5b	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)

rewrite156.0ms

Algorithm

rewrite-expression-head

Rules

4×	`p16-flip--`
3×	`sub-neg`
1×	`associate-/r/`

Counts

4 → 7

Calls

4 calls:

Slowest

82.0ms	(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
27.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
23.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
23.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)

series0.0ms

Counts

4 → 4

Calls

4 calls:

Slowest

0.0ms	(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
0.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)

simplify100.0ms

Counts

5 → 11

Calls

5 calls:

Slowest

27.0ms	(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
22.0ms	(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
22.0ms	(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
13.0ms	(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
13.0ms	(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)

prune433.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize540.0ms

Local error

Found 4 expressions with local error:

0.9b	(/.p16 (-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
0.9b	(/.p16 (-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
0.5b	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b	(-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b))

rewrite238.0ms

Algorithm

rewrite-expression-head

Rules

4×	`p16-flip--`
3×	`difference-of-squares`
2×	`sub-neg` `associate-/l*` `associate-/l/`

Counts

4 → 9

Calls

4 calls:

Slowest

98.0ms	(/.p16 (-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
97.0ms	(/.p16 (-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
38.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.0ms	(-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b))

series0.0ms

Counts

4 → 4

Calls

4 calls:

Slowest

0.0ms	(/.p16 (-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
0.0ms	(/.p16 (-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
0.0ms	(-.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 b b))
0.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

simplify450.0ms

Counts

6 → 13

Calls

6 calls:

Slowest

140.0ms	(-.p16 (.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (.p16 (.p16 b b) (.p16 b b)))
127.0ms	(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
107.0ms	(-.p16 (.p16 (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (.p16 (.p16 c c) (.p16 c c)))
30.0ms	(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
22.0ms	(+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)

prune408.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

regimes446.0ms

Accuracy

-∞% (-63.8b remaining)

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

bsearch3.0ms

end0.0ms

sample29.8s

Algorithm

halfpoints

Results