Details

analyze909.0ms (0.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4856	36
1	4856	36
0	2	2
1	2	2

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
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample37.0ms (0%)

Algorithm

1×

intervals

Results

9.0ms	177×	body	128	valid
8.0ms	42×	body	1024	valid
4.0ms	30×	body	1024	nan
3.0ms	25×	body	512	valid
1.0ms	14×	body	512	nan
1.0ms	3×	body	2048	valid
1.0ms	9×	body	256	valid
1.0ms	21×	body	128	nan
0.0ms	7×	body	256	nan

Compiler

Compiled 25 to 25 computations (0% saved)

simplify350.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (345.0ms)

Iter	Nodes	Cost
0	5144	18

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

20.9b

Counts

2 → 1

Compiler

Compiled 24 to 22 computations (8.3% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
2.1b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
3.2b	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

rewrite85.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

118×	`add-sqr-sqrt_binary64_12717`
107×	`*-un-lft-identity_binary64_12695`
66×	`times-frac_binary64_12701`
49×	`difference-of-squares_binary64_12664`
40×	`cancel-sign-sub-inv_binary64_12661`
32×	`add-cube-cbrt_binary64_12730`
29×	`distribute-lft-out--_binary64_12647`
16×	`log-prod_binary64_12781`
8×	`associate--r+_binary64_12631`
7×	`flip3--_binary64_12699` `flip--_binary64_12670` `add-exp-log_binary64_12733` `pow1_binary64_12756` `add-log-exp_binary64_12734`
6×	`associate-/r*_binary64_12639` `add-cbrt-cube_binary64_12731`
5×	`associate-/l*_binary64_12640`
4×	`associate-/r/_binary64_12641` `log-div_binary64_12782`
3×	`associate--r-_binary64_12634` `log-pow_binary64_12784`
2×	`diff-log_binary64_12787` `associate-/l/_binary64_12642` `div-inv_binary64_12692` `div-sub_binary64_12700` `sub-neg_binary64_12688`
1×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `rem-log-exp_binary64_12736` `frac-2neg_binary64_12706` `clear-num_binary64_12694`

Counts

4 → 159

Calls

4 calls:

23.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
21.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
17.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
9.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

series181.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

62.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
56.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
37.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
26.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5051	3438

prune430.0ms (0.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	166	5	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	167	5	172

Error

0.1b

Counts

172 → 5

Compiler

Compiled 3384 to 2210 computations (34.7% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (-.f64 1 y))
0.1b	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))
3.2b	(log.f64 (-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))))
4.3b	(-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y))))

rewrite44.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`add-sqr-sqrt_binary64_12717`
51×	`*-un-lft-identity_binary64_12695`
38×	`times-frac_binary64_12701`
27×	`add-cube-cbrt_binary64_12730`
24×	`associate-r_binary64_12635`
18×	`add-exp-log_binary64_12733`
15×	`difference-of-squares_binary64_12664`
11×	`add-cbrt-cube_binary64_12731`
8×	`distribute-lft-out--_binary64_12647` `pow1_binary64_12756`
6×	`flip3--_binary64_12699` `flip--_binary64_12670` `associate-/r*_binary64_12639` `add-log-exp_binary64_12734`
5×	`associate-l_binary64_12636`
4×	`prod-exp_binary64_12744` `div-exp_binary64_12746` `associate-/r/_binary64_12641`
3×	`log-prod_binary64_12781` `associate-/l*_binary64_12640` `unswap-sqr_binary64_12663`
2×	`rec-exp_binary64_12745` `cbrt-undiv_binary64_12729` `frac-times_binary64_12705` `log-div_binary64_12782` `div-inv_binary64_12692` `1-exp_binary64_12739` `associate-*l/_binary64_12638` `cbrt-unprod_binary64_12728`
1×	`un-div-inv_binary64_12693` `log-pow_binary64_12784` `diff-log_binary64_12787` `rem-log-exp_binary64_12736` `frac-2neg_binary64_12706` `cancel-sign-sub-inv_binary64_12661` `pow-flip_binary64_12769` `pow-prod-down_binary64_12766` `-commutative_binary64_12626` `sub-neg_binary64_12688` `clear-num_binary64_12694` `inv-pow_binary64_12780` `associate-r/_binary64_12637`

