Details

analyze838.0ms (12.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5196	91
0	4	4
1	4	4

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
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.8%	76.5%	3.7%	12
26.1%	64.4%	9.6%	13
31.7%	54.5%	13.7%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample24.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
2.0ms	84×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify129.0ms (2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (124.0ms)

Iter	Nodes	Cost
0	1582	13
1	1582	13

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite62.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`add-sqr-sqrt_binary64_20219`
12×	`*-un-lft-identity_binary64_20197` `cancel-sign-sub-inv_binary64_20163`
8×	`add-cube-cbrt_binary64_20232` `distribute-rgt-in_binary64_20147` `distribute-lft-in_binary64_20146` `associate-+r+_binary64_20129`
6×	`flip3--_binary64_20201` `flip--_binary64_20172`
5×	`associate-l_binary64_20138` `associate-r_binary64_20137`
4×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-log-exp_binary64_20236` `add-cbrt-cube_binary64_20233` `frac-times_binary64_20207` `sub-neg_binary64_20190`
2×	`associate-l/_binary64_20140` `associate-r/_binary64_20139` `difference-of-squares_binary64_20166` `distribute-lft-out--_binary64_20149`
1×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230` `unswap-sqr_binary64_20165` `*-commutative_binary64_20128` `sum-log_binary64_20288` `flip3-+_binary64_20200` `flip-+_binary64_20171` `+-commutative_binary64_20127`

Counts

2 → 57

Calls

2 calls:

10.0ms	(*.f64 (-.f64 y z) (-.f64 t x))
4.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Compiler

Compiled 1056 to 258 computations (75.6% saved)

series515.0ms (7.8%)

Error

0.0b

Counts

2 → 48

Calls

2 calls:

285.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
198.0ms	(*.f64 (-.f64 y z) (-.f64 t x))

Compiler

Compiled 1588 to 833 computations (47.5% saved)

simplify69.0ms (1%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5123	1382

prune71.0ms (1.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	99	6	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	100	6	106

Error

0.0b

Counts

106 → 6

Compiler

Compiled 1438 to 308 computations (78.6% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite120.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

24×	`add-sqr-sqrt_binary64_20219` `cancel-sign-sub-inv_binary64_20163`
22×	`*-un-lft-identity_binary64_20197`
16×	`add-cube-cbrt_binary64_20232` `distribute-rgt-in_binary64_20147` `distribute-lft-in_binary64_20146`
12×	`associate-*r/_binary64_20139`
11×	`add-log-exp_binary64_20236`
10×	`associate-r_binary64_20137`
9×	`associate-+r+_binary64_20129`
8×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `sub-neg_binary64_20190` `associate-+l+_binary64_20130`
6×	`flip3--_binary64_20201` `flip--_binary64_20172` `associate-l_binary64_20138`
4×	`sum-log_binary64_20288` `frac-add_binary64_20205`
2×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230` `unswap-sqr_binary64_20165` `difference-of-squares_binary64_20166` `distribute-lft-out--_binary64_20149` `*-commutative_binary64_20128` `flip3-+_binary64_20200` `flip-+_binary64_20171` `+-commutative_binary64_20127`
1×	`distribute-lft-out_binary64_20148`

Counts

4 → 105

Calls

4 calls:

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

Compiler

Compiled 2309 to 524 computations (77.3% saved)

series785.0ms (11.8%)

Error

0.0b

Counts

4 → 78

Calls

4 calls:

286.0ms	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
248.0ms	(+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y)))
104.0ms	(*.f64 x (-.f64 z y))
103.0ms	(*.f64 t (-.f64 y z))

Compiler

Compiled 2658 to 1375 computations (48.3% saved)

simplify77.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5147	2477

prune112.0ms (1.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	182	1	183
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	184	5	189

Error

0.0b

Counts

189 → 5

Compiler

Compiled 2999 to 458 computations (84.7% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite119.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

29×	`add-log-exp_binary64_20236`
16×	`sum-log_binary64_20288`
14×	`add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197`
12×	`cancel-sign-sub-inv_binary64_20163`
10×	`add-cube-cbrt_binary64_20232`
9×	`associate-+r-_binary64_20131`
8×	`distribute-rgt-in_binary64_20147` `distribute-lft-in_binary64_20146` `associate-+l+_binary64_20130`
6×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `associate-*r/_binary64_20139`
5×	`flip3-+_binary64_20200` `flip-+_binary64_20171` `associate-r_binary64_20137`
4×	`sub-neg_binary64_20190` `frac-add_binary64_20205`
3×	`neg-log_binary64_20290` `unsub-neg_binary64_20191` `neg-sub0_binary64_20192` `+-commutative_binary64_20127` `flip3--_binary64_20201` `flip--_binary64_20172` `associate-l_binary64_20138`
2×	`associate-+r+_binary64_20129`
1×	`distribute-lft-neg-in_binary64_20154` `distribute-rgt-out_binary64_20150` `pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230` `unswap-sqr_binary64_20165` `difference-of-squares_binary64_20166` `distribute-lft-out--_binary64_20149` `*-commutative_binary64_20128` `distribute-lft-out_binary64_20148`

Counts

4 → 91

Calls

4 calls:

12.0ms	(+.f64 (.f64 t (-.f64 y z)) (+.f64 (.f64 z x) (neg.f64 (*.f64 y x))))
11.0ms	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (+.f64 (.f64 z x) (neg.f64 (*.f64 y x)))))
7.0ms	(*.f64 t (-.f64 y z))
5.0ms	(+.f64 (.f64 z x) (neg.f64 (.f64 y x)))

Compiler

Compiled 2445 to 448 computations (81.7% saved)

series797.0ms (12%)

Error

0.0b

Counts

4 → 78

Calls

4 calls:

274.0ms	(+.f64 (.f64 t (-.f64 y z)) (+.f64 (.f64 z x) (neg.f64 (*.f64 y x))))
263.0ms	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (+.f64 (.f64 z x) (neg.f64 (*.f64 y x)))))
113.0ms	(+.f64 (.f64 z x) (neg.f64 (.f64 y x)))
107.0ms	(*.f64 t (-.f64 y z))

Compiler

Compiled 2781 to 1435 computations (48.4% saved)

simplify82.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5012	2449

prune103.0ms (1.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	169	0	169
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	169	5	174

Error

0.0b

Counts

174 → 5

Compiler

Compiled 2912 to 395 computations (86.4% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))
0.6b	(cbrt.f64 (-.f64 y z))
0.6b	(cbrt.f64 (-.f64 y z))
0.6b	(cbrt.f64 (-.f64 y z))

rewrite120.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

43×	`cbrt-prod_binary64_20228`
37×	`add-sqr-sqrt_binary64_20219`
35×	`*-un-lft-identity_binary64_20197`
18×	`cbrt-div_binary64_20229`
15×	`add-cube-cbrt_binary64_20232`
11×	`pow1_binary64_20258`
10×	`swap-sqr_binary64_20164`
9×	`pow1/3_binary64_20279` `flip3--_binary64_20201` `flip--_binary64_20172` `distribute-lft-out--_binary64_20149`
8×	`associate-l_binary64_20138` `associate-r_binary64_20137`
7×	`difference-of-squares_binary64_20166`
6×	`add-exp-log_binary64_20235`
4×	`add-log-exp_binary64_20236` `add-cbrt-cube_binary64_20233` `frac-times_binary64_20207` `unswap-sqr_binary64_20165`
2×	`pow-prod-down_binary64_20268` `pow-prod-up_binary64_20267` `pow-sqr_binary64_20170` `associate-l/_binary64_20140` `associate-r/_binary64_20139`
1×	`pow2_binary64_20278` `pow-plus_binary64_20260` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230` `*-commutative_binary64_20128`

Counts

4 → 101

Calls

4 calls:

12.0ms	(*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))
3.0ms	(cbrt.f64 (-.f64 y z))
3.0ms	(cbrt.f64 (-.f64 y z))
3.0ms	(cbrt.f64 (-.f64 y z))

Compiler

Compiled 2826 to 522 computations (81.5% saved)

series525.0ms (7.9%)

Error

0.0b

Counts

4 → 45

Calls

4 calls:

177.0ms	(*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))
103.0ms	(cbrt.f64 (-.f64 y z))
101.0ms	(cbrt.f64 (-.f64 y z))
94.0ms	(cbrt.f64 (-.f64 y z))

Compiler

Compiled 3596 to 2492 computations (30.7% saved)

simplify96.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4923	2225
1	4923	2225

prune127.0ms (1.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	146	5	151

Error

0.0b

Counts

151 → 5

Compiler

Compiled 3717 to 911 computations (75.5% saved)

regimes479.0ms (7.2%)

Accuracy

Total 0.0b remaining (90.4%)

Threshold costs 0.0b (90.4%)

Compiler

Compiled 4732 to 3396 computations (28.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	22
1	51	22

end0.0ms (0%)

sample1.3s (20.1%)

Algorithm

1×

intervals

Results

231.0ms	8000×	body	128	valid
83.0ms	2507×	body	128	invalid

Compiler

Compiled 775 to 562 computations (27.5% saved)

Details

analyze838.0ms (12.6%)

sample24.0ms (0.4%)

simplify129.0ms (2%)

prune2.0ms (0%)

localize12.0ms (0.2%)

rewrite62.0ms (0.9%)

series515.0ms (7.8%)

simplify69.0ms (1%)

prune71.0ms (1.1%)

localize9.0ms (0.1%)

rewrite120.0ms (1.8%)

series785.0ms (11.8%)

simplify77.0ms (1.2%)

prune112.0ms (1.7%)

localize14.0ms (0.2%)

rewrite119.0ms (1.8%)

series797.0ms (12%)

simplify82.0ms (1.2%)

prune103.0ms (1.5%)

localize14.0ms (0.2%)

rewrite120.0ms (1.8%)

series525.0ms (7.9%)

simplify96.0ms (1.5%)

prune127.0ms (1.9%)

regimes479.0ms (7.2%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.3s (20.1%)

Profiling