Details

analyze11.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
37.5%	37.5%	25.1%	2
37.5%	18.7%	43.8%	3
46.8%	9.4%	43.8%	4
51.5%	4.7%	43.8%	5
51.5%	2.3%	46.1%	6
52.7%	1.2%	46.1%	7
53.3%	0.6%	46.1%	8
53.3%	0.3%	46.4%	9
53.4%	0.1%	46.4%	10
53.5%	0.1%	46.4%	11
53.5%	0%	46.5%	12
53.5%	0%	46.5%	13
53.5%	0%	46.5%	14

Compiler

Compiled 70 to 33 computations (52.9% saved)

sample73.0ms (0.1%)

Algorithm

1×

intervals

Results

50.0ms	256×	body	128	valid
8.0ms	256×	pre	128	true

Compiler

Compiled 137 to 65 computations (52.6% saved)

simplify752.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (475.0ms)

Iter	Nodes	Cost
0	5050	41

prune38.0ms (0.1%)

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

Merged error: 0.1b

Counts

2 → 2

Compiler

Compiled 119 to 75 computations (37% saved)

localize98.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (fabs.f64 x) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64)))
0.1b	(*.f64 1/5 (pow.f64 x 4))
0.2b	(.f64 2/3 (.f64 x x))
1.0b	(sqrt.f64 PI.f64)

rewrite161.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_3851`
30×	`associate-r_binary64_3769`
23×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
20×	`times-frac_binary64_3835`
19×	`add-exp-log_binary64_3867`
16×	`add-cbrt-cube_binary64_3865`
13×	`sqrt-prod_binary64_3845`
12×	`pow1_binary64_3890`
9×	`associate-l_binary64_3770`
8×	`prod-exp_binary64_3878`
7×	`unswap-sqr_binary64_3797`
6×	`cbrt-unprod_binary64_3862`
4×	`add-log-exp_binary64_3868` `pow-prod-down_binary64_3900` `unpow-prod-down_binary64_3908`
3×	`*-commutative_binary64_3760`
2×	`sqr-pow_binary64_3801`
1×	`div-inv_binary64_3826` `div-exp_binary64_3880` `rem-sqrt-square_binary64_3842` `pow-exp_binary64_3897` `pow1/2_binary64_3909` `cbrt-undiv_binary64_3863` `associate-*r/_binary64_3771` `pow-to-exp_binary64_3898` `sqrt-pow1_binary64_3847`

Counts

4 → 99

Calls

4 calls:

80.0ms	(.f64 (fabs.f64 x) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64)))
26.0ms	(.f64 2/3 (.f64 x x))
16.0ms	(*.f64 1/5 (pow.f64 x 4))
7.0ms	(sqrt.f64 PI.f64)

series457.0ms (0.8%)

Counts

4 → 10

Calls

4 calls:

317.0ms	(.f64 (fabs.f64 x) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64)))
85.0ms	(*.f64 1/5 (pow.f64 x 4))
54.0ms	(.f64 2/3 (.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

simplify152.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	5588	2543

prune1.8s (3%)

Pruning

38 alts after pruning (37 fresh and 1 done)

	Pruned	Kept	Total
New	73	36	109
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	73	38	111

Merged error: 0b

Counts

111 → 38

Compiler

Compiled 5426 to 3796 computations (30% saved)

localize198.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b	(sqrt.f64 PI.f64)
30.5b	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
30.5b	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
30.5b	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))

rewrite39.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_3851`
5×	`add-cube-cbrt_binary64_3864` `pow1_binary64_3890` `*-un-lft-identity_binary64_3829`
4×	`add-log-exp_binary64_3868` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
3×	`sqrt-prod_binary64_3845` `pow1/3_binary64_3911` `cbrt-prod_binary64_3860`
1×	`rem-sqrt-square_binary64_3842` `pow1/2_binary64_3909` `sqrt-pow1_binary64_3847`

Counts

4 → 40

Calls

4 calls:

11.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
8.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
8.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
3.0ms	(sqrt.f64 PI.f64)

series1.2s (2%)

Counts

4 → 10

Calls

4 calls:

437.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
407.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
364.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
0.0ms	(sqrt.f64 PI.f64)

simplify170.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (147.0ms)

Iter	Nodes	Cost
0	4895	506
1	4895	506

prune1.7s (2.9%)

Pruning

45 alts after pruning (43 fresh and 2 done)

	Pruned	Kept	Total
New	43	7	50
Fresh	0	36	36
Picked	0	1	1
Done	0	1	1
Total	43	45	88

Merged error: 0b

Counts

88 → 45

Compiler

Compiled 4108 to 3132 computations (23.8% saved)

localize38.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (fabs.f64 x) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (cbrt.f64 (.f64 8/27 (pow.f64 x 6))) (.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64)))
0.1b	(*.f64 1/5 (pow.f64 x 4))
1.0b	(sqrt.f64 PI.f64)
17.0b	(cbrt.f64 (*.f64 8/27 (pow.f64 x 6)))

