Details

analyze68.0ms (0.8%)

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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	21.9%	9.5%	7
68.7%	17.2%	14.1%	8
71.8%	11.7%	16.5%	9
71.8%	9%	19.2%	10
73.4%	6%	20.6%	11
73.4%	4.6%	22%	12
74.1%	3.1%	22.8%	13
74.1%	2.3%	23.5%	14

Compiler

Compiled 7 to 7 computations (0% saved)

sample60.0ms (0.8%)

Algorithm

1×

intervals

Results

21.0ms	41×	body	2048	valid
14.0ms	51×	body	1024	valid
5.0ms	111×	body	128	valid
4.0ms	29×	body	512	valid
2.0ms	24×	body	256	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 13 to 15 computations (-15.4% saved)

simplify277.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	4875	9
1	4875	9

prune4.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

26.8b

Counts

2 → 1

Compiler

Compiled 12 to 12 computations (0% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64_2757`
6×	`*-un-lft-identity_binary64_2735` `add-log-exp_binary64_2774`
3×	`cancel-sign-sub-inv_binary64_2701` `add-cube-cbrt_binary64_2770`
2×	`pow1_binary64_2796` `difference-of-squares_binary64_2704` `add-cbrt-cube_binary64_2771` `add-exp-log_binary64_2773`
1×	`flip3--_binary64_2739` `difference-of-sqr-1_binary64_2705` `flip--_binary64_2710` `distribute-lft-out--_binary64_2687` `sub-neg_binary64_2728` `diff-log_binary64_2827` `exp-to-pow_binary64_2797` `exp-prod_binary64_2787` `rem-exp-log_binary64_2775`

Counts

2 → 28

Calls

4 calls:

9.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
3.0ms	(exp.f64 (*.f64 a x))
0.0ms	(exp.f64 (*.f64 a x))
0.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)

series151.0ms (1.9%)

Counts

2 → 24

Calls

2 calls:

90.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
61.0ms	(exp.f64 (*.f64 a x))

Compiler

Compiled 348 to 316 computations (9.2% saved)

simplify112.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4917	652
1	4917	652

prune100.0ms (1.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	49	3	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	3	53

Error

0.1b

Counts

53 → 3

Compiler

Compiled 594 to 282 computations (52.5% saved)

localize4.0ms (0.1%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

prune5.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.1b

Counts

3 → 3

Compiler

Compiled 37 to 24 computations (35.1% saved)

localize16.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
0.0b	(exp.f64 (*.f64 a x))
0.0b	(exp.f64 (*.f64 a x))
0.0b	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))
0.0b	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
0.0b	(exp.f64 (*.f64 a x))
0.0b	(exp.f64 (*.f64 a x))
2.3b	(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))

rewrite26.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-log-exp_binary64_2774`
9×	`*-un-lft-identity_binary64_2735`
5×	`add-sqr-sqrt_binary64_2757`
4×	`pow1_binary64_2796` `add-cbrt-cube_binary64_2771` `add-cube-cbrt_binary64_2770` `add-exp-log_binary64_2773`
3×	`distribute-lft-out_binary64_2686`
2×	`flip-+_binary64_2709` `flip3-+_binary64_2738` `sum-log_binary64_2826` `exp-to-pow_binary64_2797` `exp-prod_binary64_2787` `+-commutative_binary64_2665` `rem-exp-log_binary64_2775`
1×	`sqrt-prod_binary64_2751`

Counts

4 → 45

Calls

8 calls:

7.0ms	(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))
7.0ms	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
3.0ms	(exp.f64 (*.f64 a x))
3.0ms	(exp.f64 (*.f64 a x))
0.0ms	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))

series363.0ms (4.5%)

Counts

4 → 48

Calls

4 calls:

133.0ms	(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))
106.0ms	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
62.0ms	(exp.f64 (*.f64 a x))
62.0ms	(exp.f64 (*.f64 a x))

Compiler

Compiled 1232 to 934 computations (24.2% saved)

