Details

sample157.0ms

Algorithm

intervals

Results

83.0ms	180×	body	1280	valid
32.0ms	119×	body	640	valid
9.0ms	160×	body	80	valid
9.0ms	47×	body	320	valid
2.0ms	21×	body	160	valid

simplify1.5s

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	481	12
7	800	12
8	1247	12
9	2676	12
10	3967	12
11	4309	12
12	4860	12
done	5001	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)))
8.0ms	(- (exp (- 0.0 im)) (exp im))

series29.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify1.3s

Counts

46 → 46

Iterations

Useful iterations: 3 (354.0ms)

Iter	Nodes	Cost
0	103	679
1	271	661
2	969	568
3	3732	565
done	5000	565

prune95.0ms

Filtered

29 candidates to 46 candidates (-58.6%)

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

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite28.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)) (- (* im -2) (+ (* 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))
39.0ms	(* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
8.0ms	(* 1/3 (pow im 3))

simplify508.0ms

Counts

89 → 89

Iterations

Useful iterations: 2 (130.0ms)

Iter	Nodes	Cost
0	169	1213
1	448	1142
2	1645	994
done	5001	994

prune194.0ms

Filtered

54 candidates to 89 candidates (-64.8%)

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

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-exp-log`
25×	`add-cbrt-cube`
24×	`add-sqr-sqrt`
23×	`associate-r`
21×	`pow1`
17×	`prod-exp`
13×	`cbrt-unprod`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow-prod-down`
8×	`unpow-prod-down` `associate-l`
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:

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

series74.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify655.0ms

Counts

112 → 112

Iterations

Useful iterations: 2 (176.0ms)

Iter	Nodes	Cost
0	193	1331
1	542	1220
2	2260	1038
done	5001	1038

prune221.0ms

Filtered

67 candidates to 112 candidates (-67.2%)

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

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.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 (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
7.0ms	(cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
7.0ms	(cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
7.0ms	(cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

series102.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.3s

Counts

99 → 99

Iterations

Useful iterations: 3 (452.0ms)

Iter	Nodes	Cost
0	173	4052
1	406	3763
2	1371	3533
3	4857	3006
done	5000	3006

prune528.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	94	15	109

Merged error: 0.0b

Counts

109 → 15

regimes645.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample4.7s

Algorithm

intervals

Results

2.5s	5710×	body	1280	valid
1.0s	3629×	body	640	valid
276.0ms	1487×	body	320	valid
255.0ms	4444×	body	80	valid
94.0ms	757×	body	160	valid

Details

sample157.0ms

simplify1.5s

prune4.0ms

localize11.0ms

rewrite23.0ms

series29.0ms

simplify1.3s

prune95.0ms

localize15.0ms

rewrite28.0ms

series52.0ms

simplify508.0ms

prune194.0ms

localize17.0ms

rewrite34.0ms

series74.0ms

simplify655.0ms

prune221.0ms

localize23.0ms

rewrite41.0ms

series102.0ms

simplify1.3s

prune528.0ms

regimes645.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample4.7s

Profiling