Details

analyze514.0ms (9.8%)

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
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)

sample39.0ms (0.7%)

Algorithm

1×

intervals

Results

9.0ms	186×	body	128	valid
5.0ms	26×	body	1024	valid
5.0ms	33×	body	1024	nan
3.0ms	26×	body	512	valid
3.0ms	28×	body	512	nan
1.0ms	5×	body	2048	valid
1.0ms	18×	body	256	nan
1.0ms	13×	body	256	valid
1.0ms	18×	body	128	nan

Compiler

Compiled 25 to 25 computations (0% saved)

simplify447.0ms (8.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (351.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

18.7b

Counts

2 → 1

Compiler

Compiled 24 to 22 computations (8.3% saved)

localize8.0ms (0.1%)

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))
1.6b	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
2.9b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

rewrite92.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

118×	`add-sqr-sqrt_binary64_11012`
107×	`*-un-lft-identity_binary64_10990`
66×	`times-frac_binary64_10996`
49×	`difference-of-squares_binary64_10959`
40×	`cancel-sign-sub-inv_binary64_10956`
32×	`add-cube-cbrt_binary64_11025`
29×	`distribute-lft-out--_binary64_10942`
16×	`log-prod_binary64_11076`
8×	`associate--r+_binary64_10926`
7×	`flip3--_binary64_10994` `flip--_binary64_10965` `pow1_binary64_11051` `add-log-exp_binary64_11029` `add-exp-log_binary64_11028`
6×	`add-cbrt-cube_binary64_11026` `associate-/r*_binary64_10934`
5×	`associate-/l*_binary64_10935`
4×	`associate-/r/_binary64_10936` `log-div_binary64_11077`
3×	`log-pow_binary64_11079` `associate--r-_binary64_10929`
2×	`div-sub_binary64_10995` `associate-/l/_binary64_10937` `diff-log_binary64_11082` `sub-neg_binary64_10983` `div-inv_binary64_10987`
1×	`rem-log-exp_binary64_11031` `clear-num_binary64_10989` `div-exp_binary64_11041` `frac-2neg_binary64_11001` `cbrt-undiv_binary64_11024`

Counts

4 → 159

Calls

4 calls:

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

series191.0ms (3.7%)

Counts

4 → 12

Calls

4 calls:

62.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
60.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
42.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
27.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

simplify92.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5051	3438

