Details

analyze713.0ms (14.5%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	40
1	37	40
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	6
18.7%	81.1%	0.1%	7
18.7%	81.1%	0.1%	7
21.8%	78%	0.1%	8
21.8%	78%	0.1%	8
27.3%	67.1%	5.6%	9
27.3%	67.1%	5.6%	9
41%	50.3%	8.7%	10
41%	50.3%	8.7%	10
43.9%	47%	9.1%	11
43.9%	47%	9.1%	11
48.3%	38%	13.7%	12
48.3%	38%	13.7%	12
56.3%	27.4%	16.2%	13
56.3%	27.4%	16.2%	13
58.2%	25.4%	16.4%	14
58.2%	25.4%	16.4%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample628.0ms (12.8%)

Algorithm

2×

intervals

Results

13.0ms	512×	body	128	valid
7.0ms	174×	body	128	invalid

Compiler

Compiled 2815 to 3516 computations (-24.9% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	13	10
1	13	10

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

6.0b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 y y) z))
8.9b	(/.f64 (*.f64 y y) z)

rewrite45.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325`
6×	`*-un-lft-identity_binary64_24289`
4×	`add-log-exp_binary64_24328` `add-cube-cbrt_binary64_24324` `add-sqr-sqrt_binary64_24311`
3×	`times-frac_binary64_24295` `associate-/r*_binary64_24233`
2×	`pow1_binary64_24350` `div-exp_binary64_24340` `cbrt-undiv_binary64_24323`
1×	`prod-exp_binary64_24338` `cbrt-unprod_binary64_24322` `frac-2neg_binary64_24300` `clear-num_binary64_24288` `div-inv_binary64_24286` `associate-/l*_binary64_24234` `sum-log_binary64_24380` `flip3-+_binary64_24292` `flip-+_binary64_24263` `distribute-lft-out_binary64_24240` `+-commutative_binary64_24219`

Counts

2 → 33

Calls

2 calls:

8.0ms	(+.f64 x (/.f64 (*.f64 y y) z))
4.0ms	(/.f64 (*.f64 y y) z)

Compiler

Compiled 443 to 126 computations (71.6% saved)

series308.0ms (6.3%)

Error

4.6b

Counts

2 → 24

Calls

2 calls:

189.0ms	(+.f64 x (/.f64 (*.f64 y y) z))
104.0ms	(/.f64 (*.f64 y y) z)

Compiler

Compiled 365 to 324 computations (11.2% saved)

simplify84.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4877	551
1	4877	551

prune45.0ms (0.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Error

0.0b

Counts

58 → 4

Compiler

Compiled 545 to 136 computations (75% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 y (/.f64 y z)))
0.1b	(*.f64 y (/.f64 y z))

rewrite42.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

15×	`add-sqr-sqrt_binary64_24311`
13×	`associate-r_binary64_24229`
10×	`add-cube-cbrt_binary64_24324` `*-un-lft-identity_binary64_24289` `times-frac_binary64_24295`
7×	`add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325`
4×	`pow1_binary64_24350` `add-log-exp_binary64_24328`
3×	`associate-l_binary64_24230`
2×	`prod-exp_binary64_24338` `cbrt-unprod_binary64_24322` `unswap-sqr_binary64_24257`
1×	`pow-prod-down_binary64_24360` `div-exp_binary64_24340` `cbrt-undiv_binary64_24323` `associate-r/_binary64_24231` `div-inv_binary64_24286` `-commutative_binary64_24220` `sum-log_binary64_24380` `flip3-+_binary64_24292` `flip-+_binary64_24263` `+-commutative_binary64_24219`

Counts

2 → 43

Calls

2 calls:

7.0ms	(*.f64 y (/.f64 y z))
3.0ms	(+.f64 x (*.f64 y (/.f64 y z)))

Compiler

Compiled 615 to 179 computations (70.9% saved)

series296.0ms (6%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

180.0ms	(+.f64 x (*.f64 y (/.f64 y z)))
105.0ms	(*.f64 y (/.f64 y z))

Compiler

Compiled 365 to 324 computations (11.2% saved)

simplify77.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4957	648
1	4957	648

prune40.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	67	4	71

Error

0.0b

Counts

71 → 4

Compiler

Compiled 688 to 173 computations (74.9% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 y (/.f64 z y)))
0.1b	(/.f64 y (/.f64 z y))

rewrite98.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`times-frac_binary64_24295`
46×	`*-un-lft-identity_binary64_24289`
44×	`add-cube-cbrt_binary64_24324` `add-sqr-sqrt_binary64_24311`
13×	`associate-/r*_binary64_24233`
7×	`add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325`
5×	`div-inv_binary64_24286`
4×	`add-log-exp_binary64_24328`
3×	`div-exp_binary64_24340` `cbrt-undiv_binary64_24323` `associate-/l*_binary64_24234`
2×	`pow1_binary64_24350`
1×	`frac-2neg_binary64_24300` `clear-num_binary64_24288` `associate-/r/_binary64_24235` `sum-log_binary64_24380` `flip3-+_binary64_24292` `flip-+_binary64_24263` `distribute-lft-out_binary64_24240` `+-commutative_binary64_24219`

Counts

2 → 82

Calls

2 calls:

13.0ms	(+.f64 x (/.f64 y (/.f64 z y)))
6.0ms	(/.f64 y (/.f64 z y))

Compiler

Compiled 1338 to 386 computations (71.2% saved)

series286.0ms (5.8%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

175.0ms	(+.f64 x (/.f64 y (/.f64 z y)))
100.0ms	(/.f64 y (/.f64 z y))

Compiler

Compiled 365 to 324 computations (11.2% saved)

simplify104.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4958	1420
1	4958	1420

prune73.0ms (1.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	105	5	110

Error

Counts

110 → 5

Compiler

Compiled 1299 to 316 computations (75.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
0.2b	(/.f64 (/.f64 y z) (/.f64 1 y))

rewrite359.0ms (7.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

421×	`times-frac_binary64_24295`
200×	`*-un-lft-identity_binary64_24289`
198×	`add-cube-cbrt_binary64_24324` `add-sqr-sqrt_binary64_24311`
29×	`div-inv_binary64_24286`
24×	`add-exp-log_binary64_24327`
16×	`div-exp_binary64_24340`
14×	`add-cbrt-cube_binary64_24325`
13×	`associate-/l_binary64_24234` `associate-/r_binary64_24233`
8×	`cbrt-undiv_binary64_24323`
4×	`add-log-exp_binary64_24328`
2×	`pow1_binary64_24350` `1-exp_binary64_24333` `rec-exp_binary64_24339`
1×	`frac-2neg_binary64_24300` `clear-num_binary64_24288` `associate-/l/_binary64_24236` `associate-/r/_binary64_24235` `sum-log_binary64_24380` `flip3-+_binary64_24292` `flip-+_binary64_24263` `distribute-lft-out_binary64_24240` `+-commutative_binary64_24219`

Counts

2 → 231

Calls

2 calls:

42.0ms	(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
12.0ms	(/.f64 (/.f64 y z) (/.f64 1 y))

Compiler

Compiled 5130 to 2449 computations (52.3% saved)

series303.0ms (6.2%)

Error

Counts

2 → 24

Calls

2 calls:

197.0ms	(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
94.0ms	(/.f64 (/.f64 y z) (/.f64 1 y))

Compiler

Compiled 365 to 324 computations (11.2% saved)

simplify113.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

255 → 255

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4987	5061
1	4987	5061

prune202.0ms (4.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	255	0	255
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	255	5	260

Error

Counts

260 → 5

Compiler

Compiled 4111 to 1369 computations (66.7% saved)

regimes201.0ms (4.1%)

Accuracy

Total 0.1b remaining (95.2%)

Threshold costs 0.1b (95.2%)

Compiler

Compiled 1325 to 964 computations (27.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	9	10

end0.0ms (0%)

sample868.0ms (17.6%)

Algorithm

1×

intervals

Results

211.0ms	8000×	body	128	valid
68.0ms	2702×	body	128	invalid

Compiler

Compiled 206 to 154 computations (25.2% saved)

Details

analyze713.0ms (14.5%)

sample628.0ms (12.8%)

simplify7.0ms (0.1%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite45.0ms (0.9%)

series308.0ms (6.3%)

simplify84.0ms (1.7%)

prune45.0ms (0.9%)

localize5.0ms (0.1%)

rewrite42.0ms (0.9%)

series296.0ms (6%)

simplify77.0ms (1.6%)

prune40.0ms (0.8%)

localize8.0ms (0.2%)

rewrite98.0ms (2%)

series286.0ms (5.8%)

simplify104.0ms (2.1%)

prune73.0ms (1.5%)

localize6.0ms (0.1%)

rewrite359.0ms (7.3%)

series303.0ms (6.2%)

simplify113.0ms (2.3%)

prune202.0ms (4.1%)

regimes201.0ms (4.1%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample868.0ms (17.6%)

Profiling