Details

analyze658.0ms (8.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	147	91
1	147	91
0	4	4
1	4	4

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
3.1%	96.7%	0.2%	8
7.8%	92%	0.2%	9
11.7%	88.1%	0.2%	10
24.2%	64.7%	11.1%	11
27.9%	59.8%	12.3%	12
35%	52.5%	12.5%	13
38.6%	48.2%	13.2%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample25.0ms (0.3%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	50×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	30	13
1	30	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
0.1b	(.f64 (+.f64 (.f64 x y) z) y)

rewrite41.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_4533`
4×	`pow1_binary64_4572` `add-exp-log_binary64_4549` `add-log-exp_binary64_4550` `add-cbrt-cube_binary64_4547` `add-cube-cbrt_binary64_4546` `*-un-lft-identity_binary64_4511`
3×	`associate-l_binary64_4452` `associate-r_binary64_4451`
2×	`flip3-+_binary64_4514` `associate-*l/_binary64_4454` `flip-+_binary64_4485`
1×	`pow-prod-down_binary64_4582` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `unswap-sqr_binary64_4479` `*-commutative_binary64_4442` `sum-log_binary64_4602` `+-commutative_binary64_4441`

Counts

2 → 31

Calls

2 calls:

7.0ms	(.f64 (+.f64 (.f64 x y) z) y)
4.0ms	(+.f64 (*.f64 x y) z)

Compiler

Compiled 520 to 137 computations (73.7% saved)

series224.0ms (3%)

Error

0.0b

Counts

2 → 36

Calls

2 calls:

124.0ms	(.f64 (+.f64 (.f64 x y) z) y)
79.0ms	(+.f64 (*.f64 x y) z)

Compiler

Compiled 760 to 524 computations (31.1% saved)

simplify99.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4889	634
1	4889	634

prune39.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	64	3	67
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	64	4	68

Error

0.0b

Counts

68 → 4

Compiler

Compiled 802 to 175 computations (78.2% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 y (+.f64 z (.f64 y x)))) (cbrt.f64 (.f64 y (+.f64 z (*.f64 y x)))))
8.0b	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
8.0b	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
8.0b	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))

rewrite103.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`associate-*r/_binary64_4453`
18×	`cbrt-div_binary64_4543`
11×	`pow1_binary64_4572`
10×	`add-sqr-sqrt_binary64_4533`
9×	`pow1/3_binary64_4593` `flip3-+_binary64_4514` `flip-+_binary64_4485`
8×	`add-cube-cbrt_binary64_4546` `*-un-lft-identity_binary64_4511`
7×	`cbrt-prod_binary64_4542`
6×	`add-exp-log_binary64_4549`
4×	`add-log-exp_binary64_4550` `add-cbrt-cube_binary64_4547` `frac-times_binary64_4521` `swap-sqr_binary64_4478` `associate-l_binary64_4452` `associate-r_binary64_4451`
2×	`pow-prod-down_binary64_4582` `pow-prod-up_binary64_4581` `pow-sqr_binary64_4484` `associate-*l/_binary64_4454`
1×	`pow2_binary64_4592` `pow-plus_binary64_4574` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `unswap-sqr_binary64_4479` `*-commutative_binary64_4442`

Counts

4 → 72

Calls

4 calls:

7.0ms	(.f64 (cbrt.f64 (.f64 y (+.f64 z (.f64 y x)))) (cbrt.f64 (.f64 y (+.f64 z (*.f64 y x)))))
4.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
4.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
4.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))

Compiler

Compiled 2759 to 375 computations (86.4% saved)

series1.3s (16.8%)

Error

0.0b

Counts

4 → 76

Calls

4 calls:

323.0ms	(.f64 (cbrt.f64 (.f64 y (+.f64 z (.f64 y x)))) (cbrt.f64 (.f64 y (+.f64 z (*.f64 y x)))))
276.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
272.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
255.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))

Compiler

Compiled 9315 to 6100 computations (34.5% saved)

simplify69.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5028	4123

prune181.0ms (2.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	145	3	148
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	145	7	152

Error

Counts

152 → 7

Compiler

Compiled 5585 to 1636 computations (70.7% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (+.f64 z (*.f64 y x)))
0.6b	(cbrt.f64 y)
8.0b	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
8.0b	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))

rewrite64.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

8×	`cbrt-prod_binary64_4542`
6×	`add-cube-cbrt_binary64_4546` `cbrt-div_binary64_4543` `add-sqr-sqrt_binary64_4533` `*-un-lft-identity_binary64_4511`
4×	`pow1/3_binary64_4593` `pow1_binary64_4572` `add-log-exp_binary64_4550` `add-exp-log_binary64_4549` `add-cbrt-cube_binary64_4547` `associate-*r/_binary64_4453`
3×	`flip3-+_binary64_4514` `flip-+_binary64_4485`

Counts

4 → 46

Calls

4 calls:

4.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
4.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 y x)))
1.0ms	(cbrt.f64 y)

Compiler

Compiled 1688 to 277 computations (83.6% saved)

series921.0ms (12.4%)

Error

Counts

4 → 60

Calls

4 calls:

265.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
265.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
221.0ms	(cbrt.f64 (+.f64 z (*.f64 y x)))
74.0ms	(cbrt.f64 y)

Compiler

Compiled 7457 to 4606 computations (38.2% saved)

simplify57.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5255	2477

prune130.0ms (1.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	106	7	113

Error

Counts

113 → 7

Compiler

Compiled 4168 to 1044 computations (75% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 (.f64 y (+.f64 z (.f64 y x)))))
1.1b	(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))) 6)
8.0b	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
8.0b	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))

rewrite87.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`cbrt-prod_binary64_4542`
8×	`add-cube-cbrt_binary64_4546` `cbrt-div_binary64_4543` `add-sqr-sqrt_binary64_4533` `*-un-lft-identity_binary64_4511`
7×	`unpow-prod-down_binary64_4590`
6×	`associate-*r/_binary64_4453`
5×	`pow1_binary64_4572` `add-exp-log_binary64_4549`
4×	`pow1/3_binary64_4593` `add-log-exp_binary64_4550` `add-cbrt-cube_binary64_4547`
3×	`flip3-+_binary64_4514` `flip-+_binary64_4485` `pow-unpow_binary64_4588`
2×	`pow-pow_binary64_4583`
1×	`pow-to-exp_binary64_4580` `pow-exp_binary64_4579` `sqr-pow_binary64_4483`

Counts

4 → 58

Calls

4 calls:

4.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
4.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
4.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))) 6)
2.0ms	(cbrt.f64 (cbrt.f64 (.f64 y (+.f64 z (.f64 y x)))))

Compiler

Compiled 1928 to 539 computations (72% saved)

series1.7s (22.5%)

Error

Counts

4 → 65

Calls

4 calls:

903.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))) 6)
273.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
222.0ms	(cbrt.f64 (.f64 y (+.f64 z (.f64 y x))))
164.0ms	(cbrt.f64 (cbrt.f64 (.f64 y (+.f64 z (.f64 y x)))))

Compiler

Compiled 7336 to 5564 computations (24.2% saved)

simplify62.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5391	3132

prune158.0ms (2.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	122	1	123
Fresh	1	2	3
Picked	0	1	1
Done	1	2	3
Total	124	6	130

Error

Counts

130 → 6

Compiler

Compiled 4006 to 1670 computations (58.3% saved)

regimes355.0ms (4.8%)

Accuracy

Total 0.1b remaining (91.1%)

Threshold costs 0.1b (91.1%)

Compiler

Compiled 4678 to 2726 computations (41.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	13	13

end0.0ms (0%)

sample1.2s (15.8%)

Algorithm

1×

intervals

Results

231.0ms	8000×	body	128	valid
51.0ms	1782×	body	128	invalid

Compiler

Compiled 792 to 465 computations (41.3% saved)

Details

analyze658.0ms (8.9%)

sample25.0ms (0.3%)

simplify7.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite41.0ms (0.6%)

series224.0ms (3%)

simplify99.0ms (1.3%)

prune39.0ms (0.5%)

localize13.0ms (0.2%)

rewrite103.0ms (1.4%)

series1.3s (16.8%)

simplify69.0ms (0.9%)

prune181.0ms (2.4%)

localize14.0ms (0.2%)

rewrite64.0ms (0.9%)

series921.0ms (12.4%)

simplify57.0ms (0.8%)

prune130.0ms (1.7%)

localize14.0ms (0.2%)

rewrite87.0ms (1.2%)

series1.7s (22.5%)

simplify62.0ms (0.8%)

prune158.0ms (2.1%)

regimes355.0ms (4.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.2s (15.8%)

Profiling