Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample88.0ms (1.7%)

Algorithm

1×

intervals

Results

53.0ms	132×	body	1024	valid
18.0ms	63×	body	512	valid
6.0ms	11×	body	2048	valid
3.0ms	25×	body	256	valid
1.0ms	25×	body	128	valid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify180.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	450	15
1	450	15

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 57.8b

Counts

2 → 1

Compiler

Compiled 20 to 18 computations (10% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
5.6b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite30.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`*-un-lft-identity_binary64_760`
52×	`add-sqr-sqrt_binary64_782`
48×	`times-frac_binary64_766`
30×	`log-prod_binary64_846`
25×	`add-cube-cbrt_binary64_795`
18×	`difference-of-squares_binary64_729`
13×	`distribute-lft-out_binary64_711`
9×	`distribute-lft-out--_binary64_712`
7×	`add-exp-log_binary64_798`
6×	`associate-/r*_binary64_704`
4×	`associate-/r/_binary64_706` `add-cbrt-cube_binary64_796` `associate-/l*_binary64_705`
3×	`pow1_binary64_821`
2×	`associate-/l/_binary64_707` `add-log-exp_binary64_799` `div-inv_binary64_757` `rem-log-exp_binary64_801` `div-exp_binary64_811` `flip--_binary64_735` `flip3--_binary64_764`
1×	`log-div_binary64_847` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `flip3-+_binary64_763` `flip-+_binary64_734` `log-pow_binary64_849` `clear-num_binary64_759`

Counts

2 → 91

Calls

2 calls:

12.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
9.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

series79.0ms (1.5%)

Counts

2 → 6

Calls

2 calls:

53.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
26.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

simplify85.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5296	1898

prune125.0ms (2.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	94	3	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	3	98

Merged error: 0b

Counts

98 → 3

Compiler

Compiled 1747 to 1394 computations (20.2% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 (pow.f64 x 3) 2/3) (.f64 2/5 (pow.f64 x 5)))
0.1b	(*.f64 2/5 (pow.f64 x 5))
0.1b	(*.f64 (pow.f64 x 3) 2/3)

rewrite25.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_782`
15×	`associate-l_binary64_701`
13×	`add-exp-log_binary64_798`
10×	`-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `associate-r*_binary64_700`
8×	`unpow-prod-down_binary64_839`
7×	`unswap-sqr_binary64_728` `add-cbrt-cube_binary64_796`
6×	`prod-exp_binary64_809`
5×	`add-log-exp_binary64_799`
4×	`sqr-pow_binary64_732` `cube-prod_binary64_788`
3×	`pow1_binary64_821`
2×	`pow-exp_binary64_828` `pow-to-exp_binary64_829` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
1×	`cube-mult_binary64_790` `flip3-+_binary64_763` `unpow3_binary64_826` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851`

Counts

3 → 67

Calls

3 calls:

7.0ms	(*.f64 (pow.f64 x 3) 2/3)
6.0ms	(+.f64 (.f64 (pow.f64 x 3) 2/3) (.f64 2/5 (pow.f64 x 5)))
6.0ms	(*.f64 2/5 (pow.f64 x 5))

series301.0ms (5.7%)

Counts

3 → 9

Calls

3 calls:

190.0ms	(+.f64 (.f64 (pow.f64 x 3) 2/3) (.f64 2/5 (pow.f64 x 5)))
63.0ms	(*.f64 2/5 (pow.f64 x 5))
48.0ms	(*.f64 (pow.f64 x 3) 2/3)

simplify95.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4838	889
1	4838	889

prune91.0ms (1.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	76	3	79

Merged error: 0b

Counts

79 → 3

Compiler

Compiled 1683 to 1225 computations (27.2% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))
0.0b	(/.f64 (-.f64 1 x) (+.f64 1 x))
5.6b	(log.f64 (/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x))))

rewrite83.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

372×	`times-frac_binary64_766`
351×	`*-un-lft-identity_binary64_760`
253×	`add-sqr-sqrt_binary64_782`
154×	`add-cube-cbrt_binary64_795`
95×	`log-prod_binary64_846`
66×	`difference-of-squares_binary64_729`
49×	`distribute-lft-out_binary64_711`
34×	`associate-/r*_binary64_704`
33×	`distribute-lft-out--_binary64_712`
28×	`add-exp-log_binary64_798`
18×	`associate-/r/_binary64_706`
15×	`div-exp_binary64_811`
10×	`div-inv_binary64_757` `add-cbrt-cube_binary64_796`
9×	`associate-/l*_binary64_705`
8×	`flip3-+_binary64_763` `flip-+_binary64_734`
7×	`rem-log-exp_binary64_801`
6×	`pow1_binary64_821`
4×	`cbrt-undiv_binary64_794` `rec-exp_binary64_810` `1-exp_binary64_804`
3×	`add-log-exp_binary64_799` `log-pow_binary64_849`
2×	`frac-2neg_binary64_771` `associate-/l/_binary64_707` `inv-pow_binary64_845` `clear-num_binary64_759` `pow-flip_binary64_834`
1×	`log-div_binary64_847` `log-rec_binary64_848` `div-sub_binary64_765` `flip--_binary64_735` `flip3--_binary64_764`

Counts

3 → 309

Calls

3 calls:

16.0ms	(log.f64 (/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x))))
14.0ms	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))
9.0ms	(/.f64 (-.f64 1 x) (+.f64 1 x))

series106.0ms (2%)

Counts

3 → 9

Calls

3 calls:

57.0ms	(log.f64 (/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x))))
25.0ms	(/.f64 (-.f64 1 x) (+.f64 1 x))
23.0ms	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 1 x)))

simplify117.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

318 → 318

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4966	7276
1	4966	7276

prune431.0ms (8.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	317	1	318
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	318	3	321

Merged error: 0b

Counts

321 → 3

Compiler

Compiled 6437 to 5250 computations (18.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 1 x) (+.f64 1 x))
5.6b	(log.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))

rewrite28.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`*-un-lft-identity_binary64_760`
52×	`add-sqr-sqrt_binary64_782`
48×	`times-frac_binary64_766`
30×	`log-prod_binary64_846`
25×	`add-cube-cbrt_binary64_795`
18×	`difference-of-squares_binary64_729`
13×	`distribute-lft-out_binary64_711`
9×	`distribute-lft-out--_binary64_712`
7×	`add-exp-log_binary64_798`
6×	`associate-/l*_binary64_705`
4×	`associate-/r/_binary64_706` `associate-/r*_binary64_704` `add-cbrt-cube_binary64_796`
3×	`pow1_binary64_821`
2×	`flip3-+_binary64_763` `associate-/l/_binary64_707` `add-log-exp_binary64_799` `div-inv_binary64_757` `flip-+_binary64_734` `rem-log-exp_binary64_801` `div-exp_binary64_811`
1×	`log-div_binary64_847` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `log-pow_binary64_849` `div-sub_binary64_765` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`

Counts

2 → 92

Calls

2 calls:

9.0ms	(/.f64 (-.f64 1 x) (+.f64 1 x))
9.0ms	(log.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))

