Details

analyze318.0ms (5.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5007	32
0	2	2
1	2	2

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
12.5%	87.4%	0.1%	5
31.2%	68.7%	0.1%	6
46.8%	53.1%	0.1%	7
60.9%	39%	0.1%	8
67.9%	31.2%	0.9%	9
74.5%	22.2%	3.2%	10
77.9%	17.2%	5%	11
81.1%	11.8%	7.1%	12
82.7%	9%	8.3%	13
84.3%	6.1%	9.7%	14

Compiler

Compiled 12 to 10 computations (16.7% saved)

sample17.0ms (0.3%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
0.0ms	9×	body	128	invalid

Compiler

Compiled 23 to 21 computations (8.7% saved)

simplify110.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	5574	16

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

9.9b

Counts

2 → 1

Compiler

Compiled 22 to 18 computations (18.2% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 x y) 1)
0.1b	(*.f64 x (+.f64 (/.f64 x y) 1))
9.2b	(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))

rewrite103.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`*-un-lft-identity_binary64_22584`
10×	`add-exp-log_binary64_22622` `add-cbrt-cube_binary64_22620`
9×	`add-sqr-sqrt_binary64_22606`
7×	`add-cube-cbrt_binary64_22619`
5×	`pow1_binary64_22645` `add-log-exp_binary64_22623`
4×	`times-frac_binary64_22590` `distribute-lft-out_binary64_22535` `flip3-+_binary64_22587` `associate-r/_binary64_22526` `flip-+_binary64_22558` `associate-/r_binary64_22528` `associate-r_binary64_22524`
3×	`associate-l_binary64_22525`
2×	`prod-exp_binary64_22633` `div-exp_binary64_22635` `cbrt-undiv_binary64_22618` `cbrt-unprod_binary64_22617` `associate-/l/_binary64_22531` `associate-/r/_binary64_22530`
1×	`frac-2neg_binary64_22595` `clear-num_binary64_22583` `div-inv_binary64_22581` `associate-/l_binary64_22529` `pow-prod-down_binary64_22655` `unswap-sqr_binary64_22552` `distribute-rgt-in_binary64_22534` `distribute-lft-in_binary64_22533` `-commutative_binary64_22515` `sum-log_binary64_22675` `+-commutative_binary64_22514`

Counts

3 → 62

Calls

3 calls:

13.0ms	(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
9.0ms	(*.f64 x (+.f64 (/.f64 x y) 1))
7.0ms	(+.f64 (/.f64 x y) 1)

Compiler

Compiled 1168 to 684 computations (41.4% saved)

series311.0ms (5.2%)

Error

0.0b

Counts

3 → 42

Calls

3 calls:

123.0ms	(/.f64 (*.f64 x (+.f64 (/.f64 x y) 1)) (+.f64 x 1))
97.0ms	(*.f64 x (+.f64 (/.f64 x y) 1))
59.0ms	(+.f64 (/.f64 x y) 1)

Compiler

Compiled 1133 to 835 computations (26.3% saved)

simplify95.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5034	1393

prune90.0ms (1.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	98	6	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	6	105

Error

0.0b

Counts

105 → 6

Compiler

Compiled 1602 to 842 computations (47.4% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 x y) 1)
0.0b	(/.f64 x (+.f64 x 1))
0.1b	(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))

rewrite117.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

39×	`*-un-lft-identity_binary64_22584`
26×	`add-sqr-sqrt_binary64_22606`
25×	`times-frac_binary64_22590`
21×	`add-cube-cbrt_binary64_22619`
18×	`associate-r_binary64_22524`
10×	`add-exp-log_binary64_22622` `add-cbrt-cube_binary64_22620`
9×	`distribute-lft-out_binary64_22535`
5×	`pow1_binary64_22645` `add-log-exp_binary64_22623` `flip3-+_binary64_22587` `flip-+_binary64_22558`
4×	`associate-l_binary64_22525` `associate-/r/_binary64_22530` `associate-/r*_binary64_22528`
3×	`associate-/l*_binary64_22529`
2×	`div-exp_binary64_22635` `prod-exp_binary64_22633` `cbrt-unprod_binary64_22617` `cbrt-undiv_binary64_22618` `frac-times_binary64_22594` `unswap-sqr_binary64_22552` `associate-*l/_binary64_22527` `div-inv_binary64_22581`
1×	`pow-prod-down_binary64_22655` `associate-r/_binary64_22526` `-commutative_binary64_22515` `frac-2neg_binary64_22595` `clear-num_binary64_22583` `sum-log_binary64_22675` `+-commutative_binary64_22514`

