Details

analyze646.0ms (13.7%)

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
0%	99.9%	0.1%	5
9.4%	90.5%	0.1%	6
14%	85.8%	0.1%	7
22.6%	77.2%	0.1%	8
37.8%	60.5%	1.7%	9
40%	56%	4%	10
47.3%	48.7%	4%	11
56.8%	36.2%	7%	12
58.6%	32.4%	9%	13
63.4%	27.5%	9%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample25.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
1.0ms	27×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify429.0ms (9.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (264.0ms)

Iter	Nodes	Cost
0	4864	10
1	4864	10

prune3.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: 11.3b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (-.f64 y z))
10.8b	(/.f64 (*.f64 x (-.f64 y z)) y)

rewrite30.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_19878`
10×	`*-un-lft-identity_binary64_19856`
9×	`add-cbrt-cube_binary64_19892` `add-exp-log_binary64_19894`
8×	`add-cube-cbrt_binary64_19891`
6×	`cancel-sign-sub-inv_binary64_19822`
5×	`associate-r_binary64_19796`
4×	`pow1_binary64_19917` `distribute-rgt-in_binary64_19806` `associate-*r/_binary64_19798` `distribute-lft-in_binary64_19805`
3×	`associate-/r_binary64_19800` `times-frac_binary64_19862` `associate-l*_binary64_19797`
2×	`flip3--_binary64_19860` `cbrt-undiv_binary64_19890` `sub-neg_binary64_19849` `prod-exp_binary64_19905` `div-exp_binary64_19907` `associate-/l/_binary64_19803` `flip--_binary64_19831` `cbrt-unprod_binary64_19889` `add-log-exp_binary64_19895`
1×	`unswap-sqr_binary64_19824` `-commutative_binary64_19787` `difference-of-squares_binary64_19825` `clear-num_binary64_19855` `pow-prod-down_binary64_19927` `div-inv_binary64_19853` `distribute-lft-out--_binary64_19808` `frac-2neg_binary64_19867` `associate-/l_binary64_19801`

Counts

2 → 53

Calls

2 calls:

13.0ms	(/.f64 (*.f64 x (-.f64 y z)) y)
12.0ms	(*.f64 x (-.f64 y z))

series127.0ms (2.7%)

Counts

2 → 6

Calls

2 calls:

78.0ms	(/.f64 (*.f64 x (-.f64 y z)) y)
49.0ms	(*.f64 x (-.f64 y z))

simplify88.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5450	626

prune80.0ms (1.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	54	5	59
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	54	6	60

Merged error: 0.0b

Counts

60 → 6

Compiler

Compiled 700 to 189 computations (73% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 y (-.f64 y z))
2.3b	(/.f64 x (/.f64 y (-.f64 y z)))

rewrite58.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

138×	`times-frac_binary64_19862`
102×	`add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
70×	`add-cube-cbrt_binary64_19891`
26×	`associate-/r*_binary64_19800`
16×	`difference-of-squares_binary64_19825` `distribute-lft-out--_binary64_19808`
11×	`associate-/r/_binary64_19802`
9×	`add-cbrt-cube_binary64_19892` `add-exp-log_binary64_19894`
6×	`div-inv_binary64_19853` `associate-/l*_binary64_19801`
5×	`flip3--_binary64_19860` `flip--_binary64_19831`
4×	`cbrt-undiv_binary64_19890` `div-exp_binary64_19907`
2×	`pow1_binary64_19917` `clear-num_binary64_19855` `frac-2neg_binary64_19867` `add-log-exp_binary64_19895`

Counts

2 → 139

Calls

2 calls:

20.0ms	(/.f64 x (/.f64 y (-.f64 y z)))
10.0ms	(/.f64 y (-.f64 y z))

series120.0ms (2.6%)

Counts

2 → 6

Calls

2 calls:

77.0ms	(/.f64 x (/.f64 y (-.f64 y z)))
44.0ms	(/.f64 y (-.f64 y z))

simplify155.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	5424	2833

prune182.0ms (3.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	144	7	151

Merged error: 0b

Counts

151 → 7

Compiler

Compiled 2336 to 446 computations (80.9% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 y z) y)
2.5b	(*.f64 x (/.f64 (-.f64 y z) y))

