Details

analyze803.0ms (11.7%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1161	52
1	1161	52
0	3	3
1	3	3

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

Compiler

Compiled 20 to 20 computations (0% saved)

sample401.0ms (5.8%)

Algorithm

2×

intervals

Results

14.0ms	512×	body	128	valid
5.0ms	144×	body	128	invalid

Compiler

Compiled 3219 to 4182 computations (-29.9% saved)

simplify38.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	537	13
1	537	13

prune2.0ms (0%)

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

4.3b

Counts

2 → 1

Compiler

Compiled 18 to 18 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite73.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

4.3b

Rules

13×	`add-sqr-sqrt_binary64_22606`
9×	`-un-lft-identity_binary64_22584` `associate-l*_binary64_22525`
6×	`pow1_binary64_22645` `add-exp-log_binary64_22622` `add-cbrt-cube_binary64_22620` `add-cube-cbrt_binary64_22619` `associate-r_binary64_22524`
2×	`pow-prod-down_binary64_22655` `prod-exp_binary64_22633` `add-log-exp_binary64_22623` `cbrt-unprod_binary64_22617` `unswap-sqr_binary64_22552` `sub-neg_binary64_22577` `distribute-rgt-in_binary64_22534` `cancel-sign-sub-inv_binary64_22550` `distribute-lft-in_binary64_22533` `flip3--_binary64_22588` `associate-r/_binary64_22526` `flip--_binary64_22559` `-commutative_binary64_22515` `associate-*l/_binary64_22527` `difference-of-squares_binary64_22553`
1×	`distribute-lft-out--_binary64_22536`

Counts

2 → 47

Calls

2 calls:

7.0ms	(*.f64 (-.f64 1 y) z)
6.0ms	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))

Compiler

Compiled 771 to 543 computations (29.6% saved)

series308.0ms (4.5%)

Error

4.2b

Counts

2 → 24

Calls

2 calls:

198.0ms	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
92.0ms	(*.f64 (-.f64 1 y) z)

Compiler

Compiled 551 to 379 computations (31.2% saved)

simplify55.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4957	805
1	4957	805

prune74.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	63	8	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	8	72

Error

4.2b

Counts

72 → 8

Compiler

Compiled 995 to 539 computations (45.8% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

4.1b	(.f64 x (-.f64 (.f64 z y) z))

rewrite34.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

4.2b

Rules

7×	`add-sqr-sqrt_binary64_22606`
6×	`cancel-sign-sub-inv_binary64_22550`
5×	`add-cube-cbrt_binary64_22619` `*-un-lft-identity_binary64_22584`
4×	`distribute-rgt-in_binary64_22534` `distribute-lft-in_binary64_22533`
3×	`pow1_binary64_22645` `add-exp-log_binary64_22622` `add-cbrt-cube_binary64_22620` `associate-l_binary64_22525` `associate-r_binary64_22524`
2×	`sub-neg_binary64_22577` `associate-*r/_binary64_22526`
1×	`pow-prod-down_binary64_22655` `prod-exp_binary64_22633` `add-log-exp_binary64_22623` `cbrt-unprod_binary64_22617` `unswap-sqr_binary64_22552` `flip3--_binary64_22588` `flip--_binary64_22559` `*-commutative_binary64_22515`

Counts

1 → 28

Calls

1 calls:

7.0ms

(*.f64 x (-.f64 (*.f64 z y) z))

Compiler

Compiled 462 to 132 computations (71.4% saved)

series195.0ms (2.8%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

182.0ms

(*.f64 x (-.f64 (*.f64 z y) z))

Compiler

Compiled 309 to 190 computations (38.5% saved)

simplify63.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4997	478
1	4997	478

prune36.0ms (0.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	37	3	40
Fresh	3	4	7
Picked	0	1	1
Done	0	0	0
Total	40	8	48

Error

4.2b

Counts

48 → 8

Compiler

Compiled 611 to 164 computations (73.2% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.2b	(.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) z)) (cbrt.f64 (-.f64 (.f64 z y) z))))
4.6b	(cbrt.f64 (-.f64 (*.f64 z y) z))
4.6b	(cbrt.f64 (-.f64 (*.f64 z y) z))
4.6b	(cbrt.f64 (-.f64 (*.f64 z y) z))

rewrite112.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

4.2b

Rules

18×	`cbrt-div_binary64_22616`
10×	`associate-*r/_binary64_22526`
9×	`pow1_binary64_22645` `add-exp-log_binary64_22622` `flip3--_binary64_22588` `flip--_binary64_22559` `cbrt-prod_binary64_22615` `add-sqr-sqrt_binary64_22606`
8×	`add-cube-cbrt_binary64_22619` `*-un-lft-identity_binary64_22584`
7×	`add-cbrt-cube_binary64_22620`
4×	`add-log-exp_binary64_22623` `frac-times_binary64_22594`
3×	`pow1/3_binary64_22666` `pow-prod-down_binary64_22655` `prod-exp_binary64_22633` `cbrt-unprod_binary64_22617` `associate-l_binary64_22525`
2×	`associate-*l/_binary64_22527`
1×	`unswap-sqr_binary64_22552` `associate-r_binary64_22524` `*-commutative_binary64_22515`

