Details

analyze515.0ms (2.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1237	52
1	1237	52
0	3	3
1	3	3

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
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
43.3%	48%	8.7%	10
49.7%	40.8%	9.5%	11
55.7%	34%	10.3%	12
61.3%	23.7%	15%	13
65%	19.8%	15.3%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample487.0ms (2.5%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
6.0ms	76×	body	128	invalid

Compiler

Compiled 3339 to 4004 computations (-19.9% saved)

simplify37.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	549	13
1	549	13

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

0.2b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite76.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`pow1_binary64_20599` `add-exp-log_binary64_20576` `add-cbrt-cube_binary64_20574` `add-sqr-sqrt_binary64_20560`
8×	`*-un-lft-identity_binary64_20538`
6×	`add-cube-cbrt_binary64_20573` `associate-l/_binary64_20481` `associate-l_binary64_20479` `associate-r*_binary64_20478`
5×	`add-log-exp_binary64_20577`
4×	`pow-prod-down_binary64_20609` `prod-exp_binary64_20587` `cbrt-unprod_binary64_20571`
2×	`flip3--_binary64_20542` `flip--_binary64_20513` `*-commutative_binary64_20469`
1×	`unswap-sqr_binary64_20506` `difference-of-squares_binary64_20507` `distribute-lft-out--_binary64_20490` `sum-log_binary64_20629` `flip3-+_binary64_20541` `flip-+_binary64_20512` `+-commutative_binary64_20468`

Counts

3 → 53

Calls

3 calls:

8.0ms	(.f64 (.f64 (-.f64 y x) 6) z)
7.0ms	(*.f64 (-.f64 y x) 6)
3.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))

Compiler

Compiled 872 to 443 computations (49.2% saved)

series643.0ms (3.3%)

Error

0.0b

Counts

3 → 45

Calls

3 calls:

310.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
200.0ms	(.f64 (.f64 (-.f64 y x) 6) z)
98.0ms	(*.f64 (-.f64 y x) 6)

Compiler

Compiled 1156 to 881 computations (23.8% saved)

simplify65.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5461	1073

prune79.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	95	4	99

Error

Counts

99 → 4

Compiler

Compiled 1159 to 546 computations (52.9% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (.f64 (-.f64 y x) (.f64 z 6)))
0.2b	(.f64 (-.f64 y x) (.f64 z 6))

rewrite45.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`pow1_binary64_20599` `add-exp-log_binary64_20576` `add-cbrt-cube_binary64_20574`
5×	`add-sqr-sqrt_binary64_20560` `-un-lft-identity_binary64_20538` `associate-l*_binary64_20479`
4×	`add-log-exp_binary64_20577`
3×	`pow-prod-down_binary64_20609` `prod-exp_binary64_20587` `add-cube-cbrt_binary64_20573` `cbrt-unprod_binary64_20571`
2×	`associate-*l/_binary64_20481`
1×	`flip3--_binary64_20542` `flip--_binary64_20513` `difference-of-squares_binary64_20507` `distribute-lft-out--_binary64_20490` `associate-r_binary64_20478` `*-commutative_binary64_20469` `sum-log_binary64_20629` `flip3-+_binary64_20541` `flip-+_binary64_20512` `+-commutative_binary64_20468`

Counts

2 → 33

Calls

2 calls:

10.0ms	(.f64 (-.f64 y x) (.f64 z 6))
4.0ms	(+.f64 x (.f64 (-.f64 y x) (.f64 z 6)))

Compiler

Compiled 570 to 293 computations (48.6% saved)

series518.0ms (2.7%)

Error

Counts

2 → 33

Calls

2 calls:

299.0ms	(+.f64 x (.f64 (-.f64 y x) (.f64 z 6)))
199.0ms	(.f64 (-.f64 y x) (.f64 z 6))

Compiler

Compiled 874 to 653 computations (25.3% saved)

simplify70.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4986	813
1	4986	813

prune48.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	66	4	70

Error

Counts

70 → 4

Compiler