Counts

4 → 124

Calls

4 calls:

19.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))
6.0ms	(/.f64 1 (-.f64 1 y))
4.0ms	(-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y))))
3.0ms	(log.f64 (-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))))

series127.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

54.0ms	(log.f64 (-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))))
38.0ms	(-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y))))
26.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))
8.0ms	(/.f64 1 (-.f64 1 y))

simplify71.0ms (0%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5130	2056

prune144.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	136	5	141

Error

0.1b

Counts

141 → 5

Compiler

Compiled 2720 to 1926 computations (29.2% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)
2.1b	(-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))
3.2b	(log.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
10.2b	(/.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))

rewrite213.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

363×	`add-sqr-sqrt_binary64_12717`
267×	`*-un-lft-identity_binary64_12695`
248×	`times-frac_binary64_12701`
160×	`difference-of-squares_binary64_12664`
104×	`cube-prod_binary64_12723` `unpow-prod-down_binary64_12774`
95×	`add-cube-cbrt_binary64_12730`
78×	`cancel-sign-sub-inv_binary64_12661`
54×	`log-prod_binary64_12781`
52×	`distribute-lft-out--_binary64_12647`
18×	`sqr-pow_binary64_12667`
16×	`associate-/l*_binary64_12640`
12×	`associate-/r/_binary64_12641` `add-exp-log_binary64_12733`
9×	`add-cbrt-cube_binary64_12731`
6×	`flip3--_binary64_12699` `div-inv_binary64_12692` `flip--_binary64_12670` `pow1_binary64_12756` `add-log-exp_binary64_12734`
3×	`div-exp_binary64_12746` `pow-unpow_binary64_12772` `associate-/r*_binary64_12639`
2×	`cbrt-undiv_binary64_12729` `unpow3_binary64_12761` `rem-log-exp_binary64_12736` `associate-/l/_binary64_12642` `flip-+_binary64_12669` `flip3-+_binary64_12698` `cube-mult_binary64_12725` `rem-cube-cbrt_binary64_12718` `pow-exp_binary64_12763`
1×	`log-pow_binary64_12784` `diff-log_binary64_12787` `frac-2neg_binary64_12706` `pow-pow_binary64_12767` `log-div_binary64_12782` `div-sub_binary64_12700` `pow-to-exp_binary64_12764` `sub-neg_binary64_12688` `cube-div_binary64_12724` `clear-num_binary64_12694`

Counts

4 → 343

Calls

4 calls:

49.0ms	(/.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))
42.0ms	(-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))
38.0ms	(log.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
13.0ms	(pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)

series1.8s (1.2%)

Counts

4 → 12

Calls

4 calls:

1.3s	(log.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
271.0ms	(/.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))
213.0ms	(-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))
77.0ms	(pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)

simplify182.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

355 → 355

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5053	17638

prune1.3s (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	354	1	355
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	355	5	360

Error

0.1b

Counts

360 → 5

Compiler

Compiled 18066 to 11605 computations (35.8% saved)

localize25.0ms (0%)

Local error

Found 4 expressions with local error:

3.2b	(log.f64 (/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6)))) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
8.6b	(+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6))
10.2b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6)))) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))
12.9b	(/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6))))

rewrite1.4s (1%)

Algorithm

1×	rewrite-expression-head

Rules

