Details

analyze319.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
68.7%	31.2%	0.1%	7
68.7%	31.2%	0.1%	8
71.8%	28.1%	0.1%	9
71.8%	28.1%	0.1%	10
73.4%	26.5%	0.1%	11
73.4%	26.5%	0.1%	12
74.1%	25.8%	0.1%	13
74.1%	25.8%	0.1%	14

sample31.0ms

Algorithm

intervals

Results

9.0ms	193×	body	80	valid
6.0ms	23×	body	2560	valid
3.0ms	15×	body	1280	valid
3.0ms	9×	body	5120	valid
2.0ms	10×	body	640	valid
0.0ms	3×	body	320	valid
0.0ms	3×	body	160	valid

simplify478.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	23	23
1	23	23

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 37.9b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.1b	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.5b	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
29.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

8×	`pow1_binary64_3354` `add-log-exp_binary64_3377`
7×	`*-un-lft-identity_binary64_3412`
6×	`add-sqr-sqrt_binary64_3397`
5×	`add-cube-cbrt_binary64_3383`
4×	`sqrt-prod_binary64_3391` `sqrt-div_binary64_3392` `add-exp-log_binary64_3376` `add-cbrt-cube_binary64_3384` `flip-+_binary64_3437` `flip3-+_binary64_3410`
3×	`sqrt-pow1_binary64_3393`
2×	`pow1/2_binary64_3344` `sum-log_binary64_3322` `+-commutative_binary64_3479` `associate-*r/_binary64_3473`
1×	`distribute-lft-out_binary64_3456` `pow-prod-down_binary64_3335` `rem-sqrt-square_binary64_3400`

Counts

4 → 51

Calls

4 calls:

6.0ms	(+.f64 (.f64 re re) (.f64 im im))
10.0ms	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
12.0ms	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
6.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series814.0ms

Counts

4 → 12

Calls

4 calls:

122.0ms	(+.f64 (.f64 re re) (.f64 im im))
304.0ms	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
190.0ms	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
199.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	1	3
1	1	3
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	1	3
1	1	3
0	153	2752
1	153	2752
0	4590	2544
1	4590	2544
0	153	2752
1	153	2752
0	4590	2544
1	4590	2544
0	1	3
1	1	3
0	95	2520
1	95	2520
0	18	2250
1	18	2250
0	95	2520
1	95	2520
0	18	2250
1	18	2250
0	1	3
1	1	3

simplify120.0ms

Counts

63 → 63

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	5122	940

prune74.0ms

Filtered

48 candidates to 63 candidates (-31.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	52	11	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	11	64

Merged error: 32.3b

Counts

64 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
0.5b	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
29.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
29.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_3412`
8×	`add-log-exp_binary64_3377` `add-sqr-sqrt_binary64_3397`
6×	`sqrt-prod_binary64_3391` `add-cube-cbrt_binary64_3383` `pow1_binary64_3354`
4×	`sqrt-div_binary64_3392` `add-exp-log_binary64_3376` `add-cbrt-cube_binary64_3384` `flip-+_binary64_3437` `flip3-+_binary64_3410`
2×	`pow1/2_binary64_3344` `distribute-lft-out_binary64_3456` `sum-log_binary64_3322` `+-commutative_binary64_3479` `rem-sqrt-square_binary64_3400` `sqrt-pow1_binary64_3393`

Counts

4 → 54

Calls

4 calls:

8.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
7.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series786.0ms

Counts

4 → 12

Calls

4 calls:

194.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
193.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
200.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
198.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	1	3
1	1	3
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	1	3
1	1	3
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	1	3
1	1	3
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	1	3
1	1	3

simplify105.0ms

Counts

66 → 66

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4941	982
1	4941	982

prune67.0ms

Filtered

48 candidates to 66 candidates (-37.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	66	11	77

Merged error: 32.3b

Counts

77 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
0.4b	(.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))))
0.5b	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
29.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_3397`
18×	`sqrt-prod_binary64_3391`
16×	`*-un-lft-identity_binary64_3412`
10×	`add-cube-cbrt_binary64_3383` `pow1_binary64_3354`
7×	`associate-r_binary64_3471`
6×	`sqrt-div_binary64_3392` `add-exp-log_binary64_3376` `add-cbrt-cube_binary64_3384` `associate-l_binary64_3472` `add-log-exp_binary64_3377`
4×	`pow1/2_binary64_3344` `flip-+_binary64_3437` `unswap-sqr_binary64_3440` `sqrt-pow1_binary64_3393` `flip3-+_binary64_3410`
3×	`distribute-lft-out_binary64_3456` `pow-prod-down_binary64_3335`
2×	`rem-sqrt-square_binary64_3400` `associate-*r/_binary64_3473`
1×	`prod-exp_binary64_3359` `cbrt-unprod_binary64_3381` `*-commutative_binary64_3480` `sum-log_binary64_3322` `+-commutative_binary64_3479` `sqrt-unprod_binary64_3395`

Counts

4 → 76

Calls

4 calls:

8.0ms	(sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
13.0ms	(.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))))
7.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series1.0s