Counts

3 → 87

Calls

3 calls:

17.0ms	(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))
7.0ms	(+.f64 (/.f64 x y) 1)
5.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 1707 to 1008 computations (40.9% saved)

series246.0ms (4.1%)

Error

0.0b

Counts

3 → 42

Calls

3 calls:

133.0ms	(*.f64 (+.f64 (/.f64 x y) 1) (/.f64 x (+.f64 x 1)))
55.0ms	(+.f64 (/.f64 x y) 1)
30.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 1187 to 877 computations (26.1% saved)

simplify117.0ms (2%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4951	1919
1	4951	1919

prune110.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	129	6	135

Error

0.0b

Counts

135 → 6

Compiler

Compiled 2169 to 1248 computations (42.5% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 (/.f64 x y) 1))
0.3b	(cbrt.f64 (+.f64 (/.f64 x y) 1))
0.3b	(cbrt.f64 (+.f64 (/.f64 x y) 1))
9.2b	(/.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) 1)) (cbrt.f64 (+.f64 (/.f64 x y) 1)))) (cbrt.f64 (+.f64 (/.f64 x y) 1))) (+.f64 x 1))

rewrite238.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

60×	`cbrt-div_binary64_22616`
32×	`associate-*r/_binary64_22526`
31×	`flip3-+_binary64_22587` `flip-+_binary64_22558`
28×	`frac-times_binary64_22594`
26×	`associate-/l/_binary64_22531`
19×	`*-un-lft-identity_binary64_22584`
18×	`add-exp-log_binary64_22622`
14×	`associate-*l/_binary64_22527`
13×	`add-cbrt-cube_binary64_22620`
12×	`cbrt-prod_binary64_22615`
9×	`add-cube-cbrt_binary64_22619` `add-sqr-sqrt_binary64_22606`
6×	`prod-exp_binary64_22633` `cbrt-unprod_binary64_22617`
5×	`distribute-lft-out_binary64_22535`
4×	`pow1_binary64_22645` `div-exp_binary64_22635` `add-log-exp_binary64_22623` `cbrt-undiv_binary64_22618` `times-frac_binary64_22590` `associate-/r*_binary64_22528`
3×	`pow1/3_binary64_22666`
2×	`associate-/r/_binary64_22530`
1×	`frac-2neg_binary64_22595` `clear-num_binary64_22583` `div-inv_binary64_22581` `associate-/l*_binary64_22529`

Counts

4 → 97

Calls

4 calls:

35.0ms	(/.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) 1)) (cbrt.f64 (+.f64 (/.f64 x y) 1)))) (cbrt.f64 (+.f64 (/.f64 x y) 1))) (+.f64 x 1))
7.0ms	(cbrt.f64 (+.f64 (/.f64 x y) 1))
7.0ms	(cbrt.f64 (+.f64 (/.f64 x y) 1))
7.0ms	(cbrt.f64 (+.f64 (/.f64 x y) 1))

Compiler

Compiled 4229 to 2455 computations (41.9% saved)

series699.0ms (11.7%)

Error

0.0b

Counts

4 → 75

Calls

4 calls:

153.0ms	(cbrt.f64 (+.f64 (/.f64 x y) 1))
152.0ms	(cbrt.f64 (+.f64 (/.f64 x y) 1))
149.0ms	(cbrt.f64 (+.f64 (/.f64 x y) 1))
138.0ms	(/.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) 1)) (cbrt.f64 (+.f64 (/.f64 x y) 1)))) (cbrt.f64 (+.f64 (/.f64 x y) 1))) (+.f64 x 1))

Compiler

Compiled 5546 to 3984 computations (28.2% saved)

simplify73.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5267	3870

prune253.0ms (4.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	172	6	178

Error

0.0b

Counts

178 → 6

Compiler

Compiled 5727 to 3262 computations (43% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 x 1) (-.f64 (/.f64 x y) 1))
0.3b	(*.f64 (/.f64 x y) (/.f64 x y))
1.0b	(.f64 x (-.f64 (.f64 (/.f64 x y) (/.f64 x y)) (*.f64 1 1)))
15.9b	(/.f64 (.f64 x (-.f64 (.f64 (/.f64 x y) (/.f64 x y)) (.f64 1 1))) (.f64 (+.f64 x 1) (-.f64 (/.f64 x y) 1)))

rewrite311.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

