Details

analyze7.9s (7.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 20 to 19 computations (5% saved)

sample304.0ms (0.3%)

Algorithm

1×

intervals

Results

189.0ms	219×	body	128	invalid
37.0ms	256×	body	128	valid

Compiler

Compiled 39 to 45 computations (-15.4% saved)

simplify2.2s (2.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.8s)

Iter	Nodes	Cost
0	3126	28
1	3126	28

prune12.0ms (0%)

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

Counts

2 → 1

Compiler

Compiled 38 to 36 computations (5.3% saved)

localize57.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 a (*.f64 b c))
0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
0.1b	(.f64 (+.f64 a (.f64 b c)) c)
11.7b	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)

rewrite234.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`associate-*l/_binary64_18435`
11×	`add-exp-log_binary64_18530` `pow1_binary64_18553` `add-cbrt-cube_binary64_18528` `add-log-exp_binary64_18531`
9×	`add-sqr-sqrt_binary64_18514`
7×	`flip-+_binary64_18466` `add-cube-cbrt_binary64_18527` `*-un-lft-identity_binary64_18492` `flip3-+_binary64_18495`
6×	`associate-r_binary64_18432`
4×	`associate-l_binary64_18433` `prod-exp_binary64_18541` `cbrt-unprod_binary64_18525` `pow-prod-down_binary64_18563` `frac-sub_binary64_18501`
2×	`diff-log_binary64_18584` `*-commutative_binary64_18423` `sum-log_binary64_18583`
1×	`+-commutative_binary64_18422` `flip--_binary64_18467` `unswap-sqr_binary64_18460` `associate--l+_binary64_18429` `sub-neg_binary64_18485` `flip3--_binary64_18496` `cancel-sign-sub-inv_binary64_18458`

Counts

4 → 69

Calls

4 calls:

100.0ms	(+.f64 a (*.f64 b c))
35.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
31.0ms	(.f64 (+.f64 a (.f64 b c)) c)
29.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)

series3.2s (3%)

Counts

4 → 12

Calls

4 calls:

2.6s	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
313.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
127.0ms	(.f64 (+.f64 a (.f64 b c)) c)
95.0ms	(+.f64 a (*.f64 b c))

simplify335.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (231.0ms)

Iter	Nodes	Cost
0	4971	1725
1	4971	1725

prune1.9s (1.8%)

Pruning

41 alts after pruning (40 fresh and 1 done)

	Pruned	Kept	Total
New	41	40	81
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	41	82

Merged error: 0.8b

Counts

82 → 41

Compiler

Compiled 3521 to 1357 computations (61.5% saved)

localize75.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 a (*.f64 b c))
0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
6.3b	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))

rewrite140.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-log-exp_binary64_18531`
9×	`add-exp-log_binary64_18530` `pow1_binary64_18553` `add-cbrt-cube_binary64_18528`
7×	`flip-+_binary64_18466` `flip3-+_binary64_18495`
6×	`associate-*l/_binary64_18435`
5×	`add-sqr-sqrt_binary64_18514` `add-cube-cbrt_binary64_18527` `*-un-lft-identity_binary64_18492`
4×	`frac-sub_binary64_18501`
3×	`associate-l_binary64_18433` `sum-log_binary64_18583` `prod-exp_binary64_18541` `cbrt-unprod_binary64_18525` `pow-prod-down_binary64_18563`
2×	`+-commutative_binary64_18422` `diff-log_binary64_18584`
1×	`flip--_binary64_18467` `associate--l+_binary64_18429` `sub-neg_binary64_18485` `-commutative_binary64_18423` `flip3--_binary64_18496` `cancel-sign-sub-inv_binary64_18458` `associate-r*_binary64_18432`

Counts

4 → 60

Calls

4 calls:

48.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
34.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
15.0ms	(+.f64 (.f64 x y) (.f64 z t))
10.0ms	(+.f64 a (*.f64 b c))

series2.7s (2.5%)

Counts

4 → 12

Calls

4 calls:

2.1s	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
329.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
188.0ms	(+.f64 (.f64 x y) (.f64 z t))
114.0ms	(+.f64 a (*.f64 b c))

simplify190.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (113.0ms)

Iter	Nodes	Cost
0	5834	1649

prune2.3s (2.2%)

Pruning

66 alts after pruning (64 fresh and 2 done)

	Pruned	Kept	Total
New	43	29	72
Fresh	4	35	39
Picked	0	1	1
Done	0	1	1
Total	47	66	113

Merged error: 0.8b

Counts

113 → 66

Compiler

Compiled 4310 to 1841 computations (57.3% saved)

localize75.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 a (*.f64 b c))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (neg.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i))))
6.3b	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))

rewrite263.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-log-exp_binary64_18531`
9×	`add-exp-log_binary64_18530` `pow1_binary64_18553` `add-cbrt-cube_binary64_18528`
8×	`flip-+_binary64_18466` `sum-log_binary64_18583` `flip3-+_binary64_18495`
7×	`*-un-lft-identity_binary64_18492`
6×	`associate-*l/_binary64_18435`
5×	`add-sqr-sqrt_binary64_18514` `add-cube-cbrt_binary64_18527`
4×	`distribute-neg-frac_binary64_18456` `frac-add_binary64_18500`
3×	`+-commutative_binary64_18422` `associate-l_binary64_18433` `prod-exp_binary64_18541` `cbrt-unprod_binary64_18525` `pow-prod-down_binary64_18563`
2×	`neg-log_binary64_18585`
1×	`associate-+l+_binary64_18425` `associate-+r-_binary64_18426` `unsub-neg_binary64_18486` `distribute-lft-out_binary64_18443` `neg-sub0_binary64_18487` `-commutative_binary64_18423` `associate-r*_binary64_18432`

