Details

sample151.0ms

Algorithm

intervals

Results

72.0ms	208×	body	80	valid
11.0ms	16×	body	2560	valid
8.0ms	9×	body	5120	valid
7.0ms	11×	body	1280	valid
2.0ms	5×	body	640	valid
2.0ms	5×	body	320	valid
1.0ms	2×	body	160	valid

simplify77.0ms

Calls

1 calls:

Slowest

77.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.6b

localize27.0ms

Local error

Found 3 expressions with local error:

29.6b	(sqrt (+ (* re re) (* im im)))
0.5b	(- (sqrt (+ (* re re) (* im im))) re)
0.0b	(+ (* re re) (* im im))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

3 calls:

Slowest

13.0ms	(- (sqrt (+ (* re re) (* im im))) re)
4.0ms	(sqrt (+ (* re re) (* im im)))
3.0ms	(+ (* re re) (* im im))

series118.0ms

Calls

3 calls:

Slowest

53.0ms	(sqrt (+ (* re re) (* im im)))
40.0ms	(- (sqrt (+ (* re re) (* im im))) re)
25.0ms	(+ (* re re) (* im im))

simplify357.0ms

Calls

16 calls:

Slowest

211.0ms	(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
61.0ms	(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
15.0ms	(* (exp (* re re)) (exp (* im im)))
13.0ms	(sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
10.0ms	(sqrt (sqrt (+ (* re re) (* im im))))

prune467.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 17.7b

localize20.0ms

Local error

Found 4 expressions with local error:

30.5b	(cbrt (+ (* re re) (* im im)))
30.5b	(cbrt (+ (* re re) (* im im)))
30.5b	(cbrt (+ (* re re) (* im im)))
29.6b	(sqrt (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im)))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
30×	`flip3-+` `flip-+`
28×	`frac-times`
26×	`sqrt-div`
14×	`associate-*l/`
9×	`cbrt-prod`
8×	`associate-*r/`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `add-log-exp`
3×	`pow1/3`
1×	`pow1/2` `sqrt-prod`

Calls

4 calls:

Slowest

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

series333.0ms

Calls

4 calls:

Slowest

132.0ms	(cbrt (+ (* re re) (* im im)))
86.0ms	(cbrt (+ (* re re) (* im im)))
82.0ms	(cbrt (+ (* re re) (* im im)))
33.0ms	(sqrt (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im)))))

simplify7.1s

Calls

54 calls:

Slowest

347.0ms	(sqrt (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))
321.0ms	(sqrt (* (* (cbrt (+ (pow (* re re) 3) (pow (* im im) 3))) (cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))
290.0ms	(sqrt (* (* (cbrt (+ (pow (* re re) 3) (pow (* im im) 3))) (cbrt (+ (* re re) (* im im)))) (cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))
288.0ms	(sqrt (* (* (cbrt (+ (pow (* re re) 3) (pow (* im im) 3))) (cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (cbrt (+ (* re re) (* im im)))))
280.0ms	(sqrt (* (* (cbrt (+ (pow (* re re) 3) (pow (* im im) 3))) (cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))

prune1.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 17.7b

localize54.0ms

Local error

Found 4 expressions with local error:

30.5b	(cbrt (+ (* re re) (* im im)))
30.5b	(cbrt (+ (* re re) (* im im)))
30.5b	(cbrt (+ (* re re) (* im im)))
30.5b	(cbrt (+ (* re re) (* im im)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

3.0ms	(cbrt (+ (* re re) (* im im)))
3.0ms	(cbrt (+ (* re re) (* im im)))
3.0ms	(cbrt (+ (* re re) (* im im)))
3.0ms	(cbrt (+ (* re re) (* im im)))

series414.0ms

Calls

4 calls:

Slowest

106.0ms	(cbrt (+ (* re re) (* im im)))
105.0ms	(cbrt (+ (* re re) (* im im)))
104.0ms	(cbrt (+ (* re re) (* im im)))
98.0ms	(cbrt (+ (* re re) (* im im)))

simplify1.7s

Calls

32 calls:

Slowest

223.0ms	(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
223.0ms	(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
197.0ms	(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
182.0ms	(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
103.0ms	(+ (pow im 2/3) (* 1/3 (* (pow re 2) (pow (/ 1 (pow im 4)) 1/3))))

prune1.2s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 17.7b

localize29.0ms

Local error

Found 4 expressions with local error:

30.5b	(cbrt (+ (* re re) (* im im)))
30.5b	(cbrt (+ (* re re) (* im im)))
30.5b	(cbrt (+ (* re re) (* im im)))
30.5b	(cbrt (+ (* re re) (* im im)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

2.0ms	(cbrt (+ (* re re) (* im im)))
2.0ms	(cbrt (+ (* re re) (* im im)))
2.0ms	(cbrt (+ (* re re) (* im im)))
2.0ms	(cbrt (+ (* re re) (* im im)))

series394.0ms

Calls

4 calls:

Slowest

104.0ms	(cbrt (+ (* re re) (* im im)))
100.0ms	(cbrt (+ (* re re) (* im im)))
100.0ms	(cbrt (+ (* re re) (* im im)))
89.0ms	(cbrt (+ (* re re) (* im im)))

simplify1.7s

Calls

32 calls:

Slowest

218.0ms	(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
216.0ms	(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
213.0ms	(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
203.0ms	(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
102.0ms	(+ (pow im 2/3) (* 1/3 (* (pow re 2) (pow (/ 1 (pow im 4)) 1/3))))

prune1.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 17.7b

regimes830.0ms

Accuracy

48% (8.7b remaining)

Error of 29.7b against oracle of 21.0b and baseline of 37.7b

bsearch14.0ms

end0.0ms

sample2.9s

Algorithm

intervals

Results

958.0ms	6027×	body	80	valid
706.0ms	511×	body	1280	valid
522.0ms	649×	body	2560	valid
292.0ms	307×	body	5120	valid
161.0ms	277×	body	640	valid
91.0ms	155×	body	320	valid
17.0ms	74×	body	160	valid