Details

analyze737.0ms (12%)

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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
26.5%	73.3%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.9%	42.9%	0.1%	11
60.8%	39%	0.1%	12
69%	30.9%	0.1%	13
72.5%	27.3%	0.1%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample62.0ms (1%)

Algorithm

1×

intervals

Results

22.0ms	94×	body	1024	valid
11.0ms	39×	body	2048	valid
7.0ms	40×	body	512	valid
5.0ms	64×	body	128	valid
2.0ms	19×	body	256	valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify319.0ms (5.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	475	17
1	475	17

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

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize16.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
9.6b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite30.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-log-exp_binary64_1124`
7×	`*-un-lft-identity_binary64_1088`
4×	`add-sqr-sqrt_binary64_1109` `sum-log_binary64_1176`
3×	`diff-log_binary64_1177`
2×	`add-cbrt-cube_binary64_1121` `add-exp-log_binary64_1123` `pow1_binary64_1146` `distribute-lft-out--_binary64_1042` `add-cube-cbrt_binary64_1120`
1×	`associate--r+_binary64_1026` `flip3--_binary64_1092` `sub-neg_binary64_1081` `flip--_binary64_1063` `+-commutative_binary64_1020` `flip-+_binary64_1062` `flip3-+_binary64_1091` `distribute-lft-out_binary64_1041` `difference-of-squares_binary64_1057`

Counts

2 → 28

Calls

2 calls:

17.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
8.0ms	(+.f64 (*.f64 x y) z)

series220.0ms (3.6%)

Counts

2 → 6

Calls

2 calls:

141.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
78.0ms	(+.f64 (*.f64 x y) z)

simplify101.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4969	636
1	4969	636

prune74.0ms (1.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	27	7	34
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	28	7	35

Merged error: 46.3b

Counts

35 → 7

Compiler

Compiled 759 to 289 computations (61.9% saved)

localize15.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
9.6b	(-.f64 (-.f64 (fma.f64 x y z) 1) (+.f64 (*.f64 x y) z))

rewrite37.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-log-exp_binary64_1124`
7×	`*-un-lft-identity_binary64_1088`
6×	`diff-log_binary64_1177`
4×	`add-sqr-sqrt_binary64_1109` `frac-sub_binary64_1097`
3×	`flip3--_binary64_1092` `sum-log_binary64_1176` `flip--_binary64_1063` `flip-+_binary64_1062` `flip3-+_binary64_1091` `distribute-lft-out--_binary64_1042`
2×	`add-cbrt-cube_binary64_1121` `sub-neg_binary64_1081` `add-exp-log_binary64_1123` `pow1_binary64_1146` `add-cube-cbrt_binary64_1120`
1×	`associate--r+_binary64_1026` `associate--l+_binary64_1027` `+-commutative_binary64_1020` `difference-of-squares_binary64_1057` `associate--l-_binary64_1028`

Counts

2 → 35

Calls

2 calls:

22.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (+.f64 (*.f64 x y) z))
8.0ms	(+.f64 (*.f64 x y) z)

series211.0ms (3.4%)

Counts

2 → 6

Calls

2 calls:

137.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (+.f64 (*.f64 x y) z))
74.0ms	(+.f64 (*.f64 x y) z)

simplify91.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4984	1007
1	4984	1007

prune81.0ms (1.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	39	9	48

Merged error: 46.2b

Counts

48 → 9

Compiler

Compiled 1082 to 398 computations (63.2% saved)

localize15.0ms (0.2%)

Local error

Found 2 expressions with local error:

1.5b	(-.f64 (-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y)) z)
9.4b	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))

rewrite39.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-log-exp_binary64_1124`
9×	`diff-log_binary64_1177`
5×	`sub-neg_binary64_1081`
4×	`add-sqr-sqrt_binary64_1109` `associate--l+_binary64_1027` `*-un-lft-identity_binary64_1088`
2×	`add-cbrt-cube_binary64_1121` `flip3--_binary64_1092` `flip--_binary64_1063` `add-exp-log_binary64_1123` `pow1_binary64_1146` `add-cube-cbrt_binary64_1120` `associate--l-_binary64_1028`
1×	`distribute-lft-out--_binary64_1042` `difference-of-squares_binary64_1057`

Counts

2 → 32

Calls

2 calls:

20.0ms	(-.f64 (-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y)) z)
14.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))

series240.0ms (3.9%)

Counts

2 → 6

Calls

2 calls:

129.0ms	(-.f64 (-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y)) z)
110.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))

simplify85.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4951	791
1	4951	791

prune100.0ms (1.6%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	29	9	38
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	31	16	47

Merged error: 46.1b

Counts

47 → 16

Compiler

Compiled 1110 to 516 computations (53.5% saved)

localize23.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.5b	(-.f64 (-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y)) z)
9.4b	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))
9.4b	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))
9.4b	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))

rewrite85.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-log-exp_binary64_1124`
15×	`diff-log_binary64_1177`
9×	`sub-neg_binary64_1081`
6×	`add-sqr-sqrt_binary64_1109` `associate--l+_binary64_1027` `*-un-lft-identity_binary64_1088`
4×	`add-cbrt-cube_binary64_1121` `flip3--_binary64_1092` `flip--_binary64_1063` `add-exp-log_binary64_1123` `pow1_binary64_1146` `add-cube-cbrt_binary64_1120` `associate--l-_binary64_1028`
1×	`distribute-lft-out--_binary64_1042` `difference-of-squares_binary64_1057`

Counts

4 → 60

Calls

4 calls:

20.0ms	(-.f64 (-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y)) z)
19.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))
15.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))
15.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))

series433.0ms (7%)

Counts

4 → 12

Calls

4 calls:

137.0ms	(-.f64 (-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y)) z)
103.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))
97.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))
96.0ms	(-.f64 (-.f64 (fma.f64 x y z) 1) (*.f64 x y))

simplify98.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4951	1441
1	4951	1441

prune204.0ms (3.3%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	71	17	88

Merged error: 46.1b

Counts

88 → 17

Compiler

Compiled 3410 to 1455 computations (57.3% saved)

regimes226.0ms (3.7%)

Compiler: Compiled 1476 to 855 computations (42.1% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	70	105
1	70	105

end0.0ms (0%)

sample2.6s (42.4%)

Algorithm

1×

intervals

Results

685.0ms	2800×	body	1024	valid
356.0ms	1178×	body	2048	valid
214.0ms	1181×	body	512	valid
147.0ms	2310×	body	128	valid
65.0ms	531×	body	256	valid

Compiler

Compiled 574 to 331 computations (42.3% saved)

Details

analyze737.0ms (12%)

sample62.0ms (1%)

simplify319.0ms (5.2%)

prune4.0ms (0.1%)

localize16.0ms (0.3%)

rewrite30.0ms (0.5%)

series220.0ms (3.6%)

simplify101.0ms (1.6%)

prune74.0ms (1.2%)

localize15.0ms (0.2%)

rewrite37.0ms (0.6%)

series211.0ms (3.4%)

simplify91.0ms (1.5%)

prune81.0ms (1.3%)

localize15.0ms (0.2%)

rewrite39.0ms (0.6%)

series240.0ms (3.9%)

simplify85.0ms (1.4%)

prune100.0ms (1.6%)

localize23.0ms (0.4%)

rewrite85.0ms (1.4%)

series433.0ms (7%)

simplify98.0ms (1.6%)

prune204.0ms (3.3%)

regimes226.0ms (3.7%)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample2.6s (42.4%)

Profiling