Details

sample158.0ms

Algorithm

intervals

Results

75.0ms	154×	body	1280	valid
35.0ms	127×	body	640	valid
11.0ms	57×	body	320	valid
10.0ms	162×	body	80	valid
3.0ms	27×	body	160	valid

simplify1.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	18	11
2	39	11
3	77	11
4	115	11
5	313	11
6	673	11
7	1187	11
8	2362	11
done	5000	11

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: 45.5b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.8b	(- (exp (neg im)) (exp im))

rewrite25.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:

12.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
7.0ms	(- (exp (neg im)) (exp im))

series24.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.0ms	(- (exp (neg im)) (exp im))

simplify1.2s

Counts

46 → 46

Iterations

Useful iterations: 3 (376.0ms)

Iter	Nodes	Cost
0	92	614
1	242	598
2	952	506
3	3933	502
done	5000	502

prune81.0ms

Filtered

28 candidates to 46 candidates (-64.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	43	3	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	3	47

Merged error: 0.1b

Counts

47 → 3

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite32.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))
13.0ms	(* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
7.0ms	(* 1/3 (pow im 3))

series49.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify499.0ms

Counts

89 → 89

Iterations

Useful iterations: done (496.0ms)

Iter	Nodes	Cost
0	165	1201
1	433	1138
2	1554	988
done	5000	986

prune203.0ms

Filtered

56 candidates to 89 candidates (-58.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	82	7	89
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	83	9	92

Merged error: 0.0b

Counts

92 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b	(* -1/60 (pow im 5))
0.1b	(* (* im -2) (* 0.5 (sin re)))
0.1b	(* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))
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))
8.0ms	(* (* im -2) (* 0.5 (sin re)))
10.0ms	(* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))
7.0ms	(* -1/3 (pow im 3))

series75.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify662.0ms

Counts

112 → 112

Iterations

Useful iterations: done (659.0ms)

Iter	Nodes	Cost
0	196	1337
1	555	1244
2	2281	1058
done	5000	1056

prune243.0ms

Filtered

71 candidates to 112 candidates (-57.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	112	9	121

Merged error: 0.0b

Counts

121 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))
12.4b	(cbrt (* (* im -2) (* 0.5 (sin re))))
12.4b	(cbrt (* (* im -2) (* 0.5 (sin re))))
12.4b	(cbrt (* (* im -2) (* 0.5 (sin re))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 58

Calls

4 calls:

9.0ms	(* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))
6.0ms	(cbrt (* (* im -2) (* 0.5 (sin re))))
6.0ms	(cbrt (* (* im -2) (* 0.5 (sin re))))
6.0ms	(cbrt (* (* im -2) (* 0.5 (sin re))))

series146.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))
31.0ms	(cbrt (* (* im -2) (* 0.5 (sin re))))
31.0ms	(cbrt (* (* im -2) (* 0.5 (sin re))))
35.0ms	(cbrt (* (* im -2) (* 0.5 (sin re))))

simplify768.0ms

Counts

70 → 70

Iterations

Useful iterations: done (766.0ms)

Iter	Nodes	Cost
0	104	1232
1	234	1129
2	732	963
3	2620	828
done	5001	806

prune235.0ms

Filtered

56 candidates to 70 candidates (-25.0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	67	3	70
Fresh	3	4	7
Picked	0	1	1
Done	0	1	1
Total	70	9	79

Merged error: 0.0b

Counts

79 → 9

regimes406.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.1b 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.7s

Algorithm

intervals

Results

2.2s	4760×	body	1280	valid
1.1s	3837×	body	640	valid
365.0ms	1856×	body	320	valid
292.0ms	4547×	body	80	valid
138.0ms	1025×	body	160	valid

Details

sample158.0ms

simplify1.0s

prune4.0ms

localize11.0ms

rewrite25.0ms

series24.0ms

simplify1.2s

prune81.0ms

localize16.0ms

rewrite32.0ms

series49.0ms

simplify499.0ms

prune203.0ms

localize21.0ms

rewrite34.0ms

series75.0ms

simplify662.0ms

prune243.0ms

localize21.0ms

rewrite29.0ms

series146.0ms

simplify768.0ms

prune235.0ms

regimes406.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.7s

Profiling