Details

sample54.0ms

Algorithm

intervals

Results

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

simplify18.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)

rewrite33.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))
11.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
5.0ms	(/ (* 2.0 PI) 3.0)

series25.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify1.7s

Counts

86 → 86

Iterations

Useful iterations: 2 (100.0ms)

Iter	Nodes	Cost
0	159	1223
1	319	1165
2	803	1075
3	2997	1075
done	5000	1075

prune144.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

localize23.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)))

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

3.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)))

simplify2.4s

Counts

81 → 81

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	104	805
1	198	782
2	546	690
3	2120	690
done	5000	690

prune206.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

localize15.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)

series59.0ms

Counts

4 → 10

Calls

4 calls:

26.0ms	(pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))) 3)
15.0ms	(cbrt (pow (cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))) 3))
18.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
0.0ms	(/ (* 2.0 PI) 3.0)

simplify2.1s

Counts

85 → 85

Iterations

Useful iterations: 2 (88.0ms)

Iter	Nodes	Cost
0	140	1766
1	270	1552
2	737	1351
3	3564	1351
done	5000	1351

prune152.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

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)

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

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

18.0ms	(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
15.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)

simplify2.6s

Counts

70 → 70

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	104	1006
1	193	960
2	489	870
3	1926	870
done	5001	870

prune186.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

regimes341.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

587.0ms	8000×	body	80	valid
520.0ms	7897×	body	80	nan

Details

sample54.0ms

simplify18.0ms

prune3.0ms

localize13.0ms

rewrite33.0ms

series25.0ms

simplify1.7s

prune144.0ms

localize23.0ms

rewrite27.0ms

series0.0ms

simplify2.4s

prune206.0ms

localize15.0ms

rewrite25.0ms

series59.0ms

simplify2.1s

prune152.0ms

localize18.0ms

rewrite36.0ms

series33.0ms

simplify2.6s

prune186.0ms

regimes341.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.6s

Profiling