Details

analyze465.0ms (7.9%)

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
12.5%	87.3%	0.2%	7
15.6%	84.2%	0.2%	8
28.1%	71.7%	0.2%	9
37.4%	62.4%	0.2%	10
43.7%	56.1%	0.2%	11
53%	46.8%	0.2%	12
64.1%	35.6%	0.3%	13
66.7%	32.8%	0.5%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample18.0ms (0.3%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
0.0ms	13×	body	128	invalid

Compiler

Compiled 23 to 25 computations (-8.7% saved)

simplify268.0ms (4.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (110.0ms)

Iter	Nodes	Cost
0	5186	16

prune2.0ms (0%)

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.3b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 y z) (-.f64 y t))
6.3b	(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))

rewrite27.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`flip--_binary64_8477` `add-sqr-sqrt_binary64_8523` `flip3--_binary64_8506`
10×	`*-un-lft-identity_binary64_8502`
9×	`add-exp-log_binary64_8537` `add-cbrt-cube_binary64_8535`
8×	`associate-/r/_binary64_8450` `frac-times_binary64_8512`
6×	`add-cube-cbrt_binary64_8534`
5×	`associate-r_binary64_8444` `associate-l_binary64_8445`
4×	`associate-r/_binary64_8446` `pow1_binary64_8560` `associate-l/_binary64_8447`
3×	`associate-/l*_binary64_8449` `times-frac_binary64_8508`
2×	`difference-of-squares_binary64_8471` `distribute-lft-out--_binary64_8456` `cbrt-undiv_binary64_8533` `prod-exp_binary64_8548` `cbrt-unprod_binary64_8532` `add-log-exp_binary64_8538` `sub-neg_binary64_8495` `div-exp_binary64_8550`
1×	`associate-/r_binary64_8448` `-commutative_binary64_8435` `pow-prod-down_binary64_8570` `distribute-rgt-in_binary64_8454` `distribute-lft-in_binary64_8453` `frac-2neg_binary64_8513` `div-inv_binary64_8499` `unswap-sqr_binary64_8470` `clear-num_binary64_8501`

Counts

2 → 61

Calls

2 calls:

11.0ms	(*.f64 (-.f64 y z) (-.f64 y t))
11.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))

series238.0ms (4.1%)

Counts

2 → 6

Calls

2 calls:

190.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
47.0ms	(*.f64 (-.f64 y z) (-.f64 y t))

simplify54.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4975	1074
1	4975	1074

prune67.0ms (1.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	63	4	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	4	68

Merged error: 0b

Counts

68 → 4

Compiler

Compiled 1276 to 458 computations (64.1% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 y z) (-.f64 y t))
1.3b	(/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t)))
5.4b	(.f64 x (/.f64 1 (.f64 (-.f64 y z) (-.f64 y t))))

