Details

sample216.0ms

Algorithm

intervals

Results

78.0ms	205×	body	80	valid
35.0ms	9×	body	640	valid
19.0ms	21×	body	2560	valid
7.0ms	6×	body	5120	valid
6.0ms	9×	body	1280	valid
4.0ms	4×	body	320	valid
1.0ms	2×	body	160	valid

simplify634.0ms

Calls

1 calls:

Slowest

633.0ms

(* 0.5 (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re))))

prune47.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.5b

localize102.0ms

Local error

Found 4 expressions with local error:

30.8b	(sqrt (+ (* re re) (* im im)))
0.6b	(- (sqrt (+ (* re re) (* im im))) re)
0.5b	(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
0.0b	(+ (* re re) (* im im))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `add-log-exp`
5×	`*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `sqrt-div` `add-exp-log` `sqrt-prod` `insert-posit16`
2×	`flip3-+` `flip3--` `pow1/2` `associate-*r/` `flip-+` `flip--`
1×	`+-commutative` `rem-sqrt-square` `sum-log` `sub-neg`

Calls

4 calls:

Slowest

63.0ms	(- (sqrt (+ (* re re) (* im im))) re)
8.0ms	(sqrt (+ (* re re) (* im im)))
6.0ms	(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
6.0ms	(+ (* re re) (* im im))

series239.0ms

Calls

4 calls:

Slowest

134.0ms	(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
52.0ms	(sqrt (+ (* re re) (* im im)))
27.0ms	(- (sqrt (+ (* re re) (* im im))) re)
26.0ms	(+ (* re re) (* im im))

simplify1.1s

Calls

22 calls:

Slowest

438.0ms	(sqrt (* 2.0 (- (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (* re re))))
257.0ms	(sqrt (* 2.0 (- (pow (sqrt (+ (* re re) (* im im))) 3) (pow re 3))))
229.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
88.0ms	(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
19.0ms	(* (exp (* re re)) (exp (* im im)))

prune675.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 18.3b

localize22.0ms

Local error

Found 4 expressions with local error:

30.8b	(sqrt (+ (* re re) (* im im)))
12.0b	(- (exp (log (sqrt (+ (* re re) (* im im))))) re)
5.8b	(exp (log (sqrt (+ (* re re) (* im im)))))
0.5b	(sqrt (* 2.0 (- (exp (log (sqrt (+ (* re re) (* im im))))) re)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`sqrt-prod`
6×	`log-prod` `sqrt-div` `exp-sum`
5×	`pow1` `exp-prod`
4×	`add-cbrt-cube` `add-exp-log` `insert-posit16` `add-log-exp`
3×	`pow1/2`
2×	`log-div` `flip3-+` `flip3--` `exp-diff` `associate-*r/` `log-pow` `flip-+` `flip--`
1×	`rem-sqrt-square` `sub-neg` `rem-exp-log`

Calls

4 calls:

Slowest

25.0ms	(- (exp (log (sqrt (+ (* re re) (* im im))))) re)
6.0ms	(sqrt (* 2.0 (- (exp (log (sqrt (+ (* re re) (* im im))))) re)))
4.0ms	(exp (log (sqrt (+ (* re re) (* im im)))))
2.0ms	(sqrt (+ (* re re) (* im im)))

series203.0ms

Calls

4 calls:

Slowest

109.0ms	(sqrt (* 2.0 (- (exp (log (sqrt (+ (* re re) (* im im))))) re)))
38.0ms	(- (exp (log (sqrt (+ (* re re) (* im im))))) re)
29.0ms	(exp (log (sqrt (+ (* re re) (* im im)))))
27.0ms	(sqrt (+ (* re re) (* im im)))

simplify1.4s

Calls

35 calls:

Slowest

290.0ms	(sqrt (* 2.0 (- (* (exp (log (sqrt (+ (* re re) (* im im))))) (exp (log (sqrt (+ (* re re) (* im im)))))) (* re re))))
274.0ms	(sqrt (* 2.0 (- (pow (exp (log (sqrt (+ (* re re) (* im im))))) 3) (pow re 3))))
269.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
227.0ms	(exp (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))
98.0ms	(exp (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))

prune974.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 18.2b

localize27.0ms

Local error

Found 4 expressions with local error:

30.8b	(sqrt (+ (* re re) (* im im)))
30.8b	(sqrt (+ (* re re) (* im im)))
30.8b	(sqrt (+ (* re re) (* im im)))
12.2b	(- (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (exp (log (cbrt (sqrt (+ (* re re) (* im im))))))) re)

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
9×	`sqrt-prod`
7×	`*-un-lft-identity` `add-cube-cbrt`
6×	`sqrt-div`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `add-log-exp`
3×	`rem-sqrt-square` `flip3-+` `pow1/2` `flip-+`
1×	`sub-neg` `flip3--` `flip--`

Calls

4 calls:

Slowest

58.0ms	(- (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (exp (log (cbrt (sqrt (+ (* re re) (* im im))))))) re)
4.0ms	(sqrt (+ (* re re) (* im im)))
4.0ms	(sqrt (+ (* re re) (* im im)))
4.0ms	(sqrt (+ (* re re) (* im im)))

series123.0ms

Calls

4 calls:

Slowest

35.0ms	(- (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (exp (log (cbrt (sqrt (+ (* re re) (* im im))))))) re)
31.0ms	(sqrt (+ (* re re) (* im im)))
30.0ms	(sqrt (+ (* re re) (* im im)))
28.0ms	(sqrt (+ (* re re) (* im im)))

simplify930.0ms

Calls

30 calls:

Slowest

207.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
203.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
175.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
77.0ms	(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
62.0ms	(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 18.2b

localize34.0ms

Local error

Found 4 expressions with local error:

30.8b	(sqrt (+ (* re re) (* im im)))
30.8b	(sqrt (+ (* re re) (* im im)))
30.8b	(sqrt (+ (* re re) (* im im)))
30.8b	(sqrt (+ (* re re) (* im im)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `sqrt-prod`
8×	`*-un-lft-identity` `sqrt-div` `add-cube-cbrt`
4×	`pow1` `rem-sqrt-square` `flip3-+` `add-cbrt-cube` `pow1/2` `add-exp-log` `flip-+` `insert-posit16` `add-log-exp`

Calls

4 calls:

Slowest

3.0ms	(sqrt (+ (* re re) (* im im)))
2.0ms	(sqrt (+ (* re re) (* im im)))
2.0ms	(sqrt (+ (* re re) (* im im)))
2.0ms	(sqrt (+ (* re re) (* im im)))

series86.0ms

Calls

4 calls:

Slowest

25.0ms	(sqrt (+ (* re re) (* im im)))
20.0ms	(sqrt (+ (* re re) (* im im)))
20.0ms	(sqrt (+ (* re re) (* im im)))
20.0ms	(sqrt (+ (* re re) (* im im)))

simplify1.2s

Calls

36 calls:

Slowest

223.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
191.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
189.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
178.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
92.0ms	(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))

prune1.6s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 18.2b

regimes816.0ms

Accuracy

58.1% (8.4b remaining)

Error of 26.1b against oracle of 17.7b and baseline of 37.7b

bsearch18.0ms

end0.0ms

sample3.0s

Algorithm

intervals

Results

909.0ms	6025×	body	80	valid
757.0ms	299×	body	5120	valid
576.0ms	677×	body	2560	valid
342.0ms	499×	body	1280	valid
119.0ms	257×	body	640	valid
81.0ms	154×	body	320	valid
20.0ms	89×	body	160	valid