Compiled 777 to 349 computations (55.1% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite103.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

36×	`distribute-rgt-in_binary64_20488` `distribute-lft-in_binary64_20487`
30×	`cancel-sign-sub-inv_binary64_20504`
20×	`add-sqr-sqrt_binary64_20560`
18×	`*-un-lft-identity_binary64_20538`
16×	`add-cube-cbrt_binary64_20573` `associate-+r+_binary64_20470`
10×	`pow1_binary64_20599` `add-exp-log_binary64_20576` `add-cbrt-cube_binary64_20574` `sub-neg_binary64_20531`
6×	`associate-r/_binary64_20480` `associate-l_binary64_20479` `associate-r*_binary64_20478`
5×	`add-log-exp_binary64_20577`
4×	`pow-prod-down_binary64_20609` `prod-exp_binary64_20587` `cbrt-unprod_binary64_20571`
2×	`flip3--_binary64_20542` `flip--_binary64_20513` `*-commutative_binary64_20469`
1×	`unswap-sqr_binary64_20506` `difference-of-squares_binary64_20507` `distribute-lft-out--_binary64_20490` `sum-log_binary64_20629` `flip3-+_binary64_20541` `flip-+_binary64_20512` `+-commutative_binary64_20468`

Counts

3 → 93

Calls

3 calls:

9.0ms	(.f64 -6 (.f64 z (-.f64 x y)))
7.0ms	(*.f64 z (-.f64 x y))
5.0ms	(+.f64 x (.f64 -6 (.f64 z (-.f64 x y))))

Compiler

Compiled 1546 to 646 computations (58.2% saved)

series635.0ms (3.3%)

Error

Counts

3 → 48

Calls

3 calls:

285.0ms	(+.f64 x (.f64 -6 (.f64 z (-.f64 x y))))
181.0ms	(.f64 -6 (.f64 z (-.f64 x y)))
137.0ms	(*.f64 z (-.f64 x y))

Compiler

Compiled 1249 to 909 computations (27.2% saved)

simplify60.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4980	1556
1	4980	1556

prune100.0ms (0.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	141	0	141
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	141	4	145

Error

Counts

145 → 4

Compiler

Compiled 1751 to 733 computations (58.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 6 (-.f64 (.f64 y y) (*.f64 x x)))
1.2b	(-.f64 (.f64 y y) (.f64 x x))
10.6b	(.f64 z (.f64 6 (-.f64 (.f64 y y) (.f64 x x))))
18.9b	(/.f64 (.f64 z (.f64 6 (-.f64 (.f64 y y) (.f64 x x)))) (+.f64 y x))

rewrite149.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`add-exp-log_binary64_20576` `add-cbrt-cube_binary64_20574`
13×	`*-un-lft-identity_binary64_20538`
11×	`pow1_binary64_20599` `add-sqr-sqrt_binary64_20560`
10×	`associate-*r/_binary64_20480` `distribute-rgt-in_binary64_20488` `distribute-lft-in_binary64_20487`
9×	`add-cube-cbrt_binary64_20573`
7×	`prod-exp_binary64_20587` `cbrt-unprod_binary64_20571` `sub-neg_binary64_20531` `cancel-sign-sub-inv_binary64_20504`
6×	`add-log-exp_binary64_20577` `associate-l_binary64_20479`
5×	`associate-r_binary64_20478`
4×	`times-frac_binary64_20544` `flip3--_binary64_20542` `flip--_binary64_20513` `associate-/r*_binary64_20482` `pow-prod-down_binary64_20609`
3×	`div-exp_binary64_20589` `cbrt-undiv_binary64_20572`
2×	`distribute-lft-out_binary64_20489` `associate-/l/_binary64_20485` `associate-/r/_binary64_20484` `*-commutative_binary64_20469` `difference-of-squares_binary64_20507`
1×	`frac-2neg_binary64_20549` `clear-num_binary64_20537` `div-inv_binary64_20535` `flip3-+_binary64_20541` `flip-+_binary64_20512` `associate-/l*_binary64_20483` `diff-log_binary64_20630` `unswap-sqr_binary64_20506`

Counts

4 → 95

Calls

4 calls:

16.0ms	(/.f64 (.f64 z (.f64 6 (-.f64 (.f64 y y) (.f64 x x)))) (+.f64 y x))
9.0ms	(.f64 z (.f64 6 (-.f64 (.f64 y y) (.f64 x x))))
7.0ms	(.f64 6 (-.f64 (.f64 y y) (*.f64 x x)))
4.0ms	(-.f64 (.f64 y y) (.f64 x x))

Compiler

Compiled 2475 to 813 computations (67.2% saved)

series1.1s (5.9%)

Error

Counts

4 → 54

Calls

4 calls:

392.0ms	(/.f64 (.f64 z (.f64 6 (-.f64 (.f64 y y) (.f64 x x)))) (+.f64 y x))
358.0ms	(.f64 z (.f64 6 (-.f64 (.f64 y y) (.f64 x x))))
194.0ms	(.f64 6 (-.f64 (.f64 y y) (*.f64 x x)))
149.0ms	(-.f64 (.f64 y y) (.f64 x x))

Compiler

Compiled 2136 to 1579 computations (26.1% saved)

simplify69.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4963	2139
1	4963	2139

prune132.0ms (0.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	149	4	153

Error

Counts

153 → 4

Compiler

Compiled 2752 to 1006 computations (63.4% saved)

regimes232.0ms (1.2%)

Accuracy

Total 0.2b remaining (97.3%)

Threshold costs 0.2b (97.3%)

Compiler

Compiled 1932 to 1546 computations (20% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	13
1	22	13

end0.0ms (0%)

sample14.1s (72.9%)

Algorithm

1×

intervals

Results

229.0ms	8000×	body	128	valid
104.0ms	2122×	body	128	invalid

Compiler

Compiled 101725 to 121870 computations (-19.8% saved)

Details

analyze515.0ms (2.7%)

sample487.0ms (2.5%)

simplify37.0ms (0.2%)

prune3.0ms (0%)

localize6.0ms (0%)

rewrite76.0ms (0.4%)

series643.0ms (3.3%)

simplify65.0ms (0.3%)

prune79.0ms (0.4%)

localize6.0ms (0%)

rewrite45.0ms (0.2%)

series518.0ms (2.7%)

simplify70.0ms (0.4%)

prune48.0ms (0.2%)

localize6.0ms (0%)

rewrite103.0ms (0.5%)

series635.0ms (3.3%)

simplify60.0ms (0.3%)

prune100.0ms (0.5%)

localize12.0ms (0.1%)

rewrite149.0ms (0.8%)

series1.1s (5.9%)

simplify69.0ms (0.4%)

prune132.0ms (0.7%)

regimes232.0ms (1.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample14.1s (72.9%)

Profiling