Details

analyze679.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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
31.2%	68.7%	0.1%	5
31.2%	59.3%	9.5%	6
34.3%	54.6%	11%	7
34.3%	49.2%	16.5%	8
35.9%	46.4%	17.7%	9
35.9%	42.1%	22%	10
36.7%	40.6%	22.7%	11
36.7%	39.1%	24.2%	12
37.1%	38.3%	24.7%	13
37.1%	36.7%	26.2%	14

sample332.0ms

Algorithm

intervals

Results

230.0ms	170×	body	5120	exit
41.0ms	92×	body	1280	nan
16.0ms	57×	body	640	nan
16.0ms	256×	body	80	valid
5.0ms	27×	body	320	nan
4.0ms	6×	body	80	nan
2.0ms	1×	body	5120	nan
1.0ms	9×	body	80	overflowed
1.0ms	6×	body	160	nan
0.0ms	4×	body	80	invalid

simplify614.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (144.0ms)

Iter	Nodes	Cost
0	5962	11

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 0.2b

Counts

2 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.2b	(pow.f64 l (exp.f64 w))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_1672`
7×	`add-cube-cbrt_binary64_1658` `unpow-prod-down_binary64_1618` `-un-lft-identity_binary64_1687` `associate-r*_binary64_1746`
5×	`add-exp-log_binary64_1651`
4×	`add-cbrt-cube_binary64_1659`
3×	`sqr-pow_binary64_1719` `prod-exp_binary64_1634` `unswap-sqr_binary64_1715` `pow1_binary64_1629` `pow-unpow_binary64_1616` `associate-l_binary64_1747`
2×	`add-log-exp_binary64_1652` `associate-*l/_binary64_1749` `pow-exp_binary64_1607` `pow-to-exp_binary64_1608`
1×	`exp-neg_binary64_1643` `neg-sub0_binary64_1693` `*-commutative_binary64_1755` `cbrt-unprod_binary64_1656` `pow-pow_binary64_1611` `exp-diff_binary64_1644`

Counts

2 → 44

Calls

2 calls:

10.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
3.0ms	(pow.f64 l (exp.f64 w))

series387.0ms

Counts

2 → 6

Calls

2 calls:

248.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
139.0ms	(pow.f64 l (exp.f64 w))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	98	2444
1	98	2444
0	15	2214
1	15	2214
0	98	2444
1	98	2444
0	15	2214
1	15	2214
0	1	3
1	1	3
0	126	2612
1	126	2612
0	5193	2380
0	126	2612
1	126	2612
0	5193	2380
0	1	3
1	1	3

simplify101.0ms

Counts

50 → 50

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4924	578
1	4924	578

prune35.0ms

Filtered

33 candidates to 50 candidates (-51.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	45	5	50
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	47	5	52

Merged error: 0.2b

Counts

52 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (exp.f64 (neg.f64 w)))
0.0b	(*.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w))))
0.0b	(.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
0.2b	(pow.f64 l (exp.f64 w))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_1672`
20×	`add-exp-log_binary64_1651`
16×	`add-cube-cbrt_binary64_1658` `sqrt-div_binary64_1667` `*-un-lft-identity_binary64_1687`
13×	`associate-l_binary64_1747`
12×	`sqrt-prod_binary64_1666`
11×	`add-cbrt-cube_binary64_1659` `sqrt-pow1_binary64_1668`
10×	`prod-exp_binary64_1634` `associate-*r/_binary64_1748` `exp-prod_binary64_1637`
8×	`exp-neg_binary64_1643` `unpow-prod-down_binary64_1618` `pow1_binary64_1629` `neg-sub0_binary64_1693` `exp-diff_binary64_1644`
7×	`associate-r_binary64_1746`
6×	`unswap-sqr_binary64_1715`
4×	`sqr-pow_binary64_1719` `add-log-exp_binary64_1652` `frac-times_binary64_1679` `cbrt-unprod_binary64_1656`
3×	`distribute-lft-neg-in_binary64_1721` `distribute-rgt-neg-in_binary64_1722` `pow-unpow_binary64_1616` `pow-exp_binary64_1607` `pow-to-exp_binary64_1608`
2×	`associate-l/_binary64_1749` `-commutative_binary64_1755`
1×	`rem-sqrt-square_binary64_1675` `pow1/2_binary64_1619` `pow-prod-down_binary64_1610` `neg-mul-1_binary64_1694` `pow-pow_binary64_1611`

Counts

4 → 105

Calls

4 calls:

