Details

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

sample50.0ms

Algorithm

intervals

Results

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

simplify722.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (207.0ms)

Iter	Nodes	Cost
0	5639	26

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

localize40.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.4b	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

rewrite23.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`
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 → 59

Calls

4 calls:

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

series303.0ms

Counts

4 → 12

Calls

4 calls:

120.0ms	(+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
72.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
19.0ms	(.f64 (.f64 2 PI.f64) u2)
93.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

simplify112.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	5982	1090

prune345.0ms

Filtered

50 candidates to 71 candidates (-42.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	64	7	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	7	72

Merged error: 0.0b

Counts

72 → 7

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

31×	`sqrt-prod_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`pow1_binary64`
19×	`associate-r_binary64`
16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`associate-l_binary64`
9×	`pow-prod-down_binary64`
8×	`distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `log-pow_binary64` `unswap-sqr_binary64`
3×	`pow1/2_binary64` `sqrt-pow1_binary64` `*-commutative_binary64`
2×	`neg-mul-1_binary64`
1×	`sqrt-unprod_binary64` `rem-sqrt-square_binary64`

Counts

4 → 97

Calls

4 calls:

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

series278.0ms

Counts

4 → 12

Calls

4 calls:

69.0ms	(sqrt.f64 (neg.f64 (log.f64 u1)))
23.0ms	(.f64 (.f64 2 PI.f64) u2)
98.0ms	(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))
88.0ms	(*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))

simplify86.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4965	1389
1	4965	1389

prune374.0ms

Filtered

65 candidates to 109 candidates (-67.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	111	5	116

Merged error: 0b

Counts

116 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

24×	`sqrt-prod_binary64`
19×	`pow1_binary64`
18×	`associate-r_binary64`
14×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64`
6×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`log-pow_binary64`
2×	`neg-mul-1_binary64` `associate-l_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 81

Calls

4 calls:

12.0ms	(+.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 2) 1/6) (sqrt.f64 (neg.f64 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
2.0ms	(sqrt.f64 (neg.f64 (log.f64 u1)))
5.0ms	(.f64 (.f64 2 PI.f64) u2)
9.0ms	(.f64 (.f64 (sqrt.f64 2) 1/6) (sqrt.f64 (neg.f64 (log.f64 u1))))

series335.0ms

Counts

4 → 12

Calls

4 calls:

144.0ms	(+.f64 1/2 (.f64 (.f64 (.f64 (sqrt.f64 2) 1/6) (sqrt.f64 (neg.f64 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
70.0ms	(sqrt.f64 (neg.f64 (log.f64 u1)))
21.0ms	(.f64 (.f64 2 PI.f64) u2)
99.0ms	(.f64 (.f64 (sqrt.f64 2) 1/6) (sqrt.f64 (neg.f64 (log.f64 u1))))

simplify62.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5083	1507

prune345.0ms

Filtered

62 candidates to 93 candidates (-50.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	93	5	98

Merged error: 0b

Counts

98 → 5

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 2 PI.f64) u2)
0.4b	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
0.5b	(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)

rewrite23.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`
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 → 76

Calls

4 calls:

5.0ms	(.f64 (.f64 2 PI.f64) u2)
6.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))
7.0ms	(pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3)

series341.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(.f64 (.f64 2 PI.f64) u2)
83.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
101.0ms	(cbrt.f64 (pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3))
138.0ms	(pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3)

simplify89.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5267	1083

prune313.0ms

Filtered

57 candidates to 88 candidates (-54.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	88	5	93

Merged error: 0b

Counts

93 → 5

regimes586.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	30
1	31	30

end0.0ms

sample1.4s

Algorithm

intervals

Results

955.0ms	8000×	body	80	valid
194.0ms	8000×	pre	80	true

Details

analyze133.0ms

sample50.0ms

simplify722.0ms

prune19.0ms

localize40.0ms

rewrite23.0ms

series303.0ms

simplify112.0ms

prune345.0ms

localize23.0ms

rewrite37.0ms

series278.0ms

simplify86.0ms

prune374.0ms

localize22.0ms

rewrite31.0ms

series335.0ms

simplify62.0ms

prune345.0ms

localize25.0ms

rewrite23.0ms

series341.0ms

simplify89.0ms

prune313.0ms

regimes586.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.4s

Profiling