Details

Time bar (total: 51.3s)

sample273.0ms

Algorithm
halfpoints
Results

simplify180.0ms

Calls
1 calls:
Slowest
180.0ms
(/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))

prune124.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.5b

localize398.0ms

Local error

Found 4 expressions with local error:

1.7b
(/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
0.9b
(*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
0.3b
(-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.2b
(*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
77×associate-*l*
60×*-commutative
40×p16-times-frac
30×associate-*r*
20×associate-/r*
16×difference-of-sqr-1
13×associate-*l/
4×p16-flip-- associate-/l*
3×sub-neg associate-*r/
2×associate-/r/
1×distribute-rgt-in distribute-lft-in
Calls
4 calls:
Slowest
39.0ms
(/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
38.0ms
(*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
20.0ms
(*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
7.0ms
(-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
0.0ms
(*.p16 (/.p16 (*.p16 i i) (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (*.p16 i i))
0.0ms
(-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.0ms
(*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))

simplify22.9s

Calls
103 calls:
Slowest
1.5s
(/.p16 i (*.p16 (*.p16 i (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1.2s
(/.p16 i (*.p16 (*.p16 i (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1.2s
(/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
1.0s
(*.p16 (*.p16 i (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))
972.0ms
(/.p16 i (*.p16 (*.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))

prune7.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.2b

localize412.0ms

Local error

Found 4 expressions with local error:

0.5b
(/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.4b
(/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.0b
(*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.0b
(-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-/l/
12×associate-/l*
9×associate-*l/ *-commutative
6×associate-*r* associate-*l*
3×associate-*r/
2×p16-flip--
1×sub-neg associate-/r/
Calls
4 calls:
Slowest
57.0ms
(/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
51.0ms
(/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
24.0ms
(*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)))
9.0ms
(-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.0ms
(/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.0ms
(*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.0ms
(-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))

simplify1.6s

Calls
28 calls:
Slowest
193.0ms
(/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
192.0ms
(/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
192.0ms
(/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
190.0ms
(/.p16 (/.p16 (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
181.0ms
(*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))

prune3.4s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.1b

localize181.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
0.3b
(*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2))))
0.2b
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))
0.0b
(-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
5×associate-/r/
3×associate-/r* p16-flip--
2×associate-*r* associate-*l/ associate-*r/ *-commutative
1×sub-neg associate-/l/
Calls
4 calls:
Slowest
34.0ms
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
31.0ms
(*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2))))
15.0ms
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))
6.0ms
(-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
0.0ms
(*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2))))
0.0ms
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))
0.0ms
(-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))

simplify1.7s

Calls
13 calls:
Slowest
1.2s
(*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2))))
147.0ms
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
87.0ms
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
87.0ms
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))
87.0ms
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))))

prune1.3s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

localize133.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i)))
0.3b
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i)
0.2b
(*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i))
0.1b
(/.p16 (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i))) (real->posit16 2))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-/l/
4×associate-/r* associate-/r/
3×associate-*l/ associate-*r/ p16-flip-- *-commutative
2×associate-/l*
Calls
4 calls:
Slowest
26.0ms
(/.p16 (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i))) (real->posit16 2))
23.0ms
(*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i))
17.0ms
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i)))
8.0ms
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i)

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i)))
0.0ms
(/.p16 (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i))) (real->posit16 2))
0.0ms
(*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i))
0.0ms
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i)

simplify2.5s

Calls
13 calls:
Slowest
1.4s
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i)))
777.0ms
(*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i))
131.0ms
(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
92.0ms
(/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
53.0ms
(/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i))

prune1.3s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes749.0ms

Accuracy

-∞% (-63.5b remaining)

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

bsearch3.0ms

end0.0ms

sample5.8s

Algorithm
halfpoints
Results