Details

analyze773.0ms (13.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4849	91
1	4849	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
16.4%	83.4%	0.2%	9
21.4%	78.4%	0.2%	10
25.1%	74.7%	0.2%	11
28%	70.2%	1.9%	12
39.6%	55.8%	4.6%	13
43.9%	50.4%	5.8%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample23.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
2.0ms	67×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify57.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	734	13
1	734	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

8.0b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 y x) z)
0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
8.4b	(/.f64 (*.f64 (-.f64 y x) z) t)

rewrite68.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`add-sqr-sqrt_binary64_12376` `*-un-lft-identity_binary64_12354`
10×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390`
7×	`add-cube-cbrt_binary64_12389`
5×	`pow1_binary64_12415` `add-log-exp_binary64_12393` `associate-l_binary64_12295`
4×	`associate-*l/_binary64_12297`
3×	`times-frac_binary64_12360` `associate-/r_binary64_12298` `associate-r*_binary64_12294`
2×	`prod-exp_binary64_12403` `div-exp_binary64_12405` `cbrt-undiv_binary64_12388` `cbrt-unprod_binary64_12387` `flip3--_binary64_12358` `associate-/l/_binary64_12301` `flip--_binary64_12329`
1×	`frac-2neg_binary64_12365` `clear-num_binary64_12353` `div-inv_binary64_12351` `associate-/l_binary64_12299` `sum-log_binary64_12445` `flip3-+_binary64_12357` `flip-+_binary64_12328` `distribute-lft-out_binary64_12305` `+-commutative_binary64_12284` `pow-prod-down_binary64_12425` `unswap-sqr_binary64_12322` `difference-of-squares_binary64_12323` `distribute-lft-out--_binary64_12306` `-commutative_binary64_12285`

Counts

3 → 57

Calls

3 calls:

7.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)
6.0ms	(*.f64 (-.f64 y x) z)
5.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))

Compiler

Compiled 925 to 251 computations (72.9% saved)

series580.0ms (9.9%)

Error

0.3b

Counts

3 → 57

Calls

3 calls:

261.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
191.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)
98.0ms	(*.f64 (-.f64 y x) z)

Compiler

Compiled 1493 to 861 computations (42.3% saved)

simplify59.0ms (1%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5127	1245

prune70.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	111	3	114
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	111	4	115

Error

0.0b

Counts

115 → 4

Compiler

Compiled 1301 to 273 computations (79% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
7.3b	(*.f64 (-.f64 y x) (/.f64 z t))

rewrite50.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-sqr-sqrt_binary64_12376`
13×	`associate-r_binary64_12294`
12×	`*-un-lft-identity_binary64_12354`
10×	`add-cube-cbrt_binary64_12389` `times-frac_binary64_12360`
7×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390`
5×	`associate-l_binary64_12295`
4×	`pow1_binary64_12415` `add-log-exp_binary64_12393`
2×	`prod-exp_binary64_12403` `cbrt-unprod_binary64_12387` `flip3--_binary64_12358` `frac-times_binary64_12364` `flip--_binary64_12329` `unswap-sqr_binary64_12322` `associate-*l/_binary64_12297`
1×	`pow-prod-down_binary64_12425` `div-exp_binary64_12405` `cbrt-undiv_binary64_12388` `associate-r/_binary64_12296` `difference-of-squares_binary64_12323` `distribute-lft-out--_binary64_12306` `div-inv_binary64_12351` `-commutative_binary64_12285` `sum-log_binary64_12445` `flip3-+_binary64_12357` `flip-+_binary64_12328` `+-commutative_binary64_12284`

Counts

2 → 49

Calls

2 calls:

12.0ms	(*.f64 (-.f64 y x) (/.f64 z t))
3.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

Compiler

Compiled 861 to 228 computations (73.5% saved)

series499.0ms (8.5%)

Error

0.0b

Counts

2 → 42

Calls

2 calls:

277.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
203.0ms	(*.f64 (-.f64 y x) (/.f64 z t))

Compiler

Compiled 1118 to 645 computations (42.3% saved)

simplify76.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5762	1171

prune50.0ms (0.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	91	4	95

Error

0.0b

Counts

95 → 4

Compiler

Compiled 1114 to 225 computations (79.8% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
7.6b	(/.f64 (-.f64 y x) (/.f64 t z))

rewrite124.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

119×	`times-frac_binary64_12360`
88×	`*-un-lft-identity_binary64_12354`
86×	`add-sqr-sqrt_binary64_12376`
58×	`add-cube-cbrt_binary64_12389`
14×	`difference-of-squares_binary64_12323` `distribute-lft-out--_binary64_12306`
13×	`associate-/r*_binary64_12298`
7×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390` `div-inv_binary64_12351`
5×	`associate-/l*_binary64_12299`
4×	`add-log-exp_binary64_12393`
3×	`div-exp_binary64_12405` `cbrt-undiv_binary64_12388`
2×	`pow1_binary64_12415` `div-sub_binary64_12359` `associate-/l/_binary64_12301`
1×	`frac-2neg_binary64_12365` `clear-num_binary64_12353` `flip3--_binary64_12358` `flip--_binary64_12329` `associate-/r/_binary64_12300` `sum-log_binary64_12445` `flip3-+_binary64_12357` `flip-+_binary64_12328` `distribute-lft-out_binary64_12305` `associate-+r-_binary64_12288` `+-commutative_binary64_12284`