4.0ms	(sqrt.f64 (exp.f64 (neg.f64 w)))
11.0ms	(*.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w))))
17.0ms	(.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
3.0ms	(pow.f64 l (exp.f64 w))

series942.0ms

Counts

4 → 12

Calls

4 calls:

212.0ms	(sqrt.f64 (exp.f64 (neg.f64 w)))
354.0ms	(*.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w))))
239.0ms	(.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
136.0ms	(pow.f64 l (exp.f64 w))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	98	2444
1	98	2444
0	15	2214
1	15	2214
0	98	2444
1	98	2444
0	15	2214
1	15	2214
0	1	3
1	1	3
0	154	2787
1	154	2787
0	4885	2521
1	4885	2521
0	154	2787
1	154	2787
0	4885	2521
1	4885	2521
0	1	3
1	1	3
0	141	2643
1	141	2643
0	4872	2480
1	4872	2480
0	141	2643
1	141	2643
0	4872	2480
1	4872	2480
0	1	3
1	1	3
0	152	1482
1	152	1482
0	5108	1320
0	152	1482
1	152	1482
0	5108	1320
0	1	3
1	1	3

simplify208.0ms

Counts

117 → 117

Iterations

Useful iterations: 0 (180.0ms)

Iter	Nodes	Cost
0	5019	1359

prune70.0ms

Filtered

75 candidates to 117 candidates (-56.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	116	6	122

Merged error: 0.2b

Counts

122 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (.f64 (pow.f64 l (exp.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 w) -1/2) 3))))
0.0b	(cbrt.f64 (pow.f64 (pow.f64 (exp.f64 w) -1/2) 3))
0.0b	(pow.f64 (pow.f64 (exp.f64 w) -1/2) 3)
0.2b	(pow.f64 l (exp.f64 w))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

29×	`unpow-prod-down_binary64_1618`
20×	`cbrt-prod_binary64_1654`
18×	`add-sqr-sqrt_binary64_1672` `add-cube-cbrt_binary64_1658` `*-un-lft-identity_binary64_1687`
16×	`add-exp-log_binary64_1651`
14×	`cube-prod_binary64_1660`
9×	`add-cbrt-cube_binary64_1659`
7×	`sqr-pow_binary64_1719` `prod-exp_binary64_1634` `pow1_binary64_1629`
6×	`pow-unpow_binary64_1616` `pow-exp_binary64_1607` `associate-l_binary64_1747`
4×	`add-log-exp_binary64_1652` `pow-to-exp_binary64_1608`
3×	`sqrt-prod_binary64_1666` `cbrt-unprod_binary64_1656`
2×	`associate-*l/_binary64_1749` `sqrt-div_binary64_1667` `unpow3_binary64_1627` `pow-pow_binary64_1611` `cube-mult_binary64_1662`
1×	`rem-cbrt-cube_binary64_1664` `exp-neg_binary64_1643` `neg-sub0_binary64_1693` `pow-prod-down_binary64_1610` `-commutative_binary64_1755` `rem-cube-cbrt_binary64_1663` `pow1/3_binary64_1621` `associate-r*_binary64_1746` `exp-diff_binary64_1644`

Counts

4 → 103

Calls

4 calls:

17.0ms	(.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (.f64 (pow.f64 l (exp.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 w) -1/2) 3))))
5.0ms	(cbrt.f64 (pow.f64 (pow.f64 (exp.f64 w) -1/2) 3))
5.0ms	(pow.f64 (pow.f64 (exp.f64 w) -1/2) 3)
3.0ms	(pow.f64 l (exp.f64 w))

series775.0ms

Counts

4 → 12

Calls

4 calls:

220.0ms	(.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (.f64 (pow.f64 l (exp.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 w) -1/2) 3))))
217.0ms	(cbrt.f64 (pow.f64 (pow.f64 (exp.f64 w) -1/2) 3))
198.0ms	(pow.f64 (pow.f64 (exp.f64 w) -1/2) 3)
139.0ms	(pow.f64 l (exp.f64 w))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	98	2444
1	98	2444
0	15	2214
1	15	2214
0	98	2444
1	98	2444
0	15	2214
1	15	2214
0	1	3
1	1	3
0	269	1852
1	269	1852
0	6754	1645
0	269	1852
1	269	1852
0	6754	1645
0	1	3
1	1	3
0	44	1986
1	44	1986
0	5179	1229
0	44	1986
1	44	1986
0	5179	1229
0	1	3
1	1	3
0	168	2832
1	168	2832
0	6128	2717
0	168	2832
1	168	2832
0	6128	2717
0	1	3
1	1	3

simplify111.0ms

Counts

115 → 115

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4915	1453
1	4915	1453

prune67.0ms

