Details

analyze139.0ms

Algorithm

Search

True	Other	False	Iter
0%	6.2%	93.8%	0
0%	6.2%	93.8%	1
0%	6.2%	93.8%	2
0%	6.2%	93.8%	3
3.1%	3.1%	93.8%	4
3.1%	3.1%	93.8%	5
4.7%	1.6%	93.8%	6
4.7%	1.6%	93.8%	7
5.5%	0.8%	93.8%	8
5.5%	0.8%	93.8%	9
5.8%	0.4%	93.8%	10
5.8%	0.4%	93.8%	11
6%	0.2%	93.8%	12
6%	0.2%	93.8%	13
6.1%	0.1%	93.8%	14

sample43.0ms

Algorithm

intervals

Results

26.0ms	256×	body	80	valid
7.0ms	256×	pre	80	true

simplify359.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (207.0ms)

Iter	Nodes	Cost
0	5641	26

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.3b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
0.1b	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
0.2b	(.f64 (.f64 2 PI.f64) u2)
0.3b	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

rewrite241.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64`
6×	`add-log-exp_binary64`
5×	`pow-prod-down_binary64`
4×	`cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64` `insert-posit16`
2×	`sqrt-pow1_binary64` `sqrt-prod_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `pow1/2_binary64` `unswap-sqr_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 63

Calls

4 calls:

5.0ms	(+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
3.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
7.0ms	(.f64 (.f64 2 PI.f64) u2)
223.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

series1.3s

Counts

4 → 12

Calls

4 calls:

410.0ms	(+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
398.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
121.0ms	(.f64 (.f64 2 PI.f64) u2)
384.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	639	907
1	639	907
0	639	907
1	639	907
0	5425	22
0	286	1731
1	286	1731
0	286	1731
1	286	1731
0	1	3
1	1	3
0	592	880
1	592	880
0	592	880
1	592	880
0	5412	19
0	704	1932
1	704	1932
0	704	1932
1	704	1932
0	5005	25

simplify107.0ms

Counts

75 → 75

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4905	1045
1	4905	1045

prune89.0ms

Filtered

54 candidates to 75 candidates (-38.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	67	8	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	8	76

Merged error: 0b

Counts

76 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(log.f64 (+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2)))))
0.2b	(.f64 (.f64 2 PI.f64) u2)
0.3b	(exp.f64 (log.f64 (+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))))
0.3b	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1_binary64`
12×	`add-exp-log_binary64` `add-sqr-sqrt_binary64`
11×	`add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`associate-r_binary64`
6×	`log-prod_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64` `log-div_binary64` `insert-posit16` `exp-prod_binary64`
3×	`exp-sum_binary64`
2×	`flip3-+_binary64` `log-pow_binary64` `exp-diff_binary64` `flip-+_binary64` `*-commutative_binary64`
1×	`rem-log-exp_binary64` `rem-exp-log_binary64` `unswap-sqr_binary64` `sqrt-prod_binary64`

Counts

4 → 72

Calls

4 calls:

4.0ms	(log.f64 (+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2)))))
7.0ms	(.f64 (.f64 2 PI.f64) u2)
5.0ms	(exp.f64 (log.f64 (+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))))
8.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

series1.4s

Counts

4 → 12

Calls

4 calls:

409.0ms	(log.f64 (+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2)))))
116.0ms	(.f64 (.f64 2 PI.f64) u2)
463.0ms	(exp.f64 (log.f64 (+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))))
382.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	639	907
1	639	907
0	639	907
1	639	907
0	5425	22
0	802	2227
1	802	2227
0	802	2227
1	802	2227
0	5040	25
0	286	1731
1	286	1731
0	286	1731
1	286	1731
0	1	3
1	1	3
0	758	2173
1	758	2173
0	758	2173
1	758	2173
0	5571	27

simplify150.0ms

Counts

84 → 84

Iterations

Useful iterations: 0 (118.0ms)

Iter	Nodes	Cost
0	5601	1730

prune96.0ms

Filtered

59 candidates to 84 candidates (-42.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	84	8	92

Merged error: 0b

Counts

92 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 2 PI.f64) u2)
0.3b	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
0.6b	(cbrt.f64 (pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3))
0.8b	(pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
11×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`cbrt-prod_binary64`
7×	`associate-r_binary64`
5×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `associate-l_binary64` `insert-posit16`
3×	`pow-unpow_binary64`
2×	`pow-pow_binary64` `sqr-pow_binary64` `rem-cube-cbrt_binary64` `unpow-prod-down_binary64` `cube-prod_binary64` `pow-exp_binary64` `unpow3_binary64` `*-commutative_binary64` `cube-mult_binary64`
1×	`pow-to-exp_binary64` `rem-cbrt-cube_binary64` `pow1/3_binary64` `unswap-sqr_binary64` `sqrt-prod_binary64`

Counts

4 → 80

Calls

4 calls:

6.0ms	(.f64 (.f64 2 PI.f64) u2)
10.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
3.0ms	(cbrt.f64 (pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3))
8.0ms	(pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3)

series1.3s

Counts

4 → 12

Calls

4 calls:

116.0ms	(.f64 (.f64 2 PI.f64) u2)
374.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
244.0ms	(cbrt.f64 (pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3))
600.0ms	(pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	1048	1177
1	1048	1177
0	1048	1177
1	1048	1177
0	5038	25
0	84	1719
1	84	1719
0	84	1719
1	84	1719
0	5178	22
0	639	907
1	639	907
0	639	907
1	639	907
0	5425	22
0	286	1731
1	286	1731
0	286	1731
1	286	1731
0	1	3
1	1	3

simplify112.0ms

Counts

92 → 92

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4846	1054
1	4846	1054

prune96.0ms

Filtered

61 candidates to 92 candidates (-50.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	92	8	100

Merged error: 0b

Counts

100 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))))
0.2b	(.f64 (.f64 2 PI.f64) u2)
0.3b	(.f64 (.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))
0.4b	(.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1_binary64`
17×	`associate-r_binary64`
16×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64` `sqrt-prod_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`pow-prod-down_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
6×	`sqrt-pow1_binary64`
5×	`associate-l_binary64`
4×	`add-log-exp_binary64` `insert-posit16`
3×	`*-commutative_binary64`
2×	`pow1/2_binary64` `unswap-sqr_binary64`
1×	`rem-sqrt-square_binary64`

Counts

4 → 84

Calls

4 calls:

4.0ms	(sqrt.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))))
6.0ms	(.f64 (.f64 2 PI.f64) u2)
15.0ms	(.f64 (.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))
9.0ms	(.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))

series1.7s

Counts

4 → 12

Calls

4 calls:

478.0ms	(sqrt.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))))
117.0ms	(.f64 (.f64 2 PI.f64) u2)
601.0ms	(.f64 (.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))
474.0ms	(.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	867	1275
1	867	1275
0	867	1275
1	867	1275
0	5426	24
0	973	1778
1	973	1778
0	973	1778
1	973	1778
0	5283	22
0	286	1731
1	286	1731
0	286	1731
1	286	1731
0	1	3
1	1	3
0	820	1248
1	820	1248
0	820	1248
1	820	1248
0	5413	21

simplify108.0ms

Counts

96 → 96

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5406	1191

prune90.0ms

Filtered

61 candidates to 96 candidates (-57.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	96	8	104

Merged error: 0b

Counts

104 → 8

regimes135.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	25	30
1	25	30

end0.0ms

sample1.2s

Algorithm

intervals

Results

812.0ms	8000×	body	80	valid
205.0ms	8000×	pre	80	true

Details

analyze139.0ms

sample43.0ms

simplify359.0ms

prune7.0ms

localize14.0ms

rewrite241.0ms

series1.3s

simplify107.0ms

prune89.0ms

localize17.0ms

rewrite26.0ms

series1.4s

simplify150.0ms

prune96.0ms

localize16.0ms

rewrite30.0ms

series1.3s

simplify112.0ms

prune96.0ms

localize15.0ms

rewrite38.0ms

series1.7s

simplify108.0ms

prune90.0ms

regimes135.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample1.2s

Profiling