Details

analyze135.0ms (3.2%)

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
25%	74.9%	0.1%	5
50%	50%	0.1%	6
56.2%	40.6%	3.2%	7
68.7%	25%	6.3%	8
71.8%	19.5%	8.7%	9
78%	12.5%	9.5%	10
79.6%	9.6%	10.8%	11
82.7%	6.2%	11%	12
83.5%	4.7%	11.8%	13
85.1%	3.1%	11.8%	14

Compiler

Compiled 12 to 10 computations (16.7% saved)

sample31.0ms (0.7%)

Algorithm

1×

intervals

Results

15.0ms	253×	body	128	valid
1.0ms	3×	body	1024	valid
0.0ms	5×	body	128	invalid

Compiler

Compiled 23 to 21 computations (8.7% saved)

simplify146.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	42	7
1	42	7

prune8.0ms (0.2%)

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

0.0b

Counts

2 → 2

Compiler

Compiled 21 to 19 computations (9.5% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 d1 (+.f64 d2 30))
0.0b	(*.f64 d1 (+.f64 d2 30))

rewrite20.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64_4852` `add-sqr-sqrt_binary64_4874`
4×	`associate-r_binary64_4792`
3×	`add-exp-log_binary64_4890` `associate-l_binary64_4793` `add-cube-cbrt_binary64_4887` `add-cbrt-cube_binary64_4888` `pow1_binary64_4913`
2×	`associate-*r/_binary64_4794`
1×	`unswap-sqr_binary64_4820` `cbrt-unprod_binary64_4885` `flip-+_binary64_4826` `distribute-lft-out_binary64_4803` `distribute-lft-in_binary64_4801` `add-log-exp_binary64_4891` `prod-exp_binary64_4901` `distribute-rgt-in_binary64_4802` `pow-prod-down_binary64_4923` `flip3-+_binary64_4855` `*-commutative_binary64_4783`

Counts

1 → 23

Calls

2 calls:

17.0ms	(*.f64 d1 (+.f64 d2 30))
0.0ms	(*.f64 d1 (+.f64 d2 30))

series73.0ms (1.7%)

Counts

1 → 9

Calls

1 calls:

72.0ms

(*.f64 d1 (+.f64 d2 30))

Compiler

Compiled 81 to 76 computations (6.2% saved)

simplify70.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5135	266

prune38.0ms (0.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	30	2	32
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	30	4	34

Error

Counts

34 → 4

Compiler

Compiled 300 to 202 computations (32.7% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
0.0b	(+.f64 (.f64 d1 10) (.f64 d1 d2))
0.0b	(+.f64 (.f64 d1 10) (.f64 d1 d2))
0.2b	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

rewrite24.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-log-exp_binary64_4891`
4×	`sum-log_binary64_4943`
3×	`distribute-lft-out_binary64_4803`
2×	`add-exp-log_binary64_4890` `+-commutative_binary64_4782` `flip-+_binary64_4826` `add-cube-cbrt_binary64_4887` `add-cbrt-cube_binary64_4888` `*-un-lft-identity_binary64_4852` `add-sqr-sqrt_binary64_4874` `pow1_binary64_4913` `flip3-+_binary64_4855`
1×	`associate-+l+_binary64_4785`

Counts

2 → 26

Calls

4 calls:

13.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
7.0ms	(+.f64 (.f64 d1 10) (.f64 d1 d2))
0.0ms	(+.f64 (.f64 d1 10) (.f64 d1 d2))
0.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

series180.0ms (4.2%)

Counts

2 → 18

Calls

2 calls:

98.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
82.0ms	(+.f64 (.f64 d1 10) (.f64 d1 d2))

Compiler

Compiled 222 to 197 computations (11.3% saved)

simplify80.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5762	407

