Details

sample68.0ms

Algorithm

intervals

Results

41.0ms

442×

body

valid

simplify2.3s

Counts

1 → 1

Iterations

Useful iterations: 5 (544.0ms)

Iter	Nodes	Cost
0	11	19
1	23	17
2	61	16
3	149	16
4	426	13
5	1503	11
done	5000	11

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b	(fma x.re (* x.im (* 3 x.re)) (- (pow x.im 3)))
0.2b	(* x.im (* 3 x.re))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
1×	`associate-r` `*-commutative` `fma-udef`

Counts

2 → 30

Calls

2 calls:

0.0ms	(fma x.re (* x.im (* 3 x.re)) (- (pow x.im 3)))
17.0ms	(* x.im (* 3 x.re))

series170.0ms

Counts

2 → 6

Calls

2 calls:

127.0ms	(fma x.re (* x.im (* 3 x.re)) (- (pow x.im 3)))
43.0ms	(* x.im (* 3 x.re))

simplify4.8s

Counts

36 → 36

Iterations

Useful iterations: 3 (2.1s)

Iter	Nodes	Cost
0	57	350
1	129	337
2	597	297
3	4691	295
done	5000	295

prune139.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.1b	(fma x.re (* 1 (* (* x.im 3) x.re)) (- (pow x.im 3)))
0.2b	(* (* x.im 3) x.re)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
1×	`associate-l` `*-commutative` `fma-udef`

Counts

2 → 30

Calls

2 calls:

0.0ms	(fma x.re (* 1 (* (* x.im 3) x.re)) (- (pow x.im 3)))
19.0ms	(* (* x.im 3) x.re)

series137.0ms

Counts

2 → 6

Calls

2 calls:

105.0ms	(fma x.re (* 1 (* (* x.im 3) x.re)) (- (pow x.im 3)))
32.0ms	(* (* x.im 3) x.re)

simplify1.1s

Counts

36 → 36

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	61	379
1	150	342
2	1033	300
done	5000	296

prune129.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite171.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-log-exp`
6×	`associate-l`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`expm1-log1p-u` `log1p-expm1-u`
2×	`associate-r` `sum-log` `*-commutative`
1×	`+-commutative` `neg-sub0` `associate-+r-` `fma-def` `flip3-+` `unsub-neg` `neg-log` `flip-+`

Counts

3 → 61

Calls

3 calls:

77.0ms	(+ (* x.re (* 3 (* x.im x.re))) (- (pow x.im 3)))
52.0ms	(* x.re (* 3 (* x.im x.re)))
40.0ms	(* 3 (* x.im x.re))

series165.0ms

Counts

3 → 9

Calls

3 calls:

87.0ms	(+ (* x.re (* 3 (* x.im x.re))) (- (pow x.im 3)))
41.0ms	(* x.re (* 3 (* x.im x.re)))
37.0ms	(* 3 (* x.im x.re))

simplify1.4s

Counts

70 → 70

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	92	747
1	261	678
2	1439	590
done	5000	589

prune226.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
2×	`add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `sum-log` `log1p-expm1-u`
1×	`+-commutative` `neg-sub0` `associate-+r-` `fma-def` `flip3-+` `associate-r` `associate-l` `unsub-neg` `neg-log` `*-commutative` `flip-+`

Counts

2 → 42

Calls

2 calls:

51.0ms	(+ (* (* x.re 3) (* x.im x.re)) (- (pow x.im 3)))
29.0ms	(* (* x.re 3) (* x.im x.re))

series129.0ms

Counts

2 → 6

Calls

2 calls:

93.0ms	(+ (* (* x.re 3) (* x.im x.re)) (- (pow x.im 3)))
36.0ms	(* (* x.re 3) (* x.im x.re))

simplify1.8s

Counts

48 → 48

Iterations

Useful iterations: done (1.8s)

Iter	Nodes	Cost
0	78	605
1	239	537
2	1421	465
done	5000	464

prune161.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes99.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	13	12
done	13	12

end0.0ms

sample2.3s

Algorithm

intervals

Results

1.7s

14355×

body

valid