Details

analyze222.0ms (6.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5050	41
0	1	1
1	1	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)

sample39.0ms (1.1%)

Algorithm

1×

intervals

Results

23.0ms	256×	body	128	valid
3.0ms	256×	pre	128	true

Compiler

Compiled 137 to 65 computations (52.6% saved)

simplify130.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (121.0ms)

Iter	Nodes	Cost
0	5050	41

prune6.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 119 to 75 computations (37% saved)

localize18.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite156.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

24×	`add-sqr-sqrt_binary64_2487`
19×	`add-exp-log_binary64_2503`
15×	`associate-r_binary64_2405`
13×	`add-cbrt-cube_binary64_2501`
12×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
10×	`pow1_binary64_2526`
9×	`prod-exp_binary64_2514` `associate-l_binary64_2406`
8×	`unpow-prod-down_binary64_2544`
7×	`unswap-sqr_binary64_2433`
5×	`cbrt-unprod_binary64_2498`
4×	`add-log-exp_binary64_2504` `sqr-pow_binary64_2437`
3×	`sqrt-prod_binary64_2481` `pow-prod-down_binary64_2536` `*-commutative_binary64_2396`
2×	`pow-to-exp_binary64_2534` `pow-exp_binary64_2533`
1×	`pow1/2_binary64_2545` `sqrt-pow1_binary64_2483` `rem-sqrt-square_binary64_2478`

Counts

4 → 82

Calls

4 calls:

6.0ms	(*.f64 1/5 (pow.f64 x 4))
6.0ms	(.f64 2/3 (.f64 x x))
6.0ms	(*.f64 1/21 (pow.f64 x 6))
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 2594 to 1766 computations (31.9% saved)

series116.0ms (3.4%)

Error

0.0b

Counts

4 → 9

Calls

4 calls:

39.0ms	(*.f64 1/21 (pow.f64 x 6))
34.0ms	(*.f64 1/5 (pow.f64 x 4))
32.0ms	(.f64 2/3 (.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 702 to 566 computations (19.4% saved)

simplify54.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5031	773

prune315.0ms (9.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

93 → 2

Compiler

Compiled 2750 to 1844 computations (32.9% saved)

localize25.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)

rewrite313.0ms (9.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

52×	`pow1_binary64_2526`
41×	`add-cbrt-cube_binary64_2501`
35×	`add-exp-log_binary64_2503`
18×	`prod-exp_binary64_2514` `cbrt-unprod_binary64_2498`
17×	`add-sqr-sqrt_binary64_2487`
15×	`associate-l_binary64_2406`
14×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
12×	`pow-prod-down_binary64_2536` `pow-prod-up_binary64_2535` `pow-plus_binary64_2528`
9×	`times-frac_binary64_2471`
7×	`associate-r_binary64_2405`
4×	`add-log-exp_binary64_2504` `pow2_binary64_2546` `pow-sqr_binary64_2438`
3×	`sqrt-prod_binary64_2481` `div-exp_binary64_2516` `cbrt-undiv_binary64_2499` `*-commutative_binary64_2396`
2×	`pow3_binary64_2548` `rem-3cbrt-lft_binary64_2490` `unswap-sqr_binary64_2433`
1×	`pow1/2_binary64_2545` `sqrt-pow1_binary64_2483` `rem-sqrt-square_binary64_2478` `associate-*l/_binary64_2408` `div-inv_binary64_2462`

Counts

4 → 109

Calls

4 calls:

12.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
6.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
6.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 7968 to 2823 computations (64.6% saved)

series167.0ms (4.9%)

Error

0.0b

Counts

4 → 9

Calls

4 calls:

59.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
46.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
44.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1683 to 835 computations (50.4% saved)

simplify70.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4907	885
1	4907	885

prune272.0ms (8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

120 → 2

Compiler

Compiled 7802 to 3005 computations (61.5% saved)

regimes150.0ms (4.4%)

Accuracy

Total 0.0b remaining (25.8%)

Threshold costs 0.0b (25.8%)

Compiler

Compiled 1969 to 1114 computations (43.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	41
1	30	41

end0.0ms (0%)

sample1.3s (39.4%)

Algorithm

1×

intervals

Results

755.0ms	8000×	body	128	valid
88.0ms	8000×	pre	128	true

Compiler

Compiled 372 to 223 computations (40.1% saved)

Details

analyze222.0ms (6.5%)

sample39.0ms (1.1%)

simplify130.0ms (3.8%)

prune6.0ms (0.2%)

localize18.0ms (0.5%)

rewrite156.0ms (4.6%)

series116.0ms (3.4%)

simplify54.0ms (1.6%)

prune315.0ms (9.3%)

localize25.0ms (0.7%)

rewrite313.0ms (9.2%)

series167.0ms (4.9%)

simplify70.0ms (2.1%)

prune272.0ms (8%)

regimes150.0ms (4.4%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.3s (39.4%)

Profiling