Details

sample76.0ms

Algorithm

intervals

Results

62.0ms

449×

body

valid

simplify348.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

347.0ms

(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.4b

localize24.0ms

Local error

Found 4 expressions with local error:

7.4b	(* (- (* x.re x.re) (* x.im x.im)) x.re)
0.1b	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
0.1b	(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.0b	(+ (* x.re x.im) (* x.im x.re))

rewrite111.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `associate-*l/`
8×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `add-log-exp`
7×	`associate-l`
6×	`associate-r`
4×	`flip3-+` `flip3--` `frac-sub` `flip-+` `insert-posit16` `flip--`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `sum-log` `sub-neg` `diff-log` `difference-of-squares`

Counts

4 → 72

Calls

4 calls:

Slowest

43.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
30.0ms	(* (- (* x.re x.re) (* x.im x.im)) x.re)
25.0ms	(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
12.0ms	(+ (* x.re x.im) (* x.im x.re))

series225.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

84.0ms	(* (- (* x.re x.re) (* x.im x.im)) x.re)
77.0ms	(- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
33.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
30.0ms	(+ (* x.re x.im) (* x.im x.re))

simplify6.6s

Counts

45 → 84

Calls

45 calls:

Slowest

580.0ms	(- (* (* (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))) x.re) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (+ (* x.re x.re) (* x.im x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im)))
475.0ms	(* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (- (* x.re x.im) (* x.im x.re)))
356.0ms	(* (- (* x.re x.re) (* x.im x.im)) x.re)
333.0ms	(- (* (* (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)) x.re) (- (* x.re x.im) (* x.im x.re))) (* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im)))
316.0ms	(* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))))

