Details

analyze312.0ms (8.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
25%	74.9%	0.1%	8
28.1%	67.9%	4%	9
40.6%	53%	6.4%	10
49.1%	42.9%	7.9%	11
51.5%	37.7%	10.8%	12
59.1%	26.9%	14%	13
63.7%	21.8%	14.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample16.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms	251×	body	128	valid
1.0ms	20×	body	128	invalid
0.0ms	4×	body	512	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify165.0ms (4.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	31	13
1	31	13

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

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (+.f64 y z))
0.0b	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))

rewrite17.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_16269` `*-un-lft-identity_binary64_16247`
4×	`add-log-exp_binary64_16286` `pow1_binary64_16308` `add-exp-log_binary64_16285` `add-cbrt-cube_binary64_16283` `add-cube-cbrt_binary64_16282` `associate-r_binary64_16187`
3×	`associate-l_binary64_16188`
2×	`associate-+l+_binary64_16180` `flip3-+_binary64_16250` `associate-*r/_binary64_16189` `distribute-lft-in_binary64_16196` `flip-+_binary64_16221` `distribute-rgt-in_binary64_16197`
1×	`pow-prod-down_binary64_16318` `cbrt-unprod_binary64_16280` `prod-exp_binary64_16296` `distribute-lft-out_binary64_16198` `sum-log_binary64_16338` `unswap-sqr_binary64_16215` `*-commutative_binary64_16178` `+-commutative_binary64_16177`

Counts

2 → 36

Calls

2 calls:

7.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))
7.0ms	(*.f64 x (+.f64 y z))

series103.0ms (2.9%)

Counts

2 → 6

Calls

2 calls:

53.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))
50.0ms	(*.f64 x (+.f64 y z))

simplify68.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4998	518
1	4998	518

prune68.0ms (1.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	37	5	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	6	43

Merged error: 0.0b

Counts

43 → 6

Compiler

Compiled 1210 to 671 computations (44.5% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 z (+.f64 x 5))
0.0b	(+.f64 (.f64 y x) (.f64 z (+.f64 x 5)))

rewrite14.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_16269` `*-un-lft-identity_binary64_16247`
4×	`add-log-exp_binary64_16286` `pow1_binary64_16308` `add-exp-log_binary64_16285` `add-cbrt-cube_binary64_16283` `add-cube-cbrt_binary64_16282` `associate-r_binary64_16187`
3×	`associate-l_binary64_16188`
2×	`flip3-+_binary64_16250` `associate-*r/_binary64_16189` `associate-+r+_binary64_16179` `distribute-lft-in_binary64_16196` `flip-+_binary64_16221` `distribute-rgt-in_binary64_16197`
1×	`pow-prod-down_binary64_16318` `cbrt-unprod_binary64_16280` `prod-exp_binary64_16296` `distribute-lft-out_binary64_16198` `sum-log_binary64_16338` `unswap-sqr_binary64_16215` `*-commutative_binary64_16178` `+-commutative_binary64_16177`

Counts

2 → 36

Calls

2 calls:

7.0ms	(*.f64 z (+.f64 x 5))
5.0ms	(+.f64 (.f64 y x) (.f64 z (+.f64 x 5)))

series99.0ms (2.7%)

Counts

2 → 6

Calls

2 calls:

54.0ms	(+.f64 (.f64 y x) (.f64 z (+.f64 x 5)))
45.0ms	(*.f64 z (+.f64 x 5))

simplify74.0ms (2%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5063	518

prune87.0ms (2.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	41	1	42
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	42	6	48

Merged error: 0b

Counts

48 → 6

Compiler

Compiled 1543 to 1002 computations (35.1% saved)

localize15.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 5 5) (.f64 x 5))
0.0b	(+.f64 (.f64 y x) (/.f64 (.f64 z (+.f64 (pow.f64 x 3) 125)) (+.f64 (.f64 x x) (-.f64 (.f64 5 5) (*.f64 x 5)))))
2.3b	(*.f64 z (+.f64 (pow.f64 x 3) 125))
11.6b	(/.f64 (.f64 z (+.f64 (pow.f64 x 3) 125)) (+.f64 (.f64 x x) (-.f64 (.f64 5 5) (.f64 x 5))))