rewrite48.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-exp-log_binary64_8537`
20×	`associate-r_binary64_8444`
19×	`add-cbrt-cube_binary64_8535`
18×	`flip--_binary64_8477` `add-sqr-sqrt_binary64_8523` `flip3--_binary64_8506`
16×	`associate-/r/_binary64_8450`
14×	`*-un-lft-identity_binary64_8502` `prod-exp_binary64_8548`
12×	`frac-times_binary64_8512`
10×	`add-cube-cbrt_binary64_8534` `pow1_binary64_8560`
8×	`associate-l_binary64_8445` `div-exp_binary64_8550`
7×	`associate-*r/_binary64_8446`
6×	`cbrt-unprod_binary64_8532` `associate-*l/_binary64_8447` `times-frac_binary64_8508`
4×	`cbrt-undiv_binary64_8533` `1-exp_binary64_8543` `rec-exp_binary64_8549`
3×	`pow-prod-down_binary64_8570` `add-log-exp_binary64_8538` `associate-/l*_binary64_8449`
2×	`difference-of-squares_binary64_8471` `distribute-lft-out--_binary64_8456` `*-commutative_binary64_8435` `pow-flip_binary64_8573` `sub-neg_binary64_8495` `div-inv_binary64_8499` `unswap-sqr_binary64_8470`
1×	`associate-/r*_binary64_8448` `un-div-inv_binary64_8500` `distribute-rgt-in_binary64_8454` `distribute-lft-in_binary64_8453` `frac-2neg_binary64_8513` `inv-pow_binary64_8584` `clear-num_binary64_8501`

Counts

3 → 108

Calls

3 calls:

16.0ms	(.f64 x (/.f64 1 (.f64 (-.f64 y z) (-.f64 y t))))
11.0ms	(/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t)))
10.0ms	(*.f64 (-.f64 y z) (-.f64 y t))

series334.0ms (5.7%)

Counts

3 → 9

Calls

3 calls:

182.0ms	(.f64 x (/.f64 1 (.f64 (-.f64 y z) (-.f64 y t))))
107.0ms	(/.f64 1 (*.f64 (-.f64 y z) (-.f64 y t)))
45.0ms	(*.f64 (-.f64 y z) (-.f64 y t))

simplify57.0ms (1%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5238	1754

prune94.0ms (1.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	117	4	121

Merged error: 0b

Counts

121 → 4

Compiler

Compiled 2239 to 865 computations (61.4% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

6.3b	(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
26.6b	(cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
26.6b	(cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
26.6b	(cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))

rewrite55.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`cbrt-prod_binary64_8530`
32×	`associate-/r/_binary64_8450`
24×	`flip--_binary64_8477` `flip3--_binary64_8506`
16×	`frac-times_binary64_8512`
12×	`add-cube-cbrt_binary64_8534` `*-un-lft-identity_binary64_8502` `add-sqr-sqrt_binary64_8523` `times-frac_binary64_8508`
9×	`add-exp-log_binary64_8537` `add-cbrt-cube_binary64_8535`
8×	`associate-r/_binary64_8446` `associate-l/_binary64_8447`
4×	`pow1_binary64_8560` `add-log-exp_binary64_8538` `div-inv_binary64_8499`
3×	`cbrt-div_binary64_8531` `pow1/3_binary64_8581` `associate-/l*_binary64_8449`
2×	`cbrt-undiv_binary64_8533` `div-exp_binary64_8550`
1×	`associate-/r*_binary64_8448` `prod-exp_binary64_8548` `cbrt-unprod_binary64_8532` `frac-2neg_binary64_8513` `clear-num_binary64_8501`

Counts

4 → 101

Calls

4 calls:

11.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
10.0ms	(cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
10.0ms	(cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
10.0ms	(cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))

series1.5s (25.5%)

Counts

4 → 12

Calls

4 calls:

453.0ms	(cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
441.0ms	(cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
430.0ms	(cbrt.f64 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
170.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))

simplify65.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5083	2587

prune132.0ms (2.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	113	4	117

Merged error: 0b

Counts

117 → 4

Compiler

Compiled 4799 to 866 computations (82% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 x (-.f64 y t))
0.8b	(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
2.0b	(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))

rewrite181.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Rules

1260×	`times-frac_binary64_8508`
844×	`*-un-lft-identity_binary64_8502` `add-sqr-sqrt_binary64_8523`
468×	`add-cube-cbrt_binary64_8534`
188×	`difference-of-squares_binary64_8471` `distribute-lft-out--_binary64_8456`
136×	`associate-/r*_binary64_8448`
60×	`associate-/r/_binary64_8450`
33×	`div-inv_binary64_8499`
31×	`add-exp-log_binary64_8537`
28×	`flip--_binary64_8477` `flip3--_binary64_8506`
19×	`add-cbrt-cube_binary64_8535` `div-exp_binary64_8550`
11×	`associate-/l*_binary64_8449`
10×	`cbrt-undiv_binary64_8533`
4×	`pow1_binary64_8560`
3×	`1-exp_binary64_8543` `rec-exp_binary64_8549` `add-log-exp_binary64_8538` `frac-2neg_binary64_8513` `clear-num_binary64_8501`
2×	`associate-/l/_binary64_8451`
1×	`div-sub_binary64_8507` `pow-flip_binary64_8573` `inv-pow_binary64_8584`

Counts

3 → 654

Calls

3 calls:

32.0ms	(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
14.0ms	(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
6.0ms	(/.f64 x (-.f64 y t))

series471.0ms (8%)

Counts

3 → 9

Calls

3 calls:

303.0ms	(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
104.0ms	(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
64.0ms	(/.f64 x (-.f64 y t))

simplify192.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

663 → 663

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	4983	20181
1	4983	20181

prune663.0ms (11.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	663	0	663
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	663	4	667

Merged error: 0b

Counts

667 → 4

Compiler

Compiled 16982 to 4371 computations (74.3% saved)

regimes156.0ms (2.7%)

Compiler: Compiled 1315 to 1062 computations (19.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	16
1	45	16

end0.0ms (0%)

sample734.0ms (12.5%)

Algorithm

1×

intervals

Results

284.0ms	8000×	body	128	valid
14.0ms	420×	body	128	invalid

Compiler

Compiled 202 to 165 computations (18.3% saved)

Details

analyze465.0ms (7.9%)

sample18.0ms (0.3%)

simplify268.0ms (4.6%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite27.0ms (0.5%)

series238.0ms (4.1%)

simplify54.0ms (0.9%)

prune67.0ms (1.1%)

localize9.0ms (0.1%)

rewrite48.0ms (0.8%)

series334.0ms (5.7%)

simplify57.0ms (1%)

prune94.0ms (1.6%)

localize14.0ms (0.2%)

rewrite55.0ms (0.9%)

series1.5s (25.5%)

simplify65.0ms (1.1%)

prune132.0ms (2.3%)

localize10.0ms (0.2%)

rewrite181.0ms (3.1%)

series471.0ms (8%)

simplify192.0ms (3.3%)

prune663.0ms (11.3%)

regimes156.0ms (2.7%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample734.0ms (12.5%)

Profiling