Counts

4 → 66

Calls

4 calls:

14.0ms	(.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) z)) (cbrt.f64 (-.f64 (.f64 z y) z))))
4.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))
4.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))
4.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))

Compiler

Compiled 2300 to 381 computations (83.4% saved)

series1.5s (21.6%)

Error

4.2b

Counts

4 → 38

Calls

4 calls:

640.0ms	(.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) z)) (cbrt.f64 (-.f64 (.f64 z y) z))))
265.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))
265.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))
262.0ms	(cbrt.f64 (-.f64 (*.f64 z y) z))

Compiler

Compiled 3455 to 2199 computations (36.4% saved)

simplify74.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5091	1764

prune137.0ms (2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	104	8	112

Error

4.2b

Counts

112 → 8

Compiler

Compiled 3100 to 860 computations (72.3% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite185.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

4.2b

Rules

28×	`add-sqr-sqrt_binary64_22606`
21×	`*-un-lft-identity_binary64_22584`
19×	`sqrt-prod_binary64_22600`
16×	`sqrt-div_binary64_22601`
15×	`associate-l_binary64_22525`
14×	`pow1_binary64_22645`
13×	`add-exp-log_binary64_22622` `add-cbrt-cube_binary64_22620` `associate-r_binary64_22524`
12×	`add-cube-cbrt_binary64_22619` `associate-*r/_binary64_22526`
9×	`flip3--_binary64_22588` `flip--_binary64_22559`
6×	`difference-of-squares_binary64_22553`
5×	`pow-prod-down_binary64_22655` `prod-exp_binary64_22633` `cbrt-unprod_binary64_22617`
4×	`add-log-exp_binary64_22623` `frac-times_binary64_22594`
3×	`unswap-sqr_binary64_22552` `*-commutative_binary64_22515` `distribute-lft-out--_binary64_22536`
2×	`sub-neg_binary64_22577` `distribute-rgt-in_binary64_22534` `cancel-sign-sub-inv_binary64_22550` `distribute-lft-in_binary64_22533` `associate-*l/_binary64_22527`
1×	`pow1/2_binary64_22664` `sqrt-pow1_binary64_22602` `rem-sqrt-square_binary64_22597`

Counts

4 → 101

Calls

4 calls:

14.0ms	(.f64 (sqrt.f64 (-.f64 1 y)) (.f64 z (sqrt.f64 (-.f64 1 y))))
8.0ms	(*.f64 z (sqrt.f64 (-.f64 1 y)))
6.0ms	(.f64 x (-.f64 1 (.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 z (sqrt.f64 (-.f64 1 y))))))
4.0ms	(sqrt.f64 (-.f64 1 y))

Compiler

Compiled 2473 to 1854 computations (25% saved)

series473.0ms (6.9%)

Error

4.2b

Counts

4 → 37

Calls

4 calls:

220.0ms	(.f64 x (-.f64 1 (.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 z (sqrt.f64 (-.f64 1 y))))))
105.0ms	(*.f64 z (sqrt.f64 (-.f64 1 y)))
97.0ms	(.f64 (sqrt.f64 (-.f64 1 y)) (.f64 z (sqrt.f64 (-.f64 1 y))))
27.0ms	(sqrt.f64 (-.f64 1 y))

Compiler

Compiled 1138 to 862 computations (24.3% saved)

simplify52.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5207	1636

prune141.0ms (2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	137	1	138
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	137	9	146

Error

4.2b

Counts

146 → 9

Compiler

Compiled 2297 to 1481 computations (35.5% saved)

regimes768.0ms (11.2%)

Accuracy

Total 0.1b remaining (82.6%)

Threshold costs 0.1b (82.6%)

Compiler

Compiled 5678 to 4529 computations (20.2% saved)

bsearch2.0ms (0%)

Compiler: Compiled 5 to 6 computations (-20% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	70	55
1	70	55

end0.0ms (0%)

sample1.3s (19.2%)

Algorithm

1×

intervals

Results

234.0ms	8000×	body	128	valid
61.0ms	2127×	body	128	invalid

Compiler

Compiled 803 to 619 computations (22.9% saved)

Details

analyze803.0ms (11.7%)

sample401.0ms (5.8%)

simplify38.0ms (0.6%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite73.0ms (1.1%)

series308.0ms (4.5%)

simplify55.0ms (0.8%)

prune74.0ms (1.1%)

localize6.0ms (0.1%)

rewrite34.0ms (0.5%)

series195.0ms (2.8%)

simplify63.0ms (0.9%)

prune36.0ms (0.5%)

localize13.0ms (0.2%)

rewrite112.0ms (1.6%)

series1.5s (21.6%)

simplify74.0ms (1.1%)

prune137.0ms (2%)

localize8.0ms (0.1%)

rewrite185.0ms (2.7%)

series473.0ms (6.9%)

simplify52.0ms (0.8%)

prune141.0ms (2%)

regimes768.0ms (11.2%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.3s (19.2%)

Profiling