rewrite56.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-exp-log_binary64_16285` `add-cbrt-cube_binary64_16283`
10×	`add-sqr-sqrt_binary64_16269` `*-un-lft-identity_binary64_16247`
8×	`add-log-exp_binary64_16286` `add-cube-cbrt_binary64_16282`
6×	`pow1_binary64_16308`
4×	`flip3-+_binary64_16250` `associate-r/_binary64_16189` `flip-+_binary64_16221` `associate-r*_binary64_16187`
3×	`times-frac_binary64_16253` `associate-l_binary64_16188` `associate-/r*_binary64_16191`
2×	`cbrt-unprod_binary64_16280` `prod-exp_binary64_16296` `associate-/r/_binary64_16193` `associate-/l/_binary64_16194` `div-exp_binary64_16298` `cbrt-undiv_binary64_16281`
1×	`pow-prod-down_binary64_16318` `flip3--_binary64_16251` `clear-num_binary64_16246` `associate-/l_binary64_16192` `distribute-lft-out_binary64_16198` `sub-neg_binary64_16240` `distribute-rgt-out--_binary64_16201` `frac-2neg_binary64_16258` `sum-log_binary64_16338` `flip--_binary64_16222` `unswap-sqr_binary64_16215` `-commutative_binary64_16178` `diff-log_binary64_16339` `div-inv_binary64_16244` `distribute-lft-in_binary64_16196` `cancel-sign-sub-inv_binary64_16213` `distribute-rgt-in_binary64_16197` `+-commutative_binary64_16177`

Counts

4 → 72

Calls

4 calls:

20.0ms	(/.f64 (.f64 z (+.f64 (pow.f64 x 3) 125)) (+.f64 (.f64 x x) (-.f64 (.f64 5 5) (.f64 x 5))))
14.0ms	(+.f64 (.f64 y x) (/.f64 (.f64 z (+.f64 (pow.f64 x 3) 125)) (+.f64 (.f64 x x) (-.f64 (.f64 5 5) (*.f64 x 5)))))
11.0ms	(*.f64 z (+.f64 (pow.f64 x 3) 125))
4.0ms	(-.f64 (.f64 5 5) (.f64 x 5))

series619.0ms (17.1%)

Counts

4 → 12

Calls

4 calls:

242.0ms	(/.f64 (.f64 z (+.f64 (pow.f64 x 3) 125)) (+.f64 (.f64 x x) (-.f64 (.f64 5 5) (.f64 x 5))))
217.0ms	(+.f64 (.f64 y x) (/.f64 (.f64 z (+.f64 (pow.f64 x 3) 125)) (+.f64 (.f64 x x) (-.f64 (.f64 5 5) (*.f64 x 5)))))
115.0ms	(*.f64 z (+.f64 (pow.f64 x 3) 125))
44.0ms	(-.f64 (.f64 5 5) (.f64 x 5))

simplify41.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	4983	1632
1	4983	1632

prune126.0ms (3.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	84	6	90

Merged error: 0b

Counts

90 → 6

Compiler

Compiled 2598 to 1715 computations (34% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 y x) (/.f64 z (/.f64 (-.f64 25 (.f64 x (-.f64 5 x))) (+.f64 (pow.f64 x 3) 125))))
0.0b	(*.f64 x (-.f64 5 x))
0.3b	(/.f64 z (/.f64 (-.f64 25 (*.f64 x (-.f64 5 x))) (+.f64 (pow.f64 x 3) 125)))
11.6b	(/.f64 (-.f64 25 (*.f64 x (-.f64 5 x))) (+.f64 (pow.f64 x 3) 125))

rewrite81.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

114×	`times-frac_binary64_16253`
102×	`*-un-lft-identity_binary64_16247`
72×	`add-sqr-sqrt_binary64_16269`
68×	`add-cube-cbrt_binary64_16282`
22×	`associate-/r*_binary64_16191`
16×	`distribute-lft-out_binary64_16198`
13×	`add-exp-log_binary64_16285` `add-cbrt-cube_binary64_16283`
11×	`associate-/r/_binary64_16193`
6×	`add-log-exp_binary64_16286` `associate-/l*_binary64_16192` `pow1_binary64_16308` `flip3-+_binary64_16250` `div-inv_binary64_16244` `flip-+_binary64_16221` `cancel-sign-sub-inv_binary64_16213`
5×	`associate-r_binary64_16187`
4×	`div-exp_binary64_16298` `distribute-lft-in_binary64_16196` `distribute-rgt-in_binary64_16197` `cbrt-undiv_binary64_16281`
3×	`associate-l_binary64_16188`
2×	`flip3--_binary64_16251` `clear-num_binary64_16246` `sub-neg_binary64_16240` `frac-2neg_binary64_16258` `flip--_binary64_16222` `associate-/l/_binary64_16194` `associate-*r/_binary64_16189`
1×	`pow-prod-down_binary64_16318` `cbrt-unprod_binary64_16280` `difference-of-squares_binary64_16216` `prod-exp_binary64_16296` `div-sub_binary64_16252` `sum-log_binary64_16338` `unswap-sqr_binary64_16215` `*-commutative_binary64_16178` `distribute-lft-out--_binary64_16199` `+-commutative_binary64_16177`

Counts

4 → 167

Calls

4 calls:

24.0ms	(+.f64 (.f64 y x) (/.f64 z (/.f64 (-.f64 25 (.f64 x (-.f64 5 x))) (+.f64 (pow.f64 x 3) 125))))
17.0ms	(/.f64 z (/.f64 (-.f64 25 (*.f64 x (-.f64 5 x))) (+.f64 (pow.f64 x 3) 125)))
12.0ms	(/.f64 (-.f64 25 (*.f64 x (-.f64 5 x))) (+.f64 (pow.f64 x 3) 125))
8.0ms	(*.f64 x (-.f64 5 x))

series547.0ms (15.1%)

Counts

4 → 12

Calls

4 calls:

243.0ms	(/.f64 z (/.f64 (-.f64 25 (*.f64 x (-.f64 5 x))) (+.f64 (pow.f64 x 3) 125)))
205.0ms	(+.f64 (.f64 y x) (/.f64 z (/.f64 (-.f64 25 (.f64 x (-.f64 5 x))) (+.f64 (pow.f64 x 3) 125))))
59.0ms	(*.f64 x (-.f64 5 x))
40.0ms	(/.f64 (-.f64 25 (*.f64 x (-.f64 5 x))) (+.f64 (pow.f64 x 3) 125))

simplify93.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5386	5400

prune300.0ms (8.3%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	179	0	179
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	179	6	185

Merged error: 0b

Counts

185 → 6

Compiler

Compiled 5473 to 3675 computations (32.9% saved)

regimes62.0ms (1.7%)

Compiler: Compiled 472 to 366 computations (22.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	13	13

end0.0ms (0%)

sample618.0ms (17.1%)

Algorithm

1×

intervals

Results

232.0ms	7712×	body	128	valid
18.0ms	644×	body	128	invalid
16.0ms	161×	body	1024	valid
6.0ms	80×	body	512	valid
2.0ms	47×	body	256	valid

Compiler

Compiled 140 to 111 computations (20.7% saved)

Details

analyze312.0ms (8.6%)

sample16.0ms (0.4%)

simplify165.0ms (4.6%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

rewrite17.0ms (0.5%)

series103.0ms (2.9%)

simplify68.0ms (1.9%)

prune68.0ms (1.9%)

localize7.0ms (0.2%)

rewrite14.0ms (0.4%)

series99.0ms (2.7%)

simplify74.0ms (2%)

prune87.0ms (2.4%)

localize15.0ms (0.4%)

rewrite56.0ms (1.5%)

series619.0ms (17.1%)

simplify41.0ms (1.1%)

prune126.0ms (3.5%)

localize13.0ms (0.4%)

rewrite81.0ms (2.2%)

series547.0ms (15.1%)

simplify93.0ms (2.6%)

prune300.0ms (8.3%)

regimes62.0ms (1.7%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample618.0ms (17.1%)

Profiling