Details

analyze443.0ms (7.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	74.9%	25.1%	5
0%	74.9%	25.1%	6
0%	74.9%	25.1%	7
6.2%	56.2%	37.6%	8
7.8%	53%	39.2%	9
10.9%	45.6%	43.4%	10
18.3%	31.4%	50.3%	11
19.1%	29.5%	51.3%	12
21.4%	24.8%	53.8%	13
25.8%	16.7%	57.5%	14

Compiler

Compiled 25 to 21 computations (16% saved)

sample33.0ms (0.5%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
3.0ms	39×	body	128	invalid
2.0ms	31×	body	128	nan

Compiler

Compiled 49 to 44 computations (10.2% saved)

simplify193.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4823	36
1	4823	36

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

4.6b

Counts

2 → 1

Compiler

Compiled 48 to 40 computations (16.7% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z)
0.2b	(*.f64 (-.f64 x 1/2) (log.f64 x))
0.2b	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
4.0b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)

rewrite49.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_12035`
23×	`*-un-lft-identity_binary64_12013`
21×	`add-cube-cbrt_binary64_12048`
12×	`log-prod_binary64_12099`
10×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
9×	`times-frac_binary64_12019` `pow1_binary64_12074`
8×	`associate-l_binary64_11954`
7×	`associate-r_binary64_11953`
6×	`distribute-lft-in_binary64_11962` `add-log-exp_binary64_12052` `associate--l+_binary64_11950` `distribute-rgt-in_binary64_11963`
4×	`associate-*l/_binary64_11956`
3×	`cancel-sign-sub-inv_binary64_11979` `associate-/r_binary64_11957` `flip3--_binary64_12017` `flip--_binary64_11988` `associate-/l_binary64_11958`
2×	`*-commutative_binary64_11944` `unswap-sqr_binary64_11981` `pow-prod-down_binary64_12084` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062` `associate-/l/_binary64_11960`
1×	`flip3-+_binary64_12016` `clear-num_binary64_12012` `div-exp_binary64_12064` `log-pow_binary64_12102` `div-inv_binary64_12010` `flip-+_binary64_11987` `difference-of-squares_binary64_11982` `cbrt-undiv_binary64_12047` `distribute-lft-out--_binary64_11965` `diff-log_binary64_12105` `frac-2neg_binary64_12024` `sub-neg_binary64_12006`

Counts

4 → 98

Calls

4 calls:

13.0ms	(.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z)
12.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
8.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
8.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))

series359.0ms (5.8%)

Counts

4 → 12

Calls

4 calls:

165.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
93.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))
69.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
32.0ms	(.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z)

simplify68.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4996	2072
1	4996	2072

prune220.0ms (3.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	98	12	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	12	111

Error

3.5b

Counts

111 → 12

Compiler

Compiled 3932 to 2699 computations (31.4% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
4.0b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)

rewrite23.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
9×	`times-frac_binary64_12019` `cbrt-prod_binary64_12044`
6×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
4×	`add-log-exp_binary64_12052` `pow1_binary64_12074`
3×	`associate-/r_binary64_11957` `pow1/3_binary64_12095` `associate-/l_binary64_11958`
2×	`associate-/l/_binary64_11960`
1×	`flip3-+_binary64_12016` `clear-num_binary64_12012` `div-exp_binary64_12064` `div-inv_binary64_12010` `flip-+_binary64_11987` `cbrt-undiv_binary64_12047` `frac-2neg_binary64_12024`

Counts

4 → 62

Calls

4 calls:

12.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

series316.0ms (5.1%)

Counts

4 → 12

Calls

4 calls:

82.0ms	(cbrt.f64 x)
80.0ms	(cbrt.f64 x)
79.0ms	(cbrt.f64 x)
75.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)

simplify85.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4922	1155
1	4922	1155

