Details

Time bar (total: 19.4s)

sample107.0ms

Algorithm
halfpoints
Results

simplify408.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
407.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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))

prune49.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize285.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
4×sub-neg
3×p16-flip--
1×distribute-rgt-in distribute-lft-in associate-*r/ *-commutative
Counts
4 → 8
Calls
4 calls:
Slowest
5.0ms
(*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(*.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
(sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))

simplify3.1s

Counts
15 → 12
Calls
15 calls:
Slowest
769.0ms
(*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
463.0ms
(-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
383.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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
368.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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
355.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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))

prune519.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize360.0ms

Local error

Found 4 expressions with local error:

0.7b
(/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.3b
(*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
0.3b
(*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
7×sub-neg
5×distribute-rgt-in distribute-lft-in associate-*r/
4×p16-flip--
2×*-commutative
1×associate-*r* associate-/l* associate-/l/
Counts
4 → 15
Calls
4 calls:
Slowest
7.0ms
(/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.0ms
(*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.0ms
(*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

series0.0ms

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

simplify3.5s

Counts
24 → 19
Calls
24 calls:
Slowest
691.0ms
(*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
360.0ms
(-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
296.0ms
(/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
264.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) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
244.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) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))

prune907.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize249.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
3×p16-flip--
2×sub-neg
1×associate-*l/ *-commutative
Counts
4 → 6
Calls
4 calls:
Slowest
3.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(sqrt.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) (real->posit16 1.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.0ms
(sqrt.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) (real->posit16 1.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)))

simplify3.0s

Counts
11 → 10
Calls
11 calls:
Slowest
493.0ms
(*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
444.0ms
(-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
431.0ms
(*.p16 (+.p16 (real->posit16 1) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) (real->posit16 1.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
427.0ms
(*.p16 (+.p16 (real->posit16 1) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) (real->posit16 1.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
410.0ms
(*.p16 (+.p16 (real->posit16 1) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) (real->posit16 1.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

prune504.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize247.0ms

Local error

Found 4 expressions with local error:

0.8b
(/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.3b
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.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))))
0.2b
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
4×p16-flip--
3×sub-neg
2×distribute-rgt-in distribute-lft-in associate-*l/ *-commutative
1×associate-*r/ associate-/l* associate-/l/
Counts
4 → 12
Calls
4 calls:
Slowest
6.0ms
(/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.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))))
2.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
Slowest
0.0ms
(/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.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))))

simplify2.7s

Counts
19 → 16
Calls
19 calls:
Slowest
507.0ms
(-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
476.0ms
(*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
237.0ms
(*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
232.0ms
(*.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
227.0ms
(*.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))

prune664.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

regimes376.0ms

Accuracy

-∞% (-63.8b remaining)

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

bsearch5.0ms

end0.0ms

sample2.4s

Algorithm
halfpoints
Results