Details

Time bar (total: 49.6s)

sample242.0ms

Algorithm
halfpoints
Results

simplify184.0ms

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

prune80.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.5b

localize309.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)))

rewrite103.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
54.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))
25.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))))
16.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)))
6.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))) (-.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))) (real->posit16 1.0))

simplify22.2s

Calls
103 calls:
Slowest
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.1s
(/.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.1s
(/.p16 i (*.p16 (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
917.0ms
(*.p16 (/.p16 (*.p16 i i) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (*.p16 i i))
893.0ms
(*.p16 (*.p16 i (*.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))

prune6.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.2b

localize313.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))

rewrite136.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
64.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)))
40.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)))
25.0ms
(*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)))
7.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
199.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)))
197.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)))
196.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)))
196.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)))
179.0ms
(*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))

prune3.0s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.1b

localize105.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))

rewrite82.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
32.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)))))
30.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))))
16.0ms
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))
4.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))

simplify2.0s

Calls
13 calls:
Slowest
1.3s
(*.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))))
181.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)))))
179.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)))))
174.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)))))
129.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.7s

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))

rewrite71.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
29.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)))
21.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))
14.0ms
(*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) i))
7.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)) (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)
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))

simplify2.1s

Calls
13 calls:
Slowest
1.2s
(/.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)))
656.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))
97.0ms
(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
94.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))))
27.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

regimes615.0ms

Accuracy

-∞% (-63.5b remaining)

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

bsearch2.0ms

end0.0ms

sample6.4s

Algorithm
halfpoints
Results