Details

analyze1.1s (18.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4927	176
1	4927	176
0	5	5
1	5	5

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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
18.4%	81.3%	0.2%	13
29.5%	70.3%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample27.0ms (0.5%)

Algorithm

1×

intervals

Results

10.0ms	255×	body	128	valid
1.0ms	18×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify187.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (182.0ms)

Iter	Nodes	Cost
0	4787	16
1	4787	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

11.9b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite30.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_12695` `add-sqr-sqrt_binary64_12717`
10×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
7×	`add-cube-cbrt_binary64_12730`
5×	`associate-l_binary64_12636` `associate-/r*_binary64_12639` `pow1_binary64_12756` `add-log-exp_binary64_12734` `times-frac_binary64_12701`
4×	`associate-*l/_binary64_12638`
3×	`distribute-lft-out--_binary64_12647` `flip3--_binary64_12699` `difference-of-squares_binary64_12664` `flip--_binary64_12670` `associate-r_binary64_12635`
2×	`prod-exp_binary64_12744` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `associate-/r/_binary64_12641` `associate-/l/_binary64_12642` `cbrt-unprod_binary64_12728`
1×	`distribute-lft-out_binary64_12646` `associate-/l_binary64_12640` `frac-2neg_binary64_12706` `div-inv_binary64_12692` `flip-+_binary64_12669` `pow-prod-down_binary64_12766` `-commutative_binary64_12626` `flip3-+_binary64_12698` `sum-log_binary64_12786` `unswap-sqr_binary64_12663` `+-commutative_binary64_12625` `clear-num_binary64_12694`

Counts

3 → 63

Calls

3 calls:

10.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))
9.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
7.0ms	(*.f64 (-.f64 y z) t)

series225.0ms (3.9%)

Counts

3 → 9

Calls

3 calls:

122.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
74.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))
30.0ms	(*.f64 (-.f64 y z) t)

simplify55.0ms (1%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5983	1014

prune70.0ms (1.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	64	8	72
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	64	9	73

Error

0.0b

Counts

73 → 9

Compiler

Compiled 1269 to 370 computations (70.8% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t)))
0.0b	(/.f64 (-.f64 a z) t)
9.2b	(/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t))

rewrite76.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

200×	`times-frac_binary64_12701`
173×	`*-un-lft-identity_binary64_12695`
171×	`add-sqr-sqrt_binary64_12717`
87×	`add-cube-cbrt_binary64_12730`
42×	`distribute-lft-out--_binary64_12647` `difference-of-squares_binary64_12664`
22×	`associate-/r*_binary64_12639`
10×	`associate-/l*_binary64_12640` `add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
8×	`div-inv_binary64_12692`
5×	`add-log-exp_binary64_12734`
4×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `associate-/l/_binary64_12642`
3×	`div-sub_binary64_12700` `pow1_binary64_12756`
2×	`frac-2neg_binary64_12706` `flip3--_binary64_12699` `flip--_binary64_12670` `clear-num_binary64_12694`
1×	`distribute-lft-out_binary64_12646` `associate-/r/_binary64_12641` `flip-+_binary64_12669` `associate-+r-_binary64_12629` `flip3-+_binary64_12698` `sum-log_binary64_12786` `+-commutative_binary64_12625`

Counts

3 → 188

Calls

3 calls:

32.0ms	(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t)))
14.0ms	(/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t))
7.0ms	(/.f64 (-.f64 a z) t)

series240.0ms (4.2%)

Counts

3 → 9

Calls

3 calls:

108.0ms	(/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t))
108.0ms	(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) t)))
24.0ms	(/.f64 (-.f64 a z) t)

simplify90.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5107	4720

prune155.0ms (2.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	194	3	197
Fresh	5	2	7
Picked	0	1	1
Done	1	0	1
Total	200	6	206

Error

Counts

206 → 6

Compiler

Compiled 4127 to 702 computations (83% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite37.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

76×	`add-sqr-sqrt_binary64_12717`
71×	`*-un-lft-identity_binary64_12695`
51×	`times-frac_binary64_12701`
31×	`associate-l_binary64_12636`
27×	`add-cube-cbrt_binary64_12730`
22×	`distribute-lft-out--_binary64_12647` `difference-of-squares_binary64_12664`
10×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
5×	`associate-/l_binary64_12640` `associate-/r_binary64_12639` `pow1_binary64_12756` `add-log-exp_binary64_12734`
4×	`associate-/r/_binary64_12641`
3×	`flip3--_binary64_12699` `flip--_binary64_12670` `associate-r_binary64_12635`
2×	`prod-exp_binary64_12744` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `associate-/l/_binary64_12642` `div-inv_binary64_12692` `unswap-sqr_binary64_12663` `cbrt-unprod_binary64_12728`
1×	`frac-2neg_binary64_12706` `flip-+_binary64_12669` `div-sub_binary64_12700` `pow-prod-down_binary64_12766` `-commutative_binary64_12626` `flip3-+_binary64_12698` `sum-log_binary64_12786` `associate-l/_binary64_12638` `+-commutative_binary64_12625` `clear-num_binary64_12694`

Counts

3 → 113

Calls

3 calls:

15.0ms	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) t)
9.0ms	(/.f64 (-.f64 y z) (-.f64 a z))
3.0ms	(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) t))

