Details

analyze780.0ms (7.3%)

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
25%	74.9%	0.2%	7
25%	74.9%	0.2%	8
34.3%	65.5%	0.2%	9
39%	60.8%	0.2%	10
48.3%	51.5%	0.2%	11
53.7%	46.1%	0.2%	12
63.1%	36.7%	0.2%	13
64%	35.6%	0.4%	14

Compiler

Compiled 8 to 8 computations (0% saved)

sample34.0ms (0.3%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
1.0ms	21×	body	128	invalid

Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify187.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	126	10
1	126	10

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

2.9b

Counts

2 → 1

Compiler

Compiled 14 to 14 computations (0% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 y (*.f64 z t))
2.9b	(/.f64 x (-.f64 y (*.f64 z t)))

rewrite90.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

2.8b

Rules

10×	`add-cube-cbrt_binary64_16481` `add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446`
9×	`times-frac_binary64_16452`
4×	`add-exp-log_binary64_16484` `add-log-exp_binary64_16485` `add-cbrt-cube_binary64_16482`
3×	`associate-/l_binary64_16391` `associate-/r_binary64_16390`
2×	`pow1_binary64_16507` `flip3--_binary64_16450` `associate-/r/_binary64_16392` `flip--_binary64_16421`
1×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `div-inv_binary64_16443` `diff-log_binary64_16538` `sub-neg_binary64_16439` `cancel-sign-sub-inv_binary64_16412`

Counts

2 → 41

Calls

2 calls:

10.0ms	(/.f64 x (-.f64 y (*.f64 z t)))
6.0ms	(-.f64 y (*.f64 z t))

Compiler

Compiled 636 to 145 computations (77.2% saved)

series488.0ms (4.6%)

Error

2.9b

Counts

2 → 39

Calls

2 calls:

306.0ms	(/.f64 x (-.f64 y (*.f64 z t)))
144.0ms	(-.f64 y (*.f64 z t))

Compiler

Compiled 992 to 709 computations (28.5% saved)

simplify122.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	5129	1006

prune106.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	74	6	80
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	74	7	81

Error

2.8b

Counts

81 → 7

Compiler

Compiled 958 to 232 computations (75.8% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 y (*.f64 t z))
0.5b	(/.f64 1 (-.f64 y (*.f64 t z)))
2.7b	(.f64 x (/.f64 1 (-.f64 y (.f64 t z))))

rewrite160.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

2.8b

Rules

26×	`add-sqr-sqrt_binary64_16468`
20×	`*-un-lft-identity_binary64_16446` `times-frac_binary64_16452`
19×	`add-cube-cbrt_binary64_16481`
16×	`add-exp-log_binary64_16484`
15×	`associate-r_binary64_16386`
10×	`add-cbrt-cube_binary64_16482`
6×	`pow1_binary64_16507`
5×	`add-log-exp_binary64_16485`
4×	`div-exp_binary64_16497` `prod-exp_binary64_16495` `associate-/r/_binary64_16392`
3×	`unswap-sqr_binary64_16414` `associate-l_binary64_16387` `flip3--_binary64_16450` `flip--_binary64_16421` `associate-/l_binary64_16391` `associate-/r_binary64_16390`
2×	`1-exp_binary64_16490` `rec-exp_binary64_16496` `cbrt-unprod_binary64_16479` `cbrt-undiv_binary64_16480` `div-inv_binary64_16443`
1×	`pow-prod-down_binary64_16517` `un-div-inv_binary64_16444` `associate-r/_binary64_16388` `-commutative_binary64_16377` `inv-pow_binary64_16531` `pow-flip_binary64_16520` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `diff-log_binary64_16538` `sub-neg_binary64_16439` `cancel-sign-sub-inv_binary64_16412`

Counts

3 → 83

Calls

3 calls:

17.0ms	(.f64 x (/.f64 1 (-.f64 y (.f64 t z))))
9.0ms	(/.f64 1 (-.f64 y (*.f64 t z)))
6.0ms	(-.f64 y (*.f64 t z))

Compiler

Compiled 1456 to 565 computations (61.2% saved)

series680.0ms (6.4%)

Error

2.8b

Counts

3 → 57

Calls

3 calls:

310.0ms	(.f64 x (/.f64 1 (-.f64 y (.f64 t z))))
161.0ms	(/.f64 1 (-.f64 y (*.f64 t z)))
149.0ms	(-.f64 y (*.f64 t z))

Compiler

Compiled 1726 to 1327 computations (23.1% saved)

simplify134.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5711	1766

prune166.0ms (1.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	140	7	147

Error

2.8b

Counts

147 → 7

Compiler

Compiled 1852 to 594 computations (67.9% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b	(/.f64 1 (.f64 (cbrt.f64 (-.f64 y (.f64 t z))) (cbrt.f64 (-.f64 y (*.f64 t z)))))
8.4b	(cbrt.f64 (-.f64 y (*.f64 t z)))
8.4b	(cbrt.f64 (-.f64 y (*.f64 t z)))
8.4b	(cbrt.f64 (-.f64 y (*.f64 t z)))

rewrite202.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

2.8b

Rules

18×	`cbrt-div_binary64_16478`
15×	`add-exp-log_binary64_16484`
12×	`pow1_binary64_16507`
9×	`pow1/3_binary64_16528` `add-cube-cbrt_binary64_16481` `flip3--_binary64_16450` `flip--_binary64_16421` `cbrt-prod_binary64_16477` `add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446` `pow-flip_binary64_16520`
8×	`associate-/r/_binary64_16392`
7×	`add-cbrt-cube_binary64_16482`
4×	`add-log-exp_binary64_16485` `div-exp_binary64_16497` `frac-times_binary64_16456`
3×	`prod-exp_binary64_16495` `times-frac_binary64_16452` `associate-/l*_binary64_16391`
2×	`pow-prod-down_binary64_16517` `pow-prod-up_binary64_16516` `pow-sqr_binary64_16419` `1-exp_binary64_16490` `rec-exp_binary64_16496` `cbrt-undiv_binary64_16480` `associate-l/_binary64_16389` `associate-r/_binary64_16388`
1×	`inv-pow_binary64_16531` `pow2_binary64_16527` `pow-plus_binary64_16509` `cbrt-unprod_binary64_16479` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `div-inv_binary64_16443` `associate-/r*_binary64_16390`

Counts

4 → 82

Calls

4 calls:

20.0ms	(/.f64 1 (.f64 (cbrt.f64 (-.f64 y (.f64 t z))) (cbrt.f64 (-.f64 y (*.f64 t z)))))
5.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))
5.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))
5.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))

