Details

analyze2.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample19.0ms (0.5%)

Algorithm

1×

intervals

Results

7.0ms	70×	body	1024	valid
4.0ms	141×	body	128	valid
2.0ms	24×	body	512	valid
1.0ms	9×	body	2048	valid
1.0ms	12×	body	256	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify177.0ms (4.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	71	11
1	71	11

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

Merged error: 28.7b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
3.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite18.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_454`
16×	`*-un-lft-identity_binary64_423`
15×	`add-sqr-sqrt_binary64_445`
7×	`add-cube-cbrt_binary64_458`
6×	`cancel-sign-sub-inv_binary64_389`
5×	`add-log-exp_binary64_462`
4×	`difference-of-squares_binary64_392`
3×	`pow1_binary64_484` `distribute-lft-out--_binary64_375` `add-exp-log_binary64_461` `add-cbrt-cube_binary64_459`
2×	`cbrt-div_binary64_455` `distribute-lft-out_binary64_374` `pow1/3_binary64_505`
1×	`sub-neg_binary64_416` `flip-+_binary64_397` `diff-log_binary64_515` `flip3--_binary64_427` `flip3-+_binary64_426` `flip--_binary64_398`

Counts

3 → 49

Calls

3 calls:

10.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
4.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

series311.0ms (7.9%)

Counts

3 → 9

Calls

3 calls:

163.0ms	(cbrt.f64 x)
102.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
45.0ms	(cbrt.f64 (+.f64 x 1))

simplify72.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5137	758

prune119.0ms (3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	53	5	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	53	6	59

Merged error: 0.3b

Counts

59 → 6

Compiler

Compiled 1550 to 1169 computations (24.6% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
2.5b	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
3.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite36.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`cbrt-prod_binary64_454`
28×	`*-un-lft-identity_binary64_423` `add-sqr-sqrt_binary64_445`
12×	`add-cube-cbrt_binary64_458` `cancel-sign-sub-inv_binary64_389`
11×	`log-pow_binary64_512`
10×	`log-prod_binary64_509` `exp-prod_binary64_475`
8×	`difference-of-squares_binary64_392`
7×	`exp-sum_binary64_469`
6×	`distribute-lft-out--_binary64_375` `add-log-exp_binary64_462`
5×	`pow1_binary64_484`
4×	`add-exp-log_binary64_461` `add-cbrt-cube_binary64_459`
3×	`distribute-lft-out_binary64_374`
2×	`sub-neg_binary64_416` `cbrt-div_binary64_455` `pow1/3_binary64_505`
1×	`flip-+_binary64_397` `diff-log_binary64_515` `exp-diff_binary64_471` `flip3--_binary64_427` `flip3-+_binary64_426` `rem-log-exp_binary64_464` `log-div_binary64_510` `flip--_binary64_398`

Counts

4 → 79

Calls

4 calls:

13.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
12.0ms	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

series480.0ms (12.3%)

Counts

4 → 12

Calls

4 calls:

185.0ms	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
154.0ms	(cbrt.f64 x)
102.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
39.0ms	(cbrt.f64 (+.f64 x 1))

simplify65.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4856	1279
1	4856	1279

prune81.0ms (2.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	91	6	97

Merged error: 0.3b

Counts

97 → 6

Compiler

Compiled 1365 to 930 computations (31.9% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
3.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite36.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64_445`
34×	`*-un-lft-identity_binary64_423` `cbrt-prod_binary64_454`
12×	`difference-of-squares_binary64_392`
11×	`add-cube-cbrt_binary64_458`
10×	`cube-prod_binary64_451` `unpow-prod-down_binary64_502`
9×	`distribute-lft-out--_binary64_375`
6×	`cancel-sign-sub-inv_binary64_389` `add-log-exp_binary64_462`
5×	`pow1_binary64_484` `add-exp-log_binary64_461` `add-cbrt-cube_binary64_459`
4×	`distribute-lft-out_binary64_374`
3×	`pow-unpow_binary64_500`
2×	`cbrt-div_binary64_455` `pow1/3_binary64_505` `flip3--_binary64_427` `flip--_binary64_398` `cube-div_binary64_452`
1×	`sub-neg_binary64_416` `pow-to-exp_binary64_492` `flip-+_binary64_397` `diff-log_binary64_515` `unpow3_binary64_489` `pow-exp_binary64_491` `flip3-+_binary64_426` `pow-pow_binary64_495` `cube-mult_binary64_453` `rem-cube-cbrt_binary64_446` `sqr-pow_binary64_395`

Counts

4 → 88

Calls

4 calls:

12.0ms	(pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)
11.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
4.0ms	(cbrt.f64 (+.f64 x 1))
2.0ms	(cbrt.f64 x)

series595.0ms (15.2%)

Counts

4 → 12

Calls

4 calls:

292.0ms	(pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)
153.0ms	(cbrt.f64 x)
108.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
41.0ms	(cbrt.f64 (+.f64 x 1))

simplify72.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4936	1904
1	4936	1904

prune137.0ms (3.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	97	3	100
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	98	8	106

Merged error: 0.3b

Counts

106 → 8

Compiler

Compiled 2185 to 1617 computations (26% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (cbrt.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)) 3)
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
3.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite49.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

102×	`cbrt-prod_binary64_454`
57×	`add-sqr-sqrt_binary64_445`
54×	`*-un-lft-identity_binary64_423`
49×	`cube-prod_binary64_451` `unpow-prod-down_binary64_502`
20×	`difference-of-squares_binary64_392`
17×	`add-cube-cbrt_binary64_458`
15×	`distribute-lft-out--_binary64_375`
6×	`cancel-sign-sub-inv_binary64_389` `distribute-lft-out_binary64_374` `add-log-exp_binary64_462`
5×	`pow1_binary64_484` `add-exp-log_binary64_461`
4×	`cbrt-div_binary64_455` `add-cbrt-cube_binary64_459` `cube-div_binary64_452`
3×	`unpow3_binary64_489` `pow1/3_binary64_505` `pow-unpow_binary64_500` `cube-mult_binary64_453` `sqr-pow_binary64_395`
2×	`flip3--_binary64_427` `pow-pow_binary64_495` `flip--_binary64_398`
1×	`sub-neg_binary64_416` `pow-to-exp_binary64_492` `flip-+_binary64_397` `diff-log_binary64_515` `pow-exp_binary64_491` `flip3-+_binary64_426` `rem-cube-cbrt_binary64_446`

Counts

4 → 127

Calls

4 calls:

19.0ms	(pow.f64 (cbrt.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)) 3)
11.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
4.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

