Details

sample69.0ms

Algorithm

intervals

Results

17.0ms	188×	body	80	valid
17.0ms	21×	body	1280	valid
9.0ms	17×	body	2560	valid
8.0ms	13×	body	5120	valid
3.0ms	8×	body	640	valid
2.0ms	7×	body	320	valid
0.0ms	2×	body	160	valid

simplify45.0ms

Counts: 1 → 1

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.4b

localize35.0ms

Local error

Found 3 expressions with local error:

0.9b	(+ (hypot re im) re)
0.0b	(sqrt (* (+ (hypot re im) re) 2.0))
0.0b	(hypot re im)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `*-un-lft-identity`
5×	`add-log-exp`
4×	`add-sqr-sqrt` `add-cube-cbrt`
3×	`expm1-log1p-u` `fma-def` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
2×	`sqrt-pow1` `flip3-+` `sqrt-div` `associate-*l/` `flip-+`
1×	`+-commutative` `hypot-udef` `sum-log` `pow1/2` `pow-prod-down` `sqrt-prod` `distribute-lft-out`

Counts

3 → 45

Calls

3 calls:

Slowest

12.0ms	(sqrt (* (+ (hypot re im) re) 2.0))
9.0ms	(+ (hypot re im) re)
0.0ms	(hypot re im)

series414.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

266.0ms	(sqrt (* (+ (hypot re im) re) 2.0))
85.0ms	(+ (hypot re im) re)
64.0ms	(hypot re im)

simplify1.6s

Counts: 54 → 54

prune555.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 13.1b

localize44.0ms

Local error

Found 4 expressions with local error:

11.8b	(+ (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re)
0.6b	(cbrt (hypot re im))
0.6b	(cbrt (hypot re im))
0.6b	(cbrt (hypot re im))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-log-exp`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`pow1/3`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `flip-+`

Counts

4 → 57

Calls

4 calls:

Slowest

34.0ms	(+ (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re)
1.0ms	(cbrt (hypot re im))
1.0ms	(cbrt (hypot re im))
1.0ms	(cbrt (hypot re im))

series507.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

145.0ms	(cbrt (hypot re im))
143.0ms	(cbrt (hypot re im))
134.0ms	(cbrt (hypot re im))
84.0ms	(+ (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re)

simplify1.7s

Counts: 69 → 69

prune737.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 13.1b

localize44.0ms

Local error

Found 4 expressions with local error:

10.4b	(+ (* (* (cbrt (hypot re im)) (* (cbrt (sqrt (hypot re im))) (cbrt (sqrt (hypot re im))))) (cbrt (hypot re im))) re)
0.6b	(cbrt (sqrt (hypot re im)))
0.6b	(cbrt (sqrt (hypot re im)))
0.6b	(cbrt (hypot re im))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod`
9×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`sqrt-prod` `add-log-exp`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`pow1/3`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `flip-+`

Counts

4 → 63

Calls

4 calls:

Slowest

77.0ms	(+ (* (* (cbrt (hypot re im)) (* (cbrt (sqrt (hypot re im))) (cbrt (sqrt (hypot re im))))) (cbrt (hypot re im))) re)
3.0ms	(cbrt (sqrt (hypot re im)))
1.0ms	(cbrt (sqrt (hypot re im)))
1.0ms	(cbrt (hypot re im))

series519.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

159.0ms	(cbrt (sqrt (hypot re im)))
154.0ms	(cbrt (sqrt (hypot re im)))
147.0ms	(cbrt (hypot re im))
59.0ms	(+ (* (* (cbrt (hypot re im)) (* (cbrt (sqrt (hypot re im))) (cbrt (sqrt (hypot re im))))) (cbrt (hypot re im))) re)

simplify873.0ms

Counts: 75 → 75

prune963.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 13.0b

localize56.0ms

Local error

Found 4 expressions with local error:

12.1b	(+ (* (* (cbrt (hypot re im)) (* (* (cbrt (cbrt (hypot re im))) (cbrt (cbrt (hypot re im)))) (cbrt (cbrt (hypot re im))))) (cbrt (hypot re im))) re)
0.6b	(cbrt (hypot re im))
0.6b	(cbrt (hypot re im))
0.6b	(cbrt (hypot re im))

rewrite223.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-log-exp`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`pow1/3`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `flip-+`

Counts

4 → 57

Calls

4 calls:

Slowest

220.0ms	(+ (* (* (cbrt (hypot re im)) (* (* (cbrt (cbrt (hypot re im))) (cbrt (cbrt (hypot re im)))) (cbrt (cbrt (hypot re im))))) (cbrt (hypot re im))) re)
1.0ms	(cbrt (hypot re im))
1.0ms	(cbrt (hypot re im))
1.0ms	(cbrt (hypot re im))

series479.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

154.0ms	(cbrt (hypot re im))
130.0ms	(cbrt (hypot re im))
120.0ms	(cbrt (hypot re im))
76.0ms	(+ (* (* (cbrt (hypot re im)) (* (* (cbrt (cbrt (hypot re im))) (cbrt (cbrt (hypot re im)))) (cbrt (cbrt (hypot re im))))) (cbrt (hypot re im))) re)

simplify4.2s

Counts: 69 → 69

prune848.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 13.0b

regimes172.0ms

Accuracy

0% (0.3b remaining)

Error of 13.0b against oracle of 12.7b and baseline of 13.0b

bsearch3.0ms

end0.0ms

sample2.7s

Algorithm

intervals

Results

826.0ms	6060×	body	80	valid
675.0ms	290×	body	5120	valid
528.0ms	664×	body	2560	valid
301.0ms	461×	body	1280	valid
118.0ms	289×	body	640	valid
46.0ms	157×	body	320	valid
15.0ms	79×	body	160	valid