prune146.0ms (2.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	75	11	86

Error

3.5b

Counts

86 → 11

Compiler

Compiled 3559 to 2197 computations (38.3% saved)

localize29.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
4.0b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
4.9b	(pow.f64 x 1/3)

rewrite23.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
9×	`times-frac_binary64_12019`
7×	`add-exp-log_binary64_12051`
6×	`add-cbrt-cube_binary64_12049` `cbrt-prod_binary64_12044`
5×	`pow1_binary64_12074`
4×	`add-log-exp_binary64_12052`
3×	`unpow-prod-down_binary64_12092` `associate-/r_binary64_11957` `associate-/l_binary64_11958` `pow-unpow_binary64_12090`
2×	`pow1/3_binary64_12095` `associate-/l/_binary64_11960`
1×	`flip3-+_binary64_12016` `clear-num_binary64_12012` `div-exp_binary64_12064` `sqr-pow_binary64_11985` `div-inv_binary64_12010` `flip-+_binary64_11987` `cbrt-undiv_binary64_12047` `frac-2neg_binary64_12024` `pow-to-exp_binary64_12082` `pow-pow_binary64_12085` `unpow1/3_binary64_12080` `pow-exp_binary64_12081`

Counts

4 → 69

Calls

4 calls:

11.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
2.0ms	(pow.f64 x 1/3)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

series309.0ms (5%)

Counts

4 → 12

Calls

4 calls:

80.0ms	(cbrt.f64 x)
78.0ms	(cbrt.f64 x)
77.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
73.0ms	(pow.f64 x 1/3)

simplify60.0ms (1%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4900	1164
1	4900	1164

prune167.0ms (2.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	81	11	92

Error

3.5b

Counts

92 → 11

Compiler

Compiled 3841 to 2522 computations (34.3% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
4.0b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
4.9b	(pow.f64 (pow.f64 x (sqrt.f64 1/3)) (sqrt.f64 1/3))
5.7b	(pow.f64 x (sqrt.f64 1/3))

rewrite33.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
13×	`unpow-prod-down_binary64_12092`
12×	`pow-unpow_binary64_12090`
9×	`times-frac_binary64_12019` `add-exp-log_binary64_12051`
6×	`add-cbrt-cube_binary64_12049` `sqrt-prod_binary64_12029`
5×	`pow1_binary64_12074` `pow-exp_binary64_12081`
4×	`add-log-exp_binary64_12052`
3×	`cbrt-prod_binary64_12044` `associate-/r_binary64_11957` `sqr-pow_binary64_11985` `associate-/l_binary64_11958` `pow-to-exp_binary64_12082`
2×	`pow-pow_binary64_12085` `associate-/l/_binary64_11960`
1×	`flip3-+_binary64_12016` `clear-num_binary64_12012` `div-exp_binary64_12064` `pow1/3_binary64_12095` `div-inv_binary64_12010` `flip-+_binary64_11987` `cbrt-undiv_binary64_12047` `frac-2neg_binary64_12024`

Counts

4 → 86

Calls

4 calls:

12.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
4.0ms	(pow.f64 (pow.f64 x (sqrt.f64 1/3)) (sqrt.f64 1/3))
3.0ms	(pow.f64 x (sqrt.f64 1/3))
1.0ms	(cbrt.f64 x)

series459.0ms (7.5%)

Counts

4 → 12

Calls

4 calls:

216.0ms	(pow.f64 (pow.f64 x (sqrt.f64 1/3)) (sqrt.f64 1/3))
87.0ms	(cbrt.f64 x)
83.0ms	(pow.f64 x (sqrt.f64 1/3))
72.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)

simplify41.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5229	1520

prune205.0ms (3.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	98	11	109

Error

3.5b

Counts

109 → 11

Compiler

Compiled 4547 to 3035 computations (33.3% saved)

regimes688.0ms (11.2%)

Accuracy

Total 2.1b remaining (36.3%)

Threshold costs 0b (0%)

Compiler

Compiled 10789 to 8522 computations (21% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	57
1	63	57

end0.0ms (0%)

sample2.1s (34.5%)

Algorithm

1×

intervals

Results

573.0ms	8000×	body	128	valid
93.0ms	1245×	body	128	invalid
46.0ms	743×	body	128	nan

Compiler

Compiled 1615 to 1276 computations (21% saved)

Details

analyze443.0ms (7.2%)

sample33.0ms (0.5%)

simplify193.0ms (3.1%)

prune3.0ms (0.1%)

localize17.0ms (0.3%)

rewrite49.0ms (0.8%)

series359.0ms (5.8%)

simplify68.0ms (1.1%)

prune220.0ms (3.6%)

localize27.0ms (0.4%)

rewrite23.0ms (0.4%)

series316.0ms (5.1%)

simplify85.0ms (1.4%)

prune146.0ms (2.4%)

localize29.0ms (0.5%)

rewrite23.0ms (0.4%)

series309.0ms (5%)

simplify60.0ms (1%)

prune167.0ms (2.7%)

localize31.0ms (0.5%)

rewrite33.0ms (0.5%)

series459.0ms (7.5%)

simplify41.0ms (0.7%)

prune205.0ms (3.3%)

regimes688.0ms (11.2%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.1s (34.5%)

Profiling