Details

sample419.0ms

Algorithm

halfpoints

Results

simplify180.0ms

Calls

1 calls:

Slowest

179.0ms

(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a)

prune37.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize328.0ms

Local error

Found 4 expressions with local error:

1.7b	(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.5b	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))
0.4b	(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))) a)
0.2b	(-.p16 (.p16 b_2 b_2) (.p16 a c))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

3×	`p16-flip--`
2×	`sub-neg`
1×	`associate-/l/`

Calls

4 calls:

Slowest

35.0ms	(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
19.0ms	(-.p16 (.p16 b_2 b_2) (.p16 a c))
8.0ms	(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))) a)
1.0ms	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))

series1.0ms

Calls

4 calls:

Slowest

0.0ms	(-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.0ms	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))
0.0ms	(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))) a)
0.0ms	(-.p16 (.p16 b_2 b_2) (.p16 a c))

simplify1.8s

Calls

5 calls:

Slowest

776.0ms	(-.p16 (.p16 (neg.p16 b_2) (neg.p16 b_2)) (.p16 (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))))
297.0ms	(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))) a)
291.0ms	(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))) a)
239.0ms	(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))) a)
234.0ms	(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))) a)

prune426.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize533.0ms

Local error

Found 4 expressions with local error:

1.5b	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.9b	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (.p16 a (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (*.p16 a c))))))
0.5b	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))
0.2b	(-.p16 (.p16 b_2 b_2) (.p16 a c))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

2×	`associate-/r*`
1×	`+-commutative` `sub-neg` `p16-flip--` `*-commutative`

Calls

4 calls:

Slowest

61.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (.p16 a (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (*.p16 a c))))))
12.0ms	(-.p16 (.p16 b_2 b_2) (.p16 a c))
6.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.0ms	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))

series0.0ms

Calls

4 calls:

Slowest

0.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (.p16 a (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (*.p16 a c))))))
0.0ms	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))
0.0ms	(-.p16 (.p16 b_2 b_2) (.p16 a c))

simplify1.3s

Calls

5 calls:

Slowest

296.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (.p16 a (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (*.p16 a c))))))
290.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (.p16 a (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (*.p16 a c))))))
277.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (.p16 a (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (*.p16 a c))))))
277.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (.p16 a (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (*.p16 a c))))))
110.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))

prune813.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.4b

localize1.0s

Local error

Found 4 expressions with local error:

1.5b	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.5b	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))
0.5b	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) a)
0.3b	(/.p16 (/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) a) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))))

rewrite137.0ms

Algorithm

rewrite-expression-head

Rules

1×	`+-commutative` `associate-/l/`

Calls

4 calls:

Slowest

76.0ms	(/.p16 (/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) a) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))))
56.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) a)
5.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.0ms	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))

series0.0ms

Calls

4 calls:

Slowest

0.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.0ms	(/.p16 (/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) a) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))))
0.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) a)
0.0ms	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))

simplify564.0ms

Calls

5 calls:

Slowest

152.0ms	(+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2))))
126.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
123.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
83.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
79.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))

prune306.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.4b

localize367.0ms

Local error

Found 4 expressions with local error:

1.5b	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.6b	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))))
0.5b	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))
0.4b	(/.p16 (/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))) a)

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

1×	`+-commutative` `associate-/l/`

Calls

4 calls:

Slowest

38.0ms	(/.p16 (/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))) a)
23.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))))
3.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.0ms	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))

series0.0ms

Calls

4 calls:

Slowest

0.0ms	(+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))
0.0ms	(/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))))
0.0ms	(/.p16 (/.p16 (+.p16 (.p16 a c) (.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2)))) (+.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c))))) a)
0.0ms	(sqrt.p16 (-.p16 (.p16 b_2 b_2) (.p16 a c)))

simplify91.0ms

Calls

1 calls:

Slowest

91.0ms

(+.p16 (*.p16 a c) (*.p16 (+.p16 (neg.p16 b_2) b_2) (+.p16 (neg.p16 b_2) (neg.p16 b_2))))

prune170.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.4b

regimes848.0ms

Accuracy

-∞% (-63.4b remaining)

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

bsearch5.0ms

end0.0ms

sample4.3s

Algorithm

halfpoints

Results