Details

analyze957.0ms (10.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4937	112
1	4937	112
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
15.6%	84.2%	0.2%	8
15.6%	84.2%	0.2%	9
20.3%	79.5%	0.2%	10
25.3%	74.5%	0.2%	11
34.2%	65.6%	0.2%	12
37.4%	62%	0.6%	13
41.7%	57.7%	0.6%	14

Symmetry

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample32.0ms (0.4%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
4.0ms	101×	body	128	invalid

Compiler

Compiled 31 to 31 computations (0% saved)

simplify398.0ms (4.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (392.0ms)

Iter	Nodes	Cost
0	4800	16
1	4800	16

prune6.0ms (0.1%)

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

Counts

2 → 2

Compiler

Compiled 37 to 33 computations (10.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
0.2b	(.f64 (.f64 z 3) y)
0.2b	(/.f64 y (*.f64 z 3))
7.0b	(/.f64 t (.f64 (.f64 z 3) y))

rewrite150.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
16×	`*-un-lft-identity_binary64_17810`
11×	`add-cube-cbrt_binary64_17845` `add-sqr-sqrt_binary64_17832`
9×	`pow1_binary64_17871` `add-log-exp_binary64_17849` `times-frac_binary64_17816`
8×	`associate-+l+_binary64_17743`
7×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `cancel-sign-sub-inv_binary64_17776`
6×	`associate-/l*_binary64_17755`
5×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
3×	`div-inv_binary64_17807` `pow-prod-down_binary64_17881` `associate-r_binary64_17750`
2×	`frac-2neg_binary64_17821` `clear-num_binary64_17809` `associate-/r*_binary64_17754` `sum-log_binary64_17901` `frac-add_binary64_17818` `distribute-lft-out_binary64_17761`
1×	`associate-l_binary64_17751` `*-commutative_binary64_17741` `diff-log_binary64_17902` `flip3--_binary64_17814` `flip--_binary64_17785` `flip3-+_binary64_17813` `flip-+_binary64_17784` `distribute-lft-out--_binary64_17762` `associate-+l-_binary64_17745` `sub-neg_binary64_17803` `+-commutative_binary64_17740`

Counts

4 → 87

Calls

4 calls:

17.0ms	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
6.0ms	(/.f64 t (.f64 (.f64 z 3) y))
5.0ms	(.f64 (.f64 z 3) y)
4.0ms	(/.f64 y (*.f64 z 3))

Compiler

Compiled 1982 to 1218 computations (38.5% saved)

series656.0ms (7.4%)

Error

0.1b

Counts

4 → 48

Calls

4 calls:

364.0ms	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
138.0ms	(/.f64 t (.f64 (.f64 z 3) y))
61.0ms	(/.f64 y (*.f64 z 3))
57.0ms	(.f64 (.f64 z 3) y)

Compiler

Compiled 1663 to 1240 computations (25.4% saved)

simplify69.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4969	1888
1	4969	1888

prune132.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	128	7	135
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	129	8	137

Error

0.0b

Counts

137 → 8

Compiler

Compiled 2402 to 1316 computations (45.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (/.f64 t (.f64 z 3)) y))
0.2b	(/.f64 y (*.f64 z 3))
0.2b	(/.f64 t (*.f64 z 3))
4.5b	(/.f64 (/.f64 t (*.f64 z 3)) y)

rewrite178.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

42×	`times-frac_binary64_17816`
31×	`*-un-lft-identity_binary64_17810`
26×	`add-cube-cbrt_binary64_17845` `add-sqr-sqrt_binary64_17832`
23×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
13×	`associate-/l*_binary64_17755`
9×	`div-exp_binary64_17861` `add-log-exp_binary64_17849` `cbrt-undiv_binary64_17844`
8×	`div-inv_binary64_17807` `associate-+l+_binary64_17743`
7×	`cancel-sign-sub-inv_binary64_17776`
5×	`associate-/r*_binary64_17754`
4×	`pow1_binary64_17871`
3×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `frac-2neg_binary64_17821` `clear-num_binary64_17809`
2×	`sum-log_binary64_17901` `frac-add_binary64_17818` `distribute-lft-out_binary64_17761`
1×	`associate-/l/_binary64_17757` `diff-log_binary64_17902` `flip3--_binary64_17814` `flip--_binary64_17785` `flip3-+_binary64_17813` `flip-+_binary64_17784` `distribute-lft-out--_binary64_17762` `associate-+l-_binary64_17745` `sub-neg_binary64_17803` `+-commutative_binary64_17740`

Counts

4 → 115

Calls

4 calls:

18.0ms	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (/.f64 t (.f64 z 3)) y))
6.0ms	(/.f64 (/.f64 t (*.f64 z 3)) y)
4.0ms	(/.f64 t (*.f64 z 3))
4.0ms	(/.f64 y (*.f64 z 3))

Compiler

Compiled 2647 to 1585 computations (40.1% saved)

series645.0ms (7.3%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

364.0ms	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (/.f64 t (.f64 z 3)) y))
132.0ms	(/.f64 (/.f64 t (*.f64 z 3)) y)
61.0ms	(/.f64 t (*.f64 z 3))
58.0ms	(/.f64 y (*.f64 z 3))

Compiler

Compiled 1663 to 1241 computations (25.4% saved)

simplify70.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4973	2312
1	4973	2312