Filtered

62 candidates to 115 candidates (-85.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	114	7	121

Merged error: 0.2b

Counts

121 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
0.0b	(.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (pow.f64 l (exp.f64 w)) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 w) -1/2)) 3)))
0.0b	(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 w) -1/2)) 3)
0.2b	(pow.f64 l (exp.f64 w))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

33×	`sqrt-prod_binary64_1666`
29×	`add-exp-log_binary64_1651`
25×	`sqrt-pow1_binary64_1668`
23×	`add-sqr-sqrt_binary64_1672`
21×	`add-cube-cbrt_binary64_1658` `*-un-lft-identity_binary64_1687`
19×	`prod-exp_binary64_1634` `unpow-prod-down_binary64_1618`
10×	`cube-prod_binary64_1660` `exp-prod_binary64_1637` `pow1_binary64_1629` `add-cbrt-cube_binary64_1659`
9×	`associate-l_binary64_1747`
8×	`sqrt-div_binary64_1667` `pow-exp_binary64_1607` `pow-to-exp_binary64_1608`
6×	`pow-unpow_binary64_1616`
4×	`sqr-pow_binary64_1719` `add-log-exp_binary64_1652` `pow-pow_binary64_1611`
3×	`distribute-lft-neg-in_binary64_1721` `pow1/2_binary64_1619` `distribute-rgt-neg-in_binary64_1722` `cbrt-unprod_binary64_1656`
2×	`rem-sqrt-square_binary64_1675` `exp-neg_binary64_1643` `neg-sub0_binary64_1693` `associate-*l/_binary64_1749` `exp-diff_binary64_1644`
1×	`pow-prod-down_binary64_1610` `-commutative_binary64_1755` `unpow3_binary64_1627` `neg-mul-1_binary64_1694` `sqrt-pow2_binary64_1669` `rem-cube-cbrt_binary64_1663` `associate-r*_binary64_1746` `cube-mult_binary64_1662`

Counts

4 → 121

Calls

4 calls:

5.0ms	(sqrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
20.0ms	(.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (pow.f64 l (exp.f64 w)) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 w) -1/2)) 3)))
6.0ms	(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 w) -1/2)) 3)
3.0ms	(pow.f64 l (exp.f64 w))

series759.0ms

Counts

4 → 12

Calls

4 calls:

216.0ms	(sqrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
237.0ms	(.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (pow.f64 l (exp.f64 w)) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 w) -1/2)) 3)))
165.0ms	(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 w) -1/2)) 3)
140.0ms	(pow.f64 l (exp.f64 w))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	98	2444
1	98	2444
0	15	2214
1	15	2214
0	98	2444
1	98	2444
0	15	2214
1	15	2214
0	1	3
1	1	3
0	308	1932
1	308	1932
0	5007	1811
0	308	1932
1	308	1932
0	5007	1811
0	1	3
1	1	3
0	228	2850
1	228	2850
0	5421	2796
0	228	2850
1	228	2850
0	5421	2796
0	1	3
1	1	3
0	203	1606
1	203	1606
0	5848	1479
0	203	1606
1	203	1606
0	5848	1479
0	1	3
1	1	3

simplify139.0ms

Counts

133 → 133

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4883	1991
1	4883	1991

prune81.0ms

Filtered

72 candidates to 133 candidates (-84.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	130	3	133
Fresh	1	4	5
Picked	1	0	1
Done	1	0	1
Total	133	7	140

Merged error: 0.1b

Counts

140 → 7

regimes42.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	32	54
1	32	54

end0.0ms

sample8.5s

Algorithm

intervals

Results

5.8s	4700×	body	5120	exit
1.0s	2422×	body	1280	nan
542.0ms	2040×	body	640	nan
478.0ms	8000×	body	80	valid
180.0ms	1060×	body	320	nan
30.0ms	303×	body	160	nan
9.0ms	224×	body	80	nan
9.0ms	150×	body	80	overflowed
8.0ms	141×	body	80	invalid
4.0ms	2×	body	5120	nan
1.0ms	1×	body	2560	nan

Details

analyze679.0ms

sample332.0ms

simplify614.0ms

prune3.0ms

localize7.0ms

rewrite14.0ms

series387.0ms

simplify101.0ms

prune35.0ms

localize9.0ms

rewrite40.0ms

series942.0ms

simplify208.0ms

prune70.0ms

localize13.0ms

rewrite34.0ms

series775.0ms

simplify111.0ms

prune67.0ms

localize15.0ms

rewrite38.0ms

series759.0ms

simplify139.0ms

prune81.0ms

regimes42.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample8.5s

Profiling