Details

analyze245.0ms (8.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4718	13
1	4718	13
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12
66.6%	0%	33.3%	13
66.6%	0%	33.3%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample14.0ms (0.5%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 23 to 18 computations (21.7% saved)

simplify143.0ms (5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (138.0ms)

Iter	Nodes	Cost
0	4718	13
1	4718	13

prune4.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 → 2

Compiler

Compiled 29 to 24 computations (17.2% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b

(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x)))

0.1b

(*.f64 (*.f64 x x) x)

0.2b

(*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x))

rewrite81.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`pow1_binary64_139`
20×	`add-cbrt-cube_binary64_114`
17×	`add-exp-log_binary64_116`
9×	`pow-prod-down_binary64_149` `prod-exp_binary64_127` `cbrt-unprod_binary64_111`
6×	`add-sqr-sqrt_binary64_100` `pow-prod-up_binary64_148` `pow-plus_binary64_141`
5×	`add-log-exp_binary64_117` `add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
4×	`associate-l_binary64_19` `associate-r_binary64_18`
2×	`*-commutative_binary64_9` `pow2_binary64_159` `pow-sqr_binary64_51`
1×	`pow3_binary64_161` `rem-3cbrt-lft_binary64_103` `unswap-sqr_binary64_46` `diff-log_binary64_170` `flip3--_binary64_82` `sub-neg_binary64_71` `flip--_binary64_53` `cancel-sign-sub-inv_binary64_44`

Counts

3 → 62

Calls

3 calls:

9.0ms

(*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x))

6.0ms

(*.f64 (*.f64 x x) x)

4.0ms

(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x)))

Compiler

Compiled 1069 to 556 computations (48% saved)

series148.0ms (5.1%)

Error

0.0b

Counts

3 → 12

Calls

3 calls:

68.0ms

(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x)))

38.0ms

(*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x))

31.0ms

(*.f64 (*.f64 x x) x)

Compiler

Compiled 269 to 231 computations (14.1% saved)

simplify73.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5400	597

prune66.0ms (2.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	70	4	74
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	70	6	76

Error

0.0b

Counts

76 → 6

Compiler

Compiled 943 to 703 computations (25.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
0.2b	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

rewrite56.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-sqr-sqrt_binary64_100`
12×	`associate-r_binary64_18`
7×	`add-exp-log_binary64_116`
6×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
4×	`add-log-exp_binary64_117` `add-cbrt-cube_binary64_114` `unpow-prod-down_binary64_157` `unswap-sqr_binary64_46` `cube-prod_binary64_106`
3×	`prod-exp_binary64_127` `associate-l_binary64_19`
2×	`pow1_binary64_139` `sqr-pow_binary64_50`
1×	`pow-to-exp_binary64_147` `pow-exp_binary64_146` `cbrt-unprod_binary64_111` `unpow3_binary64_144` `cube-mult_binary64_108` `*-commutative_binary64_9` `diff-log_binary64_170` `flip3--_binary64_82` `sub-neg_binary64_71` `flip--_binary64_53` `cancel-sign-sub-inv_binary64_44`

Counts

2 → 43

Calls

2 calls:

6.0ms	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
4.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))

Compiler

Compiled 700 to 555 computations (20.7% saved)

series121.0ms (4.2%)

Error

0.0b

Counts

2 → 9

Calls

2 calls:

76.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
39.0ms	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

Compiler

Compiled 188 to 162 computations (13.8% saved)

simplify93.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4867	584
1	4867	584

prune49.0ms (1.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	1	3	4
Picked	0	1	1
Done	1	0	1
Total	53	5	58

Error

0.0b

Counts

58 → 5

Compiler

Compiled 735 to 566 computations (23% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 (.f64 4647935950575487/36028797018963968 x) (.f64 x x)))
0.2b	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

