Details

analyze244.0ms (5.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
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
31.2%	68.7%	0.1%	6
46.8%	53.1%	0.1%	7
60.9%	39%	0.1%	8
67.9%	31.2%	0.9%	9
74.5%	22.2%	3.2%	10
77.9%	17.2%	5%	11
81.1%	11.8%	7.1%	12
82.7%	9%	8.3%	13
84.3%	6.1%	9.7%	14

Compiler

Compiled 12 to 10 computations (16.7% saved)

sample35.0ms (0.7%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
0.0ms	7×	body	128	invalid

Compiler

Compiled 23 to 21 computations (8.7% saved)

simplify354.0ms (7.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (188.0ms)

Iter	Nodes	Cost
0	5574	16

prune4.0ms (0.1%)

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: 9.9b

Counts

2 → 1

Compiler

Compiled 22 to 18 computations (18.2% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 x y) 1)
0.1b	(*.f64 x (+.f64 (/.f64 x y) 1))
9.2b	(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))

rewrite77.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_23607`
10×	`add-cbrt-cube_binary64_23643` `add-exp-log_binary64_23645`
9×	`add-sqr-sqrt_binary64_23629`
7×	`add-cube-cbrt_binary64_23642`
5×	`pow1_binary64_23668` `add-log-exp_binary64_23646`
4×	`times-frac_binary64_23613` `flip-+_binary64_23581` `distribute-lft-out_binary64_23558` `flip3-+_binary64_23610` `associate-r/_binary64_23549` `associate-/r_binary64_23551` `associate-r_binary64_23547`
3×	`associate-l_binary64_23548`
2×	`associate-/r/_binary64_23553` `prod-exp_binary64_23656` `associate-/l/_binary64_23554` `cbrt-undiv_binary64_23641` `cbrt-unprod_binary64_23640` `div-exp_binary64_23658`
1×	`unswap-sqr_binary64_23575` `sum-log_binary64_23698` `associate-/l_binary64_23552` `-commutative_binary64_23538` `clear-num_binary64_23606` `+-commutative_binary64_23537` `div-inv_binary64_23604` `frac-2neg_binary64_23618` `distribute-rgt-in_binary64_23557` `distribute-lft-in_binary64_23556` `pow-prod-down_binary64_23678`

Counts

3 → 62

Calls

3 calls:

27.0ms	(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
21.0ms	(+.f64 (/.f64 x y) 1)
21.0ms	(*.f64 x (+.f64 (/.f64 x y) 1))

series96.0ms (2%)

Counts

3 → 9

Calls

3 calls:

47.0ms	(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
30.0ms	(*.f64 x (+.f64 (/.f64 x y) 1))
19.0ms	(+.f64 (/.f64 x y) 1)

simplify129.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	5185	997

prune140.0ms (2.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	66	5	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	5	72

Merged error: 0.0b

Counts

72 → 5

Compiler

Compiled 1195 to 708 computations (40.8% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite98.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

158×	`*-un-lft-identity_binary64_23607`
146×	`times-frac_binary64_23613`
72×	`add-sqr-sqrt_binary64_23629` `add-cube-cbrt_binary64_23642`
43×	`distribute-lft-out_binary64_23558`
26×	`associate-/r*_binary64_23551`
11×	`associate-/r/_binary64_23553`
10×	`add-cbrt-cube_binary64_23643` `add-exp-log_binary64_23645`
7×	`flip-+_binary64_23581` `flip3-+_binary64_23610` `associate-/l*_binary64_23552`
6×	`div-inv_binary64_23604`
5×	`add-log-exp_binary64_23646`
4×	`cbrt-undiv_binary64_23641` `div-exp_binary64_23658`
3×	`pow1_binary64_23668`
2×	`associate-/l/_binary64_23554` `clear-num_binary64_23606` `frac-2neg_binary64_23618`
1×	`sum-log_binary64_23698` `+-commutative_binary64_23537`

Counts

3 → 158

Calls

3 calls:

29.0ms	(/.f64 x (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)))
23.0ms	(/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1))
14.0ms	(+.f64 (/.f64 x y) 1)

series135.0ms (2.8%)

Counts

3 → 9

Calls

3 calls:

62.0ms	(/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1))
55.0ms	(/.f64 x (/.f64 (+.f64 x 1) (+.f64 (/.f64 x y) 1)))
18.0ms	(+.f64 (/.f64 x y) 1)

simplify205.0ms (4.2%)

Algorithm

1×	egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	4949	4125
1	4949	4125

prune320.0ms (6.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	166	1	167
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	166	6	172

Merged error: 0b

Counts

172 → 6

Compiler

Compiled 3517 to 2044 computations (41.9% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (*.f64 x (/.f64 x y)) x)
0.1b	(*.f64 x (/.f64 x y))
9.2b	(/.f64 (+.f64 (*.f64 x (/.f64 x y)) x) (+.f64 x 1))

rewrite58.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64_23607`
25×	`add-sqr-sqrt_binary64_23629`
22×	`times-frac_binary64_23613`
20×	`add-cube-cbrt_binary64_23642`
13×	`associate-r_binary64_23547`
10×	`add-cbrt-cube_binary64_23643` `add-exp-log_binary64_23645`
5×	`pow1_binary64_23668` `add-log-exp_binary64_23646`
4×	`distribute-lft-out_binary64_23558` `associate-/r*_binary64_23551`
3×	`flip-+_binary64_23581` `associate-l_binary64_23548` `flip3-+_binary64_23610` `associate-/l*_binary64_23552`
2×	`unswap-sqr_binary64_23575` `associate-/r/_binary64_23553` `prod-exp_binary64_23656` `associate-/l/_binary64_23554` `cbrt-undiv_binary64_23641` `div-inv_binary64_23604` `cbrt-unprod_binary64_23640` `div-exp_binary64_23658`
1×	`sum-log_binary64_23698` `-commutative_binary64_23538` `clear-num_binary64_23606` `+-commutative_binary64_23537` `frac-2neg_binary64_23618` `associate-r/_binary64_23549` `pow-prod-down_binary64_23678`

Counts

3 → 78

Calls

3 calls:

20.0ms	(/.f64 (+.f64 (*.f64 x (/.f64 x y)) x) (+.f64 x 1))
15.0ms	(*.f64 x (/.f64 x y))
11.0ms	(+.f64 (*.f64 x (/.f64 x y)) x)

series105.0ms (2.2%)

Counts

3 → 9

Calls

3 calls:

43.0ms	(/.f64 (+.f64 (*.f64 x (/.f64 x y)) x) (+.f64 x 1))
37.0ms	(+.f64 (*.f64 x (/.f64 x y)) x)
24.0ms	(*.f64 x (/.f64 x y))

simplify135.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	5132	1440

prune130.0ms (2.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	88	5	93

Merged error: 0b

Counts

93 → 5

Compiler

Compiled 1572 to 592 computations (62.3% saved)

localize16.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 (.f64 x x) (/.f64 1 y)) x)
9.2b	(/.f64 (+.f64 (.f64 (.f64 x x) (/.f64 1 y)) x) (+.f64 x 1))
9.3b	(.f64 (.f64 x x) (/.f64 1 y))

