Details

analyze79.0ms (2.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%	62.4%	0.1%	6
43.7%	43.7%	12.6%	7
53.1%	34.3%	12.6%	8
57.8%	23.4%	18.8%	9
63.2%	18%	18.8%	10
66%	12.1%	22%	11
68.9%	9.2%	22%	12
70.3%	6.1%	23.5%	13
71.9%	4.6%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample12.0ms (0.4%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify162.0ms (5.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	18	10
1	18	10

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 5.9b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

5.5b	(.f64 x (+.f64 1 (.f64 y y)))

rewrite8.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_13058`
3×	`associate-r_binary64_12976` `-un-lft-identity_binary64_13036` `associate-l*_binary64_12977` `pow1_binary64_13097` `add-cbrt-cube_binary64_13072` `add-exp-log_binary64_13074` `add-cube-cbrt_binary64_13071`
2×	`associate-*r/_binary64_12978`
1×	`distribute-rgt-in_binary64_12986` `distribute-lft-in_binary64_12985` `add-log-exp_binary64_13075` `unswap-sqr_binary64_13004` `flip3-+_binary64_13039` `prod-exp_binary64_13085` `flip-+_binary64_13010` `*-commutative_binary64_12967` `pow-prod-down_binary64_13107` `cbrt-unprod_binary64_13069`

Counts

1 → 22

Calls

1 calls:

6.0ms

(*.f64 x (+.f64 1 (*.f64 y y)))

series70.0ms (2.4%)

Counts

1 → 3

Calls

1 calls:

70.0ms

(*.f64 x (+.f64 1 (*.f64 y y)))

simplify67.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5039	289

prune31.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	20	5	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	6	26

Merged error: 5.6b

Counts

26 → 6

Compiler

Compiled 368 to 207 computations (43.8% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (sqrt.f64 (+.f64 1 (.f64 y y))))
0.1b	(.f64 (.f64 x (sqrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (+.f64 1 (.f64 y y))))
5.4b	(sqrt.f64 (+.f64 1 (*.f64 y y)))
5.4b	(sqrt.f64 (+.f64 1 (*.f64 y y)))

rewrite34.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`sqrt-div_binary64_13053`
17×	`add-sqr-sqrt_binary64_13058`
13×	`sqrt-prod_binary64_13052` `pow1_binary64_13097`
12×	`associate-r_binary64_12976`
11×	`*-un-lft-identity_binary64_13036` `add-cbrt-cube_binary64_13072` `add-exp-log_binary64_13074` `add-cube-cbrt_binary64_13071`
10×	`associate-*r/_binary64_12978`
9×	`flip3-+_binary64_13039` `flip-+_binary64_13010`
4×	`add-log-exp_binary64_13075` `associate-l_binary64_12977` `prod-exp_binary64_13085` `frac-times_binary64_13046` `pow-prod-down_binary64_13107` `cbrt-unprod_binary64_13069`
2×	`unswap-sqr_binary64_13004` `rem-sqrt-square_binary64_13049` `associate-l/_binary64_12979` `pow1/2_binary64_13116` `-commutative_binary64_12967` `sqrt-pow1_binary64_13054`

Counts

4 → 83

Calls

4 calls:

13.0ms	(.f64 (.f64 x (sqrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (+.f64 1 (.f64 y y))))
8.0ms	(.f64 x (sqrt.f64 (+.f64 1 (.f64 y y))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))

series236.0ms (8.2%)

Counts

4 → 12

Calls

4 calls:

84.0ms	(.f64 x (sqrt.f64 (+.f64 1 (.f64 y y))))
74.0ms	(.f64 (.f64 x (sqrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (+.f64 1 (.f64 y y))))
41.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
37.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))

simplify93.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4956	1418
1	4956	1418

prune99.0ms (3.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	94	7	101

Merged error: 5.6b

Counts

101 → 7

Compiler

Compiled 1914 to 1141 computations (40.4% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (fabs.f64 (cbrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (cbrt.f64 (+.f64 1 (*.f64 y y)))))
5.4b	(sqrt.f64 (+.f64 1 (*.f64 y y)))
5.6b	(cbrt.f64 (+.f64 1 (*.f64 y y)))
5.6b	(cbrt.f64 (+.f64 1 (*.f64 y y)))

rewrite29.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_13058`
11×	`sqrt-prod_binary64_13052` `*-un-lft-identity_binary64_13036` `add-cube-cbrt_binary64_13071`
10×	`cbrt-prod_binary64_13067`
9×	`associate-r_binary64_12976`
7×	`pow1_binary64_13097`
6×	`add-cbrt-cube_binary64_13072` `cbrt-div_binary64_13068` `add-exp-log_binary64_13074`
4×	`sqrt-div_binary64_13053` `add-log-exp_binary64_13075` `flip3-+_binary64_13039` `flip-+_binary64_13010`
3×	`unswap-sqr_binary64_13004` `associate-l_binary64_12977`
2×	`pow1/3_binary64_13118` `associate-*r/_binary64_12978`
1×	`rem-sqrt-square_binary64_13049` `pow1/2_binary64_13116` `prod-exp_binary64_13085` `*-commutative_binary64_12967` `pow-prod-down_binary64_13107` `cbrt-unprod_binary64_13069` `sqrt-pow1_binary64_13054`

Counts

4 → 69

Calls

4 calls:

10.0ms	(.f64 (fabs.f64 (cbrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (cbrt.f64 (+.f64 1 (*.f64 y y)))))
3.0ms	(cbrt.f64 (+.f64 1 (*.f64 y y)))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
3.0ms	(cbrt.f64 (+.f64 1 (*.f64 y y)))

series340.0ms (11.8%)

Counts

4 → 12

Calls

4 calls:

141.0ms	(.f64 (fabs.f64 (cbrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (cbrt.f64 (+.f64 1 (*.f64 y y)))))
84.0ms	(cbrt.f64 (+.f64 1 (*.f64 y y)))
82.0ms	(cbrt.f64 (+.f64 1 (*.f64 y y)))
32.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))

simplify68.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4866	1701
1	4866	1701

prune126.0ms (4.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	81	7	88

Merged error: 5.6b

Counts

88 → 7

Compiler

Compiled 2633 to 1676 computations (36.3% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (.f64 x (+.f64 1 (.f64 y y))))
5.5b	(.f64 x (+.f64 1 (.f64 y y)))
5.5b	(.f64 x (+.f64 1 (.f64 y y)))
5.5b	(.f64 x (+.f64 1 (.f64 y y)))

rewrite34.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_13058`
10×	`*-un-lft-identity_binary64_13036` `pow1_binary64_13097` `add-cbrt-cube_binary64_13072` `add-exp-log_binary64_13074` `add-cube-cbrt_binary64_13071`
9×	`associate-r_binary64_12976` `associate-l_binary64_12977`
8×	`associate-*r/_binary64_12978`
4×	`add-log-exp_binary64_13075` `flip3-+_binary64_13039` `flip-+_binary64_13010`
3×	`distribute-rgt-in_binary64_12986` `distribute-lft-in_binary64_12985` `unswap-sqr_binary64_13004` `prod-exp_binary64_13085` `*-commutative_binary64_12967` `pow-prod-down_binary64_13107` `cbrt-unprod_binary64_13069`
2×	`cbrt-div_binary64_13068`
1×	`pow1/3_binary64_13118` `cbrt-prod_binary64_13067`

Counts

4 → 77

Calls

4 calls:

8.0ms	(.f64 x (+.f64 1 (.f64 y y)))
7.0ms	(.f64 x (+.f64 1 (.f64 y y)))
6.0ms	(.f64 x (+.f64 1 (.f64 y y)))
4.0ms	(cbrt.f64 (.f64 x (+.f64 1 (.f64 y y))))

series443.0ms (15.3%)

Counts

4 → 12

Calls

4 calls:

237.0ms	(cbrt.f64 (.f64 x (+.f64 1 (.f64 y y))))
73.0ms	(.f64 x (+.f64 1 (.f64 y y)))
67.0ms	(.f64 x (+.f64 1 (.f64 y y)))
66.0ms	(.f64 x (+.f64 1 (.f64 y y)))

simplify61.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4948	1070
1	4948	1070

prune114.0ms (3.9%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	89	7	96

Merged error: 5.6b

Counts

96 → 7

Compiler

Compiled 2712 to 1490 computations (45.1% saved)

regimes139.0ms (4.8%)

Compiler: Compiled 1303 to 962 computations (26.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	23
1	13	23

end0.0ms (0%)

sample609.0ms (21.1%)

Algorithm

1×

intervals

Results

188.0ms	8000×	body	128	valid
4.0ms	159×	body	128	invalid

Compiler

Compiled 269 to 199 computations (26% saved)

Details

analyze79.0ms (2.7%)

sample12.0ms (0.4%)

simplify162.0ms (5.6%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite8.0ms (0.3%)

series70.0ms (2.4%)

simplify67.0ms (2.3%)

prune31.0ms (1.1%)

localize7.0ms (0.2%)

rewrite34.0ms (1.2%)

series236.0ms (8.2%)

simplify93.0ms (3.2%)

prune99.0ms (3.4%)

localize11.0ms (0.4%)

rewrite29.0ms (1%)

series340.0ms (11.8%)

simplify68.0ms (2.3%)

prune126.0ms (4.4%)

localize9.0ms (0.3%)

rewrite34.0ms (1.2%)

series443.0ms (15.3%)

simplify61.0ms (2.1%)

prune114.0ms (3.9%)

regimes139.0ms (4.8%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample609.0ms (21.1%)

Profiling