prune726.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (+ x.im x.re) (* x.re (- x.re x.im)))
0.1b	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
0.1b	(- (* (+ x.im x.re) (* x.re (- x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.0b	(* x.re (- x.re x.im))

rewrite175.0ms

Algorithm

rewrite-expression-head

Rules

26×	`associate-*r/`
24×	`associate-*l/`
18×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `flip-+`
16×	`frac-sub`
15×	`add-sqr-sqrt`
13×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log`
12×	`frac-times`
11×	`sub-neg` `flip3--` `flip--`
10×	`associate-l`
9×	`associate-r` `add-cube-cbrt`
8×	`associate--l+`
6×	`add-log-exp`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`insert-posit16`
3×	`*-commutative`
2×	`unswap-sqr`
1×	`diff-log` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 121

Calls

4 calls:

Slowest

74.0ms	(- (* (+ x.im x.re) (* x.re (- x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
41.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
35.0ms	(* (+ x.im x.re) (* x.re (- x.re x.im)))
23.0ms	(* x.re (- x.re x.im))

series298.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

107.0ms	(- (* (+ x.im x.re) (* x.re (- x.re x.im))) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
90.0ms	(* (+ x.im x.re) (* x.re (- x.re x.im)))
52.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
49.0ms	(* x.re (- x.re x.im))

simplify20.4s

Counts

111 → 133

Calls

111 calls:

Slowest

889.0ms	(- (* (* (+ (pow x.im 3) (pow x.re 3)) (* x.re (- (pow x.re 3) (pow x.im 3)))) (- (* x.re x.im) (* x.im x.re))) (* (* (+ (* x.im x.im) (- (* x.re x.re) (* x.im x.re))) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im)))
827.0ms	(- (* (* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3)))) (- (* x.re x.im) (* x.im x.re))) (* (* (- x.im x.re) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im)))
804.0ms	(* (- (* x.im x.im) (* x.re x.re)) (* x.re (- (pow x.re 3) (pow x.im 3))))
700.0ms	(* (* (+ (* x.im x.im) (- (* x.re x.re) (* x.im x.re))) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))))
682.0ms	(- (* (* (+ x.im x.re) (* x.re (- (* x.re x.re) (* x.im x.im)))) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (+ x.re x.im) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im)))

prune1.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

6.9b	(* (+ x.im x.re) (* x.re x.re))
0.2b	(* (+ x.im x.re) (* (- x.im) x.re))
0.1b	(* (+ (* x.re x.im) (* x.im x.re)) x.im)
0.1b	(- (* (+ x.im x.re) (* (- x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))

rewrite149.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-cbrt-cube` `add-exp-log`
14×	`associate-*l/`
12×	`*-un-lft-identity`
11×	`add-sqr-sqrt` `associate-l`
8×	`add-cube-cbrt`
7×	`flip3-+` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`
6×	`add-log-exp`
5×	`associate-r`
4×	`frac-sub` `insert-posit16`
3×	`*-commutative`
2×	`distribute-lft-out` `unswap-sqr`
1×	`distribute-lft-neg-out` `sub-neg` `flip3--` `diff-log` `distribute-rgt-neg-out` `flip--`

Counts

4 → 84

Calls

4 calls:

Slowest

47.0ms	(* (+ x.im x.re) (* x.re x.re))
37.0ms	(- (* (+ x.im x.re) (* (- x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
33.0ms	(* (+ x.im x.re) (* (- x.im) x.re))
30.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)

series297.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

100.0ms	(- (* (+ x.im x.re) (* (- x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
80.0ms	(* (+ x.im x.re) (* x.re x.re))
64.0ms	(* (+ x.im x.re) (* (- x.im) x.re))
53.0ms	(* (+ (* x.re x.im) (* x.im x.re)) x.im)

simplify7.5s

Counts

54 → 96

Calls

54 calls:

Slowest

711.0ms	(- (* (* (- (* x.im x.im) (* x.re x.re)) (* (- x.im) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (- x.im x.re) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im)))
376.0ms	(- (* (* (- (* x.im x.im) (* x.re x.re)) (* (- x.im) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (- x.im x.re) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im)))
368.0ms	(- (* (* (+ (pow x.im 3) (pow x.re 3)) (* (- x.im) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (+ (* x.im x.im) (- (* x.re x.re) (* x.im x.re))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im)))
302.0ms	(- (+ (* 3 (* (pow x.im 2) x.re)) (* x.im (pow x.re 2))))
302.0ms	(- (+ (* 3 (* (pow x.im 2) x.re)) (* x.im (pow x.re 2))))

prune1.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

6.9b	(* (+ x.im x.re) (* x.re x.re))
0.3b	(* (* x.im x.re) (- (* -3 x.im) x.re))
0.0b	(+ (* (+ x.im x.re) (* x.re x.re)) (* (* x.im x.re) (- (* -3 x.im) x.re)))
0.0b	(- (* -3 x.im) x.re)

rewrite137.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`*-un-lft-identity` `add-log-exp`
7×	`add-sqr-sqrt`
6×	`pow-prod-down` `associate-l/` `prod-exp` `associate-r/` `add-cube-cbrt` `cbrt-unprod`
5×	`sub-neg` `associate-l`
4×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `flip3-+` `flip3--` `associate-r` `frac-add` `flip-+` `insert-posit16` `flip--`
2×	`*-commutative`
1×	`+-commutative` `sum-log` `diff-log` `distribute-lft-out` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

Slowest

54.0ms	(+ (* (+ x.im x.re) (* x.re x.re)) (* (* x.im x.re) (- (* -3 x.im) x.re)))
43.0ms	(* (+ x.im x.re) (* x.re x.re))
33.0ms	(* (* x.im x.re) (- (* -3 x.im) x.re))
6.0ms	(- (* -3 x.im) x.re)

series305.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

124.0ms	(+ (* (+ x.im x.re) (* x.re x.re)) (* (* x.im x.re) (- (* -3 x.im) x.re)))
78.0ms	(* (* x.im x.re) (- (* -3 x.im) x.re))
59.0ms	(* (+ x.im x.re) (* x.re x.re))
43.0ms	(- (* -3 x.im) x.re)

simplify7.7s

Counts

53 → 93

Calls

53 calls:

Slowest

595.0ms	(* (+ (* x.im x.im) (- (* x.re x.re) (* x.im x.re))) (+ (* -3 x.im) x.re))
552.0ms	(+ (* (* (- (* x.im x.im) (* x.re x.re)) (* x.re x.re)) (+ (* (* -3 x.im) (* -3 x.im)) (+ (* x.re x.re) (* (* -3 x.im) x.re)))) (* (- x.im x.re) (* (* x.im x.re) (- (pow (* -3 x.im) 3) (pow x.re 3)))))
541.0ms	(+ (* (* (+ (pow x.im 3) (pow x.re 3)) (* x.re x.re)) (+ (* (* -3 x.im) (* -3 x.im)) (+ (* x.re x.re) (* (* -3 x.im) x.re)))) (* (+ (* x.im x.im) (- (* x.re x.re) (* x.im x.re))) (* (* x.im x.re) (- (pow (* -3 x.im) 3) (pow x.re 3)))))
388.0ms	(- (pow x.re 3) (* 3 (* (pow x.im 2) x.re)))
368.0ms	(- (pow x.re 3) (* 3 (* (pow x.im 2) x.re)))

prune861.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

regimes209.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch4.0ms

end0.0ms

sample2.5s

Algorithm

intervals

Results

2.2s

14431×

body

valid