Details

analyze84.0ms (4.7%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	50%	12.6%	6
50%	37.5%	12.6%	7
56.2%	25%	18.8%	8
62.4%	18.7%	18.8%	9
65.6%	12.5%	22%	10
68.7%	9.4%	22%	11
70.2%	6.2%	23.5%	12
71.8%	4.7%	23.5%	13
72.6%	3.1%	24.3%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample14.0ms (0.8%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify10.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

15×	`associate-l_binary64`
13×	`associate-r_binary64`
8×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10
2	25	10
3	37	10
4	35	10
5	35	10

prune8.0ms (0.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

11.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	11.5b	(.f64 (.f64 (*.f64 x 3) x) y)

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (.f64 x 3) x)
10.9b	(.f64 (.f64 (*.f64 x 3) x) y)

rewrite53.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

2 → 39

Calls

2 calls:

7.0ms	(.f64 (.f64 (*.f64 x 3) x) y)
5.0ms	(.f64 (.f64 x 3) x)

Compiler

Compiled 460 to 274 computations (40.4% saved)

series25.0ms (1.4%)

Error

11.3b

Counts

2 → 9

Calls

2 calls:

16.0ms	(.f64 (.f64 (*.f64 x 3) x) y)
6.0ms	(.f64 (.f64 x 3) x)

Compiler

Compiled 178 to 138 computations (22.5% saved)

simplify83.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

429×	`associate-*r/_binary64`
365×	`associate-*l/_binary64`
336×	`*-commutative_binary64`
270×	`associate-/l*_binary64`
244×	`associate-/l/_binary64`

Counts

48 → 40

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	67	591
1	156	483
2	579	474
3	860	472
4	1214	472
5	1999	472
6	4682	472
7	4969	472

prune30.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	34	6	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	7	41

Error

11.3b

Counts

41 → 7

Alt Table

Status	Error	Program
	12.0b	(.f64 (.f64 (.f64 3 (.f64 x x)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
	11.5b	(.f64 3 (.f64 (*.f64 x x) y))
	12.1b	(.f64 (.f64 (cbrt.f64 (.f64 3 (.f64 (.f64 x x) y))) (cbrt.f64 (.f64 3 (.f64 (.f64 x x) y)))) (cbrt.f64 (.f64 3 (.f64 (*.f64 x x) y))))
✓	11.5b	(.f64 (.f64 (*.f64 x 3) x) y)
	30.6b	(exp.f64 (log.f64 (.f64 3 (.f64 (*.f64 x x) y))))
	11.6b	(.f64 (.f64 (sqrt.f64 (.f64 3 (.f64 x x))) (sqrt.f64 (.f64 3 (.f64 x x)))) y)
▶	11.5b	(.f64 (.f64 3 (*.f64 x x)) y)

Compiler

Compiled 413 to 230 computations (44.3% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b	(.f64 3 (.f64 x x))
10.9b	(.f64 (.f64 3 (*.f64 x x)) y)

rewrite52.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

8.5b

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

2 → 40

Calls

2 calls:

7.0ms	(.f64 (.f64 3 (*.f64 x x)) y)
5.0ms	(.f64 3 (.f64 x x))

Compiler

Compiled 462 to 239 computations (48.3% saved)

series25.0ms (1.4%)

Error

11.3b

Counts

2 → 9

Calls

2 calls:

16.0ms	(.f64 (.f64 3 (*.f64 x x)) y)
8.0ms	(.f64 3 (.f64 x x))

Compiler

Compiled 178 to 138 computations (22.5% saved)

simplify77.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

338×	`associate-*r/_binary64`
293×	`*-commutative_binary64`
289×	`associate-*l/_binary64`
244×	`unswap-sqr_binary64`
237×	`associate-/l*_binary64`

Counts

49 → 32

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	65	604
1	138	496
2	495	487
3	795	487
4	1130	487
5	1943	487
6	4197	487
7	5072	487

prune21.0ms (1.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	31	1	32
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	32	7	39

Error

11.3b

Counts

39 → 7

Alt Table

Status	Error	Program
	12.0b	(.f64 (.f64 (.f64 3 (.f64 x x)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
▶	11.5b	(.f64 3 (.f64 (*.f64 x x) y))
	11.6b	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (*.f64 x x) (cbrt.f64 3))) y)
	12.1b	(.f64 (.f64 (cbrt.f64 (.f64 3 (.f64 (.f64 x x) y))) (cbrt.f64 (.f64 3 (.f64 (.f64 x x) y)))) (cbrt.f64 (.f64 3 (.f64 (*.f64 x x) y))))
✓	11.5b	(.f64 (.f64 (*.f64 x 3) x) y)
	30.6b	(exp.f64 (log.f64 (.f64 3 (.f64 (*.f64 x x) y))))
✓	11.5b	(.f64 (.f64 3 (*.f64 x x)) y)

Compiler

Compiled 327 to 195 computations (40.4% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 3 (.f64 (*.f64 x x) y))
11.0b	(.f64 (.f64 x x) y)

rewrite48.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

2 → 40

Calls

2 calls:

9.0ms	(.f64 (.f64 x x) y)
7.0ms	(.f64 3 (.f64 (*.f64 x x) y))

Compiler

Compiled 462 to 183 computations (60.4% saved)

series34.0ms (1.9%)

Error

11.3b

Counts

2 → 12

Calls

2 calls:

18.0ms	(.f64 3 (.f64 (*.f64 x x) y))
14.0ms	(.f64 (.f64 x x) y)

Compiler

Compiled 225 to 175 computations (22.2% saved)

simplify113.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

583×	`log-div_binary64`
458×	`unswap-sqr_binary64`
311×	`associate-*r/_binary64`
286×	`*-commutative_binary64`
275×	`associate-*l/_binary64`

Counts

52 → 37

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	634
1	138	517
2	474	517
3	783	517
4	1147	517
5	2181	517
6	4295	517
7	4847	517
8	5119	517

prune25.0ms (1.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	35	2	37
Fresh	4	0	4
Picked	0	1	1
Done	0	2	2
Total	39	5	44

Error

8.6b

Counts

44 → 5

Alt Table

Status	Error	Program
✓	11.5b	(.f64 3 (.f64 (*.f64 x x) y))
▶	11.7b	(.f64 (sqrt.f64 3) (.f64 (.f64 (.f64 x x) y) (sqrt.f64 3)))
✓	11.5b	(.f64 (.f64 (*.f64 x 3) x) y)
	37.5b	(.f64 3 (.f64 (.f64 x (.f64 x (sqrt.f64 y))) (sqrt.f64 y)))
✓	11.5b	(.f64 (.f64 3 (*.f64 x x)) y)

Compiler

Compiled 246 to 134 computations (45.5% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.2b	(.f64 (.f64 (*.f64 x x) y) (sqrt.f64 3))
0.3b	(.f64 (sqrt.f64 3) (.f64 (.f64 (.f64 x x) y) (sqrt.f64 3)))
11.0b	(.f64 (.f64 x x) y)

rewrite91.0ms (5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

31×	`add-cbrt-cube_binary64`
31×	`add-exp-log_binary64`
31×	`pow1_binary64`
19×	`cbrt-unprod_binary64`
19×	`prod-exp_binary64`

Counts

3 → 70

Calls

3 calls:

12.0ms	(.f64 (sqrt.f64 3) (.f64 (.f64 (.f64 x x) y) (sqrt.f64 3)))
9.0ms	(.f64 (.f64 (*.f64 x x) y) (sqrt.f64 3))
6.0ms	(.f64 (.f64 x x) y)

Compiler

Compiled 1106 to 630 computations (43% saved)

series69.0ms (3.8%)

Error

8.6b

Counts

3 → 18

Calls

3 calls:

26.0ms	(.f64 (sqrt.f64 3) (.f64 (.f64 (.f64 x x) y) (sqrt.f64 3)))
21.0ms	(.f64 (.f64 (*.f64 x x) y) (sqrt.f64 3))
17.0ms	(.f64 (.f64 x x) y)

Compiler

Compiled 490 to 412 computations (15.9% saved)

simplify114.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

468×	`sqr-pow_binary64`
433×	`*-commutative_binary64`
255×	`associate-l_binary64`
255×	`log-div_binary64`
228×	`associate-/l*_binary64`

Counts

88 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	1346
1	215	1012
2	829	1012
3	1397	1004
4	2248	1004
5	3536	1004
6	4852	1004
7	5106	1004

prune35.0ms (1.9%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	65	6	71

Error

8.6b

Counts

71 → 6

Alt Table

Status	Error	Program
	37.5b	(.f64 (sqrt.f64 3) (.f64 (.f64 (.f64 x (*.f64 x (sqrt.f64 y))) (sqrt.f64 y)) (sqrt.f64 3)))
	11.5b	(.f64 3 (.f64 (*.f64 x x) y))
	11.7b	(.f64 (sqrt.f64 3) (.f64 (.f64 (.f64 x x) y) (sqrt.f64 3)))
	11.5b	(.f64 (.f64 (*.f64 x 3) x) y)
	37.5b	(.f64 3 (.f64 (.f64 x (.f64 x (sqrt.f64 y))) (sqrt.f64 y)))
	11.5b	(.f64 (.f64 3 (*.f64 x x)) y)

Compiler

Compiled 429 to 276 computations (35.7% saved)

regimes282.0ms (15.7%)

Accuracy

Total -7.6b remaining (-3003.6%)

Threshold costs -7.6b (-3003.6%)

Compiler

Compiled 3604 to 2456 computations (31.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	10	10

end1.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

sample485.0ms (26.9%)

Algorithm

1×

intervals

Results

176.0ms	8000×	body	128	valid
2.0ms	89×	body	128	invalid

Compiler

Compiled 91 to 63 computations (30.8% saved)

Details

analyze84.0ms (4.7%)

sample14.0ms (0.8%)

simplify10.0ms (0.5%)

prune8.0ms (0.4%)

localize5.0ms (0.3%)

rewrite53.0ms (2.9%)

series25.0ms (1.4%)

simplify83.0ms (4.6%)

prune30.0ms (1.7%)

localize4.0ms (0.2%)

rewrite52.0ms (2.9%)

series25.0ms (1.4%)

simplify77.0ms (4.3%)

prune21.0ms (1.2%)

localize5.0ms (0.3%)

rewrite48.0ms (2.7%)

series34.0ms (1.9%)

simplify113.0ms (6.3%)

prune25.0ms (1.4%)

localize7.0ms (0.4%)

rewrite91.0ms (5%)

series69.0ms (3.8%)

simplify114.0ms (6.3%)

prune35.0ms (1.9%)

regimes282.0ms (15.7%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample485.0ms (26.9%)

Profiling