prune152.0ms (1.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	159	4	163
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	164	7	171

Error

Counts

171 → 7

Compiler

Compiled 2966 to 1566 computations (47.2% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
2.4b	(/.f64 (/.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) z) (.f64 (cbrt.f64 y) (cbrt.f64 y)))

rewrite113.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`add-exp-log_binary64_17848`
15×	`add-cbrt-cube_binary64_17846`
13×	`times-frac_binary64_17816`
11×	`add-cube-cbrt_binary64_17845` `add-sqr-sqrt_binary64_17832` `*-un-lft-identity_binary64_17810`
10×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
9×	`cbrt-prod_binary64_17841`
7×	`associate-/l*_binary64_17755`
5×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843`
4×	`pow1_binary64_17871` `add-log-exp_binary64_17849`
3×	`div-inv_binary64_17807` `pow1/3_binary64_17892`
1×	`frac-2neg_binary64_17821` `clear-num_binary64_17809` `associate-/l/_binary64_17757` `associate-/r*_binary64_17754`

Counts

4 → 71

Calls

4 calls:

11.0ms	(/.f64 (/.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) z) (.f64 (cbrt.f64 y) (cbrt.f64 y)))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 2510 to 883 computations (64.8% saved)

series784.0ms (8.8%)

Error

Counts

4 → 18

Calls

4 calls:

533.0ms	(/.f64 (/.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) z) (.f64 (cbrt.f64 y) (cbrt.f64 y)))
81.0ms	(cbrt.f64 t)
74.0ms	(cbrt.f64 t)
73.0ms	(cbrt.f64 t)

Compiler

Compiled 1728 to 1261 computations (27% saved)

simplify60.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5017	1133

prune112.0ms (1.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	89	7	96

Error

Counts

96 → 7

Compiler

Compiled 2891 to 1306 computations (54.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t z) 3) y))
0.2b	(/.f64 y (*.f64 z 3))
0.2b	(/.f64 (/.f64 t z) 3)
4.5b	(/.f64 (/.f64 (/.f64 t z) 3) y)

rewrite549.0ms (6.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

474×	`times-frac_binary64_17816`
239×	`*-un-lft-identity_binary64_17810`
234×	`add-cube-cbrt_binary64_17845` `add-sqr-sqrt_binary64_17832`
59×	`associate-/l*_binary64_17755`
24×	`div-inv_binary64_17807`
23×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
11×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
9×	`add-log-exp_binary64_17849`
8×	`associate-+l+_binary64_17743`
7×	`associate-/r*_binary64_17754` `cancel-sign-sub-inv_binary64_17776`
4×	`pow1_binary64_17871`
3×	`frac-2neg_binary64_17821` `clear-num_binary64_17809`
2×	`associate-/l/_binary64_17757` `sum-log_binary64_17901` `frac-add_binary64_17818` `distribute-lft-out_binary64_17761`
1×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `diff-log_binary64_17902` `flip3--_binary64_17814` `flip--_binary64_17785` `flip3-+_binary64_17813` `flip-+_binary64_17784` `distribute-lft-out--_binary64_17762` `associate-+l-_binary64_17745` `sub-neg_binary64_17803` `+-commutative_binary64_17740`

Counts

4 → 308

Calls

4 calls:

56.0ms	(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t z) 3) y))
16.0ms	(/.f64 (/.f64 (/.f64 t z) 3) y)
6.0ms	(/.f64 (/.f64 t z) 3)
4.0ms	(/.f64 y (*.f64 z 3))

Compiler

Compiled 8374 to 4418 computations (47.2% saved)

series627.0ms (7.1%)

Error

Counts

4 → 48

Calls

4 calls:

351.0ms	(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 (/.f64 (/.f64 t z) 3) y))
137.0ms	(/.f64 (/.f64 (/.f64 t z) 3) y)
55.0ms	(/.f64 y (*.f64 z 3))
52.0ms	(/.f64 (/.f64 t z) 3)

Compiler

Compiled 1663 to 1235 computations (25.7% saved)

simplify104.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5110	7530

prune406.0ms (4.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	355	1	356
Fresh	1	4	5
Picked	0	1	1
Done	1	0	1
Total	357	6	363

Error

Counts

363 → 6

Compiler

Compiled 8378 to 4140 computations (50.6% saved)

regimes662.0ms (7.4%)

Accuracy

Total 0.9b remaining (99.8%)

Threshold costs 0.9b (99.8%)

Compiler

Compiled 7119 to 6045 computations (15.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	46
1	39	46

Removed

()

end0.0ms (0%)

sample2.0s (22.2%)

Algorithm

1×

intervals

Results

356.0ms	8000×	body	128	valid
139.0ms	3063×	body	128	invalid

Compiler

Compiled 1166 to 985 computations (15.5% saved)

Details

analyze957.0ms (10.8%)

sample32.0ms (0.4%)

simplify398.0ms (4.5%)

prune6.0ms (0.1%)

localize9.0ms (0.1%)

rewrite150.0ms (1.7%)

series656.0ms (7.4%)

simplify69.0ms (0.8%)

prune132.0ms (1.5%)

localize9.0ms (0.1%)

rewrite178.0ms (2%)

series645.0ms (7.3%)

simplify70.0ms (0.8%)

prune152.0ms (1.7%)

localize19.0ms (0.2%)

rewrite113.0ms (1.3%)

series784.0ms (8.8%)

simplify60.0ms (0.7%)

prune112.0ms (1.3%)

localize10.0ms (0.1%)

rewrite549.0ms (6.2%)

series627.0ms (7.1%)

simplify104.0ms (1.2%)

prune406.0ms (4.6%)

regimes662.0ms (7.4%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.0s (22.2%)

Profiling