Details

analyze565.0ms (19.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
18.7%	81.1%	0.2%	9
21.8%	78%	0.2%	10
25%	74.9%	0.2%	11
34.7%	64.9%	0.4%	12
47.2%	51.9%	0.9%	13
49%	49.2%	1.8%	14

Compiler

Compiled 8 to 8 computations (0% saved)

sample19.0ms (0.7%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
2.0ms	64×	body	128	invalid

Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify167.0ms (5.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	68	10
1	68	10

prune2.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: 10.4b

Counts

2 → 1

Compiler

Compiled 14 to 14 computations (0% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

10.1b

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

rewrite9.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-exp-log_binary64_2808` `add-cbrt-cube_binary64_2806`
4×	`cbrt-unprod_binary64_2803` `cbrt-undiv_binary64_2804` `div-exp_binary64_2821` `prod-exp_binary64_2819`
1×	`frac-2neg_binary64_2784` `times-frac_binary64_2779` `pow1_binary64_2831` `div-inv_binary64_2770` `associate-/r_binary64_2719` `add-cube-cbrt_binary64_2805` `add-log-exp_binary64_2809` `add-sqr-sqrt_binary64_2794` `clear-num_binary64_2772` `-un-lft-identity_binary64_2773` `associate-/l*_binary64_2720`

Counts

1 → 21

Calls

1 calls:

7.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

series61.0ms (2.2%)

Counts

1 → 3

Calls

1 calls:

61.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

simplify82.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4996	280
1	4996	280

prune24.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	18	6	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	7	25

Merged error: 0.1b

Counts

25 → 7

Compiler

Compiled 299 to 100 computations (66.6% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.6b	(/.f64 1 (*.f64 b1 b2))
9.7b	(.f64 (.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))

rewrite22.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`add-exp-log_binary64_2808`
30×	`prod-exp_binary64_2819`
28×	`add-cbrt-cube_binary64_2806`
12×	`cbrt-unprod_binary64_2803` `div-exp_binary64_2821`
10×	`pow1_binary64_2831`
7×	`associate-r_binary64_2715`
6×	`cbrt-undiv_binary64_2804` `times-frac_binary64_2779` `1-exp_binary64_2814` `add-cube-cbrt_binary64_2805` `add-sqr-sqrt_binary64_2794` `*-un-lft-identity_binary64_2773` `rec-exp_binary64_2820`
4×	`pow-prod-down_binary64_2841`
3×	`associate-/l*_binary64_2720`
2×	`pow-flip_binary64_2844` `div-inv_binary64_2770` `add-log-exp_binary64_2809`
1×	`frac-2neg_binary64_2784` `associate-l_binary64_2716` `associate-/r_binary64_2719` `-commutative_binary64_2706` `clear-num_binary64_2772` `associate-*r/_binary64_2717` `un-div-inv_binary64_2771` `inv-pow_binary64_2855`

Counts

2 → 68

Calls

2 calls:

10.0ms	(.f64 (.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
5.0ms	(/.f64 1 (*.f64 b1 b2))

series84.0ms (3%)

Counts

2 → 6

Calls

2 calls:

65.0ms	(.f64 (.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
19.0ms	(/.f64 1 (*.f64 b1 b2))

simplify89.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4967	723
1	4967	723

prune55.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	70	4	74
Fresh	2	3	5
Picked	0	1	1
Done	1	0	1
Total	73	8	81

Merged error: 0.0b

Counts

81 → 8

Compiler

Compiled 858 to 300 computations (65% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 (/.f64 1 b1) b2)
9.7b	(.f64 (.f64 a1 a2) (/.f64 (/.f64 1 b1) b2))

rewrite42.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

141×	`times-frac_binary64_2779`
79×	`add-cube-cbrt_binary64_2805` `add-sqr-sqrt_binary64_2794` `*-un-lft-identity_binary64_2773`
46×	`add-exp-log_binary64_2808`
43×	`associate-r_binary64_2715`
28×	`add-cbrt-cube_binary64_2806`
18×	`div-exp_binary64_2821`
15×	`prod-exp_binary64_2819`
13×	`associate-/l*_binary64_2720`
9×	`cbrt-unprod_binary64_2803` `cbrt-undiv_binary64_2804` `div-inv_binary64_2770`
7×	`pow1_binary64_2831`
3×	`pow-prod-down_binary64_2841` `1-exp_binary64_2814` `associate-/r*_binary64_2719` `rec-exp_binary64_2820`
2×	`add-log-exp_binary64_2809`
1×	`frac-2neg_binary64_2784` `associate-/l/_binary64_2722` `associate-l_binary64_2716` `-commutative_binary64_2706` `clear-num_binary64_2772` `associate-r/_binary64_2717`

Counts

2 → 143

Calls

2 calls:

17.0ms	(.f64 (.f64 a1 a2) (/.f64 (/.f64 1 b1) b2))
8.0ms	(/.f64 (/.f64 1 b1) b2)

series88.0ms (3.1%)

Counts

2 → 6

Calls

2 calls:

62.0ms	(.f64 (.f64 a1 a2) (/.f64 (/.f64 1 b1) b2))
26.0ms	(/.f64 (/.f64 1 b1) b2)

simplify83.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5402	2220

prune124.0ms (4.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	147	2	149
Fresh	1	5	6
Picked	0	1	1
Done	1	0	1
Total	149	8	157

Merged error: 0.0b

Counts

157 → 8

Compiler

Compiled 2364 to 1030 computations (56.4% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

4.9b	(/.f64 (*.f64 a1 a2) b1)
6.4b	(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)

rewrite18.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`times-frac_binary64_2779`
20×	`add-cube-cbrt_binary64_2805` `add-sqr-sqrt_binary64_2794` `*-un-lft-identity_binary64_2773`
16×	`add-exp-log_binary64_2808` `add-cbrt-cube_binary64_2806`
8×	`associate-/l*_binary64_2720`
7×	`cbrt-undiv_binary64_2804` `div-exp_binary64_2821`
6×	`div-inv_binary64_2770` `associate-/r*_binary64_2719`
2×	`cbrt-unprod_binary64_2803` `frac-2neg_binary64_2784` `pow1_binary64_2831` `add-log-exp_binary64_2809` `clear-num_binary64_2772` `prod-exp_binary64_2819`
1×	`associate-/l/_binary64_2722`

Counts

2 → 69

Calls

2 calls:

7.0ms	(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
5.0ms	(/.f64 (*.f64 a1 a2) b1)

series98.0ms (3.5%)

Counts

2 → 6

Calls

2 calls:

62.0ms	(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
36.0ms	(/.f64 (*.f64 a1 a2) b1)

simplify84.0ms (3%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4973	1039
1	4973	1039

prune44.0ms (1.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	74	9	83

Merged error: 0b

Counts

83 → 9

Compiler

Compiled 898 to 192 computations (78.6% saved)

regimes307.0ms (10.8%)

Compiler: Compiled 616 to 632 computations (-2.6% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	81
1	37	81

end0.0ms (0%)

sample736.0ms (26%)

Algorithm

1×

intervals

Results

243.0ms	8000×	body	128	valid
51.0ms	1781×	body	128	invalid

Compiler

Compiled 154 to 129 computations (16.2% saved)

Details

analyze565.0ms (19.9%)

sample19.0ms (0.7%)

simplify167.0ms (5.9%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

rewrite9.0ms (0.3%)

series61.0ms (2.2%)

simplify82.0ms (2.9%)

prune24.0ms (0.9%)

localize7.0ms (0.3%)

rewrite22.0ms (0.8%)

series84.0ms (3%)

simplify89.0ms (3.1%)

prune55.0ms (1.9%)

localize7.0ms (0.3%)

rewrite42.0ms (1.5%)

series88.0ms (3.1%)

simplify83.0ms (2.9%)

prune124.0ms (4.4%)

localize6.0ms (0.2%)

rewrite18.0ms (0.6%)

series98.0ms (3.5%)

simplify84.0ms (3%)

prune44.0ms (1.6%)

regimes307.0ms (10.8%)

bsearch1.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample736.0ms (26%)

Profiling