Compiler

Compiled 2676 to 530 computations (80.2% saved)

series1.6s (15.3%)

Error

2.8b

Counts

4 → 66

Calls

4 calls:

398.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))
375.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))
372.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))
340.0ms	(/.f64 1 (.f64 (cbrt.f64 (-.f64 y (.f64 t z))) (cbrt.f64 (-.f64 y (*.f64 t z)))))

Compiler

Compiled 6525 to 4238 computations (35% saved)

simplify205.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (150.0ms)

Iter	Nodes	Cost
0	5090	2568

prune238.0ms (2.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	148	7	155

Error

2.8b

Counts

155 → 7

Compiler

Compiled 4321 to 1006 computations (76.7% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b	(/.f64 x (.f64 (cbrt.f64 (-.f64 y (.f64 t z))) (cbrt.f64 (-.f64 y (*.f64 t z)))))
8.4b	(cbrt.f64 (-.f64 y (*.f64 t z)))
8.4b	(cbrt.f64 (-.f64 y (*.f64 t z)))
8.4b	(cbrt.f64 (-.f64 y (*.f64 z t)))

rewrite157.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

2.8b

Rules

18×	`cbrt-div_binary64_16478`
9×	`add-exp-log_binary64_16484` `add-cube-cbrt_binary64_16481` `flip3--_binary64_16450` `flip--_binary64_16421` `cbrt-prod_binary64_16477` `add-sqr-sqrt_binary64_16468` `*-un-lft-identity_binary64_16446`
8×	`associate-/r/_binary64_16392`
7×	`add-cbrt-cube_binary64_16482`
4×	`pow1_binary64_16507` `add-log-exp_binary64_16485` `frac-times_binary64_16456`
3×	`pow1/3_binary64_16528` `times-frac_binary64_16452` `associate-/l*_binary64_16391`
2×	`div-exp_binary64_16497` `cbrt-undiv_binary64_16480` `associate-l/_binary64_16389` `associate-r/_binary64_16388`
1×	`prod-exp_binary64_16495` `cbrt-unprod_binary64_16479` `frac-2neg_binary64_16457` `clear-num_binary64_16445` `div-inv_binary64_16443` `associate-/r*_binary64_16390`

Counts

4 → 68

Calls

4 calls:

21.0ms	(/.f64 x (.f64 (cbrt.f64 (-.f64 y (.f64 t z))) (cbrt.f64 (-.f64 y (*.f64 t z)))))
4.0ms	(cbrt.f64 (-.f64 y (*.f64 z t)))
4.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))
4.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))

Compiler

Compiled 2223 to 358 computations (83.9% saved)

series2.1s (19.9%)

Error

2.8b

Counts

4 → 69

Calls

4 calls:

865.0ms	(/.f64 x (.f64 (cbrt.f64 (-.f64 y (.f64 t z))) (cbrt.f64 (-.f64 y (*.f64 t z)))))
388.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))
386.0ms	(cbrt.f64 (-.f64 y (*.f64 z t)))
341.0ms	(cbrt.f64 (-.f64 y (*.f64 t z)))

Compiler

Compiled 6465 to 4312 computations (33.3% saved)

simplify130.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5068	2889

prune234.0ms (2.2%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	137	7	144

Error

2.8b

Counts

144 → 7

Compiler

Compiled 3986 to 991 computations (75.1% saved)

regimes727.0ms (6.8%)

Accuracy

Total 0.1b remaining (2.9%)

Threshold costs 0.1b (2.9%)

Compiler

Compiled 4735 to 2931 computations (38.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	10
1	35	10

end0.0ms (0%)

sample2.0s (18.7%)

Algorithm

1×

intervals

Results

415.0ms	8000×	body	128	valid
17.0ms	358×	body	128	invalid

Compiler

Compiled 723 to 449 computations (37.9% saved)

Details

analyze780.0ms (7.3%)

sample34.0ms (0.3%)

simplify187.0ms (1.7%)

prune4.0ms (0%)

localize11.0ms (0.1%)

rewrite90.0ms (0.8%)

series488.0ms (4.6%)

simplify122.0ms (1.1%)

prune106.0ms (1%)

localize13.0ms (0.1%)

rewrite160.0ms (1.5%)

series680.0ms (6.4%)

simplify134.0ms (1.2%)

prune166.0ms (1.6%)

localize25.0ms (0.2%)

rewrite202.0ms (1.9%)

series1.6s (15.3%)

simplify205.0ms (1.9%)

prune238.0ms (2.2%)

localize26.0ms (0.2%)

rewrite157.0ms (1.5%)

series2.1s (19.9%)

simplify130.0ms (1.2%)

prune234.0ms (2.2%)

regimes727.0ms (6.8%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.0s (18.7%)

Profiling