Details

Time bar (total: 43.4s)

sample225.0ms

Algorithm
halfpoints
Results

simplify159.0ms

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

prune104.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize244.0ms

Local error

Found 4 expressions with local error:

1.4b
(/.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.8b
(*.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.1b
(-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.1b
(*.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)))

rewrite90.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
37.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))
22.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)))
21.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))))
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))) (-.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))

simplify20.3s

Calls
103 calls:
Slowest
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.0s
(/.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))))
916.0ms
(/.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))))
848.0ms
(*.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)))
807.0ms
(/.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))))

prune5.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize345.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.3b
(/.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))

rewrite95.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
42.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)))
25.0ms
(*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)))
20.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)))
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.4s

Calls
28 calls:
Slowest
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)))
195.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)))
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)))
136.0ms
(*.p16 (*.p16 (/.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))

prune2.7s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize462.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.2b
(*.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
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))))
28.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)))))
16.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))

simplify2.1s

Calls
13 calls:
Slowest
1.5s
(*.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))))
155.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)))))
128.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)))))
114.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)))))
91.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.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize246.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.2b
(/.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)) (-.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.0b
(-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
7×associate-/r/
4×p16-flip-- associate-/l/
1×associate-/r* sub-neg p16-times-frac associate-/l*
Calls
4 calls:
Slowest
18.0ms
(/.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.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))))
9.0ms
(-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
8.0ms
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))
5.0ms
(/.p16 (/.p16 i (real->posit16 2)) (-.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 i (real->posit16 2)) (real->posit16 1.0)))
0.0ms
(/.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.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))

simplify885.0ms

Calls
12 calls:
Slowest
556.0ms
(/.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.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))
196.0ms
(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
28.0ms
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))
27.0ms
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))
27.0ms
(/.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))

prune1.2s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes463.0ms

Accuracy

-∞% (-63.6b remaining)

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

bsearch2.0ms

end0.0ms

sample5.6s

Algorithm
halfpoints
Results