Details

analyze101.0ms (3.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%	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	8×	body	128	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify109.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	32	10
1	32	10

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

Error

7.1b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite14.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_9307`
3×	`-un-lft-identity_binary64_9285` `associate-l_binary64_9226` `associate-r*_binary64_9225` `pow1_binary64_9346` `add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323` `add-cube-cbrt_binary64_9320`
2×	`associate-*r/_binary64_9227`
1×	`cbrt-unprod_binary64_9318` `prod-exp_binary64_9334` `distribute-lft-in_binary64_9234` `distribute-rgt-in_binary64_9235` `pow-prod-down_binary64_9356` `unswap-sqr_binary64_9253` `flip-+_binary64_9259` `add-log-exp_binary64_9324` `*-commutative_binary64_9216` `flip3-+_binary64_9288`

Counts

1 → 22

Calls

1 calls:

11.0ms

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

series46.0ms (1.6%)

Counts

1 → 3

Calls

1 calls:

46.0ms

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

simplify107.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4921	289
1	4921	289

prune48.0ms (1.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	21	4	25
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	22	4	26

Error

6.9b

Counts

26 → 4

Compiler

Compiled 324 to 178 computations (45.1% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (.f64 x (.f64 y y)))
12.1b	(.f64 x (.f64 y y))

rewrite10.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`pow1_binary64_9346` `add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323`
4×	`add-sqr-sqrt_binary64_9307` `add-log-exp_binary64_9324`
3×	`cbrt-unprod_binary64_9318` `prod-exp_binary64_9334` `-un-lft-identity_binary64_9285` `pow-prod-down_binary64_9356` `associate-l*_binary64_9226` `add-cube-cbrt_binary64_9320`
1×	`unswap-sqr_binary64_9253` `associate-r_binary64_9225` `flip-+_binary64_9259` `*-commutative_binary64_9216` `sum-log_binary64_9376` `flip3-+_binary64_9288` `+-commutative_binary64_9215`

Counts

2 → 30

Calls

2 calls:

5.0ms	(.f64 x (.f64 y y))
3.0ms	(+.f64 x (.f64 x (.f64 y y)))

series82.0ms (2.9%)

Counts

2 → 6

Calls

2 calls:

49.0ms	(+.f64 x (.f64 x (.f64 y y)))
32.0ms	(.f64 x (.f64 y y))

simplify88.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4932	376
1	4932	376

prune44.0ms (1.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	36	4	40

Error

0.0b

Counts

40 → 4

Compiler

Compiled 410 to 130 computations (68.3% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 x y) y))
0.2b	(.f64 (.f64 x y) y)

rewrite17.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`pow1_binary64_9346` `add-cbrt-cube_binary64_9321` `add-exp-log_binary64_9323`
4×	`add-log-exp_binary64_9324`
3×	`cbrt-unprod_binary64_9318` `add-sqr-sqrt_binary64_9307` `prod-exp_binary64_9334` `-un-lft-identity_binary64_9285` `pow-prod-down_binary64_9356` `associate-r*_binary64_9225` `add-cube-cbrt_binary64_9320`
1×	`associate-l_binary64_9226` `flip-+_binary64_9259` `*-commutative_binary64_9216` `sum-log_binary64_9376` `flip3-+_binary64_9288` `+-commutative_binary64_9215`

Counts

2 → 29

Calls

2 calls:

8.0ms	(.f64 (.f64 x y) y)
5.0ms	(+.f64 x (.f64 (.f64 x y) y))

series92.0ms (3.3%)

Counts

2 → 6

Calls

2 calls:

47.0ms	(+.f64 x (.f64 (.f64 x y) y))
45.0ms	(.f64 (.f64 x y) y)

simplify67.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4939	364
1	4939	364

prune22.0ms (0.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	33	2	35
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	33	6	39

Error

0.0b

Counts

39 → 6

Compiler

Compiled 421 to 137 computations (67.5% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (cbrt.f64 (.f64 y (.f64 x y))) (cbrt.f64 (.f64 y (*.f64 x y))))
22.3b	(cbrt.f64 (.f64 y (.f64 x y)))
22.3b	(cbrt.f64 (.f64 y (.f64 x y)))
22.3b	(cbrt.f64 (.f64 y (.f64 x y)))

rewrite49.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_9346`
10×	`add-sqr-sqrt_binary64_9307`
9×	`pow1/3_binary64_9367`
8×	`*-un-lft-identity_binary64_9285` `add-cube-cbrt_binary64_9320`
7×	`cbrt-prod_binary64_9316`
6×	`add-exp-log_binary64_9323`
4×	`swap-sqr_binary64_9252` `associate-l_binary64_9226` `associate-r_binary64_9225` `add-cbrt-cube_binary64_9321` `add-log-exp_binary64_9324`
2×	`pow-prod-down_binary64_9356` `pow-prod-up_binary64_9355` `pow-sqr_binary64_9258`
1×	`cbrt-unprod_binary64_9318` `prod-exp_binary64_9334` `unswap-sqr_binary64_9253` `pow-plus_binary64_9348` `*-commutative_binary64_9216` `pow2_binary64_9366`

Counts

4 → 58

Calls

4 calls:

17.0ms	(.f64 (cbrt.f64 (.f64 y (.f64 x y))) (cbrt.f64 (.f64 y (*.f64 x y))))
8.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
8.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
7.0ms	(cbrt.f64 (.f64 y (.f64 x y)))

series464.0ms (16.5%)

Counts

4 → 12

Calls

4 calls:

145.0ms	(.f64 (cbrt.f64 (.f64 y (.f64 x y))) (cbrt.f64 (.f64 y (*.f64 x y))))
110.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
109.0ms	(cbrt.f64 (.f64 y (.f64 x y)))
99.0ms	(cbrt.f64 (.f64 y (.f64 x y)))

simplify175.0ms (6.2%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (158.0ms)

Iter	Nodes	Cost
0	5133	709

prune71.0ms (2.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	69	7	76

Error

0.0b

Counts

76 → 7

Compiler

Compiled 1595 to 341 computations (78.6% saved)

regimes253.0ms (9%)

Accuracy

Total 0.1b remaining (84.5%)

Threshold costs 0.1b (84.5%)

Compiler

Compiled 1791 to 1170 computations (34.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	9	10

end0.0ms (0%)

sample898.0ms (32%)

Algorithm

1×

intervals

Results

260.0ms	8000×	body	128	valid
6.0ms	179×	body	128	invalid

Compiler

Compiled 312 to 201 computations (35.6% saved)

Details

analyze101.0ms (3.6%)

sample12.0ms (0.4%)

simplify109.0ms (3.9%)

prune3.0ms (0.1%)

localize9.0ms (0.3%)

rewrite14.0ms (0.5%)

series46.0ms (1.6%)

simplify107.0ms (3.8%)

prune48.0ms (1.7%)

localize4.0ms (0.2%)

rewrite10.0ms (0.4%)

series82.0ms (2.9%)

simplify88.0ms (3.1%)

prune44.0ms (1.6%)

localize9.0ms (0.3%)

rewrite17.0ms (0.6%)

series92.0ms (3.3%)

simplify67.0ms (2.4%)

prune22.0ms (0.8%)

localize11.0ms (0.4%)

rewrite49.0ms (1.7%)

series464.0ms (16.5%)

simplify175.0ms (6.2%)

prune71.0ms (2.5%)

regimes253.0ms (9%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample898.0ms (32%)

Profiling