Details

analyze94.0ms (2.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	6
1	7	6
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
62.5%	12.5%	25%	4
68.7%	6.2%	25%	5
71.8%	3.1%	25%	6
73.4%	1.6%	25%	7
74.2%	0.8%	25%	8
74.6%	0.4%	25%	9
74.8%	0.2%	25%	10
74.9%	0.1%	25%	11
74.9%	0%	25%	12
74.9%	0%	25%	13
74.9%	0%	25%	14

Compiler

Compiled 5 to 5 computations (0% saved)

sample58.0ms (1.3%)

Algorithm

1×

intervals

Results

34.0ms	93×	body	1024	valid
8.0ms	45×	body	512	valid
3.0ms	7×	body	2048	valid
3.0ms	88×	body	128	valid
2.0ms	23×	body	256	valid

Compiler

Compiled 9 to 10 computations (-11.1% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	6
1	7	6

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

41.3b

Counts

2 → 1

Compiler

Compiled 8 to 8 computations (0% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

4.4b	(log.f64 (+.f64 1 x))

rewrite17.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

41.3b

Rules

4×	`log-prod_binary64_2210` `*-un-lft-identity_binary64_2124`
2×	`pow1_binary64_2185` `log-div_binary64_2211` `add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `add-exp-log_binary64_2162`
1×	`log-pow_binary64_2213` `flip3-+_binary64_2127` `flip-+_binary64_2098` `distribute-lft-out_binary64_2075` `rem-log-exp_binary64_2165` `add-log-exp_binary64_2163` `add-cbrt-cube_binary64_2160`

Counts

1 → 15

Calls

1 calls:

4.0ms

(log.f64 (+.f64 1 x))

Compiler

Compiled 152 to 124 computations (18.4% saved)

series33.0ms (0.7%)

Error

0.0b

Counts

1 → 7

Calls

1 calls:

25.0ms

(log.f64 (+.f64 1 x))

Compiler

Compiled 149 to 126 computations (15.4% saved)

simplify68.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5002	222

prune19.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	20	2	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	3	23

Error

0.0b

Counts

23 → 3

Compiler

Compiled 205 to 153 computations (25.4% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 1/3 (*.f64 x -1/4))
0.1b	(.f64 (.f64 x x) (+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2))
0.2b	(.f64 x (+.f64 1/3 (.f64 x -1/4)))

rewrite83.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

10×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
9×	`add-sqr-sqrt_binary64_2146`
6×	`add-cube-cbrt_binary64_2159` `-un-lft-identity_binary64_2124` `associate-r*_binary64_2064`
5×	`add-log-exp_binary64_2163`
4×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157` `associate-r/_binary64_2066` `associate-l*_binary64_2065`
3×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
2×	`unswap-sqr_binary64_2092` `distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073` `*-commutative_binary64_2055`
1×	`sum-log_binary64_2215` `+-commutative_binary64_2054`

Counts

3 → 56

Calls

3 calls:

11.0ms	(.f64 (.f64 x x) (+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2))
6.0ms	(.f64 x (+.f64 1/3 (.f64 x -1/4)))
3.0ms	(+.f64 1/3 (*.f64 x -1/4))

Compiler

Compiled 1349 to 901 computations (33.2% saved)

series129.0ms (2.9%)

Error

0.0b

Counts

3 → 17

Calls

3 calls:

52.0ms	(.f64 x (+.f64 1/3 (.f64 x -1/4)))
35.0ms	(.f64 (.f64 x x) (+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2))
31.0ms	(+.f64 1/3 (*.f64 x -1/4))

Compiler

Compiled 587 to 425 computations (27.6% saved)

simplify93.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4899	1038
1	4899	1038

prune69.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	73	3	76

Error

0.0b

Counts

76 → 3

Compiler

Compiled 1422 to 949 computations (33.3% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 x x) x)
0.3b	(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
14.2b	(log.f64 (+.f64 (pow.f64 x 3) 1))
14.6b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

rewrite132.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`*-un-lft-identity_binary64_2124`
16×	`log-prod_binary64_2210`
13×	`add-sqr-sqrt_binary64_2146`
11×	`pow1_binary64_2185`
10×	`add-cube-cbrt_binary64_2159`
8×	`log-div_binary64_2211`
7×	`log-pow_binary64_2213` `cancel-sign-sub-inv_binary64_2090`
6×	`add-exp-log_binary64_2162` `add-log-exp_binary64_2163`
4×	`flip3-+_binary64_2127` `flip-+_binary64_2098` `distribute-lft-out_binary64_2075` `add-cbrt-cube_binary64_2160` `distribute-lft-out--_binary64_2076` `associate--l+_binary64_2061` `associate--r+_binary64_2060`
2×	`rem-log-exp_binary64_2165` `diff-log_binary64_2216` `flip3--_binary64_2128` `sub-neg_binary64_2117` `flip--_binary64_2099` `difference-of-squares_binary64_2093` `associate--r-_binary64_2063` `associate--l-_binary64_2062`
1×	`distribute-rgt-out--_binary64_2078`

Counts

4 → 78

Calls

4 calls:

16.0ms	(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
6.0ms	(log.f64 (+.f64 (pow.f64 x 3) 1))
6.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
5.0ms	(-.f64 (*.f64 x x) x)

Compiler

Compiled 1930 to 1206 computations (37.5% saved)

series310.0ms (6.9%)

Error

0.0b

Counts

4 → 28

Calls

4 calls:

170.0ms	(log.f64 (+.f64 (pow.f64 x 3) 1))
42.0ms	(-.f64 (*.f64 x x) x)
39.0ms	(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
36.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

Compiler

Compiled 1005 to 822 computations (18.2% saved)

simplify120.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4884	1811
1	4884	1811

prune108.0ms (2.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	105	4	109

Error

0.0b

Counts

109 → 4

Compiler

Compiled 2151 to 1372 computations (36.2% saved)

localize25.0ms (0.6%)

Local error

Found 4 expressions with local error:

14.2b	(log.f64 (+.f64 (pow.f64 x 3) 1))
14.6b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
14.6b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
14.6b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

rewrite203.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`log-prod_binary64_2210` `*-un-lft-identity_binary64_2124`
8×	`pow1_binary64_2185` `log-div_binary64_2211` `add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `add-exp-log_binary64_2162`
4×	`log-pow_binary64_2213` `flip3-+_binary64_2127` `flip-+_binary64_2098` `distribute-lft-out_binary64_2075` `rem-log-exp_binary64_2165` `add-log-exp_binary64_2163` `add-cbrt-cube_binary64_2160`

Counts

4 → 60

Calls

4 calls:

7.0ms	(log.f64 (+.f64 (pow.f64 x 3) 1))
6.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
6.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
6.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

Compiler

Compiled 3790 to 2500 computations (34% saved)

series421.0ms (9.4%)

Error

0.0b

Counts

4 → 32

Calls

4 calls:

182.0ms	(log.f64 (+.f64 (pow.f64 x 3) 1))
55.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
51.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
50.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

Compiler

Compiled 4137 to 3106 computations (24.9% saved)

simplify72.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4905	1466
1	4905	1466

prune279.0ms (6.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	92	4	96

Error

0.0b

Counts

96 → 4

Compiler

Compiled 5402 to 3653 computations (32.4% saved)

regimes122.0ms (2.7%)

Accuracy

Total 0.1b remaining (87%)

Threshold costs 0.1b (87%)

Compiler

Compiled 908 to 750 computations (17.4% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	37
1	27	37

end0.0ms (0%)

sample2.0s (44.5%)

Algorithm

1×

intervals

Results

907.0ms	2729×	body	1024	valid
224.0ms	1347×	body	512	valid
117.0ms	261×	body	2048	valid
90.0ms	3045×	body	128	valid
56.0ms	618×	body	256	valid

Compiler

Compiled 315 to 256 computations (18.7% saved)

Details

analyze94.0ms (2.1%)

sample58.0ms (1.3%)

simplify7.0ms (0.2%)

prune2.0ms (0%)

localize3.0ms (0.1%)

rewrite17.0ms (0.4%)

series33.0ms (0.7%)

simplify68.0ms (1.5%)

prune19.0ms (0.4%)

localize9.0ms (0.2%)

rewrite83.0ms (1.9%)

series129.0ms (2.9%)

simplify93.0ms (2.1%)

prune69.0ms (1.5%)

localize10.0ms (0.2%)

rewrite132.0ms (2.9%)

series310.0ms (6.9%)

simplify120.0ms (2.7%)

prune108.0ms (2.4%)

localize25.0ms (0.6%)

rewrite203.0ms (4.5%)

series421.0ms (9.4%)

simplify72.0ms (1.6%)

prune279.0ms (6.2%)

regimes122.0ms (2.7%)

bsearch2.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.0s (44.5%)

Profiling