Details

analyze291.0ms (7.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
31.2%	68.6%	0.1%	8
35.9%	60.8%	3.3%	9
44.1%	48%	7.9%	10
54.8%	36.9%	8.3%	11
57.6%	31.5%	10.9%	12
61.9%	24%	14.1%	13
67.2%	18.6%	14.2%	14

Compiler

Compiled 10 to 10 computations (0% saved)

sample16.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	23×	body	128	invalid

Compiler

Compiled 19 to 22 computations (-15.8% saved)

simplify124.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	537	13
1	537	13

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

Merged error: 4.8b

Counts

2 → 1

Compiler

Compiled 18 to 18 computations (0% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 1 y) z)
4.6b	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))

rewrite23.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_23288`
9×	`associate-l_binary64_23207` `*-un-lft-identity_binary64_23266`
6×	`add-cube-cbrt_binary64_23301` `pow1_binary64_23327` `add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302` `associate-r_binary64_23206`
2×	`sub-neg_binary64_23259` `difference-of-squares_binary64_23235` `-commutative_binary64_23197` `distribute-rgt-in_binary64_23216` `associate-r/_binary64_23208` `pow-prod-down_binary64_23337` `flip--_binary64_23241` `cbrt-unprod_binary64_23299` `flip3--_binary64_23270` `prod-exp_binary64_23315` `unswap-sqr_binary64_23234` `add-log-exp_binary64_23305` `distribute-lft-in_binary64_23215` `cancel-sign-sub-inv_binary64_23232` `associate-*l/_binary64_23209`
1×	`distribute-lft-out--_binary64_23218`

Counts

2 → 47

Calls

2 calls:

12.0ms	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
8.0ms	(*.f64 (-.f64 1 y) z)

series84.0ms (2.1%)

Counts

2 → 15

Calls

2 calls:

58.0ms	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
26.0ms	(*.f64 (-.f64 1 y) z)

simplify69.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4917	750
1	4917	750

prune65.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	54	8	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	54	9	63

Merged error: 4.8b

Counts

63 → 9

Compiler

Compiled 956 to 669 computations (30% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (.f64 x (-.f64 (.f64 y z) z)))
0.0b	(-.f64 (*.f64 y z) z)
4.6b	(.f64 x (-.f64 (.f64 y z) z))

rewrite21.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`cancel-sign-sub-inv_binary64_23232`
12×	`add-sqr-sqrt_binary64_23288` `*-un-lft-identity_binary64_23266`
10×	`add-cube-cbrt_binary64_23301`
8×	`associate-+r+_binary64_23198` `distribute-rgt-in_binary64_23216` `distribute-lft-in_binary64_23215`
7×	`add-log-exp_binary64_23305`
5×	`sub-neg_binary64_23259` `pow1_binary64_23327` `add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
4×	`associate-r_binary64_23206`
3×	`associate-l_binary64_23207`
2×	`associate-*r/_binary64_23208` `flip--_binary64_23241` `flip3--_binary64_23270` `distribute-rgt-out--_binary64_23220`
1×	`sum-log_binary64_23357` `+-commutative_binary64_23196` `*-commutative_binary64_23197` `pow-prod-down_binary64_23337` `cbrt-unprod_binary64_23299` `flip-+_binary64_23240` `prod-exp_binary64_23315` `unswap-sqr_binary64_23234` `flip3-+_binary64_23269` `diff-log_binary64_23358`

Counts

3 → 63

Calls

3 calls:

8.0ms	(.f64 x (-.f64 (.f64 y z) z))
4.0ms	(-.f64 (*.f64 y z) z)
4.0ms	(+.f64 x (.f64 x (-.f64 (.f64 y z) z)))

series169.0ms (4.2%)

Counts

3 → 24

Calls

3 calls:

76.0ms	(.f64 x (-.f64 (.f64 y z) z))
67.0ms	(+.f64 x (.f64 x (-.f64 (.f64 y z) z)))
26.0ms	(-.f64 (*.f64 y z) z)

simplify88.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4933	1073
1	4933	1073

prune64.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	4	3	7
Picked	1	0	1
Done	0	1	1
Total	90	6	96

Merged error: 0.0b

Counts

96 → 6

Compiler

Compiled 1231 to 285 computations (76.8% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 x z) (-.f64 y 1)))
4.0b	(.f64 (.f64 x z) (-.f64 y 1))

