Details

analyze591.0ms (9.9%)

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)

sample102.0ms (1.7%)

Algorithm

1×

intervals

Results

58.0ms	126×	body	1024	valid
20.0ms	71×	body	512	valid
11.0ms	16×	body	2048	valid
4.0ms	24×	body	256	valid
1.0ms	19×	body	128	valid

Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify495.0ms (8.3%)

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

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

58.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	58.2b	(*.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))
4.5b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite135.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

58.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))
6.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

Compiler

Compiled 1373 to 1094 computations (20.3% saved)

series22.0ms (0.4%)

Error

0.0b

Counts

2 → 14

Calls

2 calls:

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

Compiler

Compiled 334 to 293 computations (12.3% saved)

simplify118.0ms (2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

105 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	145	2055
1	326	1966
2	762	1921
3	1795	1917
4	4256	1917
5	5929	1917

prune35.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

93 → 2

Alt Table

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

Compiler

Compiled 1158 to 913 computations (21.2% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite114.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
19×	`add-exp-log_binary64`
18×	`add-log-exp_binary64`
14×	`*-un-lft-identity_binary64`

Counts

4 → 96

Calls

4 calls:

11.0ms	(+.f64 (.f64 2/5 (pow.f64 x 5)) (+.f64 (+.f64 (+.f64 x x) (.f64 2/3 (pow.f64 x 3))) (*.f64 2/7 (pow.f64 x 7))))
5.0ms	(*.f64 2/3 (pow.f64 x 3))
5.0ms	(*.f64 2/7 (pow.f64 x 7))
4.0ms	(*.f64 2/5 (pow.f64 x 5))

Compiler

Compiled 2695 to 2041 computations (24.3% saved)

series36.0ms (0.6%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

8.0ms	(*.f64 2/5 (pow.f64 x 5))
8.0ms	(*.f64 2/7 (pow.f64 x 7))
8.0ms	(+.f64 (.f64 2/5 (pow.f64 x 5)) (+.f64 (+.f64 (+.f64 x x) (.f64 2/3 (pow.f64 x 3))) (*.f64 2/7 (pow.f64 x 7))))
7.0ms	(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 623 to 501 computations (19.6% saved)

simplify93.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

860×	`distribute-rgt-in_binary64`
830×	`distribute-lft-in_binary64`
139×	`associate-l_binary64`
133×	`associate-r_binary64`
116×	`cancel-sign-sub-inv_binary64`

Counts

111 → 64

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	186	1692
1	390	1577
2	1244	1541
3	4855	1541
4	4991	1541

prune43.0ms (0.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	63	3	66

Error

0.0b

Counts

66 → 3

Alt Table

Status	Error	Program
✓	58.2b	(*.f64 1/2 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
✓	0.1b	(.f64 1/2 (+.f64 (.f64 2/5 (pow.f64 x 5)) (+.f64 (+.f64 (+.f64 x x) (.f64 2/3 (pow.f64 x 3))) (.f64 2/7 (pow.f64 x 7)))))
▶	41.5b	(.f64 1/2 (cbrt.f64 (pow.f64 (+.f64 (.f64 2/7 (pow.f64 x 7)) (+.f64 (.f64 2/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (+.f64 x x)))) 3)))

Compiler

Compiled 1252 to 939 computations (25% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite119.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
19×	`add-exp-log_binary64`
17×	`*-un-lft-identity_binary64`
17×	`add-cube-cbrt_binary64`

Counts

4 → 104

Calls

4 calls:

13.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 2/7 (pow.f64 x 7)) (+.f64 (.f64 2/5 (pow.f64 x 5)) (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 x x)))) 3))
6.0ms	(*.f64 2/5 (pow.f64 x 5))
5.0ms	(*.f64 2/3 (pow.f64 x 3))
4.0ms	(*.f64 2/7 (pow.f64 x 7))

Compiler

Compiled 3363 to 2613 computations (22.3% saved)

series45.0ms (0.8%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

13.0ms	(*.f64 2/7 (pow.f64 x 7))
12.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 2/7 (pow.f64 x 7)) (+.f64 (.f64 2/5 (pow.f64 x 5)) (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 x x)))) 3))
9.0ms	(*.f64 2/5 (pow.f64 x 5))
8.0ms	(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 700 to 577 computations (17.6% saved)

simplify79.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

888×	`distribute-rgt-in_binary64`
859×	`distribute-lft-in_binary64`
152×	`associate-l_binary64`
142×	`associate-r_binary64`
114×	`cancel-sign-sub-inv_binary64`

Counts

119 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	203	2353
1	434	2133
2	1375	2089
3	5397	2089

prune40.0ms (0.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	73	3	76

Error

0.0b

Counts

76 → 3

Alt Table

Status	Error	Program
	58.2b	(*.f64 1/2 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
	0.1b	(.f64 1/2 (+.f64 (.f64 2/5 (pow.f64 x 5)) (+.f64 (+.f64 (+.f64 x x) (.f64 2/3 (pow.f64 x 3))) (.f64 2/7 (pow.f64 x 7)))))
	41.5b	(.f64 1/2 (cbrt.f64 (pow.f64 (+.f64 (.f64 2/7 (pow.f64 x 7)) (+.f64 (.f64 2/5 (pow.f64 x 5)) (+.f64 (.f64 2/3 (pow.f64 x 3)) (+.f64 x x)))) 3)))

Compiler

Compiled 1427 to 1091 computations (23.5% saved)

regimes213.0ms (3.6%)

Accuracy

Total 0.1b remaining (93.8%)

Threshold costs 0.1b (93.8%)

Compiler

Compiled 4461 to 3641 computations (18.4% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
3×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	34
1	27	34
2	27	34

end1.0ms (0%)

Compiler: Compiled 24 to 19 computations (20.8% saved)

sample3.6s (61%)

Algorithm

1×

intervals

Results

1.8s	4005×	body	1024	valid
768.0ms	2002×	body	512	valid
265.0ms	409×	body	2048	valid
160.0ms	996×	body	256	valid
43.0ms	588×	body	128	valid

Compiler

Compiled 101 to 82 computations (18.8% saved)

Details

analyze591.0ms (9.9%)

sample102.0ms (1.7%)

simplify495.0ms (8.3%)

prune3.0ms (0%)

localize6.0ms (0.1%)

rewrite135.0ms (2.3%)

series22.0ms (0.4%)

simplify118.0ms (2%)

prune35.0ms (0.6%)

localize13.0ms (0.2%)

rewrite114.0ms (1.9%)

series36.0ms (0.6%)

simplify93.0ms (1.6%)

prune43.0ms (0.7%)

localize18.0ms (0.3%)

rewrite119.0ms (2%)

series45.0ms (0.8%)

simplify79.0ms (1.3%)

prune40.0ms (0.7%)

regimes213.0ms (3.6%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample3.6s (61%)

Profiling