simplify158.0ms (2%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	4940	1189
1	4940	1189

prune188.0ms (2.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	1	0	1
Picked	0	1	1
Done	1	0	1
Total	92	4	96

Error

0.0b

Counts

96 → 4

Compiler

Compiled 1877 to 829 computations (55.8% saved)

localize31.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
0.0b	(exp.f64 (*.f64 a x))
0.0b	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (+.f64 (.f64 (.f64 a x) (+.f64 1/2 (.f64 1/8 (.f64 a x)))) (.f64 1/48 (pow.f64 (.f64 a x) 3))))
0.0b	(+.f64 1/2 (.f64 1/8 (.f64 a x)))
0.1b	(.f64 (.f64 a x) (+.f64 1/2 (.f64 1/8 (.f64 a x))))
0.1b	(.f64 1/48 (pow.f64 (.f64 a x) 3))
0.2b	(pow.f64 (*.f64 a x) 3)
13.1b	(+.f64 (.f64 (.f64 a x) (+.f64 1/2 (.f64 1/8 (.f64 a x)))) (.f64 1/48 (pow.f64 (.f64 a x) 3)))

rewrite73.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64_2773`
14×	`add-cbrt-cube_binary64_2771`
12×	`pow1_binary64_2796`
11×	`associate-r_binary64_2675` `add-sqr-sqrt_binary64_2757`
9×	`prod-exp_binary64_2784`
8×	`*-un-lft-identity_binary64_2735` `add-cube-cbrt_binary64_2770`
6×	`add-log-exp_binary64_2774`
5×	`cbrt-unprod_binary64_2768`
4×	`associate-l_binary64_2676` `pow-prod-down_binary64_2806` `pow-exp_binary64_2803`
3×	`pow-unpow_binary64_2812` `sqr-pow_binary64_2707`
2×	`distribute-rgt-in_binary64_2685` `rem-cube-cbrt_binary64_2758` `cube-prod_binary64_2763` `distribute-lft-in_binary64_2684` `flip-+_binary64_2709` `unpow3_binary64_2801` `flip3-+_binary64_2738` `pow-to-exp_binary64_2804` `associate-+l+_binary64_2668` `unpow-prod-down_binary64_2814` `unswap-sqr_binary64_2703` `-commutative_binary64_2666` `associate-r/_binary64_2677` `cube-mult_binary64_2765` `pow-pow_binary64_2807`
1×	`sum-log_binary64_2826` `+-commutative_binary64_2665`

Counts

4 → 83

Calls

8 calls:

19.0ms	(+.f64 (.f64 (.f64 a x) (+.f64 1/2 (.f64 1/8 (.f64 a x)))) (.f64 1/48 (pow.f64 (.f64 a x) 3)))
15.0ms	(.f64 (.f64 a x) (+.f64 1/2 (.f64 1/8 (.f64 a x))))
13.0ms	(.f64 1/48 (pow.f64 (.f64 a x) 3))
8.0ms	(pow.f64 (*.f64 a x) 3)
0.0ms	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (+.f64 (.f64 (.f64 a x) (+.f64 1/2 (.f64 1/8 (.f64 a x)))) (.f64 1/48 (pow.f64 (.f64 a x) 3))))

series1.4s (17.1%)

Counts

4 → 42

Calls

4 calls:

648.0ms	(+.f64 (.f64 (.f64 a x) (+.f64 1/2 (.f64 1/8 (.f64 a x)))) (.f64 1/48 (pow.f64 (.f64 a x) 3)))
296.0ms	(.f64 (.f64 a x) (+.f64 1/2 (.f64 1/8 (.f64 a x))))
259.0ms	(.f64 1/48 (pow.f64 (.f64 a x) 3))
160.0ms	(pow.f64 (*.f64 a x) 3)

Compiler

Compiled 1854 to 1410 computations (23.9% saved)

simplify85.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4987	1915
1	4987	1915

prune256.0ms (3.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	124	5	129

Error

0.0b

Counts

129 → 5

Compiler

Compiled 3711 to 1886 computations (49.2% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	93	472
1	93	472

regimes425.0ms (5.3%)

Accuracy

Total 0.2b remaining (80.5%)

Threshold costs 0.2b (80.5%)

Compiler

Compiled 1386 to 978 computations (29.4% saved)

bsearch2.0ms (0%)

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

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	74
1	37	74

end0.0ms (0%)

sample4.2s (52.2%)

Algorithm

1×

intervals

Results

762.0ms	1440×	body	2048	valid
494.0ms	1791×	body	1024	valid
181.0ms	1155×	body	512	valid
135.0ms	3029×	body	128	valid
60.0ms	585×	body	256	valid
6.0ms	120×	body	128	invalid

Compiler

Compiled 1053 to 720 computations (31.6% saved)

Pareto

0.048129214294620526

Details

analyze68.0ms (0.8%)

sample60.0ms (0.8%)

simplify277.0ms (3.5%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite15.0ms (0.2%)

series151.0ms (1.9%)

simplify112.0ms (1.4%)

prune100.0ms (1.3%)

localize4.0ms (0.1%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify11.0ms (0.1%)

prune5.0ms (0.1%)

localize16.0ms (0.2%)

rewrite26.0ms (0.3%)

series363.0ms (4.5%)

simplify158.0ms (2%)

prune188.0ms (2.4%)

localize31.0ms (0.4%)

rewrite73.0ms (0.9%)

series1.4s (17.1%)

simplify85.0ms (1.1%)

prune256.0ms (3.2%)

simplify11.0ms (0.1%)

regimes425.0ms (5.3%)

bsearch2.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample4.2s (52.2%)

Profiling