Details

analyze1.6s (12.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5146	209
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
0.4%	99.4%	0.2%	10
5.6%	94.2%	0.2%	11
7.1%	92.7%	0.2%	12
8.8%	91%	0.2%	13
15.6%	84.2%	0.2%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample32.0ms (0.3%)

Algorithm

1×

intervals

Results

16.0ms	256×	body	128	valid
1.0ms	19×	body	128	invalid

Compiler

Compiled 27 to 30 computations (-11.1% saved)

simplify103.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4869	19
1	4869	19

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

2.0b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 (-.f64 t z) 1) a)
7.8b	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

rewrite326.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

236×	`*-un-lft-identity_binary64_17128`
200×	`times-frac_binary64_17134`
126×	`add-sqr-sqrt_binary64_17150`
86×	`add-cube-cbrt_binary64_17163`
44×	`distribute-lft-out_binary64_17079`
42×	`distribute-lft-out--_binary64_17080`
22×	`associate-/r*_binary64_17072`
20×	`difference-of-squares_binary64_17097`
10×	`associate-/l*_binary64_17073`
9×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164`
8×	`div-inv_binary64_17125`
4×	`div-exp_binary64_17179` `cbrt-undiv_binary64_17162` `associate-/l/_binary64_17075`
2×	`pow1_binary64_17189` `add-log-exp_binary64_17167` `frac-2neg_binary64_17139` `div-sub_binary64_17133` `clear-num_binary64_17127`
1×	`flip3--_binary64_17132` `flip--_binary64_17103` `associate-/r/_binary64_17074` `associate-+l-_binary64_17063` `flip3-+_binary64_17131` `flip-+_binary64_17102`

Counts

2 → 175

Calls

2 calls:

20.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
9.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)

Compiler

Compiled 4444 to 1901 computations (57.2% saved)

series791.0ms (6.5%)

Error

0.1b

Counts

2 → 48

Calls

2 calls:

504.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
192.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)

Compiler

Compiled 4097 to 2586 computations (36.9% saved)

simplify143.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

223 → 223

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4986	7339
1	4986	7339

prune287.0ms (2.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	219	4	223
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	220	4	224

Error

Counts

224 → 4

Compiler

Compiled 6022 to 2588 computations (57% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z))
1.4b	(*.f64 a (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)))

rewrite197.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

109×	`*-un-lft-identity_binary64_17128`
81×	`add-sqr-sqrt_binary64_17150`
61×	`times-frac_binary64_17134`
36×	`associate-r_binary64_17068`
35×	`distribute-lft-out--_binary64_17080`
28×	`add-cube-cbrt_binary64_17163`
24×	`difference-of-squares_binary64_17097`
11×	`distribute-lft-out_binary64_17079`
9×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164`
6×	`associate-/r*_binary64_17072`
5×	`associate-/l*_binary64_17073`
4×	`pow1_binary64_17189` `associate-/r/_binary64_17074`
3×	`associate-l_binary64_17069` `flip3--_binary64_17132` `flip--_binary64_17103`
2×	`div-exp_binary64_17179` `prod-exp_binary64_17177` `add-log-exp_binary64_17167` `cbrt-unprod_binary64_17161` `cbrt-undiv_binary64_17162` `unswap-sqr_binary64_17096` `div-inv_binary64_17125` `associate-/l/_binary64_17075`
1×	`pow-prod-down_binary64_17199` `associate-r/_binary64_17070` `-commutative_binary64_17059` `frac-2neg_binary64_17139` `div-sub_binary64_17133` `clear-num_binary64_17127`

Counts

2 → 113

Calls

2 calls:

29.0ms	(*.f64 a (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)))
12.0ms	(/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z))

Compiler

Compiled 2686 to 1342 computations (50% saved)

series1.0s (8.4%)

Error

Counts

2 → 63

Calls

2 calls:

521.0ms	(*.f64 a (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)))
347.0ms	(/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z))

Compiler

Compiled 6397 to 4229 computations (33.9% saved)

simplify81.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5135	6586

prune228.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	176	0	176
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	176	4	180

Error

Counts

180 → 4

Compiler

Compiled 5626 to 2565 computations (54.4% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 1 (-.f64 (+.f64 t 1) z))
0.2b	(*.f64 (/.f64 1 (-.f64 (+.f64 t 1) z)) a)
7.5b	(.f64 (-.f64 y z) (.f64 (/.f64 1 (-.f64 (+.f64 t 1) z)) a))

rewrite218.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

64×	`*-un-lft-identity_binary64_17128`
49×	`add-sqr-sqrt_binary64_17150`
38×	`times-frac_binary64_17134`
31×	`add-exp-log_binary64_17166`
29×	`associate-l_binary64_17069`
26×	`add-cube-cbrt_binary64_17163`
19×	`add-cbrt-cube_binary64_17164`
15×	`distribute-lft-out--_binary64_17080`
13×	`prod-exp_binary64_17177`
11×	`pow1_binary64_17189`
8×	`difference-of-squares_binary64_17097`
7×	`cbrt-unprod_binary64_17161` `distribute-lft-out_binary64_17079`
6×	`div-exp_binary64_17179` `associate-l/_binary64_17071` `associate-/r_binary64_17072`
4×	`pow-prod-down_binary64_17199` `flip3--_binary64_17132` `flip--_binary64_17103` `associate-r_binary64_17068` `associate-/r/_binary64_17074`
3×	`1-exp_binary64_17172` `rec-exp_binary64_17178` `add-log-exp_binary64_17167` `cbrt-undiv_binary64_17162` `unswap-sqr_binary64_17096` `associate-/l*_binary64_17073`
2×	`frac-times_binary64_17138` `*-commutative_binary64_17059` `div-inv_binary64_17125`
1×	`associate-*r/_binary64_17070` `inv-pow_binary64_17213` `pow-flip_binary64_17202` `frac-2neg_binary64_17139` `clear-num_binary64_17127`