rewrite44.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`pow1_binary64_139` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
8×	`pow-prod-down_binary64_149` `prod-exp_binary64_127` `cbrt-unprod_binary64_111`
4×	`add-log-exp_binary64_117`
2×	`add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`
1×	`associate-l_binary64_19` `associate-r_binary64_18` `*-commutative_binary64_9` `diff-log_binary64_170` `flip3--_binary64_82` `sub-neg_binary64_71` `flip--_binary64_53` `cancel-sign-sub-inv_binary64_44`

Counts

2 → 34

Calls

2 calls:

7.0ms	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))
4.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 (.f64 4647935950575487/36028797018963968 x) (.f64 x x)))

Compiler

Compiled 663 to 381 computations (42.5% saved)

series117.0ms (4.1%)

Error

0.0b

Counts

2 → 9

Calls

2 calls:

73.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 (.f64 4647935950575487/36028797018963968 x) (.f64 x x)))
38.0ms	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

Compiler

Compiled 188 to 162 computations (13.8% saved)

simplify80.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5542	478

prune38.0ms (1.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	43	5	48

Error

0.0b

Counts

48 → 5

Compiler

Compiled 576 to 452 computations (21.5% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (cbrt.f64 (.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
30.5b	(cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
30.5b	(cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
30.5b	(cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))

rewrite124.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`pow1_binary64_139`
10×	`add-sqr-sqrt_binary64_100`
9×	`pow1/3_binary64_160`
8×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
7×	`cbrt-prod_binary64_109`
6×	`add-exp-log_binary64_116`
4×	`add-log-exp_binary64_117` `add-cbrt-cube_binary64_114` `swap-sqr_binary64_45` `associate-l_binary64_19` `associate-r_binary64_18`
2×	`pow-prod-down_binary64_149` `pow-prod-up_binary64_148` `pow-sqr_binary64_51`
1×	`pow2_binary64_159` `pow-plus_binary64_141` `prod-exp_binary64_127` `cbrt-unprod_binary64_111` `unswap-sqr_binary64_46` `*-commutative_binary64_9`

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
4.0ms	(cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
3.0ms	(cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
3.0ms	(cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))

Compiler

Compiled 1745 to 1481 computations (15.1% saved)

series175.0ms (6.1%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

52.0ms	(.f64 (cbrt.f64 (.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
39.0ms	(cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
37.0ms	(cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
32.0ms	(cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))

Compiler

Compiled 783 to 673 computations (14% saved)

simplify78.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5101	656

prune103.0ms (3.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	69	6	75

Error

0.0b

Counts

75 → 6

Compiler

Compiled 1697 to 1423 computations (16.1% saved)

regimes108.0ms (3.7%)

Accuracy

Total 0.1b remaining (94.6%)

Threshold costs 0.1b (94.6%)

Compiler

Compiled 1054 to 778 computations (26.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	16
1	56	16

end0.0ms (0%)

sample886.0ms (30.8%)

Algorithm

1×

intervals

Results

223.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 509 to 378 computations (25.7% saved)

Details

analyze245.0ms (8.5%)

sample14.0ms (0.5%)

simplify143.0ms (5%)

prune4.0ms (0.1%)

localize7.0ms (0.2%)

rewrite81.0ms (2.8%)

series148.0ms (5.1%)

simplify73.0ms (2.5%)

prune66.0ms (2.3%)

localize6.0ms (0.2%)

rewrite56.0ms (2%)

series121.0ms (4.2%)

simplify93.0ms (3.2%)

prune49.0ms (1.7%)

localize7.0ms (0.2%)

rewrite44.0ms (1.5%)

series117.0ms (4.1%)

simplify80.0ms (2.8%)

prune38.0ms (1.3%)

localize10.0ms (0.4%)

rewrite124.0ms (4.3%)

series175.0ms (6.1%)

simplify78.0ms (2.7%)

prune103.0ms (3.6%)

regimes108.0ms (3.7%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample886.0ms (30.8%)

Profiling