Details

sample60.0ms

Algorithm

intervals

Results

20.0ms	256×	body	80	valid
16.0ms	250×	body	80	nan

simplify14.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	16
1	21	16
2	25	16
3	28	16
4	29	16
done	29	16

prune3.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: 1.0b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (acos (/ (neg g) h)) 3.0)
1.0b	(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))
1.0b	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
1.0b	(/ (* 2.0 PI) 3.0)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity`
14×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`times-frac`
11×	`add-exp-log` `add-cbrt-cube`
6×	`div-sub` `associate-/r*` `add-log-exp`
4×	`pow1` `associate-+r-` `div-inv` `associate-/l*`
3×	`cbrt-undiv` `acos-neg` `acos-asin` `distribute-frac-neg` `div-exp`
2×	`cos-diff` `frac-2neg` `clear-num`
1×	`+-commutative` `cos-sum` `distribute-rgt-out` `flip3-+` `frac-add` `prod-exp` `sum-log` `cbrt-unprod` `flip-+` `distribute-lft-out`

Counts

4 → 76

Calls

4 calls:

4.0ms	(/ (acos (/ (neg g) h)) 3.0)
11.0ms	(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))
12.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
5.0ms	(/ (* 2.0 PI) 3.0)

series30.0ms

Counts

4 → 10

Calls

4 calls:

4.0ms	(/ (acos (/ (neg g) h)) 3.0)
6.0ms	(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))
20.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
0.0ms	(/ (* 2.0 PI) 3.0)

simplify802.0ms

Counts

86 → 86

Iterations

Useful iterations: 3 (283.0ms)

Iter	Nodes	Cost
0	159	1223
1	328	1169
2	898	1078
3	3323	1075
done	5000	1075

prune145.0ms

Filtered

66 candidates to 86 candidates (-30.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	82	5	87

Merged error: 0.0b

Counts

87 → 5

localize24.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ PI 3.0)
1.0b	(/ (* 2.0 PI) 3.0)
1.0b	(/ (* 2.0 PI) 3.0)
58.2b	(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
15×	`times-frac`
9×	`associate-/r*`
5×	`cbrt-undiv` `div-exp` `associate-/l*`
4×	`pow1` `add-log-exp`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`prod-exp` `cbrt-unprod`
1×	`sin-sum`

Counts

4 → 77

Calls

4 calls:

4.0ms	(/ PI 3.0)
5.0ms	(/ (* 2.0 PI) 3.0)
5.0ms	(/ (* 2.0 PI) 3.0)
12.0ms	(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

series0.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(/ PI 3.0)
0.0ms	(/ (* 2.0 PI) 3.0)
0.0ms	(/ (* 2.0 PI) 3.0)
0.0ms	(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

simplify654.0ms

Counts

81 → 81

Iterations

Useful iterations: 3 (248.0ms)

Iter	Nodes	Cost
0	104	805
1	208	789
2	654	704
3	2472	690
done	5000	690

prune215.0ms

Filtered

62 candidates to 81 candidates (-30.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	81	5	86

Merged error: 0.0b

Counts

86 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b	(pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))) 3)
1.0b	(cbrt (pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))) 3))
1.0b	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
1.0b	(/ (* 2.0 PI) 3.0)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
6×	`unpow-prod-down` `cube-prod`
5×	`pow1`
4×	`add-log-exp`
3×	`pow-unpow` `times-frac` `associate-/r*`
2×	`cbrt-undiv` `cos-diff` `cube-mult` `associate-+r-` `unpow3` `div-sub` `div-exp` `sqr-pow`
1×	`acos-neg` `acos-asin` `pow-to-exp` `cos-sum` `pow-pow` `frac-2neg` `pow1/3` `distribute-frac-neg` `pow-exp` `prod-exp` `clear-num` `rem-cbrt-cube` `cbrt-unprod` `div-inv` `associate-/l*` `rem-cube-cbrt`

Counts

4 → 75

Calls

4 calls:

3.0ms	(pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))) 3)
3.0ms	(cbrt (pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))) 3))
12.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
5.0ms	(/ (* 2.0 PI) 3.0)

series64.0ms

Counts

4 → 10

Calls

4 calls:

31.0ms	(pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))) 3)
17.0ms	(cbrt (pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))) 3))
17.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
0.0ms	(/ (* 2.0 PI) 3.0)

simplify1.5s

Counts

85 → 85

Iterations

Useful iterations: 3 (350.0ms)

Iter	Nodes	Cost
0	140	1766
1	284	1623
2	817	1371
3	3987	1347
done	5001	1347

prune141.0ms

Filtered

51 candidates to 85 candidates (-66.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	1	1	2
Picked	1	0	1
Done	1	1	2
Total	86	4	90

Merged error: 0.0b

Counts

90 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
1.0b	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
1.0b	(/ (* 2.0 PI) 3.0)
1.0b	(/ (* 2.0 PI) 3.0)

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`times-frac` `associate-/r*`
4×	`pow1` `cbrt-undiv` `cos-diff` `associate-+r-` `div-sub` `div-exp` `add-log-exp`
2×	`acos-neg` `acos-asin` `cos-sum` `frac-2neg` `distribute-frac-neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*`

Counts

4 → 62

Calls

4 calls:

15.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
12.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
5.0ms	(/ (* 2.0 PI) 3.0)
5.0ms	(/ (* 2.0 PI) 3.0)

series33.0ms

Counts

4 → 8

Calls

4 calls:

16.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
16.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
0.0ms	(/ (* 2.0 PI) 3.0)
0.0ms	(/ (* 2.0 PI) 3.0)

simplify579.0ms

Counts

70 → 70

Iterations

Useful iterations: 3 (212.0ms)

Iter	Nodes	Cost
0	104	1006
1	199	966
2	537	882
3	2138	870
done	5000	870

prune192.0ms

Filtered

54 candidates to 70 candidates (-29.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	71	3	74

Merged error: 0.0b

Counts

74 → 3

regimes347.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	38
1	31	38
done	31	38

end0.0ms

sample1.6s

Algorithm

intervals

Results

613.0ms	8000×	body	80	valid
537.0ms	7897×	body	80	nan

Details

sample60.0ms

simplify14.0ms

prune3.0ms

localize13.0ms

rewrite34.0ms

series30.0ms

simplify802.0ms

prune145.0ms

localize24.0ms

rewrite28.0ms

series0.0ms

simplify654.0ms

prune215.0ms

localize18.0ms

rewrite25.0ms

series64.0ms

simplify1.5s

prune141.0ms

localize18.0ms

rewrite40.0ms

series33.0ms

simplify579.0ms

prune192.0ms

regimes347.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.6s

Profiling