Details

analyze142.0ms (2.1%)

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
12.5%	87.4%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.7%	0.1%	6
67.1%	32.8%	0.1%	7
71%	28.9%	0.1%	8
82.3%	17.6%	0.1%	9
84.9%	15%	0.1%	10
90.8%	9.1%	0.1%	11
92.2%	7.7%	0.1%	12
95.3%	4.6%	0.1%	13
96%	3.9%	0.1%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample32.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	201×	body	128	valid
5.0ms	23×	body	1024	valid
3.0ms	21×	body	512	valid
1.0ms	11×	body	256	valid

Compiler

Compiled 23 to 23 computations (0% saved)

simplify495.0ms (7.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (331.0ms)

Iter	Nodes	Cost
0	4852	16
1	4852	16

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 23.1b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) y)
2.8b	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
7.8b	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))

rewrite63.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64_14741`
17×	`add-sqr-sqrt_binary64_14763`
10×	`cancel-sign-sub-inv_binary64_14707` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
9×	`add-cube-cbrt_binary64_14776`
8×	`times-frac_binary64_14747`
6×	`associate-l_binary64_14682`
5×	`add-log-exp_binary64_14780` `pow1_binary64_14802`
4×	`associate-/r_binary64_14685` `associate-/r/_binary64_14687` `associate-l/_binary64_14684` `difference-of-squares_binary64_14710`
3×	`distribute-lft-out_binary64_14692` `flip--_binary64_14716` `associate-r_binary64_14681` `flip3--_binary64_14745`
2×	`distribute-lft-out--_binary64_14693` `div-inv_binary64_14738` `cbrt-undiv_binary64_14775` `cbrt-unprod_binary64_14774` `associate-/l/_binary64_14688` `div-exp_binary64_14792` `prod-exp_binary64_14790` `flip-+_binary64_14715` `flip3-+_binary64_14744`
1×	`unswap-sqr_binary64_14709` `frac-2neg_binary64_14752` `pow-prod-down_binary64_14812` `diff-log_binary64_14833` `associate-/l_binary64_14686` `sub-neg_binary64_14734` `-commutative_binary64_14672` `clear-num_binary64_14740`

Counts

3 → 74

Calls

3 calls:

23.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
16.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
13.0ms	(*.f64 (-.f64 1 x) y)

series163.0ms (2.4%)

Counts

3 → 9

Calls

3 calls:

81.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
47.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
35.0ms	(*.f64 (-.f64 1 x) y)

simplify101.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	5643	1232

prune187.0ms (2.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	81	2	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	2	84

Merged error: 0.1b

Counts

84 → 2

Compiler

Compiled 1317 to 937 computations (28.9% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y)))
0.0b	(/.f64 y (+.f64 1 y))
2.8b	(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y))))

rewrite56.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64_14741`
29×	`add-sqr-sqrt_binary64_14763`
25×	`times-frac_binary64_14747`
21×	`add-cube-cbrt_binary64_14776`
18×	`associate-r_binary64_14681`
10×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
7×	`distribute-lft-out_binary64_14692`
6×	`associate-l_binary64_14682`
5×	`add-log-exp_binary64_14780` `pow1_binary64_14802`
4×	`associate-/r*_binary64_14685` `associate-/r/_binary64_14687`
3×	`associate-/l*_binary64_14686` `flip--_binary64_14716` `flip3--_binary64_14745`
2×	`unswap-sqr_binary64_14709` `div-inv_binary64_14738` `cbrt-undiv_binary64_14775` `frac-times_binary64_14751` `cbrt-unprod_binary64_14774` `div-exp_binary64_14792` `associate-*l/_binary64_14684` `prod-exp_binary64_14790` `flip-+_binary64_14715` `difference-of-squares_binary64_14710` `flip3-+_binary64_14744`
1×	`distribute-lft-out--_binary64_14693` `frac-2neg_binary64_14752` `pow-prod-down_binary64_14812` `cancel-sign-sub-inv_binary64_14707` `associate-r/_binary64_14683` `diff-log_binary64_14833` `sub-neg_binary64_14734` `-commutative_binary64_14672` `clear-num_binary64_14740`

Counts

3 → 89

Calls

3 calls:

26.0ms	(*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y)))
10.0ms	(/.f64 y (+.f64 1 y))
7.0ms	(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y))))

series146.0ms (2.1%)

Counts

3 → 9

Calls

3 calls:

80.0ms	(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y))))
45.0ms	(*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y)))
21.0ms	(/.f64 y (+.f64 1 y))

simplify152.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	4974	1527
1	4974	1527

