Details

analyze1.6s (14.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5045	76
0	3	3
1	3	3

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
25%	74.9%	0.1%	5
31.2%	68.6%	0.1%	6
32.8%	67.1%	0.1%	7
34.3%	65.5%	0.1%	8
38.2%	61.2%	0.5%	9
39.6%	53%	7.4%	10
40.3%	52.4%	7.4%	11
41.6%	49.6%	8.8%	12
42%	39.9%	18.1%	13
42.3%	39.6%	18.2%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample46.0ms (0.4%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
8.0ms	100×	body	128	invalid
3.0ms	65×	body	128	nan

Compiler

Compiled 31 to 28 computations (9.7% saved)

simplify168.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (157.0ms)

Iter	Nodes	Cost
0	5019	19

prune7.0ms (0.1%)

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

Error

1.1b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize18.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 a (pow.f64 k m))
1.1b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))

rewrite89.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

1.1b

Rules

17×	`add-exp-log_binary64_1480`
12×	`add-sqr-sqrt_binary64_1464`
9×	`add-cbrt-cube_binary64_1478`
7×	`add-cube-cbrt_binary64_1477` `-un-lft-identity_binary64_1442` `associate-r*_binary64_1382`
6×	`prod-exp_binary64_1491`
4×	`div-exp_binary64_1493` `unpow-prod-down_binary64_1521`
3×	`times-frac_binary64_1448` `associate-/r_binary64_1386` `unswap-sqr_binary64_1410` `associate-l*_binary64_1383`
2×	`pow1_binary64_1503` `pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `add-log-exp_binary64_1481` `cbrt-undiv_binary64_1476` `cbrt-unprod_binary64_1475` `associate-/r/_binary64_1388` `sqr-pow_binary64_1414`
1×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439` `flip3-+_binary64_1445` `flip-+_binary64_1416` `associate-/l_binary64_1387` `-commutative_binary64_1373`

Counts

2 → 50

Calls

2 calls:

13.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
5.0ms	(*.f64 a (pow.f64 k m))

Compiler

Compiled 1076 to 567 computations (47.3% saved)

series676.0ms (6.1%)

Error

1.1b

Counts

2 → 23

Calls

2 calls:

382.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
254.0ms	(*.f64 a (pow.f64 k m))

Compiler

Compiled 1196 to 900 computations (24.7% saved)

simplify74.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4958	1216
1	4958	1216

prune123.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	70	4	74

Error

1.1b

Counts

74 → 4

Compiler