prune215.0ms (4.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	167	4	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	168	4	172

Error

0.1b

Counts

172 → 4

Compiler

Compiled 3368 to 2198 computations (34.7% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
0.2b	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
2.9b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

rewrite97.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

177×	`add-sqr-sqrt_binary64_11012`
145×	`*-un-lft-identity_binary64_10990`
124×	`times-frac_binary64_10996`
67×	`difference-of-squares_binary64_10959`
54×	`add-cube-cbrt_binary64_11025`
36×	`cancel-sign-sub-inv_binary64_10956`
32×	`distribute-lft-out--_binary64_10942`
30×	`log-prod_binary64_11076`
14×	`associate-/r*_binary64_10934`
13×	`add-exp-log_binary64_11028`
8×	`associate-/l*_binary64_10935` `add-cbrt-cube_binary64_11026` `associate-/r/_binary64_10936`
6×	`flip3--_binary64_10994` `flip--_binary64_10965` `add-log-exp_binary64_11029`
5×	`pow1_binary64_11051` `div-exp_binary64_11041`
4×	`div-inv_binary64_10987`
3×	`rem-log-exp_binary64_11031`
2×	`div-sub_binary64_10995` `associate-/l/_binary64_10937` `clear-num_binary64_10989` `e-exp-1_binary64_11035` `frac-2neg_binary64_11001` `cbrt-undiv_binary64_11024`
1×	`log-pow_binary64_11079` `diff-log_binary64_11082` `sub-neg_binary64_10983` `log-div_binary64_11077` `associate--r-_binary64_10929`

Counts

4 → 203

Calls

4 calls:

23.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
21.0ms	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
21.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
10.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

series198.0ms (3.8%)

Counts

4 → 12

Calls

4 calls:

69.0ms	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
54.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
48.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
28.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

simplify106.0ms (2%)

Algorithm

1×	egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5037	5216

prune229.0ms (4.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	214	1	215
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	214	5	219

Error

0.1b

Counts

219 → 5

Compiler

Compiled 4512 to 2662 computations (41% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b	(*.f64 E.f64 (+.f64 1 (-.f64 x y)))
0.3b	(log.f64 (*.f64 E.f64 (+.f64 1 (-.f64 x y))))

rewrite20.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_11028` `*-un-lft-identity_binary64_10990`
7×	`pow1_binary64_11051`
6×	`add-sqr-sqrt_binary64_11012`
5×	`associate-r_binary64_10930`
4×	`prod-exp_binary64_11039` `associate-*r/_binary64_10932` `add-cube-cbrt_binary64_11025` `add-cbrt-cube_binary64_11026`
3×	`rem-log-exp_binary64_11031` `associate-l_binary64_10931`
2×	`log-pow_binary64_11079` `add-log-exp_binary64_11029` `distribute-lft-out_binary64_10941` `flip3-+_binary64_10993` `flip-+_binary64_10964` `e-exp-1_binary64_11035` `log-div_binary64_11077` `pow-prod-down_binary64_11061`
1×	`distribute-lft-out--_binary64_10942` `unswap-sqr_binary64_10958` `log-prod_binary64_11076` `cbrt-unprod_binary64_11023` `distribute-rgt-in_binary64_10940` `*-commutative_binary64_10921` `distribute-lft-in_binary64_10939`

Counts

2 → 40

Calls

2 calls:

9.0ms	(*.f64 E.f64 (+.f64 1 (-.f64 x y)))
8.0ms	(log.f64 (*.f64 E.f64 (+.f64 1 (-.f64 x y))))

series47.0ms (0.9%)

Counts

2 → 6

Calls

2 calls:

34.0ms	(log.f64 (*.f64 E.f64 (+.f64 1 (-.f64 x y))))
13.0ms	(*.f64 E.f64 (+.f64 1 (-.f64 x y)))

simplify85.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4950	612
1	4950	612

prune39.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	47	4	51

Error

0.1b

Counts

51 → 4

Compiler

Compiled 618 to 369 computations (40.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 1 (log.f64 (+.f64 1 (-.f64 x y))))
1.6b	(log.f64 (+.f64 1 (-.f64 x y)))

rewrite18.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`*-un-lft-identity_binary64_10990`
10×	`log-prod_binary64_11076`
6×	`distribute-lft-out_binary64_10941`
5×	`associate-+r+_binary64_10922`
4×	`pow1_binary64_11051` `add-cube-cbrt_binary64_11025` `log-div_binary64_11077` `add-sqr-sqrt_binary64_11012`
3×	`add-log-exp_binary64_11029` `add-exp-log_binary64_11028` `flip3-+_binary64_10993` `flip-+_binary64_10964`
2×	`log-pow_binary64_11079` `distribute-lft-out--_binary64_10942` `add-cbrt-cube_binary64_11026` `associate-+r-_binary64_10924`
1×	`sum-log_binary64_11081` `rem-log-exp_binary64_11031` `+-commutative_binary64_10920`

Counts

2 → 36

Calls

2 calls:

9.0ms	(+.f64 1 (log.f64 (+.f64 1 (-.f64 x y))))
6.0ms	(log.f64 (+.f64 1 (-.f64 x y)))

series58.0ms (1.1%)

Counts

2 → 6

Calls

2 calls:

30.0ms	(+.f64 1 (log.f64 (+.f64 1 (-.f64 x y))))
28.0ms	(log.f64 (+.f64 1 (-.f64 x y)))

simplify86.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4905	621
1	4905	621

prune33.0ms (0.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	42	4	46

Error

0.1b

Counts

46 → 4

Compiler

Compiled 585 to 378 computations (35.4% saved)

regimes585.0ms (11.2%)

Accuracy

Total 0.2b remaining (94.8%)

Threshold costs 0.2b (94.8%)

Compiler

Compiled 5603 to 4443 computations (20.7% saved)

bsearch50.0ms (1%)

Steps

Iters	Range		Point
10	8.312300438191025e-11	0.37116705252361226	0.36725389018613275
9	-21971093488746976.0	-8763997.594752723	-270357265.1412269

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	322	77
1	322	77

end0.0ms (0%)

sample1.9s (37.2%)

Algorithm

1×

intervals

Results

305.0ms	5900×	body	128	valid
188.0ms	963×	body	1024	valid
149.0ms	1040×	body	1024	nan
93.0ms	699×	body	512	valid
67.0ms	626×	body	512	nan
37.0ms	367×	body	256	valid
28.0ms	370×	body	256	nan
20.0ms	71×	body	2048	valid
17.0ms	472×	body	128	nan
0.0ms	2×	body	2048	nan

Compiler

Compiled 939 to 730 computations (22.3% saved)

Details

analyze514.0ms (9.8%)

sample39.0ms (0.7%)

simplify447.0ms (8.5%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite92.0ms (1.8%)

series191.0ms (3.7%)

simplify92.0ms (1.7%)

prune215.0ms (4.1%)

localize9.0ms (0.2%)

rewrite97.0ms (1.9%)

series198.0ms (3.8%)

simplify106.0ms (2%)

prune229.0ms (4.4%)

localize9.0ms (0.2%)

rewrite20.0ms (0.4%)

series47.0ms (0.9%)

simplify85.0ms (1.6%)

prune39.0ms (0.7%)

localize7.0ms (0.1%)

rewrite18.0ms (0.3%)

series58.0ms (1.1%)

simplify86.0ms (1.6%)

prune33.0ms (0.6%)

regimes585.0ms (11.2%)

bsearch50.0ms (1%)

simplify11.0ms (0.2%)

end0.0ms (0%)

sample1.9s (37.2%)

Profiling