Details

analyze280.0ms (4.5%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	26
1	67	26
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	5
25%	50%	25.1%	6
25%	50%	25.1%	6
25%	31.2%	43.8%	7
25%	31.2%	43.8%	7
31.2%	25%	43.8%	8
31.2%	25%	43.8%	8
39%	17.2%	43.8%	9
39%	17.2%	43.8%	9
42.9%	13.3%	43.8%	10
42.9%	13.3%	43.8%	10
47.2%	9%	43.8%	11
47.2%	9%	43.8%	11
49.4%	6.8%	43.8%	12
49.4%	6.8%	43.8%	12
51.6%	4.6%	43.8%	13
51.6%	4.6%	43.8%	13
52.7%	3.5%	43.8%	14
52.7%	3.5%	43.8%	14

Compiler

Compiled 32 to 16 computations (50% saved)

sample437.0ms (7%)

Algorithm

2×

intervals

Results

14.0ms	512×	body	128	valid
12.0ms	422×	body	128	invalid

Compiler

Compiled 7263 to 4537 computations (37.5% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	39	13
1	39	13

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

Error

0.0b

Counts

2 → 2

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x x) (.f64 y (*.f64 y 3)))
0.2b	(.f64 y (.f64 y 3))

rewrite43.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`pow1_binary64_14120` `add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095`
4×	`add-log-exp_binary64_14098`
3×	`pow-prod-down_binary64_14130` `prod-exp_binary64_14108` `add-cube-cbrt_binary64_14094` `cbrt-unprod_binary64_14092` `add-sqr-sqrt_binary64_14081` `-un-lft-identity_binary64_14059` `associate-l*_binary64_14000`
1×	`associate-r_binary64_13999` `*-commutative_binary64_13990` `sum-log_binary64_14150` `flip3-+_binary64_14062` `flip-+_binary64_14033` `+-commutative_binary64_13989`

Counts

2 → 29

Calls

2 calls:

8.0ms	(.f64 y (.f64 y 3))
4.0ms	(+.f64 (.f64 x x) (.f64 y (*.f64 y 3)))

Compiler

Compiled 476 to 252 computations (47.1% saved)

series220.0ms (3.5%)

Error

0.0b

Counts

2 → 15

Calls

2 calls:

172.0ms	(+.f64 (.f64 x x) (.f64 y (*.f64 y 3)))
38.0ms	(.f64 y (.f64 y 3))

Compiler

Compiled 291 to 264 computations (9.3% saved)

simplify73.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4949	482
1	4949	482

prune38.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	42	4	46

Error

0.0b

Counts

46 → 4

Compiler

Compiled 538 to 260 computations (51.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x x) (.f64 3 (*.f64 y y)))
0.2b	(.f64 3 (.f64 y y))

rewrite40.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`pow1_binary64_14120` `add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095`
4×	`add-log-exp_binary64_14098` `add-sqr-sqrt_binary64_14081`
3×	`pow-prod-down_binary64_14130` `prod-exp_binary64_14108` `add-cube-cbrt_binary64_14094` `cbrt-unprod_binary64_14092` `-un-lft-identity_binary64_14059` `associate-l*_binary64_14000`
1×	`unswap-sqr_binary64_14027` `associate-r_binary64_13999` `*-commutative_binary64_13990` `sum-log_binary64_14150` `flip3-+_binary64_14062` `flip-+_binary64_14033` `+-commutative_binary64_13989`

Counts

2 → 30

Calls

2 calls:

5.0ms	(.f64 3 (.f64 y y))
4.0ms	(+.f64 (.f64 x x) (.f64 3 (*.f64 y y)))

Compiler

Compiled 489 to 227 computations (53.6% saved)

series213.0ms (3.4%)

Error

0.0b

Counts

2 → 15

Calls

2 calls:

166.0ms	(+.f64 (.f64 x x) (.f64 3 (*.f64 y y)))
38.0ms	(.f64 3 (.f64 y y))

Compiler

Compiled 291 to 264 computations (9.3% saved)

simplify88.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4948	496
1	4948	496

prune34.0ms (0.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	45	4	49

Error

0.0b

Counts

49 → 4

Compiler

Compiled 543 to 260 computations (52.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 3 (.f64 y y))
0.2b	(.f64 (sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x))))
6.5b	(sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x)))
6.5b	(sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x)))

rewrite207.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`add-sqr-sqrt_binary64_14081`
26×	`pow1_binary64_14120`
24×	`sqrt-prod_binary64_14075`
16×	`sqrt-div_binary64_14076`
15×	`add-cube-cbrt_binary64_14094` `*-un-lft-identity_binary64_14059`
11×	`add-exp-log_binary64_14097` `add-cbrt-cube_binary64_14095`
10×	`pow1/2_binary64_14139` `sqrt-pow1_binary64_14077`
9×	`associate-l_binary64_14000`
8×	`flip3-+_binary64_14062` `flip-+_binary64_14033` `swap-sqr_binary64_14026`
7×	`associate-r_binary64_13999`
6×	`pow-prod-down_binary64_14130`
5×	`pow-prod-up_binary64_14129` `unswap-sqr_binary64_14027`
4×	`add-log-exp_binary64_14098` `rem-sqrt-square_binary64_14072` `prod-exp_binary64_14108` `cbrt-unprod_binary64_14092` `frac-times_binary64_14069`
3×	`pow-sqr_binary64_14032`
2×	`associate-l/_binary64_14002` `associate-r/_binary64_14001` `*-commutative_binary64_13990`
1×	`pow2_binary64_14140` `pow-plus_binary64_14122` `sqrt-unprod_binary64_14079` `sqr-abs_binary64_14074` `rem-square-sqrt_binary64_14071`