series569.0ms (14.5%)

Counts

4 → 12

Calls

4 calls:

271.0ms	(pow.f64 (cbrt.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)) 3)
150.0ms	(cbrt.f64 x)
108.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
39.0ms	(cbrt.f64 (+.f64 x 1))

simplify62.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4989	2832
1	4989	2832

prune168.0ms (4.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	138	1	139
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	139	8	147

Merged error: 0.2b

Counts

147 → 8

Compiler

Compiled 2760 to 2035 computations (26.3% saved)

regimes62.0ms (1.6%)

Compiler: Compiled 321 to 275 computations (14.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	52
1	35	52

end0.0ms (0%)

sample745.0ms (19%)

Algorithm

1×

intervals

Results

197.0ms	2064×	body	1024	valid
117.0ms	4209×	body	128	valid
69.0ms	990×	body	512	valid
31.0ms	225×	body	2048	valid
24.0ms	512×	body	256	valid

Compiler

Compiled 166 to 135 computations (18.7% saved)

Details

analyze2.0ms (0%)

sample19.0ms (0.5%)

simplify177.0ms (4.5%)

prune2.0ms (0.1%)

localize6.0ms (0.1%)

rewrite18.0ms (0.5%)

series311.0ms (7.9%)

simplify72.0ms (1.8%)

prune119.0ms (3%)

localize9.0ms (0.2%)

rewrite36.0ms (0.9%)

series480.0ms (12.3%)

simplify65.0ms (1.7%)

prune81.0ms (2.1%)

localize8.0ms (0.2%)

rewrite36.0ms (0.9%)

series595.0ms (15.2%)

simplify72.0ms (1.8%)

prune137.0ms (3.5%)

localize11.0ms (0.3%)

rewrite49.0ms (1.3%)

series569.0ms (14.5%)

simplify62.0ms (1.6%)

prune168.0ms (4.3%)

regimes62.0ms (1.6%)

bsearch1.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample745.0ms (19%)

Profiling