65×	`add-sqr-sqrt_binary64_22606`
44×	`times-frac_binary64_22590` `*-un-lft-identity_binary64_22584`
38×	`add-cube-cbrt_binary64_22619`
32×	`add-exp-log_binary64_22622` `add-cbrt-cube_binary64_22620`
27×	`associate-r_binary64_22524`
20×	`associate-l_binary64_22525`
15×	`pow1_binary64_22645`
13×	`swap-sqr_binary64_22551`
10×	`prod-exp_binary64_22633` `cbrt-unprod_binary64_22617`
9×	`associate-*r/_binary64_22526` `frac-times_binary64_22594`
8×	`div-exp_binary64_22635` `cbrt-undiv_binary64_22618` `flip3--_binary64_22588` `flip--_binary64_22559` `associate-/r/_binary64_22530` `cancel-sign-sub-inv_binary64_22550`
6×	`flip3-+_binary64_22587` `flip-+_binary64_22558` `unswap-sqr_binary64_22552` `distribute-rgt-in_binary64_22534` `distribute-lft-in_binary64_22533`
5×	`div-inv_binary64_22581` `associate-*l/_binary64_22527` `difference-of-squares_binary64_22553`
4×	`add-log-exp_binary64_22623` `sub-neg_binary64_22577`
3×	`pow-prod-down_binary64_22655` `*-commutative_binary64_22515`
2×	`associate-/l/_binary64_22531` `difference-of-sqr-1_binary64_22554`
1×	`frac-2neg_binary64_22595` `clear-num_binary64_22583` `associate-/l_binary64_22529` `associate-/r_binary64_22528` `pow2_binary64_22665` `pow-prod-up_binary64_22654` `pow-plus_binary64_22647` `pow-sqr_binary64_22557` `distribute-lft-out_binary64_22535` `distribute-lft-out--_binary64_22536`

Counts

4 → 165

Calls

4 calls:

25.0ms	(/.f64 (.f64 x (-.f64 (.f64 (/.f64 x y) (/.f64 x y)) (.f64 1 1))) (.f64 (+.f64 x 1) (-.f64 (/.f64 x y) 1)))
15.0ms	(*.f64 (+.f64 x 1) (-.f64 (/.f64 x y) 1))
11.0ms	(.f64 x (-.f64 (.f64 (/.f64 x y) (/.f64 x y)) (*.f64 1 1)))
11.0ms	(*.f64 (/.f64 x y) (/.f64 x y))

Compiler

Compiled 5693 to 2780 computations (51.2% saved)

series613.0ms (10.2%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

189.0ms	(/.f64 (.f64 x (-.f64 (.f64 (/.f64 x y) (/.f64 x y)) (.f64 1 1))) (.f64 (+.f64 x 1) (-.f64 (/.f64 x y) 1)))
159.0ms	(.f64 x (-.f64 (.f64 (/.f64 x y) (/.f64 x y)) (*.f64 1 1)))
127.0ms	(*.f64 (+.f64 x 1) (-.f64 (/.f64 x y) 1))
90.0ms	(*.f64 (/.f64 x y) (/.f64 x y))

Compiler

Compiled 2541 to 1761 computations (30.7% saved)

simplify94.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5035	3325

prune245.0ms (4.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	216	6	222

Error

Counts

222 → 6

Compiler

Compiled 5413 to 2857 computations (47.2% saved)

regimes319.0ms (5.3%)

Accuracy

Total 0.0b remaining (97.3%)

Threshold costs 0.0b (97.3%)

Compiler

Compiled 3759 to 2640 computations (29.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	16
1	13	16

end0.0ms (0%)

sample1.5s (24.4%)

Algorithm

1×

intervals

Results

262.0ms	8000×	body	128	valid
8.0ms	253×	body	128	invalid

Compiler

Compiled 1232 to 868 computations (29.5% saved)

Details

analyze318.0ms (5.3%)

sample17.0ms (0.3%)

simplify110.0ms (1.8%)

prune2.0ms (0%)

localize12.0ms (0.2%)

rewrite103.0ms (1.7%)

series311.0ms (5.2%)

simplify95.0ms (1.6%)

prune90.0ms (1.5%)

localize8.0ms (0.1%)

rewrite117.0ms (2%)

series246.0ms (4.1%)

simplify117.0ms (2%)

prune110.0ms (1.8%)

localize15.0ms (0.3%)

rewrite238.0ms (4%)

series699.0ms (11.7%)

simplify73.0ms (1.2%)

prune253.0ms (4.2%)

localize11.0ms (0.2%)

rewrite311.0ms (5.2%)

series613.0ms (10.2%)

simplify94.0ms (1.6%)

prune245.0ms (4.1%)

regimes319.0ms (5.3%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.5s (24.4%)

Profiling