Details

analyze658.0ms (12.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
6.2%	82.7%	11.1%	10
12.5%	73.7%	13.8%	11
15.6%	59.5%	25%	12
17.9%	53.3%	28.8%	13
22.4%	47.2%	30.4%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample29.0ms (0.5%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
4.0ms	96×	body	128	invalid

Compiler

Compiled 27 to 27 computations (0% saved)

simplify135.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	704	19
1	704	19

prune2.0ms (0%)

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

Error

5.1b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (*.f64 z z) t)
0.0b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
4.8b	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))

rewrite25.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`cancel-sign-sub-inv_binary64_20163`
11×	`add-sqr-sqrt_binary64_20219`
9×	`*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232`
8×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `associate--r+_binary64_20133` `distribute-lft-in_binary64_20146` `distribute-rgt-in_binary64_20147` `pow1_binary64_20258`
7×	`add-log-exp_binary64_20236`
6×	`sub-neg_binary64_20190`
4×	`associate-r_binary64_20137`
3×	`flip3--_binary64_20201` `cbrt-unprod_binary64_20230` `prod-exp_binary64_20246` `pow-prod-down_binary64_20268` `flip--_binary64_20172`
2×	`difference-of-squares_binary64_20166` `associate-*r/_binary64_20139` `diff-log_binary64_20289`
1×	`-commutative_binary64_20128` `associate-l*_binary64_20138`

Counts

3 → 64

Calls

3 calls:

10.0ms	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))
6.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
5.0ms	(-.f64 (*.f64 z z) t)

series592.0ms (11.2%)

Counts

3 → 51

Calls

3 calls:

357.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
173.0ms	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))
62.0ms	(-.f64 (*.f64 z z) t)

Compiler

Compiled 1066 to 1021 computations (4.2% saved)

simplify77.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4924	1628
1	4924	1628

