Details

analyze693.0ms (9.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
18.7%	81.1%	0.2%	10
26.5%	71.5%	1.9%	11
28.8%	66%	5.2%	12
32.7%	58.7%	8.5%	13
41.9%	48.4%	9.7%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample29.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	246×	body	128	valid
7.0ms	62×	body	128	invalid
1.0ms	6×	body	1024	valid
0.0ms	3×	body	512	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify180.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	400	19
1	400	19

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

Compiler

Compiled 56 to 48 computations (14.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite57.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`*-un-lft-identity_binary64_4895`
20×	`add-log-exp_binary64_4934`
19×	`distribute-lft-out_binary64_4846`
10×	`sum-log_binary64_4986`
8×	`add-sqr-sqrt_binary64_4917`
7×	`associate-r_binary64_4835`
6×	`add-cube-cbrt_binary64_4930` `pow1_binary64_4956` `add-cbrt-cube_binary64_4931` `add-exp-log_binary64_4933`
4×	`flip-+_binary64_4869` `flip3-+_binary64_4898` `associate-+l+_binary64_4828`
3×	`+-commutative_binary64_4825` `associate-l_binary64_4836`
2×	`distribute-lft-in_binary64_4844` `associate-*r/_binary64_4837` `distribute-rgt-in_binary64_4845`
1×	`cbrt-unprod_binary64_4928` `unswap-sqr_binary64_4863` `prod-exp_binary64_4944` `pow-prod-down_binary64_4966` `*-commutative_binary64_4826`

Counts

4 → 71

Calls

4 calls:

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

series264.0ms (3.7%)

Counts

4 → 12

Calls

4 calls:

105.0ms	(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (.f64 y 5))
79.0ms	(*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t))
45.0ms	(+.f64 (+.f64 (+.f64 y z) z) y)
33.0ms	(+.f64 (+.f64 y z) z)

simplify70.0ms (1%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4974	1136
1	4974	1136

prune284.0ms (4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	79	4	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	4	84

Merged error: 0.0b

Counts

84 → 4

Compiler

Compiled 2998 to 1814 computations (39.5% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite33.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_4934`
8×	`pow1_binary64_4956` `add-cbrt-cube_binary64_4931` `add-exp-log_binary64_4933`
6×	`*-un-lft-identity_binary64_4895`
4×	`add-cube-cbrt_binary64_4930` `add-sqr-sqrt_binary64_4917` `associate-l_binary64_4836` `sum-log_binary64_4986`
3×	`cbrt-unprod_binary64_4928` `flip-+_binary64_4869` `flip3-+_binary64_4898` `prod-exp_binary64_4944` `pow-prod-down_binary64_4966`
2×	`associate-*l/_binary64_4838` `+-commutative_binary64_4825`
1×	`associate-r_binary64_4835` `distribute-lft-out_binary64_4846` `associate-+l+_binary64_4828` `*-commutative_binary64_4826`

Counts

3 → 45

Calls

3 calls:

12.0ms	(+.f64 (+.f64 (.f64 (+.f64 y z) (.f64 x 2)) (.f64 x t)) (.f64 y 5))
10.0ms	(+.f64 (.f64 (+.f64 y z) (.f64 x 2)) (*.f64 x t))
8.0ms	(.f64 (+.f64 y z) (.f64 x 2))

series242.0ms (3.4%)

Counts

3 → 9

Calls

3 calls:

99.0ms	(+.f64 (+.f64 (.f64 (+.f64 y z) (.f64 x 2)) (.f64 x t)) (.f64 y 5))
81.0ms	(+.f64 (.f64 (+.f64 y z) (.f64 x 2)) (*.f64 x t))
61.0ms	(.f64 (+.f64 y z) (.f64 x 2))

simplify64.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4985	912
1	4985	912

prune58.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	54	4	58

Merged error: 0.0b

Counts

58 → 4

Compiler

Compiled 1237 to 712 computations (42.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 y (.f64 y 25))
0.3b	(.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)))
4.7b	(-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (*.f64 y 25)))
27.4b	(/.f64 (-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (.f64 y 25))) (-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5)))

rewrite105.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`pow1_binary64_4956`
23×	`add-cbrt-cube_binary64_4931` `add-exp-log_binary64_4933`
20×	`pow-prod-down_binary64_4966`
14×	`associate-*r/_binary64_4837`
13×	`add-cube-cbrt_binary64_4930` `add-sqr-sqrt_binary64_4917` `*-un-lft-identity_binary64_4895`
11×	`cbrt-unprod_binary64_4928` `prod-exp_binary64_4944`
9×	`times-frac_binary64_4901`
8×	`distribute-lft-in_binary64_4844` `distribute-rgt-in_binary64_4845`
6×	`add-log-exp_binary64_4934` `flip-+_binary64_4869` `flip3-+_binary64_4898`
4×	`pow-sqr_binary64_4868` `frac-times_binary64_4905` `pow-prod-up_binary64_4965` `associate--l+_binary64_4832` `associate-l_binary64_4836`
3×	`flip3--_binary64_4899` `flip--_binary64_4870` `associate-/l_binary64_4840` `associate-/r_binary64_4839`
2×	`associate-l/_binary64_4838` `associate-/r/_binary64_4841` `associate-r_binary64_4835` `associate-/l/_binary64_4842` `-commutative_binary64_4826` `pow-plus_binary64_4958`
1×	`swap-sqr_binary64_4862` `sub-neg_binary64_4888` `frac-2neg_binary64_4906` `diff-log_binary64_4987` `cbrt-undiv_binary64_4929` `div-exp_binary64_4946` `div-inv_binary64_4892` `div-sub_binary64_4900` `cancel-sign-sub-inv_binary64_4861` `pow2_binary64_4976` `clear-num_binary64_4894`

Counts

4 → 112

Calls

4 calls:

37.0ms	(/.f64 (-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (.f64 y 25))) (-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5)))
23.0ms	(-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (*.f64 y 25)))
21.0ms	(.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)))
5.0ms	(.f64 y (.f64 y 25))

series1.6s (23.1%)

Counts

4 → 12

Calls

4 calls:

848.0ms	(/.f64 (-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (.f64 y 25))) (-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5)))
510.0ms	(-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 y (*.f64 y 25)))
247.0ms	(.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)))
35.0ms	(.f64 y (.f64 y 25))

simplify84.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4974	3639
1	4974	3639

prune354.0ms (5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	124	4	128

Merged error: 0.0b

Counts

128 → 4

Compiler

Compiled 8400 to 5207 computations (38% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 y y) 25)
0.3b	(.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)))
4.7b	(-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 (*.f64 y y) 25))
27.4b	(/.f64 (-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 (.f64 y y) 25)) (-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5)))

rewrite110.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`pow1_binary64_4956`
23×	`add-cbrt-cube_binary64_4931` `add-exp-log_binary64_4933`
20×	`pow-prod-down_binary64_4966`
14×	`associate-*r/_binary64_4837` `add-sqr-sqrt_binary64_4917`
13×	`add-cube-cbrt_binary64_4930` `*-un-lft-identity_binary64_4895`
11×	`cbrt-unprod_binary64_4928` `prod-exp_binary64_4944`
9×	`times-frac_binary64_4901`
8×	`distribute-lft-in_binary64_4844` `distribute-rgt-in_binary64_4845`
6×	`add-log-exp_binary64_4934` `flip-+_binary64_4869` `flip3-+_binary64_4898`
4×	`pow-sqr_binary64_4868` `frac-times_binary64_4905` `associate-r_binary64_4835` `pow-prod-up_binary64_4965` `associate--l+_binary64_4832`
3×	`flip3--_binary64_4899` `flip--_binary64_4870` `associate-/l_binary64_4840` `associate-/r_binary64_4839`
2×	`associate-l/_binary64_4838` `associate-/r/_binary64_4841` `associate-l_binary64_4836` `associate-/l/_binary64_4842` `-commutative_binary64_4826` `pow-plus_binary64_4958`
1×	`swap-sqr_binary64_4862` `sub-neg_binary64_4888` `frac-2neg_binary64_4906` `diff-log_binary64_4987` `cbrt-undiv_binary64_4929` `div-exp_binary64_4946` `div-inv_binary64_4892` `div-sub_binary64_4900` `unswap-sqr_binary64_4863` `cancel-sign-sub-inv_binary64_4861` `pow2_binary64_4976` `clear-num_binary64_4894`

Counts

4 → 113

Calls

4 calls:

35.0ms	(/.f64 (-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 (.f64 y y) 25)) (-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5)))
24.0ms	(-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 (*.f64 y y) 25))
23.0ms	(.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)))
6.0ms	(.f64 (.f64 y y) 25)

series1.6s (22.7%)

Counts

4 → 12

Calls

4 calls:

822.0ms	(/.f64 (-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 (.f64 y y) 25)) (-.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 y 5)))
496.0ms	(-.f64 (.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t))) (.f64 (*.f64 y y) 25))
262.0ms	(.f64 (.f64 x (+.f64 (.f64 (+.f64 y z) 2) t)) (.f64 x (+.f64 (*.f64 (+.f64 y z) 2) t)))
35.0ms	(.f64 (.f64 y y) 25)

simplify81.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4910	3649
1	4910	3649

prune246.0ms (3.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	125	4	129

Merged error: 0.0b

Counts

129 → 4

Compiler

Compiled 5644 to 3149 computations (44.2% saved)

regimes57.0ms (0.8%)

Compiler: Compiled 496 to 380 computations (23.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	22
1	21	22

end0.0ms (0%)

sample782.0ms (11%)

Algorithm

1×

intervals

Results

298.0ms	7737×	body	128	valid
74.0ms	1840×	body	128	invalid
17.0ms	128×	body	1024	valid
11.0ms	82×	body	512	valid
4.0ms	53×	body	256	valid

Compiler

Compiled 153 to 117 computations (23.5% saved)

Details

analyze693.0ms (9.7%)

sample29.0ms (0.4%)

simplify180.0ms (2.5%)

prune5.0ms (0.1%)

localize14.0ms (0.2%)

rewrite57.0ms (0.8%)

series264.0ms (3.7%)

simplify70.0ms (1%)

prune284.0ms (4%)

localize14.0ms (0.2%)

rewrite33.0ms (0.5%)

series242.0ms (3.4%)

simplify64.0ms (0.9%)

prune58.0ms (0.8%)

localize16.0ms (0.2%)

rewrite105.0ms (1.5%)

series1.6s (23.1%)

simplify84.0ms (1.2%)

prune354.0ms (5%)

localize19.0ms (0.3%)

rewrite110.0ms (1.6%)

series1.6s (22.7%)

simplify81.0ms (1.1%)

prune246.0ms (3.5%)

regimes57.0ms (0.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample782.0ms (11%)

Profiling