Details

analyze147.0ms (7.6%)

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.7%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	4×	body	128	invalid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify12.0ms (0.6%)

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

prune2.0ms (0.1%)

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.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite70.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

37×	`pow1_binary64`
25×	`pow-prod-down_binary64`
18×	`add-exp-log_binary64`
16×	`add-sqr-sqrt_binary64`
10×	`prod-exp_binary64`

Counts

2 → 72

Calls

2 calls:

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

Compiler

Compiled 755 to 493 computations (34.7% saved)

series19.0ms (1%)

Error

10.9b

Counts

2 → 9

Calls

2 calls:

13.0ms	(.f64 (.f64 (*.f64 x 3) x) y)
4.0ms	(.f64 (.f64 x 3) x)

Compiler

Compiled 178 to 138 computations (22.5% saved)

simplify67.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

788×	`prod-exp_binary64`
553×	`exp-sum_binary64`
307×	`*-commutative_binary64`
287×	`exp-prod_binary64`
268×	`unswap-sqr_binary64`

Counts

81 → 52

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	742
1	173	670
2	630	670
3	1543	658
4	3285	658
5	5320	658

prune28.0ms (1.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	46	6	52
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	46	7	53

Error

0.1b

Counts

53 → 7

Alt Table

Status	Error	Program
	11.2b	(.f64 (.f64 (sqrt.f64 (.f64 3 (.f64 x x))) (sqrt.f64 (.f64 3 (.f64 x x)))) y)
▶	0.3b	(.f64 (.f64 x 3) (*.f64 y x))
	22.8b	(.f64 (cbrt.f64 (pow.f64 (.f64 3 (.f64 y (.f64 x x))) 2)) (cbrt.f64 (.f64 3 (.f64 y (*.f64 x x)))))
	11.1b	(.f64 3 (.f64 y (*.f64 x x)))
✓	11.1b	(.f64 (.f64 (*.f64 x 3) x) y)
	11.6b	(.f64 (.f64 (.f64 (.f64 3 x) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) y)
	26.1b	(.f64 (sqrt.f64 (.f64 9 (pow.f64 x 4))) y)

Compiler

Compiled 517 to 292 computations (43.5% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.3b	(.f64 (.f64 x 3) (*.f64 y x))

rewrite35.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`pow1_binary64`
15×	`pow-prod-down_binary64`
10×	`add-exp-log_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`prod-exp_binary64`

Counts

1 → 36

Calls

1 calls:

16.0ms

(*.f64 (*.f64 x 3) (*.f64 y x))

Compiler

Compiled 391 to 215 computations (45% saved)

series13.0ms (0.7%)

Error

0.1b

Counts

1 → 6

Calls

1 calls:

12.0ms

(*.f64 (*.f64 x 3) (*.f64 y x))

Compiler

Compiled 117 to 91 computations (22.2% saved)

simplify106.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

775×	`fma-def_binary64`
659×	`prod-exp_binary64`
424×	`unswap-sqr_binary64`
423×	`exp-prod_binary64`
343×	`log-prod_binary64`

Counts

42 → 27

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	50	433
1	129	391
2	426	391
3	929	385
4	2107	385
5	4090	385
6	4924	385
7	4972	385
8	4944	385

prune19.0ms (1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	26	1	27
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	27	7	34

Error

0.0b

Counts

34 → 7

Alt Table

Status	Error	Program
	11.2b	(.f64 (.f64 (sqrt.f64 (.f64 3 (.f64 x x))) (sqrt.f64 (.f64 3 (.f64 x x)))) y)
✓	0.3b	(.f64 (.f64 x 3) (*.f64 y x))
	22.8b	(.f64 (cbrt.f64 (pow.f64 (.f64 3 (.f64 y (.f64 x x))) 2)) (cbrt.f64 (.f64 3 (.f64 y (*.f64 x x)))))
▶	0.2b	(.f64 (.f64 3 (*.f64 y x)) x)
	11.1b	(.f64 3 (.f64 y (*.f64 x x)))
✓	11.1b	(.f64 (.f64 (*.f64 x 3) x) y)
	26.1b	(.f64 (sqrt.f64 (.f64 9 (pow.f64 x 4))) y)

Compiler

Compiled 322 to 182 computations (43.5% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite79.0ms (4.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

37×	`pow1_binary64`
25×	`pow-prod-down_binary64`
18×	`add-exp-log_binary64`
16×	`add-sqr-sqrt_binary64`
10×	`prod-exp_binary64`

Counts

2 → 72

Calls

2 calls:

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

Compiler

Compiled 755 to 415 computations (45% saved)

series22.0ms (1.2%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

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

Compiler

Compiled 232 to 167 computations (28% saved)

simplify92.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

619×	`prod-exp_binary64`
498×	`unswap-sqr_binary64`
441×	`log-prod_binary64`
402×	`exp-sum_binary64`
353×	`*-commutative_binary64`

Counts

84 → 39

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	82	765
1	167	693
2	621	687
3	1303	687
4	3084	687
5	4827	687
6	5176	687

prune20.0ms (1.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	37	9	46

Error

0.0b

Counts

46 → 9

Alt Table

Status	Error	Program
✓	0.2b	(.f64 (.f64 3 (*.f64 y x)) x)
	9.4b	(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 3 (.f64 y x)) 2)) (cbrt.f64 (.f64 3 (.f64 y x)))) x)
✓	0.3b	(.f64 (.f64 x 3) (*.f64 y x))
	22.8b	(.f64 (cbrt.f64 (pow.f64 (.f64 3 (.f64 y (.f64 x x))) 2)) (cbrt.f64 (.f64 3 (.f64 y (*.f64 x x)))))
▶	0.4b	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (*.f64 y x) (cbrt.f64 3))) x)
	18.0b	(.f64 (cbrt.f64 (pow.f64 (.f64 3 (*.f64 y x)) 3)) x)
	11.1b	(.f64 3 (.f64 y (*.f64 x x)))
✓	11.1b	(.f64 (.f64 (*.f64 x 3) x) y)
	26.1b	(.f64 (sqrt.f64 (.f64 9 (pow.f64 x 4))) y)

Compiler

Compiled 452 to 274 computations (39.4% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.2b	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (*.f64 y x) (cbrt.f64 3))) x)
0.2b	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (.f64 y x) (cbrt.f64 3)))
0.3b	(.f64 (.f64 y x) (cbrt.f64 3))

rewrite123.0ms (6.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

34×	`add-exp-log_binary64`
22×	`prod-exp_binary64`
22×	`add-sqr-sqrt_binary64`
21×	`pow1_binary64`
14×	`add-cbrt-cube_binary64`

Counts

3 → 106

Calls

3 calls:

18.0ms	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (.f64 y x) (cbrt.f64 3)))
16.0ms	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (*.f64 y x) (cbrt.f64 3))) x)
13.0ms	(.f64 (.f64 y x) (cbrt.f64 3))

Compiler

Compiled 1868 to 1378 computations (26.2% saved)

series72.0ms (3.7%)

Error

0.0b

Counts

3 → 18

Calls

3 calls:

25.0ms	(.f64 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (*.f64 y x) (cbrt.f64 3))) x)
23.0ms	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (.f64 y x) (cbrt.f64 3)))
19.0ms	(.f64 (.f64 y x) (cbrt.f64 3))

Compiler

Compiled 550 to 438 computations (20.4% saved)

simplify100.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

614×	`fma-def_binary64`
590×	`*-commutative_binary64`
492×	`exp-prod_binary64`
454×	`prod-exp_binary64`
429×	`log-prod_binary64`

Counts

124 → 76

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	119	1830
1	263	1078
2	1158	1078
3	2534	1078
4	4625	1072
5	5124	1072

prune38.0ms (2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

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

Error

0.0b

Counts

85 → 9

Alt Table

Status	Error	Program
	0.3b	(.f64 (.f64 x 3) (*.f64 y x))
	0.4b	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 x (.f64 y (*.f64 x (cbrt.f64 3)))))
	0.9b	(.f64 (.f64 (.f64 y (.f64 x 3)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
	29.2b	(.f64 (sqrt.f64 (.f64 y (.f64 x (.f64 x 3)))) (sqrt.f64 (.f64 y (.f64 x (*.f64 x 3)))))
	0.2b	(.f64 (.f64 3 (*.f64 y x)) x)
	18.0b	(.f64 (cbrt.f64 (pow.f64 (.f64 3 (*.f64 y x)) 3)) x)
	11.1b	(.f64 3 (.f64 y (*.f64 x x)))
	11.1b	(.f64 (.f64 (*.f64 x 3) x) y)
	26.1b	(.f64 (sqrt.f64 (.f64 9 (pow.f64 x 4))) y)

Compiler

Compiled 713 to 516 computations (27.6% saved)

regimes270.0ms (14%)

Accuracy

Total 0.2b remaining (93.2%)

Threshold costs 0.2b (93.2%)

Compiler

Compiled 4540 to 3128 computations (31.1% saved)

simplify4.0ms (0.2%)

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

end0.0ms (0%)

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

sample555.0ms (28.8%)

Algorithm

1×

intervals

Results

245.0ms	8000×	body	128	valid
2.0ms	81×	body	128	invalid

Compiler

Compiled 130 to 91 computations (30% saved)

Details

analyze147.0ms (7.6%)

sample14.0ms (0.7%)

simplify12.0ms (0.6%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

rewrite70.0ms (3.7%)

series19.0ms (1%)

simplify67.0ms (3.5%)

prune28.0ms (1.4%)

localize4.0ms (0.2%)

rewrite35.0ms (1.8%)

series13.0ms (0.7%)

simplify106.0ms (5.5%)

prune19.0ms (1%)

localize4.0ms (0.2%)

rewrite79.0ms (4.1%)

series22.0ms (1.2%)

simplify92.0ms (4.8%)

prune20.0ms (1.1%)

localize8.0ms (0.4%)

rewrite123.0ms (6.4%)

series72.0ms (3.7%)

simplify100.0ms (5.2%)

prune38.0ms (2%)

regimes270.0ms (14%)

simplify4.0ms (0.2%)

end0.0ms (0%)

sample555.0ms (28.8%)

Profiling