prune98.0ms (1.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	109	6	115
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	109	7	116

Error

2.9b

Counts

116 → 7

Compiler

Compiled 1866 to 747 computations (60% saved)

localize6.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune6.0ms (0.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	5	5
Picked	1	1
Done	1	1
Total	7	7

Error

2.9b

Counts

7 → 7

Compiler

Compiled 80 to 63 computations (21.3% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 y 4) (sqrt.f64 (-.f64 (*.f64 z z) t)))
0.2b	(.f64 (.f64 (.f64 y 4) (sqrt.f64 (-.f64 (.f64 z z) t))) (sqrt.f64 (-.f64 (*.f64 z z) t)))
4.7b	(sqrt.f64 (-.f64 (*.f64 z z) t))
4.7b	(sqrt.f64 (-.f64 (*.f64 z z) t))

rewrite48.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`pow1_binary64_20258`
18×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `sqrt-div_binary64_20214`
16×	`add-sqr-sqrt_binary64_20219` `sqrt-prod_binary64_20213`
14×	`associate-r_binary64_20137`
10×	`-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232` `associate-r/_binary64_20139`
9×	`flip3--_binary64_20201` `cbrt-unprod_binary64_20230` `prod-exp_binary64_20246` `pow-prod-down_binary64_20268` `flip--_binary64_20172`
4×	`frac-times_binary64_20207` `difference-of-squares_binary64_20166` `add-log-exp_binary64_20236`
2×	`sqrt-pow1_binary64_20215` `pow1/2_binary64_20277` `-commutative_binary64_20128` `rem-sqrt-square_binary64_20210` `associate-l_binary64_20138` `associate-l/_binary64_20140`

Counts

4 → 89

Calls

4 calls:

17.0ms	(.f64 (.f64 (.f64 y 4) (sqrt.f64 (-.f64 (.f64 z z) t))) (sqrt.f64 (-.f64 (*.f64 z z) t)))
11.0ms	(.f64 (.f64 y 4) (sqrt.f64 (-.f64 (*.f64 z z) t)))
4.0ms	(sqrt.f64 (-.f64 (*.f64 z z) t))
4.0ms	(sqrt.f64 (-.f64 (*.f64 z z) t))

series571.0ms (10.8%)

Counts

4 → 63

Calls

4 calls:

201.0ms	(.f64 (.f64 y 4) (sqrt.f64 (-.f64 (*.f64 z z) t)))
196.0ms	(.f64 (.f64 (.f64 y 4) (sqrt.f64 (-.f64 (.f64 z z) t))) (sqrt.f64 (-.f64 (*.f64 z z) t)))
88.0ms	(sqrt.f64 (-.f64 (*.f64 z z) t))
85.0ms	(sqrt.f64 (-.f64 (*.f64 z z) t))

Compiler

Compiled 2238 to 1778 computations (20.6% saved)

simplify85.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4945	2557
1	4945	2557

prune137.0ms (2.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	151	1	152
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	151	8	159

Error

2.9b

Counts

159 → 8

Compiler

Compiled 3767 to 1282 computations (66% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (*.f64 z z) t)
2.9b	(-.f64 (pow.f64 z 4) (*.f64 t t))
7.7b	(.f64 (.f64 y 4) (-.f64 (pow.f64 z 4) (*.f64 t t)))
19.9b	(/.f64 (.f64 (.f64 y 4) (-.f64 (pow.f64 z 4) (.f64 t t))) (+.f64 (.f64 z z) t))

rewrite38.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
11×	`add-sqr-sqrt_binary64_20219`
9×	`pow1_binary64_20258`
8×	`add-log-exp_binary64_20236`
7×	`*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232`
6×	`cbrt-unprod_binary64_20230` `difference-of-squares_binary64_20166` `prod-exp_binary64_20246` `associate-r_binary64_20137`
4×	`associate-*r/_binary64_20139`
3×	`sub-neg_binary64_20190` `flip3--_binary64_20201` `times-frac_binary64_20203` `associate-/r*_binary64_20141` `div-exp_binary64_20248` `pow-prod-down_binary64_20268` `cbrt-undiv_binary64_20231` `cancel-sign-sub-inv_binary64_20163` `flip--_binary64_20172`
2×	`associate-/r/_binary64_20143` `distribute-lft-in_binary64_20146` `unpow-prod-down_binary64_20276` `sqr-pow_binary64_20169` `associate-/l/_binary64_20144` `distribute-rgt-in_binary64_20147` `flip3-+_binary64_20200` `flip-+_binary64_20171`
1×	`frac-2neg_binary64_20208` `clear-num_binary64_20196` `div-inv_binary64_20194` `sum-log_binary64_20288` `associate-/l_binary64_20142` `+-commutative_binary64_20127` `-commutative_binary64_20128` `associate-l_binary64_20138` `diff-log_binary64_20289`

Counts

4 → 80

Calls

4 calls:

13.0ms	(/.f64 (.f64 (.f64 y 4) (-.f64 (pow.f64 z 4) (.f64 t t))) (+.f64 (.f64 z z) t))
9.0ms	(.f64 (.f64 y 4) (-.f64 (pow.f64 z 4) (*.f64 t t)))
5.0ms	(-.f64 (pow.f64 z 4) (*.f64 t t))
4.0ms	(+.f64 (*.f64 z z) t)

series827.0ms (15.6%)

Counts

4 → 54

Calls

4 calls:

364.0ms	(/.f64 (.f64 (.f64 y 4) (-.f64 (pow.f64 z 4) (.f64 t t))) (+.f64 (.f64 z z) t))
277.0ms	(.f64 (.f64 y 4) (-.f64 (pow.f64 z 4) (*.f64 t t)))
122.0ms	(-.f64 (pow.f64 z 4) (*.f64 t t))
63.0ms	(+.f64 (*.f64 z z) t)

Compiler

Compiled 1642 to 1366 computations (16.8% saved)

simplify71.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4970	1937
1	4970	1937

prune126.0ms (2.4%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	3	4
Picked	0	1	1
Done	0	3	3
Total	134	8	142

Error

2.9b

Counts

142 → 8

Compiler

Compiled 3007 to 1253 computations (58.3% saved)

regimes553.0ms (10.5%)

Accuracy

Total 0.9b remaining (26.1%)

Threshold costs 0.9b (26.1%)

Compiler

Compiled 5116 to 4001 computations (21.8% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	326	54
1	326	54

end0.0ms (0%)

sample1.2s (21.8%)

Algorithm

1×

intervals

Results

309.0ms	8000×	body	128	valid
118.0ms	3044×	body	128	invalid

Compiler

Compiled 501 to 386 computations (23% saved)

Details

analyze658.0ms (12.4%)

sample29.0ms (0.5%)

simplify135.0ms (2.6%)

prune2.0ms (0%)

localize8.0ms (0.2%)

rewrite25.0ms (0.5%)

series592.0ms (11.2%)

simplify77.0ms (1.5%)

prune98.0ms (1.8%)

localize6.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

prune6.0ms (0.1%)

localize11.0ms (0.2%)

rewrite48.0ms (0.9%)

series571.0ms (10.8%)

simplify85.0ms (1.6%)

prune137.0ms (2.6%)

localize13.0ms (0.3%)

rewrite38.0ms (0.7%)

series827.0ms (15.6%)

simplify71.0ms (1.3%)

prune126.0ms (2.4%)

regimes553.0ms (10.5%)

bsearch1.0ms (0%)

simplify9.0ms (0.2%)

end0.0ms (0%)

sample1.2s (21.8%)

Profiling