Details

analyze4.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50%	0.4%	49.6%	10
50.2%	0.2%	49.6%	11
50.2%	0.1%	49.7%	12
50.2%	0%	49.8%	13
50.2%	0%	49.8%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample13.0ms (0.9%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify142.0ms (10%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5037	9

prune3.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.0b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize4.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))
0.0b	(-.f64 (*.f64 x x) 1)
0.0b	(-.f64 (*.f64 x x) 1)
0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))

rewrite13.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64_100` `add-log-exp_binary64_117` `*-un-lft-identity_binary64_78`
6×	`exp-prod_binary64_130` `cancel-sign-sub-inv_binary64_44`
5×	`add-cube-cbrt_binary64_113`
4×	`exp-sum_binary64_124` `difference-of-squares_binary64_47`
2×	`add-cbrt-cube_binary64_114` `diff-log_binary64_170` `rem-exp-log_binary64_118` `add-exp-log_binary64_116` `difference-of-sqr-1_binary64_48` `sub-neg_binary64_71` `pow1_binary64_139`
1×	`flip3--_binary64_82` `flip--_binary64_53` `exp-diff_binary64_126`

Counts

2 → 37

Calls

4 calls:

6.0ms	(exp.f64 (-.f64 (*.f64 x x) 1))
4.0ms	(-.f64 (*.f64 x x) 1)
0.0ms	(-.f64 (*.f64 x x) 1)
0.0ms	(exp.f64 (-.f64 (*.f64 x x) 1))

series58.0ms (4.1%)

Counts

2 → 12

Calls

2 calls:

33.0ms	(-.f64 (*.f64 x x) 1)
25.0ms	(exp.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 126 to 125 computations (0.8% saved)

simplify70.0ms (4.9%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4929	442
1	4929	442

prune38.0ms (2.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	47	2	49
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	2	50

Error

Counts

50 → 2

Compiler

Compiled 452 to 273 computations (39.6% saved)

localize5.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))
0.0b	(-.f64 (*.f64 x x) 1)
0.0b	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))
0.0b	(-.f64 (*.f64 x x) 1)

rewrite12.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`
6×	`add-cube-cbrt_binary64_113` `pow-unpow_binary64_155` `cancel-sign-sub-inv_binary64_44`
4×	`add-log-exp_binary64_117` `unpow-prod-up_binary64_156` `difference-of-squares_binary64_47`
3×	`unpow-prod-down_binary64_157` `add-exp-log_binary64_116` `pow1_binary64_139`
2×	`add-cbrt-cube_binary64_114` `pow-exp_binary64_146` `difference-of-sqr-1_binary64_48` `sub-neg_binary64_71`
1×	`pow-sub_binary64_154` `pow-to-exp_binary64_147` `flip3--_binary64_82` `diff-log_binary64_170` `sqr-pow_binary64_50` `pow-pow_binary64_150` `flip--_binary64_53` `e-exp-1_binary64_123`

Counts

2 → 43

Calls

4 calls:

5.0ms	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))
4.0ms	(-.f64 (*.f64 x x) 1)
0.0ms	(-.f64 (*.f64 x x) 1)
0.0ms	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))

series67.0ms (4.7%)

Counts

2 → 12

Calls

2 calls:

34.0ms	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))
33.0ms	(-.f64 (*.f64 x x) 1)

Compiler

Compiled 135 to 134 computations (0.7% saved)

simplify39.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5249	567

prune32.0ms (2.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	55	2	57

Error

Counts

57 → 2

Compiler

Compiled 547 to 309 computations (43.5% saved)

localize8.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1))
0.0b	(exp.f64 (/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1)))
0.0b	(exp.f64 (/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1)))
0.0b	(/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1))

rewrite28.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`*-un-lft-identity_binary64_78`
24×	`times-frac_binary64_84`
19×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113`
18×	`exp-prod_binary64_130`
7×	`distribute-lft-out_binary64_29`
4×	`add-cbrt-cube_binary64_114` `associate-/l*_binary64_23` `add-exp-log_binary64_116` `associate-/r/_binary64_24`
3×	`add-log-exp_binary64_117` `flip-+_binary64_52` `associate-/r*_binary64_22` `flip3-+_binary64_81`
2×	`div-inv_binary64_75` `associate-/l/_binary64_25` `pow1_binary64_139`
1×	`cbrt-undiv_binary64_112` `div-exp_binary64_129` `rem-exp-log_binary64_118` `frac-2neg_binary64_89` `clear-num_binary64_77`

Counts

2 → 61

Calls

4 calls:

10.0ms	(exp.f64 (/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1)))
10.0ms	(/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1))
0.0ms	(exp.f64 (/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1)))
0.0ms	(/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1))

series107.0ms (7.6%)

Counts

2 → 12

Calls

2 calls:

76.0ms	(/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1))
31.0ms	(exp.f64 (/.f64 (+.f64 -1 (pow.f64 x 4)) (+.f64 (*.f64 x x) 1)))

Compiler

Compiled 150 to 145 computations (3.3% saved)

simplify76.0ms (5.4%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4956	1302
1	4956	1302

prune69.0ms (4.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	73	2	75

Error

Counts

75 → 2

Compiler

Compiled 1314 to 896 computations (31.8% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	73	84
1	73	84

regimes25.0ms (1.7%)

Compiler: Compiled 110 to 102 computations (7.3% saved)

bsearch0.0ms (0%)

regimes21.0ms (1.5%)

Compiler: Compiled 56 to 56 computations (0% saved)

bsearch0.0ms (0%)

regimes19.0ms (1.3%)

Compiler: Compiled 44 to 46 computations (-4.5% saved)

bsearch0.0ms (0%)

regimes16.0ms (1.2%)

Compiler: Compiled 32 to 36 computations (-12.5% saved)

bsearch0.0ms (0%)

regimes9.0ms (0.6%)

Accuracy

Total 0.0b remaining (48.4%)

Threshold costs 0.0b (48.4%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch3.0ms (0.2%)

Compiler: Compiled 27 to 24 computations (11.1% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	42
1	18	42

end0.0ms (0%)

sample534.0ms (37.5%)

Algorithm

1×

intervals

Results

239.0ms	8000×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 86 to 80 computations (7% saved)

Pareto

0.9301297270239292

Details

analyze4.0ms (0.3%)

sample13.0ms (0.9%)

simplify142.0ms (10%)

prune3.0ms (0.2%)

localize4.0ms (0.3%)

rewrite13.0ms (0.9%)

series58.0ms (4.1%)

simplify70.0ms (4.9%)

prune38.0ms (2.7%)

localize5.0ms (0.3%)

rewrite12.0ms (0.9%)

series67.0ms (4.7%)

simplify39.0ms (2.7%)

prune32.0ms (2.2%)

localize8.0ms (0.6%)

rewrite28.0ms (2%)

series107.0ms (7.6%)

simplify76.0ms (5.4%)

prune69.0ms (4.8%)

simplify4.0ms (0.3%)

regimes25.0ms (1.7%)

bsearch0.0ms (0%)

regimes21.0ms (1.5%)

bsearch0.0ms (0%)

regimes19.0ms (1.3%)

bsearch0.0ms (0%)

regimes16.0ms (1.2%)

bsearch0.0ms (0%)

regimes9.0ms (0.6%)

bsearch3.0ms (0.2%)

simplify2.0ms (0.2%)

end0.0ms (0%)

sample534.0ms (37.5%)

Profiling