Details

analyze99.0ms (2.5%)

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)

sample48.0ms (1.2%)

Algorithm

1×

intervals

Results

23.0ms	73×	body	1024	valid
9.0ms	50×	body	512	valid
3.0ms	108×	body	128	valid
3.0ms	6×	body	2048	valid
2.0ms	19×	body	256	valid

Compiler

Compiled 9 to 10 computations (-11.1% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	7	6
1	7	6

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

37.2b

Counts

2 → 1

Compiler

Compiled 8 to 8 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite18.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

37.2b

Rules

4×	`log-prod_binary64_846` `*-un-lft-identity_binary64_760`
2×	`pow1_binary64_821` `log-div_binary64_847` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `add-exp-log_binary64_798`
1×	`log-pow_binary64_849` `flip3-+_binary64_763` `flip-+_binary64_734` `distribute-lft-out_binary64_711` `rem-log-exp_binary64_801` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`

Counts

1 → 15

Calls

1 calls:

4.0ms

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

Compiler

Compiled 152 to 124 computations (18.4% saved)

series41.0ms (1%)

Error

0.0b

Counts

1 → 9

Calls

1 calls:

29.0ms

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

Compiler

Compiled 213 to 180 computations (15.5% saved)

simplify70.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5015	267

prune21.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	4	25

Error

0.0b

Counts

25 → 4

Compiler

Compiled 248 to 182 computations (26.6% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2)
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)))

rewrite112.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
10×	`add-sqr-sqrt_binary64_782`
8×	`add-log-exp_binary64_799`
7×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
6×	`associate-r_binary64_700`
4×	`pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `flip3-+_binary64_763` `associate-r/_binary64_702` `flip-+_binary64_734` `associate-l*_binary64_701`
3×	`distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709`
2×	`unswap-sqr_binary64_728` `*-commutative_binary64_691` `sum-log_binary64_851` `+-commutative_binary64_690` `associate-+l+_binary64_693`

Counts

4 → 69

Calls

4 calls:

14.0ms	(.f64 (.f64 x x) (+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2))
6.0ms	(+.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 1669 to 1121 computations (32.8% saved)

series168.0ms (4.3%)

Error

0.0b

Counts

4 → 22

Calls

4 calls:

54.0ms	(.f64 x (+.f64 1/3 (.f64 x -1/4)))
39.0ms	(.f64 (.f64 x x) (+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2))
32.0ms	(+.f64 1/3 (*.f64 x -1/4))
27.0ms	(+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2)

Compiler

Compiled 748 to 534 computations (28.6% saved)

simplify64.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4942	1313
1	4942	1313

prune88.0ms (2.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	91	4	95

Error

0.0b

Counts

95 → 4

Compiler

Compiled 1777 to 1176 computations (33.8% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(cbrt.f64 (log.f64 (+.f64 x 1)))
5.7b	(log.f64 (+.f64 x 1))
5.7b	(log.f64 (+.f64 x 1))
5.7b	(log.f64 (+.f64 x 1))

rewrite90.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`*-un-lft-identity_binary64_760`
12×	`log-prod_binary64_846`
8×	`pow1_binary64_821` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
7×	`add-exp-log_binary64_798`
6×	`log-div_binary64_847`
4×	`log-pow_binary64_849` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `cbrt-prod_binary64_791`
3×	`flip3-+_binary64_763` `flip-+_binary64_734` `distribute-lft-out_binary64_711` `rem-log-exp_binary64_801`
1×	`pow1/3_binary64_842`

Counts

4 → 57

Calls

4 calls:

3.0ms	(log.f64 (+.f64 x 1))
3.0ms	(log.f64 (+.f64 x 1))
3.0ms	(log.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 (log.f64 (+.f64 x 1)))

Compiler

Compiled 1318 to 1096 computations (16.8% saved)

series198.0ms (5.1%)

Error

0.0b

Counts

4 → 33

Calls

4 calls:

49.0ms	(cbrt.f64 (log.f64 (+.f64 x 1)))
35.0ms	(log.f64 (+.f64 x 1))
35.0ms	(log.f64 (+.f64 x 1))
35.0ms	(log.f64 (+.f64 x 1))

Compiler

Compiled 1756 to 1489 computations (15.2% saved)

simplify74.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5053	1011

prune110.0ms (2.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	1	0	1
Picked	1	0	1
Done	0	2	2
Total	90	4	94

Error

0.0b

Counts

94 → 4

Compiler

Compiled 1979 to 1570 computations (20.7% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

5.7b	(log.f64 (+.f64 x 1))
5.7b	(log.f64 (+.f64 x 1))
5.8b	(log.f64 (sqrt.f64 (+.f64 x 1)))
5.8b	(log.f64 (sqrt.f64 (+.f64 x 1)))

rewrite137.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

22×	`log-prod_binary64_846`
18×	`*-un-lft-identity_binary64_760`
10×	`pow1_binary64_821` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
8×	`log-pow_binary64_849` `log-div_binary64_847` `sqrt-prod_binary64_776` `add-exp-log_binary64_798`
4×	`flip3-+_binary64_763` `sqrt-div_binary64_777` `flip-+_binary64_734` `distribute-lft-out_binary64_711` `rem-log-exp_binary64_801` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
2×	`pow1/2_binary64_840` `sqrt-pow1_binary64_778`

Counts

4 → 70

Calls

4 calls:

4.0ms	(log.f64 (sqrt.f64 (+.f64 x 1)))
4.0ms	(log.f64 (sqrt.f64 (+.f64 x 1)))
3.0ms	(log.f64 (+.f64 x 1))
3.0ms	(log.f64 (+.f64 x 1))

Compiler

Compiled 2128 to 1784 computations (16.2% saved)

series178.0ms (4.6%)

Error

0.0b

Counts

4 → 30

Calls

4 calls:

37.0ms	(log.f64 (+.f64 x 1))
32.0ms	(log.f64 (+.f64 x 1))
32.0ms	(log.f64 (sqrt.f64 (+.f64 x 1)))
27.0ms	(log.f64 (sqrt.f64 (+.f64 x 1)))

Compiler

Compiled 1974 to 1666 computations (15.6% saved)

simplify78.0ms (2%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5021	1178

prune161.0ms (4.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	100	4	104

Error

0.0b

Counts

104 → 4

Compiler

Compiled 2844 to 2327 computations (18.2% saved)

regimes135.0ms (3.5%)

Accuracy

Total 0.1b remaining (84%)

Threshold costs 0.1b (84%)

Compiler

Compiled 993 to 854 computations (14% saved)

bsearch2.0ms (0.1%)

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 (50.3%)

Algorithm

1×

intervals

Results

844.0ms	2607×	body	1024	valid
225.0ms	1378×	body	512	valid
124.0ms	278×	body	2048	valid
94.0ms	3098×	body	128	valid
52.0ms	639×	body	256	valid

Compiler

Compiled 343 to 290 computations (15.5% saved)

Details

analyze99.0ms (2.5%)

sample48.0ms (1.2%)

simplify11.0ms (0.3%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

rewrite18.0ms (0.5%)

series41.0ms (1%)

simplify70.0ms (1.8%)

prune21.0ms (0.5%)

localize9.0ms (0.2%)

rewrite112.0ms (2.9%)

series168.0ms (4.3%)

simplify64.0ms (1.6%)

prune88.0ms (2.3%)

localize7.0ms (0.2%)

rewrite90.0ms (2.3%)

series198.0ms (5.1%)

simplify74.0ms (1.9%)

prune110.0ms (2.8%)

localize12.0ms (0.3%)

rewrite137.0ms (3.5%)

series178.0ms (4.6%)

simplify78.0ms (2%)

prune161.0ms (4.1%)

regimes135.0ms (3.5%)

bsearch2.0ms (0.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.0s (50.3%)

Profiling