Details

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

sample42.0ms

Algorithm

intervals

Results

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

simplify359.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (204.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.3b	(.f64 (.f64 2 PI.f64) u2)
0.3b	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

rewrite233.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)
216.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

series1.8s

Counts

4 → 12

Calls

4 calls:

425.0ms	(+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
595.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
200.0ms	(.f64 (.f64 2 PI.f64) u2)
581.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	1218	1246
1	1218	1246
0	1218	1246
1	1218	1246
0	5425	22
0	630	1948
1	630	1948
0	630	1948
1	630	1948
0	1	3
1	1	3
0	1100	1055
1	1100	1055
0	1100	1055
1	1100	1055
0	5412	19
0	1087	2726
1	1087	2726
0	1087	2726
1	1087	2726
0	1	3
1	1	3

simplify141.0ms

Counts

75 → 75

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	5487	1023

prune87.0ms

Filtered

53 candidates to 75 candidates (-41.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	69	6	75
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	69	7	76

Merged error: 0.0b

Counts

76 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

31×	`pow1_binary64`
19×	`pow-prod-down_binary64`
16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`sqrt-pow1_binary64`
11×	`associate-l_binary64`
10×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64`
9×	`sqrt-prod_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
6×	`pow1/2_binary64`
4×	`add-log-exp_binary64` `insert-posit16`
3×	`sqrt-unprod_binary64` `*-commutative_binary64`
2×	`unswap-sqr_binary64`

Counts

4 → 85

Calls

4 calls:

3.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
13.0ms	(.f64 (sqrt.f64 1/6) (.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (sqrt.f64 1/6)))
9.0ms	(.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 1/6))
7.0ms	(.f64 (.f64 2 PI.f64) u2)

series2.1s

Counts

4 → 12

Calls

4 calls:

602.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
663.0ms	(.f64 (sqrt.f64 1/6) (.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (sqrt.f64 1/6)))
633.0ms	(.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 1/6))
203.0ms	(.f64 (.f64 2 PI.f64) u2)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	630	1948
1	630	1948
0	630	1948
1	630	1948
0	1	3
1	1	3
0	1334	1354
1	1334	1354
0	1334	1354
1	1334	1354
0	5836	24
0	1417	1559
1	1417	1559
0	1417	1559
1	1417	1559
0	4923	22
1	4923	22
0	1100	1055
1	1100	1055
0	1100	1055
1	1100	1055
0	5412	19

simplify110.0ms

Counts

97 → 97

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4909	1114
1	4909	1114

prune106.0ms

Filtered

66 candidates to 97 candidates (-47.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	94	3	97
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	97	7	104

Merged error: 0b

Counts

104 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 63

Calls

4 calls:

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

series1.8s

Counts

4 → 12

Calls

4 calls:

440.0ms	(+.f64 1/2 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
625.0ms	(sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36))
200.0ms	(.f64 (.f64 2 PI.f64) u2)
568.0ms	(.f64 (.f64 -2 (log.f64 u1)) 1/36)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	905	902
1	905	902
0	905	902
1	905	902
0	5266	20
0	630	1948
1	630	1948
0	630	1948
1	630	1948
0	1	3
1	1	3
0	1226	1270
1	1226	1270
0	1226	1270
1	1226	1270
0	5423	22
0	1087	2726
1	1087	2726
0	1087	2726
1	1087	2726
0	1	3
1	1	3

simplify139.0ms

Counts

75 → 75

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	5123	868

prune75.0ms

Filtered

52 candidates to 75 candidates (-44.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	76	6	82

Merged error: 0b

Counts

82 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (*.f64 (log.f64 u1) -1/18))
0.3b	(.f64 (.f64 2 PI.f64) u2)
0.4b	(*.f64 (log.f64 u1) -1/18)
1.0b	(exp.f64 (+.f64 1/2 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 (.f64 2 PI.f64) u2)))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 65

Calls

4 calls:

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

series1.6s

Counts

4 → 12

Calls

4 calls:

597.0ms	(sqrt.f64 (*.f64 (log.f64 u1) -1/18))
201.0ms	(.f64 (.f64 2 PI.f64) u2)
388.0ms	(*.f64 (log.f64 u1) -1/18)
420.0ms	(exp.f64 (+.f64 1/2 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 (.f64 2 PI.f64) u2)))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	1049	2735
1	1049	2735
0	1049	2735
1	1049	2735
0	1	3
1	1	3
0	781	665
1	781	665
0	781	665
1	781	665
0	5507	17
0	630	1948
1	630	1948
0	630	1948
1	630	1948
0	1	3
1	1	3
0	1101	1055
1	1101	1055
0	1101	1055
1	1101	1055
0	5412	19

simplify111.0ms

Counts

77 → 77

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4949	847
1	4949	847

prune65.0ms

Filtered

53 candidates to 77 candidates (-45.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	77	6	83

Merged error: 0b

Counts

83 → 6

regimes118.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	27
1	22	27

end0.0ms

sample1.2s

Algorithm

intervals

Results

801.0ms	8000×	body	80	valid
195.0ms	8000×	pre	80	true

Details

analyze137.0ms

sample42.0ms

simplify359.0ms

prune7.0ms

localize14.0ms

rewrite233.0ms

series1.8s

simplify141.0ms

prune87.0ms

localize14.0ms

rewrite35.0ms

series2.1s

simplify110.0ms

prune106.0ms

localize12.0ms

rewrite24.0ms

series1.8s

simplify139.0ms

prune75.0ms

localize15.0ms

rewrite22.0ms

series1.6s

simplify111.0ms

prune65.0ms

regimes118.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample1.2s

Profiling