Details

analyze5.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	3
87.5%	12.5%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample25.0ms (0.1%)

Algorithm

1×

intervals

Results

16.0ms

256×

body

128

valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify496.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	461	10
1	461	10

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize35.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite64.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`*-un-lft-identity_binary64_760`
28×	`add-sqr-sqrt_binary64_782`
24×	`times-frac_binary64_766`
13×	`add-cube-cbrt_binary64_795`
10×	`difference-of-squares_binary64_729`
7×	`distribute-lft-out_binary64_711`
6×	`associate-/r*_binary64_704`
5×	`distribute-lft-out--_binary64_712`
4×	`associate-/l*_binary64_705`
3×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
2×	`associate-/r/_binary64_706` `associate-/l/_binary64_707`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `flip3-+_binary64_763` `add-log-exp_binary64_799` `div-inv_binary64_757` `flip-+_binary64_734` `div-exp_binary64_811` `pow1_binary64_821` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 50

Calls

1 calls:

45.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

series51.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

51.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

simplify293.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (239.0ms)

Iter	Nodes	Cost
0	4926	942
1	4926	942

prune934.0ms (3.5%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	29	24	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	29	25	54

Merged error: 0b

Counts

54 → 25

Compiler

Compiled 1181 to 913 computations (22.7% saved)

localize26.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite52.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`*-un-lft-identity_binary64_760`
28×	`add-sqr-sqrt_binary64_782`
24×	`times-frac_binary64_766`
13×	`add-cube-cbrt_binary64_795`
10×	`difference-of-squares_binary64_729`
7×	`distribute-lft-out_binary64_711`
6×	`associate-/r*_binary64_704`
5×	`distribute-lft-out--_binary64_712`
4×	`associate-/l*_binary64_705`
3×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
2×	`associate-/r/_binary64_706` `associate-/l/_binary64_707`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `flip3-+_binary64_763` `add-log-exp_binary64_799` `div-inv_binary64_757` `flip-+_binary64_734` `div-exp_binary64_811` `pow1_binary64_821` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 50

Calls

1 calls:

37.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

series50.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

49.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

simplify305.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (243.0ms)

Iter	Nodes	Cost
0	4926	942
1	4926	942

prune1.2s (4.5%)

Pruning

42 alts after pruning (40 fresh and 2 done)

	Pruned	Kept	Total
New	31	22	53
Fresh	5	18	23
Picked	0	1	1
Done	0	1	1
Total	36	42	78

Merged error: 0b

Counts

78 → 42

Compiler

Compiled 1630 to 1309 computations (19.7% saved)

localize27.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite49.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`*-un-lft-identity_binary64_760`
28×	`add-sqr-sqrt_binary64_782`
24×	`times-frac_binary64_766`
13×	`add-cube-cbrt_binary64_795`
10×	`difference-of-squares_binary64_729`
7×	`distribute-lft-out_binary64_711`
6×	`associate-/r*_binary64_704`
5×	`distribute-lft-out--_binary64_712`
4×	`associate-/l*_binary64_705`
3×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
2×	`associate-/r/_binary64_706` `associate-/l/_binary64_707`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `flip3-+_binary64_763` `add-log-exp_binary64_799` `div-inv_binary64_757` `flip-+_binary64_734` `div-exp_binary64_811` `pow1_binary64_821` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 50

Calls

1 calls:

30.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

series52.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

52.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

simplify293.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (234.0ms)

Iter	Nodes	Cost
0	4926	942
1	4926	942

prune1.4s (5.2%)

Pruning

55 alts after pruning (52 fresh and 3 done)

	Pruned	Kept	Total
New	32	21	53
Fresh	8	31	39
Picked	0	1	1
Done	0	2	2
Total	40	55	95

Merged error: 0b

Counts

95 → 55

Compiler

Compiled 2054 to 1690 computations (17.7% saved)

localize31.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite51.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`*-un-lft-identity_binary64_760`
28×	`add-sqr-sqrt_binary64_782`
24×	`times-frac_binary64_766`
13×	`add-cube-cbrt_binary64_795`
10×	`difference-of-squares_binary64_729`
7×	`distribute-lft-out_binary64_711`
6×	`associate-/r*_binary64_704`
5×	`distribute-lft-out--_binary64_712`
4×	`associate-/l*_binary64_705`
3×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
2×	`associate-/r/_binary64_706` `associate-/l/_binary64_707`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `flip3-+_binary64_763` `add-log-exp_binary64_799` `div-inv_binary64_757` `flip-+_binary64_734` `div-exp_binary64_811` `pow1_binary64_821` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 50

Calls

1 calls:

38.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

series35.0ms (0.1%)

Counts

1 → 3

Calls

1 calls:

35.0ms

(/.f64 (+.f64 x 1) (-.f64 1 x))

simplify121.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4926	942
1	4926	942

prune1.7s (6.6%)

Pruning

66 alts after pruning (62 fresh and 4 done)

	Pruned	Kept	Total
New	34	19	53
Fresh	8	43	51
Picked	0	1	1
Done	0	3	3
Total	42	66	108

Merged error: 0b

Counts

108 → 66

Compiler

Compiled 1081 to 888 computations (17.9% saved)

regimes1.8s (6.8%)

Compiler: Compiled 4874 to 4178 computations (14.3% saved)

bsearch3.9s (15%)

simplify16.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	10
1	18	10

end0.0ms (0%)

sample13.3s (50.5%)

Algorithm

1×

intervals

Results

616.0ms

8000×

body

128

valid

Compiler

Compiled 2557 to 2190 computations (14.4% saved)

Pareto

0.3685195862480508

Details

analyze5.0ms (0%)

sample25.0ms (0.1%)

simplify496.0ms (1.9%)

prune5.0ms (0%)

localize35.0ms (0.1%)

rewrite64.0ms (0.2%)

series51.0ms (0.2%)

simplify293.0ms (1.1%)

prune934.0ms (3.5%)

localize26.0ms (0.1%)

rewrite52.0ms (0.2%)

series50.0ms (0.2%)

simplify305.0ms (1.2%)

prune1.2s (4.5%)

localize27.0ms (0.1%)

rewrite49.0ms (0.2%)

series52.0ms (0.2%)

simplify293.0ms (1.1%)

prune1.4s (5.2%)

localize31.0ms (0.1%)

rewrite51.0ms (0.2%)

series35.0ms (0.1%)

simplify121.0ms (0.5%)

prune1.7s (6.6%)

regimes1.8s (6.8%)

bsearch3.9s (15%)

simplify16.0ms (0.1%)

end0.0ms (0%)

sample13.3s (50.5%)

Profiling