Details

analyze4.5s (20.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4968	400
1	4968	400
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.6%	98.1%	0.3%	13
2.3%	97.4%	0.3%	14

Symmetry

(sort y z t)

(sort a b)

Compiler

Compiled 18 to 18 computations (0% saved)

sample118.0ms (0.5%)

Algorithm

1×

intervals

Results

23.0ms	256×	body	128	valid
8.0ms	91×	body	128	invalid

Compiler

Compiled 35 to 41 computations (-17.1% saved)

simplify102.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	788	25
1	788	25

prune5.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

3.2b

Counts

2 → 1

Compiler

Compiled 34 to 34 computations (0% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 (.f64 y 9) z) t)) (.f64 (.f64 a 27) b))
0.3b	(.f64 (.f64 a 27) b)
0.5b	(.f64 (.f64 y 9) z)
6.0b	(.f64 (.f64 (*.f64 y 9) z) t)

rewrite258.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
12×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230`
9×	`add-log-exp_binary64_20236` `associate-r_binary64_20137`
7×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197`
3×	`associate-l_binary64_20138` `*-commutative_binary64_20128`
2×	`sum-log_binary64_20288` `associate-+l+_binary64_20130`
1×	`diff-log_binary64_20289` `flip3-+_binary64_20200` `flip-+_binary64_20171` `associate-+l-_binary64_20132` `sub-neg_binary64_20190` `cancel-sign-sub-inv_binary64_20163` `+-commutative_binary64_20127`

Counts

4 → 72

Calls

4 calls:

20.0ms	(.f64 (.f64 a 27) b)
15.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 (.f64 y 9) z) t)) (.f64 (.f64 a 27) b))
14.0ms	(.f64 (.f64 (*.f64 y 9) z) t)
10.0ms	(.f64 (.f64 y 9) z)

Compiler

Compiled 1755 to 1161 computations (33.8% saved)

series1.4s (6.6%)

Error

1.8b

Counts

4 → 57

Calls

4 calls:

941.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 (.f64 y 9) z) t)) (.f64 (.f64 a 27) b))
199.0ms	(.f64 (.f64 (*.f64 y 9) z) t)
107.0ms	(.f64 (.f64 a 27) b)
95.0ms	(.f64 (.f64 y 9) z)

Compiler

Compiled 2249 to 1922 computations (14.5% saved)

simplify182.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (137.0ms)

Iter	Nodes	Cost
0	4982	1863
1	4982	1863

prune266.0ms (1.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	118	11	129
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	11	130

Error

0.0b

Counts

130 → 11

Compiler

Compiled 2591 to 1469 computations (43.3% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z))) (.f64 (.f64 a 27) b))
0.0b	(-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z)))
0.3b	(.f64 (.f64 a 27) b)
9.0b	(.f64 (.f64 y 9) (*.f64 t z))

rewrite197.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
11×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `add-log-exp_binary64_20236` `cbrt-unprod_binary64_20230`
5×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197`
4×	`associate-r_binary64_20137`
2×	`associate-l_binary64_20138` `*-commutative_binary64_20128` `diff-log_binary64_20289` `sub-neg_binary64_20190` `cancel-sign-sub-inv_binary64_20163` `sum-log_binary64_20288` `associate-+l+_binary64_20130`
1×	`flip3--_binary64_20201` `flip--_binary64_20172` `flip3-+_binary64_20200` `flip-+_binary64_20171` `associate-+l-_binary64_20132` `+-commutative_binary64_20127`

Counts

4 → 67

Calls

4 calls:

13.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z))) (.f64 (.f64 a 27) b))
11.0ms	(.f64 (.f64 y 9) (*.f64 t z))
9.0ms	(.f64 (.f64 a 27) b)
8.0ms	(-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z)))

Compiler

Compiled 1729 to 1063 computations (38.5% saved)

series1.8s (8.4%)

Error

0.0b

Counts

4 → 75

Calls

4 calls:

946.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z))) (.f64 (.f64 a 27) b))
442.0ms	(-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z)))
229.0ms	(.f64 (.f64 y 9) (*.f64 t z))
105.0ms	(.f64 (.f64 a 27) b)

Compiler

Compiled 2827 to 2399 computations (15.1% saved)

simplify146.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4928	2242
1	4928	2242

prune246.0ms (1.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	143	10	153

Error

0.0b

Counts

153 → 10

Compiler

Compiled 2757 to 1432 computations (48.1% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 x 2) (.f64 y (.f64 9 (.f64 t z))))
0.2b	(.f64 9 (.f64 t z))
0.3b	(.f64 (.f64 a 27) b)
8.8b	(.f64 y (.f64 9 (*.f64 t z)))

rewrite198.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
12×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230`
7×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `-un-lft-identity_binary64_20197` `associate-l*_binary64_20138`
6×	`add-log-exp_binary64_20236`
5×	`associate-r_binary64_20137`
3×	`*-commutative_binary64_20128`
1×	`diff-log_binary64_20289` `flip3--_binary64_20201` `sub-neg_binary64_20190` `flip--_binary64_20172` `cancel-sign-sub-inv_binary64_20163`

