Details

analyze532.0ms (10.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample84.0ms (1.7%)

Algorithm

1×

intervals

Results

46.0ms	125×	body	1024	valid
12.0ms	57×	body	512	valid
10.0ms	19×	body	2048	valid
5.0ms	39×	body	256	valid
1.0ms	16×	body	128	valid

Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify519.0ms (10.5%)

Algorithm

1×	egg-herbie

Rules

1495×	`associate--r-_binary64`
691×	`sub-neg_binary64`
649×	`unsub-neg_binary64`
573×	`distribute-neg-in_binary64`
572×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	20	15
2	26	15
3	40	15
4	60	15
5	81	15
6	117	15
7	201	15
8	367	15
9	492	15
10	574	15
11	566	15
12	611	15
13	679	15
14	757	15
15	1012	15
16	1386	15
17	1468	15
18	1669	15
19	1689	15
20	1809	15
21	1809	15
22	2205	15
23	2255	15
24	2381	15
25	2413	15
26	2461	15
27	2481	15
28	2489	15
29	2489	15
30	2489	15
31	2825	15
32	2809	15
33	3107	15
34	3265	15
35	3351	15
36	3377	15
37	3393	15
38	3405	15
39	3441	15
40	3453	15
41	3457	15
42	3457	15
43	4783	15
44	4631	15
45	4697	15
46	4515	15

prune8.0ms (0.2%)

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

59.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	59.1b	(*.f64 1/2 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))

Compiler

Compiled 33 to 27 computations (18.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
6.6b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite165.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

59.0b

Rules

78×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
48×	`times-frac_binary64`
30×	`log-prod_binary64`
25×	`add-cube-cbrt_binary64`

Counts

2 → 91

Calls

2 calls:

8.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))
8.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

Compiler

Compiled 1373 to 1094 computations (20.3% saved)

series31.0ms (0.6%)

Error

0.0b

Counts

2 → 14

Calls

2 calls:

12.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
9.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Compiler

Compiled 334 to 293 computations (12.3% saved)

simplify117.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

696×	`div-sub_binary64`
420×	`distribute-rgt-in_binary64`
334×	`distribute-lft-in_binary64`
329×	`associate-/l*_binary64`
189×	`associate-/l/_binary64`

Counts

105 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	146	2061
1	325	1969
2	751	1921
3	1764	1917
4	4225	1917
5	5898	1917

prune48.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	90	2	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	2	93

Error

0.0b

Counts

93 → 2

Alt Table

Status	Error	Program
	59.9b	(*.f64 1/2 (exp.f64 (log.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))))
▶	0.1b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5)))))

Compiler

Compiled 1161 to 914 computations (21.3% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
0.1b	(*.f64 2/5 (pow.f64 x 5))
0.1b	(*.f64 2/3 (pow.f64 x 3))

rewrite87.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

22×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
13×	`add-exp-log_binary64`
10×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
8×	`unpow-prod-down_binary64`

Counts

3 → 67

Calls

3 calls:

6.0ms	(*.f64 2/3 (pow.f64 x 3))
5.0ms	(*.f64 2/5 (pow.f64 x 5))
5.0ms	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))

Compiler

Compiled 1453 to 1086 computations (25.3% saved)

series44.0ms (0.9%)

Error

0.0b

Counts

3 → 12

Calls

3 calls:

21.0ms	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
11.0ms	(*.f64 2/5 (pow.f64 x 5))
9.0ms	(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 400 to 307 computations (23.3% saved)

simplify118.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

492×	`unswap-sqr_binary64`
425×	`cancel-sign-sub-inv_binary64`
403×	`distribute-rgt-neg-in_binary64`
358×	`*-commutative_binary64`
277×	`exp-prod_binary64`

Counts

79 → 41

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	118	981
1	260	917
2	715	905
3	1422	905
4	3315	868
5	4521	862
6	4852	862
7	4942	862

prune30.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

43 → 2

Alt Table

Status	Error	Program
▶	59.9b	(*.f64 1/2 (exp.f64 (log.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))))
✓	0.1b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5)))))

Compiler

Compiled 612 to 453 computations (26% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
0.2b	(exp.f64 (log.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))))
6.6b	(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))

rewrite91.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

81×	`*-un-lft-identity_binary64`
55×	`add-sqr-sqrt_binary64`
48×	`times-frac_binary64`
34×	`log-prod_binary64`
28×	`add-cube-cbrt_binary64`

Counts

3 → 107

Calls

3 calls:

8.0ms	(/.f64 (+.f64 x 1) (-.f64 1 x))
8.0ms	(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))
2.0ms	(exp.f64 (log.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))))

Compiler

Compiled 1805 to 1478 computations (18.1% saved)

series52.0ms (1.1%)

Error

0.0b

Counts

3 → 20

Calls

3 calls:

17.0ms	(exp.f64 (log.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))))
12.0ms	(/.f64 (+.f64 x 1) (-.f64 1 x))
11.0ms	(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))

Compiler

Compiled 666 to 576 computations (13.5% saved)

simplify142.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

583×	`times-frac_binary64`
328×	`distribute-rgt-out_binary64`
249×	`distribute-lft-out_binary64`
241×	`associate-l_binary64`
235×	`associate-r_binary64`

Counts

127 → 79

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	197	2429
1	398	2285
2	909	2237
3	2271	2221
4	4652	2221
5	4908	2221

prune41.0ms (0.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

81 → 2

Alt Table

Status	Error	Program
	59.9b	(*.f64 1/2 (exp.f64 (log.f64 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))))
	0.1b	(.f64 1/2 (+.f64 (+.f64 x x) (+.f64 (.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5)))))

Compiler

Compiled 960 to 762 computations (20.6% saved)

regimes197.0ms (4%)

Accuracy

Total 0.1b remaining (45.6%)

Threshold costs 0.1b (45.6%)

Compiler

Compiled 2975 to 2425 computations (18.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	22	25
2	22	25

end1.0ms (0%)

Compiler: Compiled 18 to 15 computations (16.7% saved)

sample2.6s (52.6%)

Algorithm

1×

intervals

Results

1.5s	3929×	body	1024	valid
436.0ms	2055×	body	512	valid
218.0ms	405×	body	2048	valid
127.0ms	1036×	body	256	valid
33.0ms	575×	body	128	valid

Compiler

Compiled 64 to 53 computations (17.2% saved)

Details

analyze532.0ms (10.8%)

sample84.0ms (1.7%)

simplify519.0ms (10.5%)

prune8.0ms (0.2%)

localize6.0ms (0.1%)

rewrite165.0ms (3.3%)

series31.0ms (0.6%)

simplify117.0ms (2.4%)

prune48.0ms (1%)

localize11.0ms (0.2%)

rewrite87.0ms (1.8%)

series44.0ms (0.9%)

simplify118.0ms (2.4%)

prune30.0ms (0.6%)

localize8.0ms (0.2%)

rewrite91.0ms (1.9%)

series52.0ms (1.1%)

simplify142.0ms (2.9%)

prune41.0ms (0.8%)

regimes197.0ms (4%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.6s (52.6%)

Profiling