series77.0ms (1.5%)

Counts

2 → 6

Calls

2 calls:

54.0ms	(log.f64 (/.f64 (-.f64 1 x) (+.f64 1 x)))
23.0ms	(/.f64 (-.f64 1 x) (+.f64 1 x))

simplify70.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5326	1892

prune101.0ms (1.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	98	3	101

Merged error: 0b

Counts

101 → 3

Compiler

Compiled 1797 to 1447 computations (19.5% saved)

regimes166.0ms (3.1%)

Compiler: Compiled 1732 to 1505 computations (13.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	25
1	20	25

end0.0ms (0%)

sample3.0s (56.3%)

Algorithm

1×

intervals

Results

1.6s	4011×	body	1024	valid
434.0ms	1957×	body	512	valid
237.0ms	406×	body	2048	valid
126.0ms	1016×	body	256	valid
36.0ms	610×	body	128	valid

Compiler

Compiled 402 to 349 computations (13.2% saved)

Details

analyze5.0ms (0.1%)

sample88.0ms (1.7%)

simplify180.0ms (3.4%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

rewrite30.0ms (0.6%)

series79.0ms (1.5%)

simplify85.0ms (1.6%)

prune125.0ms (2.4%)

localize11.0ms (0.2%)

rewrite25.0ms (0.5%)

series301.0ms (5.7%)

simplify95.0ms (1.8%)

prune91.0ms (1.7%)

localize8.0ms (0.1%)

rewrite83.0ms (1.6%)

series106.0ms (2%)

simplify117.0ms (2.2%)

prune431.0ms (8.1%)

localize7.0ms (0.1%)

rewrite28.0ms (0.5%)

series77.0ms (1.5%)

simplify70.0ms (1.3%)

prune101.0ms (1.9%)

regimes166.0ms (3.1%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample3.0s (56.3%)

Profiling