Counts

3 → 120

Calls

3 calls:

23.0ms	(.f64 (-.f64 y z) (.f64 (/.f64 1 (-.f64 (+.f64 t 1) z)) a))
20.0ms	(*.f64 (/.f64 1 (-.f64 (+.f64 t 1) z)) a)
9.0ms	(/.f64 1 (-.f64 (+.f64 t 1) z))

Compiler

Compiled 2875 to 1750 computations (39.1% saved)

series962.0ms (8%)

Error

Counts

3 → 84

Calls

3 calls:

462.0ms	(.f64 (-.f64 y z) (.f64 (/.f64 1 (-.f64 (+.f64 t 1) z)) a))
201.0ms	(*.f64 (/.f64 1 (-.f64 (+.f64 t 1) z)) a)
136.0ms	(/.f64 1 (-.f64 (+.f64 t 1) z))

Compiler

Compiled 7149 to 4769 computations (33.3% saved)

simplify116.0ms (1%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4981	6403
1	4981	6403

prune316.0ms (2.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	204	0	204
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	204	4	208

Error

Counts

208 → 4

Compiler

Compiled 5992 to 2978 computations (50.3% saved)

localize20.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 1 z) a)
1.1b	(+.f64 (/.f64 t a) (/.f64 (-.f64 1 z) a))
7.8b	(/.f64 (-.f64 y z) (+.f64 (/.f64 t a) (/.f64 (-.f64 1 z) a)))

rewrite287.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

215×	`*-un-lft-identity_binary64_17128`
157×	`times-frac_binary64_17134`
96×	`add-sqr-sqrt_binary64_17150`
60×	`add-cube-cbrt_binary64_17163`
49×	`distribute-lft-out_binary64_17079`
37×	`distribute-lft-out--_binary64_17080`
20×	`difference-of-squares_binary64_17097`
16×	`div-inv_binary64_17125`
14×	`associate-/r*_binary64_17072`
11×	`associate-/l*_binary64_17073`
7×	`add-exp-log_binary64_17166` `add-cbrt-cube_binary64_17164` `distribute-rgt-out_binary64_17081`
5×	`add-log-exp_binary64_17167`
4×	`associate-/l/_binary64_17075`
3×	`pow1_binary64_17189` `div-sub_binary64_17133` `associate-/r/_binary64_17074`
2×	`div-exp_binary64_17179` `cbrt-undiv_binary64_17162` `frac-2neg_binary64_17139` `clear-num_binary64_17127` `flip3--_binary64_17132` `flip--_binary64_17103` `frac-add_binary64_17136` `flip3-+_binary64_17131` `flip-+_binary64_17102`
1×	`sum-log_binary64_17219` `associate-+r-_binary64_17062` `+-commutative_binary64_17058`

Counts

3 → 152

Calls

3 calls:

36.0ms	(/.f64 (-.f64 y z) (+.f64 (/.f64 t a) (/.f64 (-.f64 1 z) a)))
34.0ms	(+.f64 (/.f64 t a) (/.f64 (-.f64 1 z) a))
13.0ms	(/.f64 (-.f64 1 z) a)

Compiler

Compiled 3822 to 1703 computations (55.4% saved)

series1.0s (8.6%)

Error

Counts

3 → 57

Calls

3 calls:

685.0ms	(/.f64 (-.f64 y z) (+.f64 (/.f64 t a) (/.f64 (-.f64 1 z) a)))
190.0ms	(+.f64 (/.f64 t a) (/.f64 (-.f64 1 z) a))
77.0ms	(/.f64 (-.f64 1 z) a)

Compiler

Compiled 4947 to 3051 computations (38.3% saved)

simplify86.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5164	6356

prune215.0ms (1.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	209	4	213

Error

Counts

213 → 4

Compiler

Compiled 5685 to 2294 computations (59.6% saved)

regimes1.2s (10.2%)

Accuracy

Total 0.3b remaining (99.6%)

Threshold costs 0.3b (99.6%)

Compiler

Compiled 13278 to 10065 computations (24.2% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	164	19
1	164	19

end0.0ms (0%)

sample2.8s (23.2%)

Algorithm

1×

intervals

Results

659.0ms	7998×	body	128	valid
24.0ms	503×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 1914 to 1455 computations (24% saved)

Details

analyze1.6s (12.9%)

sample32.0ms (0.3%)

simplify103.0ms (0.8%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite326.0ms (2.7%)

series791.0ms (6.5%)

simplify143.0ms (1.2%)

prune287.0ms (2.4%)

localize9.0ms (0.1%)

rewrite197.0ms (1.6%)

series1.0s (8.4%)

simplify81.0ms (0.7%)

prune228.0ms (1.9%)

localize10.0ms (0.1%)

rewrite218.0ms (1.8%)

series962.0ms (8%)

simplify116.0ms (1%)

prune316.0ms (2.6%)

localize20.0ms (0.2%)

rewrite287.0ms (2.4%)

series1.0s (8.6%)

simplify86.0ms (0.7%)

prune215.0ms (1.8%)

regimes1.2s (10.2%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample2.8s (23.2%)

Profiling