Counts

4 → 69

Calls

4 calls:

14.0ms	(.f64 y (.f64 9 (*.f64 t z)))
10.0ms	(.f64 9 (.f64 t z))
10.0ms	(.f64 (.f64 a 27) b)
8.0ms	(-.f64 (.f64 x 2) (.f64 y (.f64 9 (.f64 t z))))

Compiler

Compiled 1640 to 1002 computations (38.9% saved)

series913.0ms (4.2%)

Error

0.0b

Counts

4 → 45

Calls

4 calls:

440.0ms	(-.f64 (.f64 x 2) (.f64 y (.f64 9 (.f64 t z))))
205.0ms	(.f64 y (.f64 9 (*.f64 t z)))
108.0ms	(.f64 (.f64 a 27) b)
98.0ms	(.f64 9 (.f64 t z))

Compiler

Compiled 1955 to 1665 computations (14.8% saved)

simplify156.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (121.0ms)

Iter	Nodes	Cost
0	4912	1298
1	4912	1298

prune206.0ms (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	114	10	124

Error

0.0b

Counts

124 → 10

Compiler

Compiled 2354 to 1367 computations (41.9% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 9 (.f64 z y)) t)) (.f64 (.f64 a 27) b))
0.2b	(.f64 9 (.f64 z y))
0.3b	(.f64 (.f64 a 27) b)
6.0b	(.f64 (.f64 9 (*.f64 z y)) t)

rewrite217.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
12×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230`
9×	`add-log-exp_binary64_20236`
7×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `-un-lft-identity_binary64_20197` `associate-r*_binary64_20137`
5×	`associate-l_binary64_20138`
3×	`*-commutative_binary64_20128`
2×	`sum-log_binary64_20288` `associate-+l+_binary64_20130`
1×	`diff-log_binary64_20289` `flip3-+_binary64_20200` `flip-+_binary64_20171` `associate-+l-_binary64_20132` `sub-neg_binary64_20190` `cancel-sign-sub-inv_binary64_20163` `+-commutative_binary64_20127`

Counts

4 → 72

Calls

4 calls:

16.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 9 (.f64 z y)) t)) (.f64 (.f64 a 27) b))
15.0ms	(.f64 (.f64 9 (*.f64 z y)) t)
10.0ms	(.f64 9 (.f64 z y))
10.0ms	(.f64 (.f64 a 27) b)

Compiler

Compiled 1755 to 1076 computations (38.7% saved)

series1.4s (6.6%)

Error

0.0b

Counts

4 → 57

Calls

4 calls:

911.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 9 (.f64 z y)) t)) (.f64 (.f64 a 27) b))
233.0ms	(.f64 (.f64 9 (*.f64 z y)) t)
104.0ms	(.f64 9 (.f64 z y))
99.0ms	(.f64 (.f64 a 27) b)

Compiler

Compiled 2249 to 1916 computations (14.8% saved)

simplify144.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4956	1862
1	4956	1862

prune201.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	129	10	139

Error

0.0b

Counts

139 → 10

Compiler

Compiled 2360 to 1227 computations (48% saved)

regimes3.2s (14.6%)

Accuracy

Total 0.5b remaining (98%)

Threshold costs 0.5b (98%)

Compiler

Compiled 15837 to 15205 computations (4% saved)

bsearch4.0ms (0%)

Compiler: Compiled 5 to 9 computations (-80% saved)

simplify117.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	132	62
1	132	62

Compiler

Compiled 168 to 136 computations (19% saved)

end0.0ms (0%)

sample5.5s (25.4%)

Algorithm

1×

intervals

Results

809.0ms	8000×	body	128	valid
318.0ms	3072×	body	128	invalid

Compiler

Compiled 1084 to 1028 computations (5.2% saved)

Details

analyze4.5s (20.9%)

sample118.0ms (0.5%)

simplify102.0ms (0.5%)

prune5.0ms (0%)

localize27.0ms (0.1%)

rewrite258.0ms (1.2%)

series1.4s (6.6%)

simplify182.0ms (0.8%)

prune266.0ms (1.2%)

localize26.0ms (0.1%)

rewrite197.0ms (0.9%)

series1.8s (8.4%)

simplify146.0ms (0.7%)

prune246.0ms (1.1%)

localize33.0ms (0.2%)

rewrite198.0ms (0.9%)

series913.0ms (4.2%)

simplify156.0ms (0.7%)

prune206.0ms (1%)

localize30.0ms (0.1%)

rewrite217.0ms (1%)

series1.4s (6.6%)

simplify144.0ms (0.7%)

prune201.0ms (0.9%)

regimes3.2s (14.6%)

bsearch4.0ms (0%)

simplify117.0ms (0.5%)

end0.0ms (0%)

sample5.5s (25.4%)

Profiling