Details

analyze1.4s (27.2%)

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)

sample53.0ms (1%)

Algorithm

1×

intervals

Results

21.0ms	256×	body	128	valid
12.0ms	115×	body	128	invalid
5.0ms	72×	body	128	nan

Compiler

Compiled 40 to 28 computations (30% saved)

simplify115.0ms (2.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.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.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	1.3b	(/.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.2%)

Local error

Found 3 expressions with local error:

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

rewrite77.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

1.3b

Rules

20×	`add-exp-log_binary64`
17×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cbrt-cube_binary64`
11×	`associate-r_binary64`

Counts

3 → 73

Calls

3 calls:

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

Compiler

Compiled 1419 to 751 computations (47.1% saved)

series123.0ms (2.3%)

Error

1.3b

Counts

3 → 36

Calls

3 calls:

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

Compiler

Compiled 2001 to 1360 computations (32% saved)

simplify97.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

412×	`distribute-rgt-in_binary64`
395×	`distribute-lft-in_binary64`
303×	`associate-/l/_binary64`
223×	`cancel-sign-sub-inv_binary64`
214×	`associate-r_binary64`

Counts

109 → 71

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	223	2143
1	578	1912
2	2139	1804
3	4718	1804
4	4949	1804

prune40.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	68	3	71
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	4	72

Error

1.3b

Counts

72 → 4

Alt Table

Status	Error	Program
	8.8b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k 10)))
✓	1.3b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
▶	1.3b	(/.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)))))
	18.0b	(.f64 (/.f64 (.f64 a (pow.f64 k m)) (-.f64 1 (.f64 k (.f64 k (.f64 (+.f64 k 10) (+.f64 k 10)))))) (-.f64 1 (.f64 k (+.f64 k 10))))

Compiler

Compiled 1023 to 574 computations (43.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite123.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

1.3b

Rules

27×	`add-exp-log_binary64`
16×	`add-sqr-sqrt_binary64`
15×	`add-cbrt-cube_binary64`
14×	`*-un-lft-identity_binary64`
12×	`sqrt-prod_binary64`

Counts

4 → 89

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)))))
5.0ms	(*.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 2705 to 1857 computations (31.3% saved)

series130.0ms (2.5%)

Error

1.3b

Counts

4 → 46

Calls

4 calls:

63.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)))))
10.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
10.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))
9.0ms	(*.f64 k (+.f64 k 10))

Compiler

Compiled 2673 to 1858 computations (30.5% saved)

simplify115.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

477×	`associate-/l/_binary64`
355×	`distribute-rgt-in_binary64`
346×	`distribute-lft-in_binary64`
296×	`cancel-sign-sub-inv_binary64`
175×	`associate-r_binary64`

Counts

135 → 94

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	240	3389
1	646	2707
2	2187	2593
3	4924	2593
4	4942	2593

prune75.0ms (1.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

1.3b

Counts

98 → 4

Alt Table

Status	Error	Program
▶	8.8b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k 10)))
	17.3b	(.f64 (pow.f64 k m) (-.f64 a (.f64 10 (*.f64 k a))))
✓	1.3b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
✓	1.3b	(/.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 1940 to 1225 computations (36.9% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite54.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

1.3b

Rules

17×	`add-exp-log_binary64`
12×	`add-sqr-sqrt_binary64`
9×	`add-cbrt-cube_binary64`
7×	`associate-r_binary64`
7×	`*-un-lft-identity_binary64`

Counts

2 → 50

Calls

2 calls:

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

Compiler

Compiled 897 to 478 computations (46.7% saved)

series86.0ms (1.6%)

Error

1.3b

Counts

2 → 27

Calls

2 calls:

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

Compiler

Compiled 1325 to 882 computations (33.4% saved)

simplify99.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

432×	`*-commutative_binary64`
367×	`associate-*l/_binary64`
358×	`associate-/r*_binary64`
296×	`associate-*r/_binary64`
252×	`associate-/l/_binary64`

Counts

77 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	171	1460
1	423	1310
2	1571	1274
3	4155	1274
4	4932	1274
5	4930	1274

prune37.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	59	5	64

Error

1.3b

Counts

64 → 5

Alt Table

Status	Error	Program
	9.2b	(/.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (pow.f64 k m) (cbrt.f64 a))) (+.f64 1 (.f64 k 10)))
▶	8.8b	(.f64 (/.f64 a (.f64 (cbrt.f64 (+.f64 (.f64 k 10) 1)) (cbrt.f64 (+.f64 (.f64 k 10) 1)))) (/.f64 (pow.f64 k m) (cbrt.f64 (+.f64 (*.f64 k 10) 1))))
	17.3b	(.f64 (pow.f64 k m) (-.f64 a (.f64 10 (*.f64 k a))))
✓	1.3b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
✓	1.3b	(/.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 867 to 521 computations (39.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(cbrt.f64 (+.f64 (*.f64 k 10) 1))
0.2b	(cbrt.f64 (+.f64 (*.f64 k 10) 1))
0.2b	(cbrt.f64 (+.f64 (*.f64 k 10) 1))
0.2b	(.f64 (cbrt.f64 (+.f64 (.f64 k 10) 1)) (cbrt.f64 (+.f64 (*.f64 k 10) 1)))

rewrite154.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

1.3b

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
18×	`cbrt-div_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`

Counts

4 → 87

Calls

4 calls:

9.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 k 10) 1)) (cbrt.f64 (+.f64 (*.f64 k 10) 1)))
3.0ms	(cbrt.f64 (+.f64 (*.f64 k 10) 1))
3.0ms	(cbrt.f64 (+.f64 (*.f64 k 10) 1))
3.0ms	(cbrt.f64 (+.f64 (*.f64 k 10) 1))

Compiler

Compiled 3018 to 2343 computations (22.4% saved)

series81.0ms (1.5%)

Error

1.2b

Counts

4 → 25

Calls

4 calls:

15.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 k 10) 1)) (cbrt.f64 (+.f64 (*.f64 k 10) 1)))
14.0ms	(cbrt.f64 (+.f64 (*.f64 k 10) 1))
12.0ms	(cbrt.f64 (+.f64 (*.f64 k 10) 1))
11.0ms	(cbrt.f64 (+.f64 (*.f64 k 10) 1))

Compiler

Compiled 2170 to 1737 computations (20% saved)

simplify124.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

761×	`times-frac_binary64`
396×	`*-commutative_binary64`
295×	`associate-l_binary64`
242×	`exp-prod_binary64`
206×	`distribute-rgt-in_binary64`

Counts

112 → 95

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	119	2177
1	240	2103
2	555	1874
3	1518	1709
4	3283	1527
5	4570	1527
6	4984	1527

prune94.0ms (1.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	93	2	95
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	95	5	100

Error

1.2b

Counts

100 → 5

Alt Table

Status	Error	Program
	6.2b	(.f64 (/.f64 a (.f64 (cbrt.f64 (+.f64 (.f64 k 10) 1)) (cbrt.f64 (+.f64 (.f64 k 10) 1)))) (/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k 10/3))))
	5.8b	(.f64 (/.f64 a (.f64 (+.f64 1 (.f64 k 10/3)) (cbrt.f64 (+.f64 (.f64 k 10) 1)))) (/.f64 (pow.f64 k m) (cbrt.f64 (+.f64 (*.f64 k 10) 1))))
	17.3b	(.f64 (pow.f64 k m) (-.f64 a (.f64 10 (*.f64 k a))))
	1.3b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 1 (.f64 k (+.f64 k 10))))
	1.3b	(/.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 1990 to 1483 computations (25.5% saved)

regimes336.0ms (6.4%)

Accuracy

Total 0.1b remaining (3.8%)

Threshold costs 0.1b (3.8%)

Compiler

Compiled 6508 to 4702 computations (27.8% saved)

simplify3.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	14	35
1	20	35
2	19	35

end1.0ms (0%)

Compiler: Compiled 26 to 19 computations (26.9% saved)

sample1.7s (33.4%)

Algorithm

1×

intervals

Results

638.0ms	8000×	body	128	valid
376.0ms	3198×	body	128	invalid
115.0ms	2025×	body	128	nan

Compiler

Compiled 160 to 118 computations (26.3% saved)

Details

analyze1.4s (27.2%)

sample53.0ms (1%)

simplify115.0ms (2.2%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

rewrite77.0ms (1.5%)

series123.0ms (2.3%)

simplify97.0ms (1.9%)

prune40.0ms (0.8%)

localize12.0ms (0.2%)

rewrite123.0ms (2.3%)

series130.0ms (2.5%)

simplify115.0ms (2.2%)

prune75.0ms (1.4%)

localize7.0ms (0.1%)

rewrite54.0ms (1%)

series86.0ms (1.6%)

simplify99.0ms (1.9%)

prune37.0ms (0.7%)

localize12.0ms (0.2%)

rewrite154.0ms (3%)

series81.0ms (1.5%)

simplify124.0ms (2.4%)

prune94.0ms (1.8%)

regimes336.0ms (6.4%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.7s (33.4%)

Profiling