Details

analyze247.0ms (6.4%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	20
1	75	20
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	5
50%	50%	0.1%	6
50%	50%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	7
71.8%	21.9%	6.3%	8
71.8%	21.9%	6.3%	8
76.5%	14%	9.5%	9
76.5%	14%	9.5%	9
80.4%	10.1%	9.5%	10
80.4%	10.1%	9.5%	10
82.3%	6.6%	11%	11
82.3%	6.6%	11%	11
84.1%	4.9%	11%	12
84.1%	4.9%	11%	12
85%	3.2%	11.8%	13
85%	3.2%	11.8%	13
85.8%	2.4%	11.8%	14
85.8%	2.4%	11.8%	14

Compiler

Compiled 20 to 20 computations (0% saved)

sample141.0ms (3.6%)

Algorithm

2×

intervals

Results

17.0ms	512×	body	128	valid
2.0ms	84×	body	128	invalid

Compiler

Compiled 2969 to 3561 computations (-19.9% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	48	10
1	48	10

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

Compiler

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

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)

rewrite65.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`pow1_binary64_22304` `add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279` `add-sqr-sqrt_binary64_22265`
7×	`*-un-lft-identity_binary64_22243`
6×	`associate-l/_binary64_22186` `associate-l_binary64_22184` `associate-r*_binary64_22183`
5×	`add-cube-cbrt_binary64_22278`
4×	`pow-prod-down_binary64_22314` `prod-exp_binary64_22292` `cbrt-unprod_binary64_22276`
2×	`add-log-exp_binary64_22282` `flip3--_binary64_22247` `flip--_binary64_22218` `*-commutative_binary64_22174`
1×	`unswap-sqr_binary64_22211` `difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195`

Counts

2 → 42

Calls

2 calls:

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

Compiler

Compiled 568 to 433 computations (23.8% saved)

series172.0ms (4.4%)

Error

0.1b

Counts

2 → 15

Calls

2 calls:

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

Compiler

Compiled 259 to 222 computations (14.3% saved)

simplify70.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4932	556
1	4932	556

prune59.0ms (1.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	49	8	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	9	58

Error

Counts

58 → 9

Compiler

Compiled 676 to 520 computations (23.1% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite32.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`pow1_binary64_22304` `add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
5×	`associate-l_binary64_22184`
4×	`add-sqr-sqrt_binary64_22265` `*-un-lft-identity_binary64_22243`
3×	`pow-prod-down_binary64_22314` `prod-exp_binary64_22292` `cbrt-unprod_binary64_22276`
2×	`add-cube-cbrt_binary64_22278` `associate-*l/_binary64_22186`
1×	`add-log-exp_binary64_22282` `flip3--_binary64_22247` `flip--_binary64_22218` `difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195` `associate-r_binary64_22183` `*-commutative_binary64_22174`

Counts

1 → 22

Calls

1 calls:

8.0ms

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

Compiler

Compiled 306 to 235 computations (23.2% saved)

series132.0ms (3.4%)

Error

Counts

1 → 9

Calls

1 calls:

127.0ms

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

Compiler

Compiled 170 to 143 computations (15.9% saved)

simplify49.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5255	338

prune33.0ms (0.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	31	9	40

Error

Counts

40 → 9

Compiler

Compiled 404 to 316 computations (21.8% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite62.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`add-sqr-sqrt_binary64_22265`
9×	`pow1_binary64_22304` `add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279` `*-un-lft-identity_binary64_22243`
8×	`associate-r_binary64_22183`
7×	`add-cube-cbrt_binary64_22278`
6×	`cancel-sign-sub-inv_binary64_22209`
4×	`pow-prod-down_binary64_22314` `prod-exp_binary64_22292` `cbrt-unprod_binary64_22276` `associate-r/_binary64_22185` `associate-l*_binary64_22184` `distribute-rgt-in_binary64_22193` `distribute-lft-in_binary64_22192`
2×	`add-log-exp_binary64_22282` `flip3--_binary64_22247` `associate-l/_binary64_22186` `flip--_binary64_22218` `-commutative_binary64_22174` `sub-neg_binary64_22236`
1×	`unswap-sqr_binary64_22211` `difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195`

Counts

2 → 50

Calls

2 calls:

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

Compiler

Compiled 674 to 499 computations (26% saved)

series224.0ms (5.8%)

Error

Counts

2 → 18

Calls

2 calls:

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

Compiler

Compiled 344 to 287 computations (16.6% saved)

simplify68.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4935	641
1	4935	641

prune57.0ms (1.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	2	4	6
Picked	0	1	1
Done	0	2	2
Total	69	8	77

Error

Counts

77 → 8

Compiler

Compiled 745 to 547 computations (26.6% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 y (-.f64 x 4/29))
0.4b	(.f64 (.f64 y (-.f64 x 4/29)) (sqrt.f64 3))
0.5b	(.f64 (.f64 (*.f64 y (-.f64 x 4/29)) (sqrt.f64 3)) (sqrt.f64 3))

rewrite134.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`pow1_binary64_22304` `add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
17×	`associate-r_binary64_22183`
15×	`add-sqr-sqrt_binary64_22265`
13×	`*-un-lft-identity_binary64_22243`
11×	`add-cube-cbrt_binary64_22278`
10×	`pow-prod-down_binary64_22314` `prod-exp_binary64_22292` `cbrt-unprod_binary64_22276`
6×	`associate-r/_binary64_22185` `associate-l/_binary64_22186` `sqrt-prod_binary64_22259` `cancel-sign-sub-inv_binary64_22209`
5×	`associate-l_binary64_22184`
4×	`distribute-rgt-in_binary64_22193` `distribute-lft-in_binary64_22192`
3×	`add-log-exp_binary64_22282` `flip3--_binary64_22247` `flip--_binary64_22218` `*-commutative_binary64_22174`
2×	`sub-neg_binary64_22236`
1×	`unswap-sqr_binary64_22211` `difference-of-squares_binary64_22212` `distribute-lft-out--_binary64_22195`

Counts

3 → 79

Calls

3 calls:

12.0ms	(.f64 (.f64 (*.f64 y (-.f64 x 4/29)) (sqrt.f64 3)) (sqrt.f64 3))
8.0ms	(.f64 (.f64 y (-.f64 x 4/29)) (sqrt.f64 3))
7.0ms	(*.f64 y (-.f64 x 4/29))

Compiler

Compiled 1444 to 1179 computations (18.4% saved)

series577.0ms (14.9%)

Error

Counts

3 → 27

Calls

3 calls:

267.0ms	(.f64 (.f64 (*.f64 y (-.f64 x 4/29)) (sqrt.f64 3)) (sqrt.f64 3))
181.0ms	(.f64 (.f64 y (-.f64 x 4/29)) (sqrt.f64 3))
104.0ms	(*.f64 y (-.f64 x 4/29))

Compiler

Compiled 882 to 805 computations (8.7% saved)

simplify56.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5859	1145

prune99.0ms (2.5%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	106	8	114

Error

Counts

114 → 8

Compiler

Compiled 1369 to 1092 computations (20.2% saved)

regimes385.0ms (9.9%)

Accuracy

Total 0.2b remaining (97.4%)

Threshold costs 0.2b (97.4%)

Compiler

Compiled 2864 to 2627 computations (8.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	10
1	20	10

end0.0ms (0%)

sample1.2s (30.4%)

Algorithm

1×

intervals

Results

242.0ms	8000×	body	128	valid
31.0ms	1170×	body	128	invalid

Compiler

Compiled 574 to 525 computations (8.5% saved)

Details

analyze247.0ms (6.4%)

sample141.0ms (3.6%)

simplify8.0ms (0.2%)

prune4.0ms (0.1%)

localize5.0ms (0.1%)

rewrite65.0ms (1.7%)

series172.0ms (4.4%)

simplify70.0ms (1.8%)

prune59.0ms (1.5%)

localize5.0ms (0.1%)

rewrite32.0ms (0.8%)

series132.0ms (3.4%)

simplify49.0ms (1.3%)

prune33.0ms (0.8%)

localize5.0ms (0.1%)

rewrite62.0ms (1.6%)

series224.0ms (5.8%)

simplify68.0ms (1.8%)

prune57.0ms (1.5%)

localize7.0ms (0.2%)

rewrite134.0ms (3.5%)

series577.0ms (14.9%)

simplify56.0ms (1.4%)

prune99.0ms (2.5%)

regimes385.0ms (9.9%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.2s (30.4%)

Profiling