rewrite45.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64_19878`
36×	`*-un-lft-identity_binary64_19856`
31×	`times-frac_binary64_19862`
22×	`add-cube-cbrt_binary64_19891`
19×	`associate-r_binary64_19796`
9×	`add-cbrt-cube_binary64_19892` `add-exp-log_binary64_19894`
7×	`difference-of-squares_binary64_19825` `distribute-lft-out--_binary64_19808`
5×	`associate-/l*_binary64_19801`
4×	`pow1_binary64_19917`
3×	`associate-/r_binary64_19800` `associate-l*_binary64_19797`
2×	`cbrt-undiv_binary64_19890` `unswap-sqr_binary64_19824` `prod-exp_binary64_19905` `div-exp_binary64_19907` `associate-/l/_binary64_19803` `div-inv_binary64_19853` `cbrt-unprod_binary64_19889` `add-log-exp_binary64_19895`
1×	`flip3--_binary64_19860` `-commutative_binary64_19787` `associate-r/_binary64_19798` `div-sub_binary64_19861` `flip--_binary64_19831` `clear-num_binary64_19855` `pow-prod-down_binary64_19927` `frac-2neg_binary64_19867`

Counts

2 → 76

Calls

2 calls:

22.0ms	(*.f64 x (/.f64 (-.f64 y z) y))
12.0ms	(/.f64 (-.f64 y z) y)

series132.0ms (2.8%)

Counts

2 → 6

Calls

2 calls:

90.0ms	(*.f64 x (/.f64 (-.f64 y z) y))
42.0ms	(/.f64 (-.f64 y z) y)

simplify124.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	5240	1068

prune92.0ms (2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	82	7	89

Merged error: 0b

Counts

89 → 7

Compiler

Compiled 1126 to 262 computations (76.7% saved)

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (-.f64 y z))
10.9b	(.f64 (.f64 x (-.f64 y z)) (/.f64 1 y))

rewrite39.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-exp-log_binary64_19894`
18×	`associate-r_binary64_19796`
17×	`add-sqr-sqrt_binary64_19878`
16×	`add-cbrt-cube_binary64_19892`
15×	`*-un-lft-identity_binary64_19856`
13×	`add-cube-cbrt_binary64_19891` `prod-exp_binary64_19905`
9×	`pow1_binary64_19917` `times-frac_binary64_19862`
7×	`associate-*r/_binary64_19798` `cbrt-unprod_binary64_19889`
6×	`cancel-sign-sub-inv_binary64_19822`
4×	`distribute-rgt-in_binary64_19806` `div-exp_binary64_19907` `pow-prod-down_binary64_19927` `distribute-lft-in_binary64_19805` `associate-l_binary64_19797`
3×	`flip3--_binary64_19860` `flip--_binary64_19831`
2×	`cbrt-undiv_binary64_19890` `frac-times_binary64_19866` `-commutative_binary64_19787` `sub-neg_binary64_19849` `associate-l/_binary64_19799` `rec-exp_binary64_19906` `1-exp_binary64_19900` `add-log-exp_binary64_19895`
1×	`unswap-sqr_binary64_19824` `difference-of-squares_binary64_19825` `un-div-inv_binary64_19854` `div-inv_binary64_19853` `distribute-lft-out--_binary64_19808`

Counts

2 → 72

Calls

2 calls:

19.0ms	(.f64 (.f64 x (-.f64 y z)) (/.f64 1 y))
12.0ms	(*.f64 x (-.f64 y z))

series132.0ms (2.8%)

Counts

2 → 6

Calls

2 calls:

76.0ms	(.f64 (.f64 x (-.f64 y z)) (/.f64 1 y))
57.0ms	(*.f64 x (-.f64 y z))

simplify93.0ms (2%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5119	896

prune82.0ms (1.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	78	7	85

Merged error: 0b

Counts

85 → 7

Compiler

Compiled 973 to 322 computations (66.9% saved)

regimes401.0ms (8.5%)

Compiler: Compiled 1279 to 878 computations (31.4% saved)

bsearch53.0ms (1.1%)

Steps

Iters	Range		Point
11	8.379824865967899e-78	1.5830416576251272e-54	5.016104641969166e-67
5	-1.890602827035027e-96	-5.391488974928116e-97	-1.63699500564847e-96

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	56	42
1	56	42

end0.0ms (0%)

sample1.5s (32.2%)

Algorithm

1×

intervals

Results

418.0ms	8000×	body	128	valid
40.0ms	789×	body	128	invalid

Compiler

Compiled 360 to 243 computations (32.5% saved)

Details

analyze646.0ms (13.7%)

sample25.0ms (0.5%)

simplify429.0ms (9.1%)

prune3.0ms (0.1%)

localize9.0ms (0.2%)

rewrite30.0ms (0.6%)

series127.0ms (2.7%)

simplify88.0ms (1.9%)

prune80.0ms (1.7%)

localize11.0ms (0.2%)

rewrite58.0ms (1.2%)

series120.0ms (2.6%)

simplify155.0ms (3.3%)

prune182.0ms (3.9%)

localize10.0ms (0.2%)

rewrite45.0ms (1%)

series132.0ms (2.8%)

simplify124.0ms (2.6%)

prune92.0ms (2%)

localize12.0ms (0.2%)

rewrite39.0ms (0.8%)

series132.0ms (2.8%)

simplify93.0ms (2%)

prune82.0ms (1.8%)

regimes401.0ms (8.5%)

bsearch53.0ms (1.1%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.5s (32.2%)

Profiling