Counts

4 → 12

Calls

4 calls:

287.0ms	(sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
361.0ms	(.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))))
191.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
201.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	1	3
1	1	3
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	1	3
1	1	3
0	148	2777
1	148	2777
0	4690	2559
1	4690	2559
0	148	2777
1	148	2777
0	4690	2559
1	4690	2559
0	1	3
1	1	3
0	138	2702
1	138	2702
0	4767	2472
1	4767	2472
0	138	2702
1	138	2702
0	4767	2472
1	4767	2472
0	1	3
1	1	3

simplify159.0ms

Counts

88 → 88

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	5028	1677

prune70.0ms

Filtered

60 candidates to 88 candidates (-46.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	88	11	99

Merged error: 32.3b

Counts

99 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sqrt.f64 (.f64 2 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) 3)
0.5b	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
15.5b	(cbrt.f64 (pow.f64 (sqrt.f64 (.f64 2 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) 3))
29.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

14×	`cbrt-prod_binary64_3379`
13×	`*-un-lft-identity_binary64_3412`
12×	`add-sqr-sqrt_binary64_3397`
11×	`add-cube-cbrt_binary64_3383`
9×	`pow1_binary64_3354`
8×	`cube-prod_binary64_3385` `unpow-prod-down_binary64_3343`
7×	`sqrt-prod_binary64_3391`
6×	`sqrt-div_binary64_3392` `add-log-exp_binary64_3377`
5×	`add-exp-log_binary64_3376` `add-cbrt-cube_binary64_3384`
4×	`pow-pow_binary64_3336` `flip-+_binary64_3437` `cube-div_binary64_3386` `flip3-+_binary64_3410` `associate-*r/_binary64_3473`
3×	`pow-unpow_binary64_3341` `sqrt-pow1_binary64_3393`
2×	`pow1/2_binary64_3344` `cube-mult_binary64_3387` `unpow3_binary64_3352` `cbrt-div_binary64_3380` `sqr-pow_binary64_3444`
1×	`pow-to-exp_binary64_3333` `rem-cube-cbrt_binary64_3388` `rem-cbrt-cube_binary64_3389` `pow-exp_binary64_3332` `distribute-lft-out_binary64_3456` `sum-log_binary64_3322` `+-commutative_binary64_3479` `sqrt-pow2_binary64_3394` `pow1/3_binary64_3346` `pow-prod-down_binary64_3335` `rem-sqrt-square_binary64_3400`

Counts

4 → 83

Calls

4 calls:

14.0ms	(pow.f64 (sqrt.f64 (.f64 2 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) 3)
8.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
4.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (.f64 2 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) 3))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series966.0ms

Counts

4 → 12

Calls

4 calls:

269.0ms	(pow.f64 (sqrt.f64 (.f64 2 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) 3)
192.0ms	(+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
306.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (.f64 2 (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) 3))
199.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	117	2598
1	117	2598
0	23	1962
1	23	1962
0	1	3
1	1	3
0	74	2829
1	74	2829
0	4899	2589
1	4899	2589
0	74	2829
1	74	2829
0	4899	2589
1	4899	2589
0	1	3
1	1	3
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	117	2658
1	117	2658
0	25	1989
1	25	1989
0	1	3
1	1	3
0	169	2811
1	169	2811
0	5310	2727
0	169	2811
1	169	2811
0	5310	2727
0	1	3
1	1	3

simplify129.0ms

Counts

95 → 95

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4952	1986
1	4952	1986

prune60.0ms

Filtered

54 candidates to 95 candidates (-75.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	90	5	95
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	92	14	106

Merged error: 32.3b

Counts

106 → 14

regimes102.0ms

Accuracy

91.8% (0.6b remaining)

Error of 31.4b against oracle of 30.8b and baseline of 38.5b

bsearch51.0ms

Steps

Iters	Range		Point
10	4.692736937831761e+150	7.626780741738568e+162	1.3397766310891574e+154
9	-1.4465148111392257e-296	-1.5107238005318578e-301	-1.525819856130462e-301

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	50	98
1	50	98

end0.0ms

sample915.0ms

Algorithm

intervals

Results

279.0ms	6031×	body	80	valid
201.0ms	735×	body	2560	valid
120.0ms	527×	body	1280	valid
104.0ms	286×	body	5120	valid
43.0ms	229×	body	640	valid
16.0ms	125×	body	320	valid
6.0ms	67×	body	160	valid

Details

analyze319.0ms

sample31.0ms

simplify478.0ms

prune3.0ms

localize10.0ms

rewrite35.0ms

series814.0ms

simplify120.0ms

prune74.0ms

localize15.0ms

rewrite27.0ms

series786.0ms

simplify105.0ms

prune67.0ms

localize11.0ms

rewrite36.0ms

series1.0s

simplify159.0ms

prune70.0ms

localize13.0ms

rewrite34.0ms

series966.0ms

simplify129.0ms

prune60.0ms

regimes102.0ms

bsearch51.0ms

simplify7.0ms

end0.0ms

sample915.0ms

Profiling