Details

analyze86.0ms (5.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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
50%	50%	0.1%	6
62.4%	31.2%	6.3%	7
71.8%	21.9%	6.3%	8
76.5%	14%	9.5%	9
80.4%	10.1%	9.5%	10
82.3%	6.6%	11%	11
84.1%	4.9%	11%	12
85%	3.2%	11.8%	13
85.8%	2.4%	11.8%	14

Compiler

Compiled 12 to 10 computations (16.7% saved)

sample18.0ms (1.1%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 25 to 21 computations (16% saved)

simplify11.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

13×	`distribute-lft-in_binary64`
13×	`distribute-rgt-in_binary64`
10×	`*-commutative_binary64`
9×	`associate-l_binary64`
7×	`associate-r_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	10
1	18	10
2	32	10
3	54	10
4	56	10
5	48	10

prune2.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

0.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.2b	(.f64 (.f64 (-.f64 x 4/29) 3) y)

Compiler

Compiled 27 to 21 computations (22.2% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 x 4/29) 3)
0.2b	(.f64 (.f64 (-.f64 x 4/29) 3) y)

rewrite41.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-sqr-sqrt_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`
7×	`*-un-lft-identity_binary64`

Counts

2 → 42

Calls

2 calls:

7.0ms	(.f64 (.f64 (-.f64 x 4/29) 3) y)
5.0ms	(*.f64 (-.f64 x 4/29) 3)

Compiler

Compiled 525 to 398 computations (24.2% saved)

series26.0ms (1.6%)

Error

0.1b

Counts

2 → 15

Calls

2 calls:

14.0ms	(.f64 (.f64 (-.f64 x 4/29) 3) y)
7.0ms	(*.f64 (-.f64 x 4/29) 3)

Compiler

Compiled 250 to 185 computations (26% saved)

simplify103.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

494×	`associate-r_binary64`
302×	`unswap-sqr_binary64`
206×	`sqr-pow_binary64`
199×	`distribute-lft-neg-out_binary64`
193×	`distribute-rgt-in_binary64`

Counts

57 → 42

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	86	658
1	187	556
2	576	556
3	1593	556
4	1995	556
5	2991	556
6	4933	556
7	4987	556
8	4878	556

prune27.0ms (1.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	33	9	42
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	34	9	43

Error

0.0b

Counts

43 → 9

Alt Table

Status	Error	Program
	1.5b	(.f64 (.f64 (cbrt.f64 (.f64 y (+.f64 -12/29 (.f64 3 x)))) (cbrt.f64 (.f64 y (+.f64 -12/29 (.f64 3 x))))) (cbrt.f64 (.f64 y (+.f64 -12/29 (.f64 3 x)))))
	39.5b	(cbrt.f64 (.f64 27 (pow.f64 (.f64 y (-.f64 x 4/29)) 3)))
▶	0.2b	(.f64 y (+.f64 -12/29 (.f64 3 x)))
	12.2b	(.f64 (/.f64 (.f64 3 (-.f64 (*.f64 x x) 16/841)) (+.f64 x 4/29)) y)
	16.6b	(.f64 (/.f64 (.f64 3 (-.f64 (pow.f64 x 3) 64/24389)) (+.f64 (.f64 x x) (+.f64 (.f64 4/29 4/29) (*.f64 x 4/29)))) y)
	30.6b	(.f64 (.f64 (+.f64 -12/29 (*.f64 3 x)) (sqrt.f64 y)) (sqrt.f64 y))
	1.4b	(.f64 (.f64 (+.f64 -12/29 (.f64 3 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
	0.4b	(.f64 (-.f64 x 4/29) (.f64 y 3))
	32.2b	(.f64 (sqrt.f64 (.f64 y (+.f64 -12/29 (.f64 3 x)))) (sqrt.f64 (.f64 y (+.f64 -12/29 (*.f64 3 x)))))

Compiler

Compiled 620 to 465 computations (25% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 -12/29 (*.f64 3 x))
0.2b	(.f64 y (+.f64 -12/29 (.f64 3 x)))

rewrite32.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-log-exp_binary64`

Counts

2 → 33

Calls

2 calls:

6.0ms	(.f64 y (+.f64 -12/29 (.f64 3 x)))
2.0ms	(+.f64 -12/29 (*.f64 3 x))

Compiler

Compiled 460 to 354 computations (23% saved)

series26.0ms (1.6%)

Error

0.0b

Counts

2 → 15

Calls

2 calls:

15.0ms	(.f64 y (+.f64 -12/29 (.f64 3 x)))
7.0ms	(+.f64 -12/29 (*.f64 3 x))

Compiler

Compiled 253 to 187 computations (26.1% saved)

simplify96.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

430×	`unsub-neg_binary64`
429×	`associate-l_binary64`
330×	`associate-r_binary64`
213×	`distribute-lft-neg-out_binary64`
207×	`distribute-rgt-neg-out_binary64`

Counts

48 → 33

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	572
1	185	512
2	563	512
3	1596	512
4	2679	512
5	4534	512
6	4994	512
7	4911	512

prune28.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	31	2	33
Fresh	4	4	8
Picked	0	1	1
Done	0	0	0
Total	35	7	42

Error

Counts

42 → 7

Alt Table

Status	Error	Program
✓	0.2b	(.f64 y (+.f64 -12/29 (.f64 3 x)))
	30.6b	(.f64 (.f64 (+.f64 -12/29 (*.f64 3 x)) (sqrt.f64 y)) (sqrt.f64 y))
	1.4b	(.f64 (.f64 (+.f64 -12/29 (.f64 3 x)) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
	0.4b	(.f64 (-.f64 x 4/29) (.f64 y 3))
	14.8b	(/.f64 (.f64 y (-.f64 144/841 (.f64 x (.f64 x 9)))) (-.f64 -12/29 (.f64 3 x)))
▶	0.2b	(+.f64 (.f64 y -12/29) (.f64 3 (*.f64 x y)))
	32.2b	(.f64 (sqrt.f64 (.f64 y (+.f64 -12/29 (.f64 3 x)))) (sqrt.f64 (.f64 y (+.f64 -12/29 (*.f64 3 x)))))

Compiler

Compiled 523 to 391 computations (25.2% saved)

localize6.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 y -12/29) (.f64 3 (*.f64 x y)))
0.1b	(*.f64 y -12/29)
0.2b	(.f64 3 (.f64 x y))

rewrite68.0ms (4.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`add-cbrt-cube_binary64`
10×	`add-exp-log_binary64`
10×	`pow1_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`associate-l_binary64`

Counts

3 → 47

Calls

3 calls:

4.0ms	(+.f64 (.f64 y -12/29) (.f64 3 (*.f64 x y)))
4.0ms	(.f64 3 (.f64 x y))
3.0ms	(*.f64 y -12/29)

Compiler

Compiled 667 to 419 computations (37.2% saved)

series34.0ms (2.1%)

Error

Counts

3 → 18

Calls

3 calls:

17.0ms	(+.f64 (.f64 y -12/29) (.f64 3 (*.f64 x y)))
10.0ms	(.f64 3 (.f64 x y))
4.0ms	(*.f64 y -12/29)

Compiler

Compiled 394 to 287 computations (27.2% saved)

simplify75.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

313×	`distribute-rgt-in_binary64`
304×	`*-commutative_binary64`
290×	`distribute-lft-in_binary64`
278×	`distribute-rgt-neg-in_binary64`
270×	`cancel-sign-sub-inv_binary64`

Counts

65 → 38

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	656
1	233	596
2	764	587
3	1737	584
4	4449	584
5	4988	584

prune18.0ms (1.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	39	6	45

Error

Counts

45 → 6

Alt Table

Status	Error	Program
✓	0.2b	(.f64 y (+.f64 -12/29 (.f64 3 x)))
	0.4b	(+.f64 (.f64 y -12/29) (.f64 (sqrt.f64 3) (.f64 (.f64 y x) (sqrt.f64 3))))
▶	0.4b	(.f64 (-.f64 x 4/29) (.f64 y 3))
	14.8b	(/.f64 (.f64 y (-.f64 144/841 (.f64 x (.f64 x 9)))) (-.f64 -12/29 (.f64 3 x)))
✓	0.2b	(+.f64 (.f64 y -12/29) (.f64 3 (*.f64 x y)))
	32.2b	(.f64 (sqrt.f64 (.f64 y (+.f64 -12/29 (.f64 3 x)))) (sqrt.f64 (.f64 y (+.f64 -12/29 (*.f64 3 x)))))

Compiler

Compiled 458 to 325 computations (29% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.4b	(.f64 (-.f64 x 4/29) (.f64 y 3))

rewrite18.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
5×	`associate-l_binary64`
4×	`*-un-lft-identity_binary64`

Counts

1 → 22

Calls

1 calls:

6.0ms

(*.f64 (-.f64 x 4/29) (*.f64 y 3))

Compiler

Compiled 272 to 207 computations (23.9% saved)

series16.0ms (1%)

Error

Counts

1 → 9

Calls

1 calls:

13.0ms

(*.f64 (-.f64 x 4/29) (*.f64 y 3))

Compiler

Compiled 172 to 126 computations (26.7% saved)

simplify69.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

530×	`associate-l_binary64`
396×	`associate-r_binary64`
295×	`distribute-rgt-neg-out_binary64`
293×	`distribute-lft-neg-out_binary64`
208×	`unswap-sqr_binary64`

Counts

31 → 25

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	66	422
1	150	338
2	443	338
3	1414	338
4	1838	338
5	2622	338
6	4917	338
7	4925	338

prune11.0ms (0.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	25	6	31

Error

Counts

31 → 6

Alt Table

Status	Error	Program
	0.2b	(.f64 y (+.f64 -12/29 (.f64 3 x)))
	0.4b	(+.f64 (.f64 y -12/29) (.f64 (sqrt.f64 3) (.f64 (.f64 y x) (sqrt.f64 3))))
	0.4b	(.f64 (-.f64 x 4/29) (.f64 y 3))
	14.8b	(/.f64 (.f64 y (-.f64 144/841 (.f64 x (.f64 x 9)))) (-.f64 -12/29 (.f64 3 x)))
	0.2b	(+.f64 (.f64 y -12/29) (.f64 3 (*.f64 x y)))
	32.2b	(.f64 (sqrt.f64 (.f64 y (+.f64 -12/29 (.f64 3 x)))) (sqrt.f64 (.f64 y (+.f64 -12/29 (*.f64 3 x)))))

Compiler

Compiled 265 to 202 computations (23.8% saved)

regimes256.0ms (15.5%)

Accuracy

Total 0.2b remaining (90.2%)

Threshold costs 0.2b (90.2%)

Compiler

Compiled 4185 to 3241 computations (22.6% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	13	13
2	13	13

end0.0ms (0%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

sample569.0ms (34.4%)

Algorithm

1×

intervals

Results

292.0ms	8000×	body	128	valid
2.0ms	68×	body	128	invalid

Compiler

Compiled 105 to 82 computations (21.9% saved)

Details

analyze86.0ms (5.2%)

sample18.0ms (1.1%)

simplify11.0ms (0.7%)

prune2.0ms (0.1%)

localize4.0ms (0.3%)

rewrite41.0ms (2.5%)

series26.0ms (1.6%)

simplify103.0ms (6.2%)

prune27.0ms (1.6%)

localize4.0ms (0.3%)

rewrite32.0ms (1.9%)

series26.0ms (1.6%)

simplify96.0ms (5.8%)

prune28.0ms (1.7%)

localize6.0ms (0.4%)

rewrite68.0ms (4.1%)

series34.0ms (2.1%)

simplify75.0ms (4.5%)

prune18.0ms (1.1%)

localize5.0ms (0.3%)

rewrite18.0ms (1.1%)

series16.0ms (1%)

simplify69.0ms (4.2%)

prune11.0ms (0.7%)

regimes256.0ms (15.5%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample569.0ms (34.4%)

Profiling