Details

sample159.0ms

Algorithm

intervals

Results

79.0ms	180×	body	1280	valid
33.0ms	119×	body	640	valid
13.0ms	47×	body	320	valid
9.0ms	160×	body	80	valid
3.0ms	21×	body	160	valid

simplify1.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	21	12
2	43	12
3	89	12
4	158	12
5	258	12
6	593	12
7	1029	12
8	1726	12
9	4043	12
done	5000	12

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 57.6b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
6.8b	(- (exp (- 0.0 im)) (exp im))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-sqr-sqrt` `*-un-lft-identity` `add-cbrt-cube`
5×	`associate-r`
4×	`add-log-exp`
3×	`add-cube-cbrt` `sub-neg` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-*r/` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`diff-log` `associate-l` `*-commutative`

Counts

2 → 40

Calls

2 calls:

13.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
9.0ms	(- (exp (- 0.0 im)) (exp im))

series23.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
6.0ms	(- (exp (- 0.0 im)) (exp im))

simplify1.2s

Counts

46 → 46

Iterations

Useful iterations: 3 (393.0ms)

Iter	Nodes	Cost
0	103	679
1	271	663
2	1041	570
3	4051	565
done	5000	565

prune109.0ms

Filtered

30 candidates to 46 candidates (-53.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	42	4	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	4	47

Merged error: 0.1b

Counts

47 → 4

localize16.0ms

Local error

Found 3 expressions with local error:

0.1b	(* 1/60 (pow im 5))
0.1b	(* (* 0.5 (cos re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
0.1b	(* 1/3 (pow im 3))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
22×	`associate-r`
18×	`add-exp-log`
12×	`add-cbrt-cube`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`prod-exp`
8×	`pow1` `unpow-prod-down`
7×	`associate-l` `unswap-sqr`
5×	`cbrt-unprod`
4×	`cube-prod` `sqr-pow`
3×	`pow-prod-down` `*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `pow-to-exp` `sub-neg` `distribute-lft-in` `associate-*r/` `pow-exp`
1×	`cube-mult` `flip3--` `unpow3` `flip--`

Counts

3 → 80

Calls

3 calls:

6.0ms	(* 1/60 (pow im 5))
12.0ms	(* (* 0.5 (cos re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
7.0ms	(* 1/3 (pow im 3))

series52.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(* 1/60 (pow im 5))
42.0ms	(* (* 0.5 (cos re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
4.0ms	(* 1/3 (pow im 3))

simplify506.0ms

Counts

89 → 89

Iterations

Useful iterations: done (503.0ms)

Iter	Nodes	Cost
0	169	1213
1	448	1150
2	1603	1000
done	5000	998

prune209.0ms

Filtered

56 candidates to 89 candidates (-58.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	82	7	89
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	83	10	93

Merged error: 0.1b

Counts

93 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (pow im 5) -1/60)
0.1b	(* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))
0.1b	(* (* -2 im) (* 0.5 (cos re)))
0.1b	(* (pow im 3) -1/3)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-exp-log`
25×	`add-cbrt-cube`
24×	`add-sqr-sqrt`
21×	`pow1` `associate-l`
17×	`prod-exp`
13×	`cbrt-unprod`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow-prod-down`
10×	`associate-r`
8×	`unpow-prod-down`
7×	`unswap-sqr`
4×	`cube-prod` `*-commutative` `add-log-exp` `sqr-pow`
2×	`pow-to-exp` `associate-*r/` `pow-exp`
1×	`distribute-rgt-in` `cube-mult` `distribute-lft-in` `flip3-+` `unpow3` `flip-+`

Counts

4 → 100

Calls

4 calls:

9.0ms	(* (pow im 5) -1/60)
10.0ms	(* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))
7.0ms	(* (* -2 im) (* 0.5 (cos re)))
7.0ms	(* (pow im 3) -1/3)

series71.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (pow im 5) -1/60)
53.0ms	(* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))
9.0ms	(* (* -2 im) (* 0.5 (cos re)))
4.0ms	(* (pow im 3) -1/3)

simplify710.0ms

Counts

112 → 112

Iterations

Useful iterations: done (705.0ms)

Iter	Nodes	Cost
0	190	1322
1	532	1238
2	2415	1062
done	5001	1054

prune244.0ms

Filtered

72 candidates to 112 candidates (-55.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	112	10	122

Merged error: 0.1b

Counts

122 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
0.6b	(cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
0.6b	(cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
0.6b	(cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

18.0ms	(* (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
7.0ms	(cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
7.0ms	(cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
7.0ms	(cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

series100.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
23.0ms	(cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
26.0ms	(cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
23.0ms	(cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

simplify436.0ms

Counts

99 → 99

Iterations

Useful iterations: done (432.0ms)

Iter	Nodes	Cost
0	173	4052
1	406	3778
2	1379	3533
done	5002	3332

prune652.0ms

Filtered

81 candidates to 99 candidates (-22.2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	93	6	99
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	93	16	109

Merged error: 0.0b

Counts

109 → 16

regimes758.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	25
1	27	25
done	27	25

end0.0ms

sample4.8s

Algorithm

intervals

Results

2.5s	5710×	body	1280	valid
1.0s	3629×	body	640	valid
287.0ms	1487×	body	320	valid
261.0ms	4444×	body	80	valid
93.0ms	757×	body	160	valid

Details

sample159.0ms

simplify1.4s

prune4.0ms

localize11.0ms

rewrite23.0ms

series23.0ms

simplify1.2s

prune109.0ms

localize16.0ms

rewrite29.0ms

series52.0ms

simplify506.0ms

prune209.0ms

localize18.0ms

rewrite36.0ms

series71.0ms

simplify710.0ms

prune244.0ms

localize21.0ms

rewrite42.0ms

series100.0ms

simplify436.0ms

prune652.0ms

regimes758.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.8s

Profiling