Counts

4 → 107

Calls

4 calls:

17.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x))))
6.0ms	(sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x)))
6.0ms	(.f64 3 (.f64 y y))
6.0ms	(sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x)))

Compiler

Compiled 3592 to 1702 computations (52.6% saved)

series674.0ms (10.8%)

Error

0.0b

Counts

4 → 49

Calls

4 calls:

205.0ms	(sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x)))
198.0ms	(sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x)))
179.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x))))
36.0ms	(.f64 3 (.f64 y y))

Compiler

Compiled 2597 to 1957 computations (24.6% saved)

simplify89.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4927	2757
1	4927	2757

prune188.0ms (3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	155	1	156
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	155	5	160

Error

Counts

160 → 5

Compiler

Compiled 3568 to 1838 computations (48.5% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 x x) (.f64 (*.f64 y y) 3))))
1.0b	(pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x x) (.f64 (*.f64 y y) 3)))) 5)
6.5b	(sqrt.f64 (+.f64 (.f64 x x) (.f64 (*.f64 y y) 3)))
6.5b	(sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x)))

rewrite158.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`add-sqr-sqrt_binary64_14081`
12×	`add-cube-cbrt_binary64_14094` `sqrt-prod_binary64_14075` `*-un-lft-identity_binary64_14059` `cbrt-prod_binary64_14090`
9×	`unpow-prod-down_binary64_14138`
7×	`pow1_binary64_14120`
6×	`sqrt-div_binary64_14076`
5×	`add-exp-log_binary64_14097`
4×	`add-log-exp_binary64_14098` `add-cbrt-cube_binary64_14095`
3×	`flip3-+_binary64_14062` `flip-+_binary64_14033` `pow-unpow_binary64_14136`
2×	`pow1/2_binary64_14139` `sqrt-pow1_binary64_14077` `rem-sqrt-square_binary64_14072` `pow1/3_binary64_14141` `pow-pow_binary64_14131` `cbrt-div_binary64_14091`
1×	`pow-to-exp_binary64_14128` `pow-exp_binary64_14127` `sqr-pow_binary64_14031`

Counts

4 → 70

Calls

4 calls:

6.0ms	(sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x)))
6.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x x) (.f64 (*.f64 y y) 3)))) 5)
4.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 x x) (.f64 (*.f64 y y) 3))))
4.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 (*.f64 y y) 3)))

Compiler

Compiled 2578 to 1395 computations (45.9% saved)

series1.6s (25.9%)

Error

Counts

4 → 57

Calls

4 calls:

848.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x x) (.f64 (*.f64 y y) 3)))) 5)
228.0ms	(sqrt.f64 (+.f64 (.f64 3 (.f64 y y)) (*.f64 x x)))
220.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 x x) (.f64 (*.f64 y y) 3))))
208.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 (*.f64 y y) 3)))

Compiler

Compiled 4763 to 3804 computations (20.1% saved)

simplify52.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5200	3206

prune223.0ms (3.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	127	5	132

Error

Counts

132 → 5

Compiler

Compiled 4105 to 2481 computations (39.6% saved)

regimes260.0ms (4.2%)

Accuracy

Total 0.1b remaining (95.4%)

Threshold costs 0.1b (95.4%)

Compiler

Compiled 2472 to 1850 computations (25.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	11	13

end0.0ms (0%)

sample1.2s (19.9%)

Algorithm

1×

intervals

Results

226.0ms	8000×	body	128	valid
176.0ms	6362×	body	128	invalid

Compiler

Compiled 478 to 356 computations (25.5% saved)

Details

analyze280.0ms (4.5%)

sample437.0ms (7%)

simplify7.0ms (0.1%)

prune4.0ms (0.1%)

localize6.0ms (0.1%)

rewrite43.0ms (0.7%)

series220.0ms (3.5%)

simplify73.0ms (1.2%)

prune38.0ms (0.6%)

localize6.0ms (0.1%)

rewrite40.0ms (0.6%)

series213.0ms (3.4%)

simplify88.0ms (1.4%)

prune34.0ms (0.5%)

localize10.0ms (0.2%)

rewrite207.0ms (3.3%)

series674.0ms (10.8%)

simplify89.0ms (1.4%)

prune188.0ms (3%)

localize15.0ms (0.2%)

rewrite158.0ms (2.5%)

series1.6s (25.9%)

simplify52.0ms (0.8%)

prune223.0ms (3.6%)

regimes260.0ms (4.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.2s (19.9%)

Profiling