Details

analyze1.6s (28.5%)

Algorithm

1×

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 19 to 13 computations (31.6% saved)

sample54.0ms (0.9%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
11.0ms	110×	body	128	invalid
4.0ms	78×	body	128	nan

Compiler

Compiled 40 to 28 computations (30% saved)

simplify111.0ms (2%)

Algorithm

1×	egg-herbie

Rules

614×	`*-commutative_binary64`
613×	`associate-l_binary64`
526×	`sqr-pow_binary64`
394×	`associate-*r/_binary64`
380×	`cube-prod_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	27	19
2	50	19
3	94	19
4	214	19
5	580	19
6	1763	19
7	2455	19
8	2523	19
9	2681	19
10	2897	19
11	3155	19
12	3645	19
13	4486	19
14	5008	19

prune3.0ms (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

Error

3.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	3.1b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))

Compiler

Compiled 48 to 33 computations (31.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite56.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

3.1b

Rules

14×	`add-exp-log_binary64`
9×	`add-cbrt-cube_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 48

Calls

2 calls:

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

Compiler

Compiled 968 to 547 computations (43.5% saved)

series81.0ms (1.4%)

Error

3.1b

Counts

2 → 22

Calls

2 calls:

60.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
8.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 1235 to 828 computations (33% saved)

simplify79.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

761×	`associate-/l*_binary64`
392×	`distribute-rgt-in_binary64`
377×	`distribute-lft-in_binary64`
217×	`cancel-sign-sub-inv_binary64`
202×	`associate-/r/_binary64`

Counts

70 → 47

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	1514
1	449	1328
2	1598	1226
3	4982	1226
4	4970	1226

prune31.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	5	48

Error

3.1b

Counts

48 → 5

Alt Table

Status	Error	Program
	3.2b	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))) (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))))) (pow.f64 k m)) (cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
✓	3.1b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
	11.6b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k 10)))
	3.2b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) (.f64 (+.f64 k 10) (cbrt.f64 k)))))
▶	3.1b	(/.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)))))

Compiler

Compiled 774 to 441 computations (43% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
0.1b	(/.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)))))
15.7b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
15.7b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite153.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

3.1b

Rules

27×	`add-sqr-sqrt_binary64`
27×	`add-exp-log_binary64`
25×	`*-un-lft-identity_binary64`
25×	`add-cube-cbrt_binary64`
24×	`times-frac_binary64`

Counts

4 → 107

Calls

4 calls:

10.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)))))
7.0ms	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
2.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
2.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 3396 to 2334 computations (31.3% saved)

series169.0ms (3%)

Error

3.1b

Counts

4 → 51

Calls

4 calls:

62.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)))))
36.0ms	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
12.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
10.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 2924 to 2017 computations (31% saved)

simplify164.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

544×	`associate-/l/_binary64`
375×	`cancel-sign-sub-inv_binary64`
313×	`associate-/r/_binary64`
177×	`distribute-rgt-in_binary64`
166×	`distribute-lft-in_binary64`

Counts

158 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	4285
1	644	3547
2	2112	3409
3	4789	3409
4	4993	3409
5	4953	3409

prune99.0ms (1.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	102	0	102
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	102	5	107

Error

3.1b

Counts

107 → 5

Alt Table

Status	Error	Program
▶	3.2b	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))) (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))))) (pow.f64 k m)) (cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
✓	3.1b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
	11.6b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k 10)))
	3.2b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) (.f64 (+.f64 k 10) (cbrt.f64 k)))))
✓	3.1b	(/.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)))))

Compiler