2604×	`times-frac_binary64_12701`
2586×	`*-un-lft-identity_binary64_12695`
2447×	`add-sqr-sqrt_binary64_12717`
1148×	`difference-of-squares_binary64_12664`
820×	`cube-prod_binary64_12723` `unpow-prod-down_binary64_12774`
772×	`distribute-lft-out_binary64_12646`
643×	`add-cube-cbrt_binary64_12730`
504×	`log-prod_binary64_12781`
246×	`sqr-pow_binary64_12667`
198×	`associate-/l*_binary64_12640`
41×	`distribute-lft-out--_binary64_12647`
20×	`associate-/r/_binary64_12641`
17×	`add-exp-log_binary64_12733`
11×	`flip-+_binary64_12669` `flip3-+_binary64_12698` `add-cbrt-cube_binary64_12731`
10×	`div-inv_binary64_12692`
8×	`associate-/r*_binary64_12639`
7×	`div-exp_binary64_12746`
6×	`add-log-exp_binary64_12734`
5×	`pow1_binary64_12756`
4×	`cbrt-undiv_binary64_12729`
3×	`rem-log-exp_binary64_12736` `associate-/l/_binary64_12642` `div-sub_binary64_12700`
2×	`frac-2neg_binary64_12706` `clear-num_binary64_12694`
1×	`log-pow_binary64_12784` `log-div_binary64_12782` `flip3--_binary64_12699` `flip--_binary64_12670` `sum-log_binary64_12786` `+-commutative_binary64_12625`

Counts

4 → 1427

Calls

4 calls:

265.0ms	(log.f64 (/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6)))) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
248.0ms	(/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6)))) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))
232.0ms	(/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6))))
142.0ms	(+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6))

series1.9min (77.4%)

Counts

4 → 12

Calls

4 calls:

1.8min	(log.f64 (/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6)))) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
1.8s	(/.f64 (/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6)))) (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))
1.8s	(/.f64 (-.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) 3)) (+.f64 1 (+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6))))
1.1s	(+.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3) (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 6))

simplify1.4s (0.9%)

Algorithm

1×	egg-herbie

Counts

1439 → 1439

Iterations

Useful iterations: 0 (143.0ms)

Iter	Nodes	Cost
0	5220	197871

prune21.8s (14.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	1438	1	1439
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	1439	5	1444

Error

0.1b

Counts

1444 → 5

Compiler

Compiled 147113 to 97660 computations (33.6% saved)

regimes707.0ms (0.5%)

Accuracy

Total 0.2b remaining (72.5%)

Threshold costs 0.2b (72.5%)

Compiler

Compiled 8178 to 6089 computations (25.5% saved)

bsearch3.0ms (0%)

Compiler: Compiled 9 to 8 computations (11.1% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	174	63
1	174	63

end0.0ms (0%)

sample2.4s (1.6%)

Algorithm

1×

intervals

Results

409.0ms	1023×	body	1024	valid
310.0ms	5839×	body	128	valid
142.0ms	962×	body	1024	nan
92.0ms	664×	body	512	valid
70.0ms	658×	body	512	nan
41.0ms	407×	body	256	valid
28.0ms	393×	body	256	nan
19.0ms	67×	body	2048	valid
18.0ms	502×	body	128	nan
1.0ms	3×	body	2048	nan

Compiler

Compiled 1335 to 994 computations (25.5% saved)

Details

analyze909.0ms (0.6%)

sample37.0ms (0%)

simplify350.0ms (0.2%)

prune2.0ms (0%)

localize8.0ms (0%)

rewrite85.0ms (0.1%)

series181.0ms (0.1%)

simplify85.0ms (0.1%)

prune430.0ms (0.3%)

localize10.0ms (0%)

rewrite44.0ms (0%)

series127.0ms (0.1%)

simplify71.0ms (0%)

prune144.0ms (0.1%)

localize15.0ms (0%)

rewrite213.0ms (0.1%)

series1.8s (1.2%)

simplify182.0ms (0.1%)

prune1.3s (0.9%)

localize25.0ms (0%)

rewrite1.4s (1%)

series1.9min (77.4%)

simplify1.4s (0.9%)

prune21.8s (14.6%)

regimes707.0ms (0.5%)

bsearch3.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample2.4s (1.6%)

Profiling