prune156.0ms (2.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	98	2	100

Merged error: 0.1b

Counts

100 → 2

Compiler

Compiled 1686 to 1197 computations (29% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite49.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_14741`
14×	`add-sqr-sqrt_binary64_14763`
13×	`cancel-sign-sub-inv_binary64_14707`
10×	`times-frac_binary64_14747`
9×	`add-log-exp_binary64_14780` `add-cube-cbrt_binary64_14776`
4×	`distribute-lft-out_binary64_14692`
3×	`distribute-lft-out--_binary64_14693` `div-inv_binary64_14738`
2×	`diff-log_binary64_14833` `frac-sub_binary64_14750` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `flip-+_binary64_14715` `sum-log_binary64_14832` `difference-of-squares_binary64_14710` `flip3-+_binary64_14744` `pow1_binary64_14802`
1×	`+-commutative_binary64_14671` `sub-neg_binary64_14734` `flip--_binary64_14716` `flip3--_binary64_14745` `associate--l+_binary64_14678`

Counts

2 → 46

Calls

2 calls:

27.0ms	(-.f64 (+.f64 x (/.f64 1 y)) (/.f64 x y))
12.0ms	(+.f64 x (/.f64 1 y))

series49.0ms (0.7%)

Counts

2 → 6

Calls

2 calls:

28.0ms	(-.f64 (+.f64 x (/.f64 1 y)) (/.f64 x y))
21.0ms	(+.f64 x (/.f64 1 y))

simplify150.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (127.0ms)

Iter	Nodes	Cost
0	4918	736
1	4918	736

prune67.0ms (1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	51	3	54

Merged error: 0.1b

Counts

54 → 3

Compiler

Compiled 742 to 392 computations (47.2% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (+.f64 x (/.f64 1 y))) (cbrt.f64 (+.f64 x (/.f64 1 y))))
0.6b	(cbrt.f64 (+.f64 x (/.f64 1 y)))
0.6b	(cbrt.f64 (+.f64 x (/.f64 1 y)))
0.6b	(cbrt.f64 (+.f64 x (/.f64 1 y)))

rewrite95.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`*-un-lft-identity_binary64_14741`
51×	`cbrt-prod_binary64_14772`
23×	`add-sqr-sqrt_binary64_14763`
22×	`distribute-lft-out_binary64_14692`
18×	`cbrt-div_binary64_14773`
15×	`add-cube-cbrt_binary64_14776`
14×	`swap-sqr_binary64_14708`
11×	`div-inv_binary64_14738` `pow1_binary64_14802`
9×	`pow1/3_binary64_14823` `flip-+_binary64_14715` `flip3-+_binary64_14744`
8×	`associate-l_binary64_14682` `associate-r_binary64_14681`
6×	`add-exp-log_binary64_14779`
4×	`unswap-sqr_binary64_14709` `frac-times_binary64_14751` `add-log-exp_binary64_14780` `add-cbrt-cube_binary64_14777`
2×	`pow-sqr_binary64_14714` `pow-prod-down_binary64_14812` `associate-r/_binary64_14683` `associate-l/_binary64_14684` `pow-prod-up_binary64_14811`
1×	`cbrt-unprod_binary64_14774` `pow2_binary64_14822` `*-commutative_binary64_14672` `prod-exp_binary64_14790` `pow-plus_binary64_14804`

Counts

4 → 105

Calls

4 calls:

35.0ms	(*.f64 (cbrt.f64 (+.f64 x (/.f64 1 y))) (cbrt.f64 (+.f64 x (/.f64 1 y))))
12.0ms	(cbrt.f64 (+.f64 x (/.f64 1 y)))
12.0ms	(cbrt.f64 (+.f64 x (/.f64 1 y)))
12.0ms	(cbrt.f64 (+.f64 x (/.f64 1 y)))

series844.0ms (12.3%)

Counts

4 → 12

Calls

4 calls:

253.0ms	(*.f64 (cbrt.f64 (+.f64 x (/.f64 1 y))) (cbrt.f64 (+.f64 x (/.f64 1 y))))
202.0ms	(cbrt.f64 (+.f64 x (/.f64 1 y)))
201.0ms	(cbrt.f64 (+.f64 x (/.f64 1 y)))
189.0ms	(cbrt.f64 (+.f64 x (/.f64 1 y)))

simplify105.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5020	2498

prune298.0ms (4.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	117	3	120

Merged error: 0.1b

Counts

120 → 3

Compiler

Compiled 3670 to 2437 computations (33.6% saved)

regimes865.0ms (12.6%)

Compiler: Compiled 3652 to 3031 computations (17% saved)

bsearch3.0ms (0%)

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

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	154	67
1	154	67

end0.0ms (0%)

sample2.6s (37.6%)

Algorithm

1×

intervals

Results

683.0ms	6221×	body	128	valid
151.0ms	654×	body	1024	valid
117.0ms	700×	body	512	valid
47.0ms	418×	body	256	valid
2.0ms	7×	body	2048	valid

Compiler

Compiled 722 to 588 computations (18.6% saved)

Details

analyze142.0ms (2.1%)

sample32.0ms (0.5%)

simplify495.0ms (7.2%)

prune4.0ms (0.1%)

localize14.0ms (0.2%)

rewrite63.0ms (0.9%)

series163.0ms (2.4%)

simplify101.0ms (1.5%)

prune187.0ms (2.7%)

localize13.0ms (0.2%)

rewrite56.0ms (0.8%)

series146.0ms (2.1%)

simplify152.0ms (2.2%)

prune156.0ms (2.3%)

localize11.0ms (0.2%)

rewrite49.0ms (0.7%)

series49.0ms (0.7%)

simplify150.0ms (2.2%)

prune67.0ms (1%)

localize23.0ms (0.3%)

rewrite95.0ms (1.4%)

series844.0ms (12.3%)

simplify105.0ms (1.5%)

prune298.0ms (4.3%)

regimes865.0ms (12.6%)

bsearch3.0ms (0%)

simplify9.0ms (0.1%)

end0.0ms (0%)

sample2.6s (37.6%)

Profiling