Compiled 2227 to 1420 computations (36.2% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.5b	(/.f64 a (.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))) (cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
16.2b	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
16.2b	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
16.2b	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite119.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

3.1b

Rules

18×	`cbrt-div_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`cbrt-prod_binary64`
9×	`flip-+_binary64`

Counts

4 → 68

Calls

4 calls:

7.0ms	(/.f64 a (.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))) (cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))))
4.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
2.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
2.0ms	(cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Compiler

Compiled 3038 to 2176 computations (28.4% saved)

series173.0ms (3.1%)

Error

3.1b

Counts

4 → 51

Calls

4 calls:

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

Compiler

Compiled 3361 to 2560 computations (23.8% saved)

simplify191.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

385×	`associate-l_binary64`
367×	`associate-r_binary64`
272×	`distribute-rgt-neg-in_binary64`
245×	`distribute-lft-neg-in_binary64`
236×	`distribute-rgt-in_binary64`

Counts

119 → 84

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	158	3104
1	402	2849
2	1058	2810
3	3241	2801
4	4872	2630
5	4918	2630

prune84.0ms (1.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	84	5	89

Error

3.1b

Counts

89 → 5

Alt Table

Status	Error	Program
✓	3.2b	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))) (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))))) (pow.f64 k m)) (cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
✓	3.1b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
	11.6b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k 10)))
▶	3.2b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) (.f64 (+.f64 k 10) (cbrt.f64 k)))))
✓	3.1b	(/.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)))))

Compiler

Compiled 2432 to 1708 computations (29.8% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 k)
0.6b	(cbrt.f64 k)
0.6b	(cbrt.f64 k)
3.1b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) (.f64 (+.f64 k 10) (cbrt.f64 k)))))

rewrite84.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

3.1b

Rules

14×	`add-exp-log_binary64`
9×	`cbrt-prod_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`

Counts

4 → 58

Calls

4 calls:

7.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) (.f64 (+.f64 k 10) (cbrt.f64 k)))))
1.0ms	(cbrt.f64 k)
1.0ms	(cbrt.f64 k)
1.0ms	(cbrt.f64 k)

Compiler

Compiled 1686 to 680 computations (59.7% saved)

series127.0ms (2.2%)

Error

3.1b

Counts

4 → 25

Calls

4 calls:

68.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) (.f64 (+.f64 k 10) (cbrt.f64 k)))))
15.0ms	(cbrt.f64 k)
14.0ms	(cbrt.f64 k)
14.0ms	(cbrt.f64 k)

Compiler

Compiled 1675 to 1119 computations (33.2% saved)

simplify84.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

826×	`associate-/l*_binary64`
241×	`cancel-sign-sub-inv_binary64`
221×	`distribute-rgt-in_binary64`
214×	`associate-/r/_binary64`
207×	`distribute-lft-in_binary64`

Counts

83 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	157	1953
1	420	1344
2	1608	1212
3	4975	1212
4	4970	1212

prune40.0ms (0.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	60	5	65

Error

3.1b

Counts

65 → 5

Alt Table

Status	Error	Program
	3.2b	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))) (cbrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))))) (pow.f64 k m)) (cbrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
	3.1b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
	11.6b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k 10)))
	3.2b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) (.f64 (+.f64 k 10) (cbrt.f64 k)))))
	3.1b	(/.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)))))

Compiler

Compiled 1049 to 549 computations (47.7% saved)

regimes276.0ms (4.9%)

Accuracy

Total 0.0b remaining (1%)

Threshold costs 0.0b (1%)

Compiler

Compiled 6328 to 4450 computations (29.7% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	18	19
2	17	19

end1.0ms (0%)

Compiler: Compiled 16 to 11 computations (31.3% saved)

sample1.8s (32%)

Algorithm

1×

intervals

Results

655.0ms	8000×	body	128	valid
420.0ms	3201×	body	128	invalid
115.0ms	2017×	body	128	nan

Compiler

Compiled 152 to 107 computations (29.6% saved)

Details

analyze1.6s (28.5%)

sample54.0ms (0.9%)

simplify111.0ms (2%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite56.0ms (1%)

series81.0ms (1.4%)

simplify79.0ms (1.4%)

prune31.0ms (0.5%)

localize14.0ms (0.2%)

rewrite153.0ms (2.7%)

series169.0ms (3%)

simplify164.0ms (2.9%)

prune99.0ms (1.8%)

localize13.0ms (0.2%)

rewrite119.0ms (2.1%)

series173.0ms (3.1%)

simplify191.0ms (3.4%)

prune84.0ms (1.5%)

localize13.0ms (0.2%)

rewrite84.0ms (1.5%)

series127.0ms (2.2%)

simplify84.0ms (1.5%)

prune40.0ms (0.7%)

regimes276.0ms (4.9%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample1.8s (32%)

Profiling