prune38.0ms (0.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	44	4	48

Error

Counts

48 → 4

Compiler

Compiled 482 to 317 computations (34.2% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.5b	(/.f64 (.f64 d1 (-.f64 (.f64 d2 d2) 900)) (-.f64 d2 30))
3.9b	(.f64 d1 (-.f64 (.f64 d2 d2) 900))
3.9b	(.f64 d1 (-.f64 (.f64 d2 d2) 900))
7.5b	(/.f64 (.f64 d1 (-.f64 (.f64 d2 d2) 900)) (-.f64 d2 30))

rewrite27.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_4874`
12×	`*-un-lft-identity_binary64_4852`
9×	`add-exp-log_binary64_4890` `add-cbrt-cube_binary64_4888`
8×	`add-cube-cbrt_binary64_4887`
6×	`cancel-sign-sub-inv_binary64_4818`
5×	`times-frac_binary64_4858` `associate-/r*_binary64_4796`
4×	`associate-r/_binary64_4794` `associate-r*_binary64_4792` `distribute-lft-in_binary64_4801` `distribute-rgt-in_binary64_4802` `pow1_binary64_4913`
3×	`difference-of-squares_binary64_4821` `associate-l_binary64_4793` `flip3--_binary64_4856` `flip--_binary64_4827`
2×	`distribute-lft-out--_binary64_4804` `cbrt-unprod_binary64_4885` `associate-/l/_binary64_4799` `sub-neg_binary64_4845` `add-log-exp_binary64_4891` `prod-exp_binary64_4901` `associate-/r/_binary64_4798` `cbrt-undiv_binary64_4886` `div-exp_binary64_4903`
1×	`unswap-sqr_binary64_4820` `div-inv_binary64_4849` `associate-/l_binary64_4797` `clear-num_binary64_4851` `pow-prod-down_binary64_4923` `frac-2neg_binary64_4863` `-commutative_binary64_4783`

Counts

2 → 58

Calls

4 calls:

12.0ms	(/.f64 (.f64 d1 (-.f64 (.f64 d2 d2) 900)) (-.f64 d2 30))
8.0ms	(.f64 d1 (-.f64 (.f64 d2 d2) 900))
0.0ms	(.f64 d1 (-.f64 (.f64 d2 d2) 900))
0.0ms	(/.f64 (.f64 d1 (-.f64 (.f64 d2 d2) 900)) (-.f64 d2 30))

series307.0ms (7.2%)

Counts

2 → 18

Calls

2 calls:

200.0ms	(/.f64 (.f64 d1 (-.f64 (.f64 d2 d2) 900)) (-.f64 d2 30))
107.0ms	(.f64 d1 (-.f64 (.f64 d2 d2) 900))

Compiler

Compiled 286 to 255 computations (10.8% saved)

simplify70.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	6272	1032

prune93.0ms (2.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	1	0	1
Picked	1	0	1
Done	0	2	2
Total	77	3	80

Error

Counts

80 → 3

Compiler

Compiled 1089 to 636 computations (41.6% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

8.5b	(/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900))
0.2b	(/.f64 d1 (/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900)))
0.2b	(/.f64 d1 (/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900)))
8.5b	(/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900))

rewrite67.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

178×	`times-frac_binary64_4858`
148×	`add-sqr-sqrt_binary64_4874`
122×	`*-un-lft-identity_binary64_4852`
80×	`add-cube-cbrt_binary64_4887`
47×	`difference-of-squares_binary64_4821`
30×	`associate-/r*_binary64_4796`
21×	`distribute-lft-out--_binary64_4804`
11×	`associate-/r/_binary64_4798`
9×	`add-exp-log_binary64_4890` `add-cbrt-cube_binary64_4888`
8×	`associate-/l*_binary64_4797`
6×	`flip3--_binary64_4856` `div-inv_binary64_4849` `flip--_binary64_4827`
4×	`cbrt-undiv_binary64_4886` `div-exp_binary64_4903`
2×	`associate-/l/_binary64_4799` `clear-num_binary64_4851` `add-log-exp_binary64_4891` `pow1_binary64_4913` `frac-2neg_binary64_4863`
1×	`div-sub_binary64_4857`

Counts

2 → 168

Calls

4 calls:

26.0ms	(/.f64 d1 (/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900)))
18.0ms	(/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900))
0.0ms	(/.f64 d1 (/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900)))
0.0ms	(/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900))

series245.0ms (5.7%)

Counts

2 → 21

Calls

2 calls:

201.0ms	(/.f64 d1 (/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900)))
44.0ms	(/.f64 (-.f64 d2 30) (-.f64 (*.f64 d2 d2) 900))

Compiler

Compiled 295 to 270 computations (8.5% saved)

simplify164.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5253	4918

prune249.0ms (5.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	189	0	189
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	189	3	192

Error

Counts

192 → 3

Compiler

Compiled 3906 to 2326 computations (40.5% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	105	198
1	105	198

regimes143.0ms (3.4%)

Accuracy

Total 0.0b remaining (94.4%)

Threshold costs 0.0b (94.4%)

Compiler

Compiled 479 to 440 computations (8.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	7
1	8	7

end0.0ms (0%)

sample2.0s (46.9%)

Algorithm

1×

intervals

Results

392.0ms	7868×	body	128	valid
15.0ms	80×	body	1024	valid
4.0ms	31×	body	512	valid
4.0ms	81×	body	128	invalid
2.0ms	20×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 434 to 395 computations (9% saved)

Pareto

0.22788858194077544

Details

analyze135.0ms (3.2%)

sample31.0ms (0.7%)

simplify146.0ms (3.4%)

prune8.0ms (0.2%)

localize7.0ms (0.2%)

rewrite20.0ms (0.5%)

series73.0ms (1.7%)

simplify70.0ms (1.6%)

prune38.0ms (0.9%)

localize14.0ms (0.3%)

rewrite24.0ms (0.6%)

series180.0ms (4.2%)

simplify80.0ms (1.9%)

prune38.0ms (0.9%)

localize10.0ms (0.2%)

rewrite27.0ms (0.6%)

series307.0ms (7.2%)

simplify70.0ms (1.6%)

prune93.0ms (2.2%)

localize17.0ms (0.4%)

rewrite67.0ms (1.6%)

series245.0ms (5.7%)

simplify164.0ms (3.8%)

prune249.0ms (5.8%)

simplify9.0ms (0.2%)

regimes143.0ms (3.4%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample2.0s (46.9%)

Profiling