rewrite17.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cancel-sign-sub-inv_binary64_23232`
11×	`add-sqr-sqrt_binary64_23288`
10×	`*-un-lft-identity_binary64_23266`
8×	`associate-+r+_binary64_23198` `distribute-rgt-in_binary64_23216` `distribute-lft-in_binary64_23215`
7×	`add-cube-cbrt_binary64_23301` `pow1_binary64_23327` `add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302` `associate-r_binary64_23206`
4×	`sub-neg_binary64_23259` `add-log-exp_binary64_23305`
3×	`pow-prod-down_binary64_23337` `cbrt-unprod_binary64_23299` `prod-exp_binary64_23315`
2×	`difference-of-squares_binary64_23235` `associate-*r/_binary64_23208`
1×	`sum-log_binary64_23357` `+-commutative_binary64_23196` `-commutative_binary64_23197` `flip--_binary64_23241` `difference-of-sqr-1_binary64_23236` `flip3--_binary64_23270` `associate-l*_binary64_23207` `flip-+_binary64_23240` `distribute-lft-out--_binary64_23218` `flip3-+_binary64_23269`

Counts

2 → 51

Calls

2 calls:

9.0ms	(.f64 (.f64 x z) (-.f64 y 1))
5.0ms	(+.f64 x (.f64 (.f64 x z) (-.f64 y 1)))

series146.0ms (3.6%)

Counts

2 → 18

Calls

2 calls:

77.0ms	(.f64 (.f64 x z) (-.f64 y 1))
69.0ms	(+.f64 x (.f64 (.f64 x z) (-.f64 y 1)))

simplify63.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5037	892

prune56.0ms (1.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	67	8	75

Merged error: 0b

Counts

75 → 8

Compiler

Compiled 1036 to 515 computations (50.3% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

4.0b	(.f64 (.f64 x z) (-.f64 y 1))
7.7b	(cbrt.f64 (.f64 (.f64 x z) (-.f64 y 1)))
7.7b	(cbrt.f64 (.f64 (.f64 x z) (-.f64 y 1)))
7.7b	(cbrt.f64 (.f64 (.f64 x z) (-.f64 y 1)))

rewrite35.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_23288`
10×	`*-un-lft-identity_binary64_23266`
9×	`pow1_binary64_23327` `add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
8×	`associate-*r/_binary64_23208`
7×	`add-cube-cbrt_binary64_23301` `associate-r_binary64_23206`
6×	`cbrt-div_binary64_23298` `cancel-sign-sub-inv_binary64_23232`
4×	`distribute-rgt-in_binary64_23216` `flip--_binary64_23241` `flip3--_binary64_23270` `add-log-exp_binary64_23305` `distribute-lft-in_binary64_23215`
3×	`cbrt-prod_binary64_23297` `pow-prod-down_binary64_23337` `cbrt-unprod_binary64_23299` `pow1/3_binary64_23348` `prod-exp_binary64_23315`
2×	`sub-neg_binary64_23259` `difference-of-squares_binary64_23235`
1×	`-commutative_binary64_23197` `difference-of-sqr-1_binary64_23236` `associate-l*_binary64_23207` `distribute-lft-out--_binary64_23218`

Counts

4 → 65

Calls

4 calls:

9.0ms	(.f64 (.f64 x z) (-.f64 y 1))
6.0ms	(cbrt.f64 (.f64 (.f64 x z) (-.f64 y 1)))
6.0ms	(cbrt.f64 (.f64 (.f64 x z) (-.f64 y 1)))
6.0ms	(cbrt.f64 (.f64 (.f64 x z) (-.f64 y 1)))

series1.1s (27.3%)

Counts

4 → 36

Calls

4 calls:

352.0ms	(cbrt.f64 (.f64 (.f64 x z) (-.f64 y 1)))
351.0ms	(cbrt.f64 (.f64 (.f64 x z) (-.f64 y 1)))
328.0ms	(cbrt.f64 (.f64 (.f64 x z) (-.f64 y 1)))
74.0ms	(.f64 (.f64 x z) (-.f64 y 1))

simplify71.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4945	1464
1	4945	1464

prune132.0ms (3.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	101	8	109

Merged error: 0b

Counts

109 → 8

Compiler

Compiled 3239 to 1737 computations (46.4% saved)

regimes449.0ms (11.1%)

Compiler: Compiled 3501 to 2900 computations (17.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 9 to 9 computations (0% saved)

simplify14.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (11.0ms)

Iter	Nodes	Cost
0	369	67
1	369	67

end0.0ms (0%)

sample912.0ms (22.5%)

Algorithm

1×

intervals

Results

239.0ms	8000×	body	128	valid
24.0ms	724×	body	128	invalid

Compiler

Compiled 495 to 389 computations (21.4% saved)

Details

analyze291.0ms (7.2%)

sample16.0ms (0.4%)

simplify124.0ms (3.1%)

prune3.0ms (0.1%)

localize7.0ms (0.2%)

rewrite23.0ms (0.6%)

series84.0ms (2.1%)

simplify69.0ms (1.7%)

prune65.0ms (1.6%)

localize9.0ms (0.2%)

rewrite21.0ms (0.5%)

series169.0ms (4.2%)

simplify88.0ms (2.2%)

prune64.0ms (1.6%)

localize7.0ms (0.2%)

rewrite17.0ms (0.4%)

series146.0ms (3.6%)

simplify63.0ms (1.6%)

prune56.0ms (1.4%)

localize11.0ms (0.3%)

rewrite35.0ms (0.9%)

series1.1s (27.3%)

simplify71.0ms (1.7%)

prune132.0ms (3.3%)

regimes449.0ms (11.1%)

bsearch1.0ms (0%)

simplify14.0ms (0.3%)

end0.0ms (0%)

sample912.0ms (22.5%)

Profiling