Counts

4 → 64

Calls

4 calls:

212.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
21.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (neg.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i))))
9.0ms	(+.f64 (.f64 x y) (.f64 z t))
6.0ms	(+.f64 a (*.f64 b c))

series3.0s (2.8%)

Counts

4 → 12

Calls

4 calls:

2.6s	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (neg.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i))))
205.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
115.0ms	(+.f64 (.f64 x y) (.f64 z t))
97.0ms	(+.f64 a (*.f64 b c))

simplify222.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (149.0ms)

Iter	Nodes	Cost
0	5038	1708

prune2.6s (2.4%)

Pruning

84 alts after pruning (81 fresh and 3 done)

	Pruned	Kept	Total
New	54	22	76
Fresh	4	59	63
Picked	0	1	1
Done	0	2	2
Total	58	84	142

Merged error: 0.8b

Counts

142 → 84

Compiler

Compiled 4940 to 2258 computations (54.3% saved)

localize96.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 a (*.f64 b c))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (neg.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i))))
6.3b	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))

rewrite149.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-log-exp_binary64_18531`
9×	`add-exp-log_binary64_18530` `pow1_binary64_18553` `add-cbrt-cube_binary64_18528`
8×	`flip-+_binary64_18466` `sum-log_binary64_18583` `flip3-+_binary64_18495`
7×	`*-un-lft-identity_binary64_18492`
6×	`associate-*l/_binary64_18435`
5×	`add-sqr-sqrt_binary64_18514` `add-cube-cbrt_binary64_18527`
4×	`distribute-neg-frac_binary64_18456` `frac-add_binary64_18500`
3×	`+-commutative_binary64_18422` `associate-l_binary64_18433` `prod-exp_binary64_18541` `cbrt-unprod_binary64_18525` `pow-prod-down_binary64_18563`
2×	`neg-log_binary64_18585`
1×	`associate-+l+_binary64_18425` `associate-+r-_binary64_18426` `unsub-neg_binary64_18486` `distribute-lft-out_binary64_18443` `neg-sub0_binary64_18487` `-commutative_binary64_18423` `associate-r*_binary64_18432`

Counts

4 → 64

Calls

4 calls:

51.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (neg.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i))))
34.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
12.0ms	(+.f64 a (*.f64 b c))
12.0ms	(+.f64 (.f64 x y) (.f64 z t))

series2.8s (2.6%)

Counts

4 → 12

Calls

4 calls:

2.1s	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (neg.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i))))
317.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
229.0ms	(+.f64 (.f64 x y) (.f64 z t))
154.0ms	(+.f64 a (*.f64 b c))

simplify315.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (233.0ms)

Iter	Nodes	Cost
0	5038	1708

prune4.4s (4.1%)

Pruning

111 alts after pruning (107 fresh and 4 done)

	Pruned	Kept	Total
New	43	33	76
Fresh	6	74	80
Picked	0	1	1
Done	0	3	3
Total	49	111	160

Merged error: 0.8b

Counts

160 → 111

Compiler

Compiled 2259 to 597 computations (73.6% saved)

regimes38.3s (35.7%)

Compiler: Compiled 93524 to 68264 computations (27% saved)

bsearch0.0ms (0%)

simplify16.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	98	28
1	98	28

end0.0ms (0%)

sample33.3s (31.1%)

Algorithm

1×

intervals

Results

2.3s	8000×	body	128	valid
1.7s	7302×	body	128	invalid

Compiler

Compiled 6248 to 4553 computations (27.1% saved)

Pareto

Details

analyze7.9s (7.4%)

sample304.0ms (0.3%)

simplify2.2s (2.1%)

prune12.0ms (0%)

localize57.0ms (0.1%)

rewrite234.0ms (0.2%)

series3.2s (3%)

simplify335.0ms (0.3%)

prune1.9s (1.8%)

localize75.0ms (0.1%)

rewrite140.0ms (0.1%)

series2.7s (2.5%)

simplify190.0ms (0.2%)

prune2.3s (2.2%)

localize75.0ms (0.1%)

rewrite263.0ms (0.2%)

series3.0s (2.8%)

simplify222.0ms (0.2%)

prune2.6s (2.4%)

localize96.0ms (0.1%)

rewrite149.0ms (0.1%)

series2.8s (2.6%)

simplify315.0ms (0.3%)

prune4.4s (4.1%)

regimes38.3s (35.7%)

bsearch0.0ms (0%)

simplify16.0ms (0%)

end0.0ms (0%)

sample33.3s (31.1%)

Profiling