rewrite86.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64_23607`
27×	`add-exp-log_binary64_23645`
23×	`times-frac_binary64_23613` `add-sqr-sqrt_binary64_23629`
19×	`add-cube-cbrt_binary64_23642`
17×	`add-cbrt-cube_binary64_23643`
13×	`associate-r_binary64_23547`
12×	`prod-exp_binary64_23656`
8×	`pow1_binary64_23668`
6×	`cbrt-unprod_binary64_23640`
5×	`add-log-exp_binary64_23646` `div-exp_binary64_23658`
4×	`distribute-lft-out_binary64_23558` `associate-/r*_binary64_23551`
3×	`unswap-sqr_binary64_23575` `flip-+_binary64_23581` `flip3-+_binary64_23610` `associate-/l*_binary64_23552` `cbrt-undiv_binary64_23641` `pow-prod-down_binary64_23678`
2×	`1-exp_binary64_23651` `associate-/r/_binary64_23553` `associate-/l/_binary64_23554` `div-inv_binary64_23604` `rec-exp_binary64_23657`
1×	`sum-log_binary64_23698` `associate-l_binary64_23548` `-commutative_binary64_23538` `un-div-inv_binary64_23605` `clear-num_binary64_23606` `+-commutative_binary64_23537` `frac-2neg_binary64_23618` `associate-r/_binary64_23549`

Counts

3 → 87

Calls

3 calls:

27.0ms	(/.f64 (+.f64 (.f64 (.f64 x x) (/.f64 1 y)) x) (+.f64 x 1))
20.0ms	(.f64 (.f64 x x) (/.f64 1 y))
19.0ms	(+.f64 (.f64 (.f64 x x) (/.f64 1 y)) x)

series103.0ms (2.1%)

Counts

3 → 9

Calls

3 calls:

47.0ms	(/.f64 (+.f64 (.f64 (.f64 x x) (/.f64 1 y)) x) (+.f64 x 1))
28.0ms	(+.f64 (.f64 (.f64 x x) (/.f64 1 y)) x)
28.0ms	(.f64 (.f64 x x) (/.f64 1 y))

simplify142.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4996	1537
1	4996	1537

prune137.0ms (2.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	96	5	101

Merged error: 0b

Counts

101 → 5

Compiler

Compiled 1678 to 696 computations (58.5% saved)

regimes293.0ms (6.1%)

Compiler: Compiled 1444 to 1078 computations (25.3% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	16
1	12	16

end0.0ms (0%)

sample1.7s (35.9%)

Algorithm

1×

intervals

Results

540.0ms	8000×	body	128	valid
19.0ms	288×	body	128	invalid

Compiler

Compiled 472 to 355 computations (24.8% saved)

Details

analyze244.0ms (5.1%)

sample35.0ms (0.7%)

simplify354.0ms (7.3%)

prune4.0ms (0.1%)

localize14.0ms (0.3%)

rewrite77.0ms (1.6%)

series96.0ms (2%)

simplify129.0ms (2.7%)

prune140.0ms (2.9%)

localize14.0ms (0.3%)

rewrite98.0ms (2%)

series135.0ms (2.8%)

simplify205.0ms (4.2%)

prune320.0ms (6.6%)

localize14.0ms (0.3%)

rewrite58.0ms (1.2%)

series105.0ms (2.2%)

simplify135.0ms (2.8%)

prune130.0ms (2.7%)

localize16.0ms (0.3%)

rewrite86.0ms (1.8%)

series103.0ms (2.1%)

simplify142.0ms (2.9%)

prune137.0ms (2.8%)

regimes293.0ms (6.1%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.7s (35.9%)

Profiling