Compiled 1360 to 713 computations (47.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
0.0b	(/.f64 (.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m)) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
12.6b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
12.6b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite268.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

1.1b

Rules

27×	`add-exp-log_binary64_1480` `add-sqr-sqrt_binary64_1464`
25×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
24×	`sqrt-prod_binary64_1458` `times-frac_binary64_1448`
15×	`add-cbrt-cube_binary64_1478`
12×	`associate-/r*_binary64_1386`
11×	`div-exp_binary64_1493`
8×	`sqrt-div_binary64_1459`
6×	`pow1_binary64_1503` `prod-exp_binary64_1491`
5×	`cbrt-undiv_binary64_1476`
4×	`add-log-exp_binary64_1481` `flip3-+_binary64_1445` `flip-+_binary64_1416` `associate-/r/_binary64_1388` `associate-/l*_binary64_1387`
2×	`pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `cbrt-unprod_binary64_1475` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439`
1×	`associate-*l/_binary64_1385` `associate-/l/_binary64_1389`

Counts

4 → 107

Calls

4 calls:

16.0ms	(/.f64 (.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m)) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
6.0ms	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 3758 to 2583 computations (31.3% saved)

series794.0ms (7.1%)

Error

1.1b

Counts

4 → 43

Calls

4 calls:

427.0ms	(/.f64 (.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (pow.f64 k m)) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
185.0ms	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
62.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
41.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 2354 to 1761 computations (25.2% saved)

simplify135.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4981	3225
1	4981	3225

prune260.0ms (2.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	150	4	154

Error

1.1b

Counts

154 → 4

Compiler

Compiled 4042 to 2638 computations (34.7% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
0.0b	(/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
12.6b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
12.6b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite760.0ms (6.8%)

Algorithm

1×	rewrite-expression-head

Error

1.1b

Rules

146×	`add-sqr-sqrt_binary64_1464`
134×	`times-frac_binary64_1448`
76×	`add-cube-cbrt_binary64_1477` `sqrt-prod_binary64_1458` `*-un-lft-identity_binary64_1442`
48×	`associate-r_binary64_1382`
45×	`unpow-prod-down_binary64_1521`
33×	`add-exp-log_binary64_1480`
24×	`associate-l_binary64_1383`
21×	`unswap-sqr_binary64_1410`
19×	`sqr-pow_binary64_1414`
18×	`add-cbrt-cube_binary64_1478`
13×	`div-exp_binary64_1493`
10×	`sqrt-div_binary64_1459`
8×	`pow1_binary64_1503` `prod-exp_binary64_1491`
7×	`associate-/l*_binary64_1387`
6×	`associate-/r/_binary64_1388` `associate-/r*_binary64_1386`
5×	`flip3-+_binary64_1445` `flip-+_binary64_1416` `cbrt-undiv_binary64_1476`
4×	`add-log-exp_binary64_1481` `cbrt-unprod_binary64_1475`
3×	`pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `div-inv_binary64_1439`
2×	`pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455`
1×	`frac-2neg_binary64_1453` `clear-num_binary64_1441` `pow-prod-down_binary64_1513` `frac-times_binary64_1452` `associate-l/_binary64_1385` `associate-r/_binary64_1384` `*-commutative_binary64_1373`

Counts

4 → 218

Calls

4 calls:

50.0ms	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
15.0ms	(/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
5.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
5.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 8581 to 5725 computations (33.3% saved)

series752.0ms (6.8%)

Error

1.1b

Counts

4 → 42

Calls

4 calls:

409.0ms	(.f64 (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10))))) (/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
175.0ms	(/.f64 (pow.f64 k m) (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
52.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
42.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 2486 to 1904 computations (23.4% saved)

simplify217.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4954	8304
1	4954	8304

prune649.0ms (5.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	259	1	260
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	260	4	264

Error

0.0b

Counts

264 → 4

Compiler

Compiled 8531 to 5502 computations (35.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.5b	(/.f64 a (.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))) (cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
13.0b	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
13.0b	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
13.0b	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite259.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`cbrt-div_binary64_1474`
9×	`add-exp-log_binary64_1480` `add-cube-cbrt_binary64_1477` `flip3-+_binary64_1445` `flip-+_binary64_1416` `cbrt-prod_binary64_1473` `add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
8×	`associate-/r/_binary64_1388`
7×	`add-cbrt-cube_binary64_1478`
4×	`pow1_binary64_1503` `add-log-exp_binary64_1481` `frac-times_binary64_1452`
3×	`pow1/3_binary64_1524` `times-frac_binary64_1448` `associate-/l*_binary64_1387`
2×	`div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `associate-l/_binary64_1385` `associate-r/_binary64_1384`
1×	`prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439` `associate-/r*_binary64_1386`

Counts

4 → 68

Calls

4 calls:

20.0ms	(/.f64 a (.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))) (cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
3.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
3.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
3.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 3069 to 2200 computations (28.3% saved)

series977.0ms (8.8%)

Error

0.0b

Counts

4 → 43

Calls

4 calls:

597.0ms	(/.f64 a (.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))) (cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
112.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
93.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
89.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 3475 to 2773 computations (20.2% saved)

simplify116.0ms (1%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5310	2499

prune293.0ms (2.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	111	4	115

Error

0.0b

Counts

115 → 4

Compiler

Compiled 4236 to 2972 computations (29.8% saved)

regimes259.0ms (2.3%)

Accuracy

Total 0.1b remaining (54%)

Threshold costs 0.1b (54%)

Compiler

Compiled 1564 to 1226 computations (21.6% saved)

bsearch35.0ms (0.3%)

Steps

Iters	Range		Point
7	1.9572877286542165e+43	6.4132878534845635e+44	6.06190966441004e+44

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	42
1	30	42

end0.0ms (0%)

sample2.5s (22.2%)

Algorithm

1×

intervals

Results

705.0ms	8000×	body	128	valid
377.0ms	3206×	body	128	invalid
136.0ms	1965×	body	128	nan

Compiler

Compiled 426 to 332 computations (22.1% saved)

Details

analyze1.6s (14.6%)

sample46.0ms (0.4%)

simplify168.0ms (1.5%)

prune7.0ms (0.1%)

localize18.0ms (0.2%)

rewrite89.0ms (0.8%)

series676.0ms (6.1%)

simplify74.0ms (0.7%)

prune123.0ms (1.1%)

localize11.0ms (0.1%)

rewrite268.0ms (2.4%)

series794.0ms (7.1%)

simplify135.0ms (1.2%)

prune260.0ms (2.3%)

localize23.0ms (0.2%)

rewrite760.0ms (6.8%)

series752.0ms (6.8%)

simplify217.0ms (1.9%)

prune649.0ms (5.8%)

localize13.0ms (0.1%)

rewrite259.0ms (2.3%)

series977.0ms (8.8%)

simplify116.0ms (1%)

prune293.0ms (2.6%)

regimes259.0ms (2.3%)

bsearch35.0ms (0.3%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.5s (22.2%)

Profiling