Details

analyze1.5s (18%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	121	256
1	121	256
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.6%	98.1%	0.3%	13
3.1%	96.6%	0.3%	14

Compiler

Compiled 12 to 12 computations (0% saved)

sample57.0ms (0.7%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
5.0ms	133×	body	128	invalid

Compiler

Compiled 23 to 29 computations (-26.1% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	25	16
1	25	16

prune9.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 → 1

Compiler

Compiled 22 to 22 computations (0% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

rewrite31.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-log-exp_binary64_5232`
4×	`sum-log_binary64_5284`
2×	`pow1_binary64_5254` `add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229` `add-cube-cbrt_binary64_5228` `add-sqr-sqrt_binary64_5215` `flip3-+_binary64_5196` `*-un-lft-identity_binary64_5193` `flip-+_binary64_5167` `+-commutative_binary64_5123`
1×	`associate-+l+_binary64_5126`

Counts

2 → 24

Calls

2 calls:

6.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 510 to 94 computations (81.6% saved)

series451.0ms (5.5%)

Error

0.0b

Counts

2 → 60

Calls

2 calls:

287.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
133.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 1314 to 920 computations (30% saved)

simplify72.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5019	1056

prune53.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	81	4	85

Error

0.0b

Counts

85 → 4

Compiler

Compiled 999 to 132 computations (86.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 t z) (.f64 x y))
0.3b	(.f64 (sqrt.f64 (+.f64 (.f64 t z) (.f64 x y))) (sqrt.f64 (+.f64 (.f64 t z) (*.f64 x y))))
1.3b	(sqrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
1.3b	(sqrt.f64 (+.f64 (.f64 t z) (.f64 x y)))

rewrite123.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`add-sqr-sqrt_binary64_5215`
24×	`sqrt-prod_binary64_5209`
21×	`pow1_binary64_5254`
16×	`sqrt-div_binary64_5210`
14×	`add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193`
10×	`pow1/2_binary64_5273` `sqrt-pow1_binary64_5211`
9×	`flip3-+_binary64_5196` `flip-+_binary64_5167`
8×	`swap-sqr_binary64_5160`
6×	`add-log-exp_binary64_5232` `add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229` `associate-l_binary64_5134` `associate-r_binary64_5133`
5×	`pow-prod-up_binary64_5263`
4×	`rem-sqrt-square_binary64_5206` `frac-times_binary64_5203` `unswap-sqr_binary64_5161`
3×	`pow-prod-down_binary64_5264` `pow-sqr_binary64_5166`
2×	`associate-l/_binary64_5136` `associate-r/_binary64_5135`
1×	`pow2_binary64_5274` `pow-plus_binary64_5256` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `sqrt-unprod_binary64_5213` `sqr-abs_binary64_5208` `rem-square-sqrt_binary64_5205` `*-commutative_binary64_5124` `sum-log_binary64_5284` `+-commutative_binary64_5123`

Counts

4 → 99

Calls

4 calls:

12.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 t z) (.f64 x y))) (sqrt.f64 (+.f64 (.f64 t z) (*.f64 x y))))
4.0ms	(sqrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
4.0ms	(+.f64 (.f64 t z) (.f64 x y))
4.0ms	(sqrt.f64 (+.f64 (.f64 t z) (.f64 x y)))

Compiler

Compiled 3237 to 413 computations (87.2% saved)

series557.0ms (6.8%)

Error

0.0b

Counts

4 → 80

Calls

4 calls:

148.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 t z) (.f64 x y))) (sqrt.f64 (+.f64 (.f64 t z) (*.f64 x y))))
143.0ms	(+.f64 (.f64 t z) (.f64 x y))
116.0ms	(sqrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
106.0ms	(sqrt.f64 (+.f64 (.f64 t z) (.f64 x y)))

Compiler

Compiled 3944 to 2261 computations (42.7% saved)

simplify110.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4923	2397
1	4923	2397

prune123.0ms (1.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	178	1	179
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	179	4	183

Error

0.0b

Counts

183 → 4

Compiler

Compiled 3817 to 522 computations (86.3% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sqrt.f64 (+.f64 (.f64 t z) (.f64 x y))) (.f64 (cbrt.f64 (+.f64 (.f64 x y) (.f64 t z))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 t z))))))
1.3b	(sqrt.f64 (+.f64 (.f64 x y) (.f64 t z)))
1.3b	(sqrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
1.8b	(cbrt.f64 (+.f64 (.f64 x y) (.f64 t z)))

rewrite151.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

40×	`sqrt-div_binary64_5210`
38×	`cbrt-div_binary64_5225`
30×	`flip3-+_binary64_5196` `flip-+_binary64_5167`
28×	`frac-times_binary64_5203`
14×	`associate-*r/_binary64_5135`
11×	`pow1_binary64_5254` `add-sqr-sqrt_binary64_5215`
9×	`add-exp-log_binary64_5231` `add-cube-cbrt_binary64_5228` `*-un-lft-identity_binary64_5193` `sqrt-prod_binary64_5209`
8×	`associate-*l/_binary64_5136`
7×	`add-cbrt-cube_binary64_5229`
6×	`associate-l_binary64_5134`
4×	`add-log-exp_binary64_5232`
3×	`cbrt-prod_binary64_5224` `pow-prod-down_binary64_5264` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226`
2×	`pow1/2_binary64_5273` `sqrt-pow1_binary64_5211` `rem-sqrt-square_binary64_5206`
1×	`pow1/3_binary64_5275` `associate-r_binary64_5133` `*-commutative_binary64_5124`

Counts

4 → 90

Calls

4 calls:

17.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 t z) (.f64 x y))) (.f64 (cbrt.f64 (+.f64 (.f64 x y) (.f64 t z))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 t z))))))
4.0ms	(sqrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
4.0ms	(sqrt.f64 (+.f64 (.f64 x y) (.f64 t z)))
4.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 t z)))

