Details

Time bar (total: 12.8s)

sample188.0ms

Algorithm
halfpoints
Results

simplify395.0ms

Calls
1 calls:
Slowest
395.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)))

prune41.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize218.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.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)))))

rewrite4.0ms

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

Calls
4 calls:
Slowest
0.0ms
(*.p16 (real->posit16 9) (-.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)))))
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)))

simplify1.5s

Calls
7 calls:
Slowest
441.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)))
352.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)))
352.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)))
321.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)))
6.0ms
(*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))

prune547.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize170.0ms

Local error

Found 4 expressions with local error:

0.3b
(+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.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.1b
(sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
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 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
2×p16-flip--
1×distribute-rgt-in +-commutative sub-neg distribute-lft-in distribute-rgt-out associate-*l/ *-commutative
Calls
4 calls:
Slowest
3.0ms
(+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))
3.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 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
1.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.0ms
(sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))

series0.0ms

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

simplify881.0ms

Calls
9 calls:
Slowest
333.0ms
(*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))
326.0ms
(*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
172.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)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
22.0ms
(+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
8.0ms
(*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))

prune544.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize166.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.0ms

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

series0.0ms

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

simplify2.0s

Calls
5 calls:
Slowest
644.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))
362.0ms
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))
347.0ms
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))
324.0ms
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))
285.0ms
(+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))

prune667.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize276.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.0ms

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

series0.0ms

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

simplify1.5s

Calls
14 calls:
Slowest
1.1s
(*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
150.0ms
(*.p16 (real->posit16 9) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
133.0ms
(*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
33.0ms
(+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
17.0ms
(-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))

prune783.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

regimes732.0ms

Accuracy

-∞% (-63.8b remaining)

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

bsearch9.0ms

end0.0ms

sample2.2s

Algorithm
halfpoints
Results