rewrite80.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`add-sqr-sqrt_binary64_3851`
29×	`associate-r_binary64_3769`
22×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
20×	`times-frac_binary64_3835`
14×	`add-exp-log_binary64_3867`
13×	`sqrt-prod_binary64_3845`
11×	`add-cbrt-cube_binary64_3865`
7×	`pow1_binary64_3890`
6×	`unswap-sqr_binary64_3797` `associate-l_binary64_3770`
5×	`prod-exp_binary64_3878`
4×	`add-log-exp_binary64_3868` `unpow-prod-down_binary64_3908`
3×	`cbrt-unprod_binary64_3862`
2×	`sqr-pow_binary64_3801` `*-commutative_binary64_3760`
1×	`pow-prod-down_binary64_3900` `div-inv_binary64_3826` `div-exp_binary64_3880` `rem-sqrt-square_binary64_3842` `pow-exp_binary64_3897` `pow1/2_binary64_3909` `pow1/3_binary64_3911` `cbrt-undiv_binary64_3863` `associate-*r/_binary64_3771` `cbrt-prod_binary64_3860` `pow-to-exp_binary64_3898` `sqrt-pow1_binary64_3847`

Counts

4 → 89

Calls

4 calls:

36.0ms	(.f64 (fabs.f64 x) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (cbrt.f64 (.f64 8/27 (pow.f64 x 6))) (.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64)))
12.0ms	(*.f64 1/5 (pow.f64 x 4))
7.0ms	(cbrt.f64 (*.f64 8/27 (pow.f64 x 6)))
3.0ms	(sqrt.f64 PI.f64)

series482.0ms (0.8%)

Counts

4 → 10

Calls

4 calls:

373.0ms	(.f64 (fabs.f64 x) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (cbrt.f64 (.f64 8/27 (pow.f64 x 6))) (.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64)))
55.0ms	(cbrt.f64 (*.f64 8/27 (pow.f64 x 6)))
53.0ms	(*.f64 1/5 (pow.f64 x 4))
0.0ms	(sqrt.f64 PI.f64)

simplify506.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (386.0ms)

Iter	Nodes	Cost
0	4952	2579
1	4952	2579

prune3.0s (5%)

Pruning

69 alts after pruning (66 fresh and 3 done)

	Pruned	Kept	Total
New	69	30	99
Fresh	6	36	42
Picked	0	1	1
Done	0	2	2
Total	75	69	144

Merged error: 0b

Counts

144 → 69

Compiler

Compiled 6726 to 5206 computations (22.6% saved)

localize60.0ms (0.1%)

Local error

Found 4 expressions with local error:

30.5b	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
30.5b	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
30.5b	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
30.5b	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-log-exp_binary64_3868` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `add-cube-cbrt_binary64_3864` `pow1_binary64_3890` `*-un-lft-identity_binary64_3829` `pow1/3_binary64_3911` `cbrt-prod_binary64_3860` `add-sqr-sqrt_binary64_3851`

Counts

4 → 36

Calls

4 calls:

8.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
8.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
8.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
7.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))

series1.0s (1.7%)

Counts

4 → 12

Calls

4 calls:

315.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
251.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
227.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))
219.0ms	(cbrt.f64 (*.f64 (pow.f64 x 4) 1/5))

simplify336.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (313.0ms)

Iter	Nodes	Cost
0	5324	512

prune1.5s (2.4%)

Pruning

72 alts after pruning (68 fresh and 4 done)

	Pruned	Kept	Total
New	44	4	48
Fresh	1	64	65
Picked	0	1	1
Done	0	3	3
Total	45	72	117

Merged error: 0b

Counts

117 → 72

Compiler

Compiled 2940 to 2309 computations (21.5% saved)

regimes8.1s (13.5%)

Compiler: Compiled 43681 to 36595 computations (16.2% saved)

bsearch9.3s (15.6%)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	66
1	37	66

end0.0ms (0%)

sample28.6s (47.7%)

Algorithm

1×

intervals

Results

2.0s	8000×	body	128	valid
249.0ms	8000×	pre	128	true

Compiler

Compiled 8808 to 7389 computations (16.1% saved)

Pareto

Details

analyze11.0ms (0%)

sample73.0ms (0.1%)

simplify752.0ms (1.3%)

prune38.0ms (0.1%)

localize98.0ms (0.2%)

rewrite161.0ms (0.3%)

series457.0ms (0.8%)

simplify152.0ms (0.3%)

prune1.8s (3%)

localize198.0ms (0.3%)

rewrite39.0ms (0.1%)

series1.2s (2%)

simplify170.0ms (0.3%)

prune1.7s (2.9%)

localize38.0ms (0.1%)

rewrite80.0ms (0.1%)

series482.0ms (0.8%)

simplify506.0ms (0.8%)

prune3.0s (5%)

localize60.0ms (0.1%)

rewrite40.0ms (0.1%)

series1.0s (1.7%)

simplify336.0ms (0.6%)

prune1.5s (2.4%)

regimes8.1s (13.5%)

bsearch9.3s (15.6%)

simplify10.0ms (0%)

end0.0ms (0%)

sample28.6s (47.7%)

Profiling