Compiler

Compiled 4785 to 623 computations (87% saved)

series695.0ms (8.5%)

Error

0.0b

Counts

4 → 74

Calls

4 calls:

233.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 t z)))
171.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 t z) (.f64 x y))) (.f64 (cbrt.f64 (+.f64 (.f64 x y) (.f64 t z))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 x y) (.f64 t z))))))
115.0ms	(sqrt.f64 (+.f64 (.f64 x y) (.f64 t z)))
115.0ms	(sqrt.f64 (+.f64 (.f64 t z) (.f64 x y)))

Compiler

Compiled 5886 to 3274 computations (44.4% saved)

simplify83.0ms (1%)

Algorithm

1×	egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5245	4924

prune158.0ms (1.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	164	4	168

Error

0.0b

Counts

168 → 4

Compiler

Compiled 6241 to 897 computations (85.6% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 t z) (.f64 x y))
0.0b	(+.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3)) (*.f64 a b))
0.3b	(pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3)
35.6b	(cbrt.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3))

rewrite98.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`cbrt-prod_binary64_5224`
10×	`add-cube-cbrt_binary64_5228` `add-sqr-sqrt_binary64_5215` `*-un-lft-identity_binary64_5193`
8×	`add-log-exp_binary64_5232`
6×	`unpow-prod-down_binary64_5272` `cube-prod_binary64_5221`
5×	`pow1_binary64_5254` `add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229`
4×	`flip3-+_binary64_5196` `cube-div_binary64_5222` `flip-+_binary64_5167`
3×	`pow-unpow_binary64_5270`
2×	`cbrt-div_binary64_5225` `unpow3_binary64_5259` `cube-mult_binary64_5223` `sqr-pow_binary64_5165` `sum-log_binary64_5284` `+-commutative_binary64_5123`
1×	`pow1/3_binary64_5275` `rem-cbrt-cube_binary64_5217` `pow-pow_binary64_5265` `pow-to-exp_binary64_5262` `pow-exp_binary64_5261` `rem-cube-cbrt_binary64_5216`

Counts

4 → 70

Calls

4 calls:

9.0ms	(+.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3)) (*.f64 a b))
5.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3))
5.0ms	(pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3)
4.0ms	(+.f64 (.f64 t z) (.f64 x y))

Compiler

Compiled 1795 to 566 computations (68.5% saved)

series908.0ms (11.1%)

Error

0.0b

Counts

4 → 132

Calls

4 calls:

257.0ms	(pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3)
253.0ms	(+.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3)) (*.f64 a b))
144.0ms	(+.f64 (.f64 t z) (.f64 x y))
143.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3))

Compiler

Compiled 5082 to 3848 computations (24.3% saved)

simplify82.0ms (1%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5018	3618

prune140.0ms (1.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	201	5	206

Error

Counts

206 → 5

Compiler

Compiled 3508 to 825 computations (76.5% saved)

regimes516.0ms (6.3%)

Accuracy

Total 0.0b remaining (43.8%)

Threshold costs 0.0b (43.8%)

Compiler

Compiled 5764 to 4059 computations (29.6% saved)

bsearch0.0ms (0%)

simplify53.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	16
1	17	16

Compiler

Compiled 66 to 66 computations (0% saved)

end0.0ms (0%)

sample2.2s (26.6%)

Algorithm

1×

intervals

Results

303.0ms	8000×	body	128	valid
159.0ms	4050×	body	128	invalid

Compiler

Compiled 541 to 384 computations (29% saved)

Details

analyze1.5s (18%)

sample57.0ms (0.7%)

simplify8.0ms (0.1%)

prune9.0ms (0.1%)

localize9.0ms (0.1%)

rewrite31.0ms (0.4%)

series451.0ms (5.5%)

simplify72.0ms (0.9%)

prune53.0ms (0.6%)

localize11.0ms (0.1%)

rewrite123.0ms (1.5%)

series557.0ms (6.8%)

simplify110.0ms (1.4%)

prune123.0ms (1.5%)

localize17.0ms (0.2%)

rewrite151.0ms (1.8%)

series695.0ms (8.5%)

simplify83.0ms (1%)

prune158.0ms (1.9%)

localize14.0ms (0.2%)

rewrite98.0ms (1.2%)

series908.0ms (11.1%)

simplify82.0ms (1%)

prune140.0ms (1.7%)

regimes516.0ms (6.3%)

bsearch0.0ms (0%)

simplify53.0ms (0.6%)

end0.0ms (0%)

sample2.2s (26.6%)

Profiling