Details

analyze2.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 11 to 12 computations (-9.1% saved)

sample34.0ms (1.2%)

Algorithm

1×

intervals

Results

16.0ms	76×	body	1024	valid
5.0ms	134×	body	128	valid
3.0ms	27×	body	512	valid
3.0ms	6×	body	2048	valid
1.0ms	13×	body	256	valid

Compiler

Compiled 21 to 25 computations (-19% saved)

simplify266.0ms (9.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	4687	15
1	4687	15

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: 29.5b

Counts

2 → 1

Compiler

Compiled 20 to 22 computations (-10% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
0.0b	(+.f64 1 (exp.f64 (*.f64 -2 x)))
2.5b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

rewrite27.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`*-un-lft-identity_binary64_414`
23×	`add-sqr-sqrt_binary64_435`
15×	`times-frac_binary64_420`
12×	`add-cube-cbrt_binary64_446`
7×	`add-log-exp_binary64_450`
5×	`add-exp-log_binary64_449` `add-cbrt-cube_binary64_447` `distribute-lft-out_binary64_367`
4×	`difference-of-squares_binary64_383` `associate-/r*_binary64_360`
3×	`pow1_binary64_472` `associate-/l*_binary64_361`
2×	`associate-/r/_binary64_362` `flip3-+_binary64_417` `flip-+_binary64_388` `difference-of-sqr-1_binary64_384`
1×	`flip3--_binary64_418` `clear-num_binary64_413` `distribute-lft-out--_binary64_368` `diff-log_binary64_503` `div-inv_binary64_411` `+-commutative_binary64_346` `cbrt-undiv_binary64_445` `sub-neg_binary64_407` `frac-2neg_binary64_425` `flip--_binary64_389` `sum-log_binary64_502` `div-exp_binary64_462`

Counts

3 → 63

Calls

3 calls:

12.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
6.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
4.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

series166.0ms (5.9%)

Counts

3 → 9

Calls

3 calls:

95.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
58.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
13.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

simplify76.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4900	1370
1	4900	1370

prune92.0ms (3.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	2	73

Merged error: 0b

Counts

73 → 2

Compiler

Compiled 1245 to 1128 computations (9.4% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 1 (exp.f64 (*.f64 -2 x)))
0.0b	(+.f64 1 (exp.f64 (*.f64 -2 x)))
0.5b	(/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
2.5b	(-.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (.f64 -2 x))))) (sqrt.f64 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)

rewrite110.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`add-sqr-sqrt_binary64_435`
51×	`times-frac_binary64_420`
41×	`*-un-lft-identity_binary64_414`
31×	`sqrt-prod_binary64_429`
20×	`add-cube-cbrt_binary64_446`
14×	`difference-of-squares_binary64_383`
10×	`add-log-exp_binary64_450`
7×	`difference-of-sqr-1_binary64_384` `associate-/r*_binary64_360`
6×	`add-exp-log_binary64_449` `add-cbrt-cube_binary64_447` `distribute-lft-out_binary64_367`
4×	`pow1_binary64_472`
3×	`flip3-+_binary64_417` `flip-+_binary64_388` `associate-/l*_binary64_361`
2×	`associate-/r/_binary64_362` `sqrt-div_binary64_430` `+-commutative_binary64_346` `sum-log_binary64_502`
1×	`flip3--_binary64_418` `clear-num_binary64_413` `distribute-lft-out--_binary64_368` `diff-log_binary64_503` `div-inv_binary64_411` `cbrt-undiv_binary64_445` `sub-neg_binary64_407` `frac-2neg_binary64_425` `flip--_binary64_389` `div-exp_binary64_462`

Counts

4 → 102

Calls

4 calls:

83.0ms	(-.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (.f64 -2 x))))) (sqrt.f64 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
7.0ms	(/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
4.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))
4.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

series206.0ms (7.3%)

Counts

4 → 12

Calls

4 calls:

91.0ms	(/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
91.0ms	(-.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (.f64 -2 x))))) (sqrt.f64 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
12.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))
12.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

simplify89.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4945	2718
1	4945	2718

prune170.0ms (6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

116 → 2

Compiler

Compiled 2915 to 2631 computations (9.7% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.1b	(*.f64 2/15 (pow.f64 x 5))
0.3b	(*.f64 1/3 (pow.f64 x 3))
19.0b	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))

rewrite25.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_435`
19×	`associate-r_binary64_356`
13×	`add-exp-log_binary64_449`
10×	`add-cube-cbrt_binary64_446` `*-un-lft-identity_binary64_414`
8×	`unpow-prod-down_binary64_490` `add-log-exp_binary64_450`
7×	`add-cbrt-cube_binary64_447` `unswap-sqr_binary64_382`
6×	`prod-exp_binary64_460` `associate-l_binary64_357`
4×	`cube-prod_binary64_439` `sqr-pow_binary64_386`
3×	`pow1_binary64_472`
2×	`diff-log_binary64_503` `*-commutative_binary64_347` `pow-exp_binary64_479` `pow-to-exp_binary64_480` `cbrt-unprod_binary64_444`
1×	`associate--l+_binary64_353` `flip3--_binary64_418` `cube-mult_binary64_441` `sub-neg_binary64_407` `unpow3_binary64_477` `flip--_binary64_389` `sum-log_binary64_502`

Counts

3 → 69

Calls

3 calls:

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

series179.0ms (6.3%)

Counts

3 → 9

Calls

3 calls:

65.0ms	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))
62.0ms	(*.f64 2/15 (pow.f64 x 5))
52.0ms	(*.f64 1/3 (pow.f64 x 3))

simplify44.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4923	996
1	4923	996

prune80.0ms (2.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

80 → 2

Compiler

Compiled 1388 to 1072 computations (22.8% saved)

regimes146.0ms (5.1%)

Compiler: Compiled 190 to 195 computations (-2.6% saved)

bsearch2.0ms (0.1%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	81	69
1	81	69

end0.0ms (0%)

sample1.1s (38.4%)

Algorithm

1×

intervals

Results

441.0ms	2056×	body	1024	valid
152.0ms	4256×	body	128	valid
124.0ms	956×	body	512	valid
61.0ms	220×	body	2048	valid
43.0ms	512×	body	256	valid

Compiler

Compiled 88 to 85 computations (3.4% saved)

Details

analyze2.0ms (0.1%)

sample34.0ms (1.2%)

simplify266.0ms (9.4%)

prune2.0ms (0.1%)

localize7.0ms (0.3%)

rewrite27.0ms (1%)

series166.0ms (5.9%)

simplify76.0ms (2.7%)

prune92.0ms (3.3%)

localize9.0ms (0.3%)

rewrite110.0ms (3.9%)

series206.0ms (7.3%)

simplify89.0ms (3.1%)

prune170.0ms (6%)

localize9.0ms (0.3%)

rewrite25.0ms (0.9%)

series179.0ms (6.3%)

simplify44.0ms (1.6%)

prune80.0ms (2.8%)

regimes146.0ms (5.1%)

bsearch2.0ms (0.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.1s (38.4%)

Profiling