Details

analyze1.3s (4.2%)

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)

sample27.0ms (0.1%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
1.0ms	16×	body	128	invalid

Compiler

Compiled 27 to 30 computations (-11.1% saved)

simplify90.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4869	19
1	4869	19

prune3.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.6b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize15.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite530.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

417×	`*-un-lft-identity_binary64_13036`
373×	`times-frac_binary64_13042`
239×	`add-sqr-sqrt_binary64_13058`
152×	`add-cube-cbrt_binary64_13071`
100×	`cancel-sign-sub-inv_binary64_13002`
77×	`distribute-lft-out--_binary64_12988`
74×	`distribute-lft-out_binary64_12987`
42×	`difference-of-squares_binary64_13005`
22×	`associate-/r*_binary64_12980`
14×	`div-inv_binary64_13033`
10×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072` `associate-/l*_binary64_12981`
5×	`add-log-exp_binary64_13075`
4×	`div-exp_binary64_13087` `cbrt-undiv_binary64_13070` `associate-/l/_binary64_12983`
3×	`pow1_binary64_13097` `div-sub_binary64_13041`
2×	`frac-2neg_binary64_13047` `clear-num_binary64_13035` `flip3--_binary64_13040` `flip--_binary64_13011` `associate-/r/_binary64_12982`
1×	`associate-+l-_binary64_12971` `flip3-+_binary64_13039` `flip-+_binary64_13010` `diff-log_binary64_13128` `sub-neg_binary64_13029` `associate--r-_binary64_12975`

Counts

3 → 291

Calls

3 calls:

43.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
15.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
9.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)

Compiler

Compiled 5248 to 2242 computations (57.3% saved)

series1.8s (5.6%)

Error

0.0b

Counts

3 → 76

Calls

3 calls:

924.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
583.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
197.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)

Compiler

Compiled 4195 to 2921 computations (30.4% saved)

simplify133.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

367 → 367

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4985	11928
1	4985	11928

prune429.0ms (1.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	364	3	367
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	365	3	368

Error

0.0b

Counts

368 → 3

Compiler

Compiled 5591 to 2270 computations (59.4% saved)

localize11.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite219.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

104×	`*-un-lft-identity_binary64_13036`
54×	`add-sqr-sqrt_binary64_13058`
51×	`times-frac_binary64_13042`
31×	`associate-l_binary64_12977`
27×	`add-cube-cbrt_binary64_13071`
22×	`distribute-lft-out_binary64_12987` `distribute-lft-out--_binary64_12988`
11×	`difference-of-squares_binary64_13005`
10×	`add-exp-log_binary64_13074` `add-cbrt-cube_binary64_13072`
5×	`pow1_binary64_13097` `add-log-exp_binary64_13075` `associate-/l_binary64_12981` `associate-/r_binary64_12980`
4×	`associate-/r/_binary64_12982`
3×	`associate-r_binary64_12976`
2×	`div-exp_binary64_13087` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `cbrt-undiv_binary64_13070` `unswap-sqr_binary64_13004` `div-inv_binary64_13033` `flip3-+_binary64_13039` `flip-+_binary64_13010` `flip3--_binary64_13040` `flip--_binary64_13011` `associate-/l/_binary64_12983`
1×	`pow-prod-down_binary64_13107` `associate-l/_binary64_12979` `-commutative_binary64_12967` `diff-log_binary64_13128` `sub-neg_binary64_13029` `cancel-sign-sub-inv_binary64_13002` `frac-2neg_binary64_13047` `div-sub_binary64_13041` `clear-num_binary64_13035`

Counts

3 → 114

Calls

3 calls:

17.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))) a)
11.0ms	(/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))
6.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))) a))

Compiler

Compiled 2048 to 890 computations (56.5% saved)

series2.0s (6.2%)

Error

0.0b

Counts

3 → 84

Calls

3 calls:

926.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))) a))
579.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))) a)
364.0ms	(/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))

Compiler

Compiled 5400 to 3789 computations (29.8% saved)

simplify88.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5132	6123

prune257.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	197	1	198
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	197	4	201

Error

0.0b

Counts

201 → 4

Compiler

Compiled 3281 to 1525 computations (53.5% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))) (cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))))
3.4b	(cbrt.f64 (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)))
3.4b	(cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))))
3.4b	(cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))))

rewrite788.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

627×	`*-un-lft-identity_binary64_13036`
338×	`cbrt-prod_binary64_13067`
290×	`times-frac_binary64_13042`
232×	`add-sqr-sqrt_binary64_13058`
142×	`distribute-lft-out--_binary64_12988`
129×	`distribute-lft-out_binary64_12987`
102×	`add-cube-cbrt_binary64_13071`
86×	`swap-sqr_binary64_13003`
53×	`difference-of-squares_binary64_13005`
34×	`associate-l_binary64_12977` `associate-r_binary64_12976`
14×	`associate-/r/_binary64_12982`
11×	`pow1_binary64_13097`
9×	`pow1/3_binary64_13118` `unswap-sqr_binary64_13004`
7×	`cbrt-div_binary64_13068` `div-inv_binary64_13033`
6×	`add-exp-log_binary64_13074` `flip3-+_binary64_13039` `flip-+_binary64_13010`
4×	`add-log-exp_binary64_13075` `add-cbrt-cube_binary64_13072`
2×	`pow-prod-down_binary64_13107` `pow-prod-up_binary64_13106` `pow-sqr_binary64_13009`
1×	`flip3--_binary64_13040` `flip--_binary64_13011` `pow2_binary64_13117` `pow-plus_binary64_13099` `prod-exp_binary64_13085` `cbrt-unprod_binary64_13069` `frac-times_binary64_13046` `associate-l/_binary64_12979` `associate-r/_binary64_12978` `*-commutative_binary64_12967`

Counts

4 → 309

Calls

4 calls:

53.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))) (cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))))
11.0ms	(cbrt.f64 (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)))
10.0ms	(cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))))
10.0ms	(cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))))

Compiler

Compiled 8793 to 4281 computations (51.3% saved)

series10.5s (33.2%)

Error

0.0b

Counts

4 → 70

Calls

4 calls:

2.7s	(*.f64 (cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))) (cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))))
2.4s	(cbrt.f64 (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)))
2.4s	(cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))))
2.4s	(cbrt.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))))

Compiler

Compiled 23781 to 17823 computations (25.1% saved)

simplify171.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

379 → 379

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5293	20392

prune1.1s (3.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	379	0	379
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	379	4	383

Error

0.0b

Counts

383 → 4

Compiler

Compiled 14914 to 8464 computations (43.2% saved)

localize12.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite275.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`add-sqr-sqrt_binary64_13058`
29×	`*-un-lft-identity_binary64_13036`
27×	`add-exp-log_binary64_13074`
21×	`times-frac_binary64_13042`
17×	`add-cbrt-cube_binary64_13072`
15×	`add-cube-cbrt_binary64_13071` `cancel-sign-sub-inv_binary64_13002`
13×	`associate-r_binary64_12976`
12×	`associate-/r/_binary64_12982`
9×	`div-exp_binary64_13087`
8×	`prod-exp_binary64_13085`
6×	`flip3-+_binary64_13039` `frac-times_binary64_13046` `flip-+_binary64_13010` `associate-*l/_binary64_12979`
5×	`pow1_binary64_13097` `add-log-exp_binary64_13075` `cbrt-undiv_binary64_13070` `distribute-lft-out--_binary64_12988` `associate-/l_binary64_12981` `associate-l*_binary64_12977`
4×	`cbrt-unprod_binary64_13069` `difference-of-squares_binary64_13005`
3×	`div-inv_binary64_13033` `un-div-inv_binary64_13034` `associate-*r/_binary64_12978` `unswap-sqr_binary64_13004`
2×	`1-exp_binary64_13080` `rec-exp_binary64_13086` `div-sub_binary64_13041` `flip3--_binary64_13040` `associate-/l/_binary64_12983` `flip--_binary64_13011` `distribute-lft-out_binary64_12987`
1×	`frac-2neg_binary64_13047` `clear-num_binary64_13035` `associate-/r_binary64_12980` `pow-prod-down_binary64_13107` `-commutative_binary64_12967` `diff-log_binary64_13128` `sub-neg_binary64_13029` `associate--r-_binary64_12975`

Counts

3 → 109

Calls

3 calls:

15.0ms	(/.f64 (-.f64 y z) (*.f64 (+.f64 (-.f64 t z) 1) (/.f64 1 a)))
14.0ms	(*.f64 (+.f64 (-.f64 t z) 1) (/.f64 1 a))
11.0ms	(-.f64 x (/.f64 (-.f64 y z) (*.f64 (+.f64 (-.f64 t z) 1) (/.f64 1 a))))

Compiler

Compiled 2551 to 1297 computations (49.2% saved)

series1.8s (5.6%)

Error

0.0b

Counts

3 → 76

Calls

3 calls:

930.0ms	(-.f64 x (/.f64 (-.f64 y z) (*.f64 (+.f64 (-.f64 t z) 1) (/.f64 1 a))))
571.0ms	(/.f64 (-.f64 y z) (*.f64 (+.f64 (-.f64 t z) 1) (/.f64 1 a)))
191.0ms	(*.f64 (+.f64 (-.f64 t z) 1) (/.f64 1 a))

Compiler

Compiled 4195 to 2921 computations (30.4% saved)

simplify77.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5199	4799

prune244.0ms (0.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	184	1	185
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	185	4	189

Error

0.0b

Counts

189 → 4

Compiler

Compiled 2639 to 1194 computations (54.8% saved)

regimes8.9s (28%)

Accuracy

Total 0.2b remaining (92.9%)

Threshold costs 0.2b (92.9%)

Compiler

Compiled 86404 to 67685 computations (21.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	78	19
1	78	19

end1.0ms (0%)

Compiler: Compiled 13 to 12 computations (7.7% saved)

sample924.0ms (2.9%)

Algorithm

1×

intervals

Results

363.0ms	7998×	body	128	valid
38.0ms	525×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 122 to 124 computations (-1.6% saved)

Details

analyze1.3s (4.2%)

sample27.0ms (0.1%)

simplify90.0ms (0.3%)

prune3.0ms (0%)

localize15.0ms (0%)

rewrite530.0ms (1.7%)

series1.8s (5.6%)

simplify133.0ms (0.4%)

prune429.0ms (1.3%)

localize11.0ms (0%)

rewrite219.0ms (0.7%)

series2.0s (6.2%)

simplify88.0ms (0.3%)

prune257.0ms (0.8%)

localize20.0ms (0.1%)

rewrite788.0ms (2.5%)

series10.5s (33.2%)

simplify171.0ms (0.5%)

prune1.1s (3.6%)

localize12.0ms (0%)

rewrite275.0ms (0.9%)

series1.8s (5.6%)

simplify77.0ms (0.2%)

prune244.0ms (0.8%)

regimes8.9s (28%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end1.0ms (0%)

sample924.0ms (2.9%)

Profiling