series272.0ms (4.7%)

Counts

3 → 9

Calls

3 calls:

121.0ms	(*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) t)
110.0ms	(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) t))
41.0ms	(/.f64 (-.f64 y z) (-.f64 a z))

simplify82.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4978	2093
1	4978	2093

prune89.0ms (1.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	122	6	128

Error

Counts

128 → 6

Compiler

Compiled 2331 to 543 computations (76.7% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 a z))
0.5b	(cbrt.f64 (-.f64 a z))
2.4b	(/.f64 (-.f64 y z) (/.f64 (cbrt.f64 (-.f64 a z)) t))
7.7b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 y z) (/.f64 (cbrt.f64 (-.f64 a z)) t)))

rewrite193.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Rules

570×	`times-frac_binary64_12701`
450×	`add-sqr-sqrt_binary64_12717`
419×	`*-un-lft-identity_binary64_12695`
231×	`add-cube-cbrt_binary64_12730`
178×	`cbrt-prod_binary64_12726`
145×	`associate-r_binary64_12635`
92×	`distribute-lft-out--_binary64_12647` `difference-of-squares_binary64_12664`
87×	`add-exp-log_binary64_12733`
36×	`div-exp_binary64_12746`
35×	`add-cbrt-cube_binary64_12731`
30×	`prod-exp_binary64_12744`
28×	`associate-/r*_binary64_12639`
18×	`cbrt-undiv_binary64_12729`
16×	`cbrt-div_binary64_12727`
15×	`associate-l_binary64_12636`
14×	`div-inv_binary64_12692`
12×	`unswap-sqr_binary64_12663` `cbrt-unprod_binary64_12728`
10×	`associate-/r/_binary64_12641`
9×	`flip3--_binary64_12699` `flip--_binary64_12670`
6×	`rec-exp_binary64_12745` `1-exp_binary64_12739` `pow1_binary64_12756`
5×	`frac-times_binary64_12705` `associate-/l*_binary64_12640`
4×	`add-log-exp_binary64_12734`
3×	`associate-l/_binary64_12638` `associate-r/_binary64_12637`
2×	`associate-/l/_binary64_12642` `pow1/3_binary64_12777`
1×	`frac-2neg_binary64_12706` `div-sub_binary64_12700` `pow-prod-down_binary64_12766` `*-commutative_binary64_12626` `clear-num_binary64_12694`

Counts

4 → 435

Calls

4 calls:

92.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 y z) (/.f64 (cbrt.f64 (-.f64 a z)) t)))
16.0ms	(/.f64 (-.f64 y z) (/.f64 (cbrt.f64 (-.f64 a z)) t))
3.0ms	(cbrt.f64 (-.f64 a z))
3.0ms	(cbrt.f64 (-.f64 a z))

series633.0ms (10.9%)

Counts

4 → 12

Calls

4 calls:

259.0ms	(/.f64 (-.f64 y z) (/.f64 (cbrt.f64 (-.f64 a z)) t))
155.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 y z) (/.f64 (cbrt.f64 (-.f64 a z)) t)))
115.0ms	(cbrt.f64 (-.f64 a z))
104.0ms	(cbrt.f64 (-.f64 a z))

simplify161.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

447 → 447

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4975	13981
1	4975	13981

prune447.0ms (7.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	447	0	447
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	447	6	453

Error

Counts

453 → 6

Compiler

Compiled 15388 to 2552 computations (83.4% saved)

regimes401.0ms (6.9%)

Accuracy

Total 1.4b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 3884 to 2922 computations (24.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	16
1	25	16

end0.0ms (0%)

sample1.2s (20.3%)

Algorithm

1×

intervals

Results

321.0ms	7998×	body	128	valid
28.0ms	743×	body	128	invalid
0.0ms	2×	body	512	valid

Compiler

Compiled 595 to 437 computations (26.6% saved)

Details

analyze1.1s (18.9%)

sample27.0ms (0.5%)

simplify187.0ms (3.2%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite30.0ms (0.5%)

series225.0ms (3.9%)

simplify55.0ms (1%)

prune70.0ms (1.2%)

localize8.0ms (0.1%)

rewrite76.0ms (1.3%)

series240.0ms (4.2%)

simplify90.0ms (1.5%)

prune155.0ms (2.7%)

localize8.0ms (0.1%)

rewrite37.0ms (0.6%)

series272.0ms (4.7%)

simplify82.0ms (1.4%)

prune89.0ms (1.5%)

localize18.0ms (0.3%)

rewrite193.0ms (3.3%)

series633.0ms (10.9%)

simplify161.0ms (2.8%)

prune447.0ms (7.7%)

regimes401.0ms (6.9%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.2s (20.3%)

Profiling