Counts

2 → 114

Calls

2 calls:

20.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
9.0ms	(/.f64 (-.f64 y x) (/.f64 t z))

Compiler

Compiled 2282 to 559 computations (75.5% saved)

series488.0ms (8.3%)

Error

0.0b

Counts

2 → 42

Calls

2 calls:

283.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 t z)))
187.0ms	(/.f64 (-.f64 y x) (/.f64 t z))

Compiler

Compiled 1118 to 645 computations (42.3% saved)

simplify76.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5116	2932

prune91.0ms (1.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	156	4	160

Error

0.0b

Counts

160 → 4

Compiler

Compiled 2421 to 427 computations (82.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 z (-.f64 y x))
0.0b	(+.f64 x (/.f64 1 (/.f64 t (*.f64 z (-.f64 y x)))))
0.7b	(/.f64 1 (/.f64 t (*.f64 z (-.f64 y x))))
8.4b	(/.f64 t (*.f64 z (-.f64 y x)))

rewrite147.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

42×	`times-frac_binary64_12360`
33×	`*-un-lft-identity_binary64_12354`
32×	`add-exp-log_binary64_12392` `add-sqr-sqrt_binary64_12376`
28×	`add-cube-cbrt_binary64_12389`
20×	`add-cbrt-cube_binary64_12390`
14×	`div-exp_binary64_12405`
12×	`associate-*r/_binary64_12296`
11×	`associate-/r/_binary64_12300`
10×	`associate-/r*_binary64_12298`
7×	`pow1_binary64_12415` `cbrt-undiv_binary64_12388` `div-inv_binary64_12351`
6×	`add-log-exp_binary64_12393` `flip3--_binary64_12358` `flip--_binary64_12329` `associate-/l*_binary64_12299` `cancel-sign-sub-inv_binary64_12320`
5×	`prod-exp_binary64_12403` `associate-r_binary64_12294`
4×	`distribute-rgt-in_binary64_12304` `distribute-lft-in_binary64_12303`
3×	`cbrt-unprod_binary64_12387` `1-exp_binary64_12398` `rec-exp_binary64_12404` `associate-l_binary64_12295`
2×	`frac-2neg_binary64_12365` `clear-num_binary64_12353` `distribute-lft-out_binary64_12305` `sub-neg_binary64_12347`
1×	`inv-pow_binary64_12439` `pow-flip_binary64_12428` `sum-log_binary64_12445` `flip3-+_binary64_12357` `flip-+_binary64_12328` `+-commutative_binary64_12284` `pow-prod-down_binary64_12425` `unswap-sqr_binary64_12322` `difference-of-squares_binary64_12323` `distribute-lft-out--_binary64_12306` `*-commutative_binary64_12285`

Counts

4 → 130

Calls

4 calls:

12.0ms	(+.f64 x (/.f64 1 (/.f64 t (*.f64 z (-.f64 y x)))))
9.0ms	(/.f64 1 (/.f64 t (*.f64 z (-.f64 y x))))
8.0ms	(*.f64 z (-.f64 y x))
7.0ms	(/.f64 t (*.f64 z (-.f64 y x)))

Compiler

Compiled 2485 to 938 computations (62.3% saved)

series819.0ms (14%)

Error

0.0b

Counts

4 → 84

Calls

4 calls:

266.0ms	(+.f64 x (/.f64 1 (/.f64 t (*.f64 z (-.f64 y x)))))
222.0ms	(/.f64 t (*.f64 z (-.f64 y x)))
192.0ms	(/.f64 1 (/.f64 t (*.f64 z (-.f64 y x))))
89.0ms	(*.f64 z (-.f64 y x))

Compiler

Compiled 2906 to 1831 computations (37% saved)

simplify94.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5035	3050

prune139.0ms (2.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	214	4	218

Error

0.0b

Counts

218 → 4

Compiler

Compiled 3080 to 912 computations (70.4% saved)

regimes430.0ms (7.4%)

Accuracy

Total 2.0b remaining (99.7%)

Threshold costs 0b (0%)

Compiler

Compiled 2016 to 1553 computations (23% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	13
1	23	13

end0.0ms (0%)

sample1.1s (18.9%)

Algorithm

1×

intervals

Results

253.0ms	8000×	body	128	valid
68.0ms	2031×	body	128	invalid

Compiler

Compiled 452 to 343 computations (24.1% saved)

Details

analyze773.0ms (13.2%)

sample23.0ms (0.4%)

simplify57.0ms (1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite68.0ms (1.2%)

series580.0ms (9.9%)

simplify59.0ms (1%)

prune70.0ms (1.2%)

localize6.0ms (0.1%)

rewrite50.0ms (0.9%)

series499.0ms (8.5%)

simplify76.0ms (1.3%)

prune50.0ms (0.9%)

localize6.0ms (0.1%)

rewrite124.0ms (2.1%)

series488.0ms (8.3%)

simplify76.0ms (1.3%)

prune91.0ms (1.5%)

localize8.0ms (0.1%)

rewrite147.0ms (2.5%)

series819.0ms (14%)

simplify94.0ms (1.6%)

prune139.0ms (2.4%)

regimes430.0ms (7.4%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.1s (18.9%)

Profiling