Details

analyze2.5s (10.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	691	638
1	691	638
0	8	8
1	8	8

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Symmetry

(sort x y)

(sort z t)

(sort a b)

(sort c i)

Compiler

Compiled 16 to 16 computations (0% saved)

sample85.0ms (0.4%)

Algorithm

1×

intervals

Results

15.0ms	165×	body	128	invalid
12.0ms	256×	body	128	valid

Compiler

Compiled 31 to 39 computations (-25.8% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	67	22
1	67	22

prune3.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 30 to 30 computations (0% saved)

localize11.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
0.0b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

rewrite62.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

19×	`add-log-exp_binary64_3527`
10×	`sum-log_binary64_3579`
3×	`pow1_binary64_3549` `add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524` `add-cube-cbrt_binary64_3523` `add-sqr-sqrt_binary64_3510` `flip3-+_binary64_3491` `*-un-lft-identity_binary64_3488` `flip-+_binary64_3462` `+-commutative_binary64_3418`
2×	`associate-+l+_binary64_3421`

Counts

3 → 38

Calls

3 calls:

9.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
7.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 1006 to 161 computations (84% saved)

series929.0ms (3.9%)

Error

0.0b

Counts

3 → 108

Calls

3 calls:

460.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
275.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
137.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 3266 to 2266 computations (30.6% saved)

simplify70.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5006	2201

prune99.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	142	4	146
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	142	5	147

Error

0.0b

Counts

147 → 5

Compiler

Compiled 2275 to 236 computations (89.6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 t z) (.f64 x y))) (cbrt.f64 (+.f64 (.f64 t z) (*.f64 x y))))
2.5b	(cbrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
2.5b	(cbrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
2.5b	(cbrt.f64 (+.f64 (.f64 t z) (.f64 x y)))

rewrite143.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_3519`
23×	`add-sqr-sqrt_binary64_3510`
18×	`cbrt-div_binary64_3520`
15×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
11×	`pow1_binary64_3549`
9×	`pow1/3_binary64_3570` `flip3-+_binary64_3491` `flip-+_binary64_3462`
6×	`add-exp-log_binary64_3526` `swap-sqr_binary64_3455` `associate-l_binary64_3429` `associate-r_binary64_3428`
4×	`add-log-exp_binary64_3527` `add-cbrt-cube_binary64_3524` `frac-times_binary64_3498` `unswap-sqr_binary64_3456`
2×	`pow-prod-down_binary64_3559` `pow-prod-up_binary64_3558` `pow-sqr_binary64_3461` `associate-l/_binary64_3431` `associate-r/_binary64_3430`
1×	`pow2_binary64_3569` `pow-plus_binary64_3551` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `*-commutative_binary64_3419`

Counts

4 → 87

Calls

4 calls:

12.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 t z) (.f64 x y))) (cbrt.f64 (+.f64 (.f64 t z) (*.f64 x y))))
4.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
4.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
4.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 x y)))

Compiler

Compiled 4088 to 517 computations (87.4% saved)

series1.5s (6.1%)

Error

0.0b

Counts

4 → 96

Calls

4 calls:

370.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 t z) (.f64 x y))) (cbrt.f64 (+.f64 (.f64 t z) (*.f64 x y))))
320.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
315.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 x y)))
310.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 x y)))

Compiler

Compiled 12288 to 7550 computations (38.6% saved)

simplify72.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5173	4826

prune220.0ms (0.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	183	0	183
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	183	5	188

Error

0.0b

Counts

188 → 5

Compiler

Compiled 7713 to 1508 computations (80.4% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y))) (cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (*.f64 x y))))
0.6b	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))
0.6b	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))
0.6b	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))

rewrite183.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_3519`
23×	`add-sqr-sqrt_binary64_3510`
18×	`cbrt-div_binary64_3520`
15×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
11×	`pow1_binary64_3549`
9×	`pow1/3_binary64_3570` `flip3-+_binary64_3491` `flip-+_binary64_3462`
6×	`add-exp-log_binary64_3526` `swap-sqr_binary64_3455` `associate-l_binary64_3429` `associate-r_binary64_3428`
4×	`add-log-exp_binary64_3527` `add-cbrt-cube_binary64_3524` `frac-times_binary64_3498` `unswap-sqr_binary64_3456`
2×	`pow-prod-down_binary64_3559` `pow-prod-up_binary64_3558` `pow-sqr_binary64_3461` `associate-l/_binary64_3431` `associate-r/_binary64_3430`
1×	`pow2_binary64_3569` `pow-plus_binary64_3551` `prod-exp_binary64_3537` `cbrt-unprod_binary64_3521` `*-commutative_binary64_3419`

Counts

4 → 87

Calls

4 calls:

22.0ms	(.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y))) (cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (*.f64 x y))))
9.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))
8.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))
8.0ms	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))

Compiler

Compiled 6320 to 349 computations (94.5% saved)

series9.4s (39.5%)

Error

0.0b

Counts

4 → 192

Calls

4 calls:

4.0s	(.f64 (cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y))) (cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (*.f64 x y))))
1.7s	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))
1.6s	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))
1.6s	(cbrt.f64 (+.f64 (+.f64 (.f64 i c) (+.f64 (.f64 t z) (.f64 a b))) (.f64 x y)))

Compiler

Compiled 53304 to 30060 computations (43.6% saved)

simplify142.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

279 → 279

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5312	14966

prune520.0ms (2.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	278	1	279
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	279	5	284

Error

0.0b

Counts

284 → 5

Compiler

Compiled 18380 to 3767 computations (79.5% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 a b) (*.f64 a b))
0.3b	(.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (*.f64 x y)))
2.9b	(-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 (.f64 a b) (.f64 a b)))
29.6b	(/.f64 (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 (.f64 a b) (.f64 a b))) (-.f64 (+.f64 (.f64 t z) (.f64 x y)) (*.f64 a b)))

rewrite219.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

50×	`pow1_binary64_3549`
20×	`add-exp-log_binary64_3526` `add-cbrt-cube_binary64_3524`
19×	`add-sqr-sqrt_binary64_3510`
18×	`pow-prod-down_binary64_3559`
17×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
12×	`times-frac_binary64_3494`
9×	`prod-exp_binary64_3537` `cbrt-unprod_binary64_3521`
6×	`add-log-exp_binary64_3527` `flip3-+_binary64_3491` `flip-+_binary64_3462`
5×	`difference-of-squares_binary64_3457` `pow-prod-up_binary64_3558` `pow-sqr_binary64_3461`
4×	`associate-/l_binary64_3433` `frac-times_binary64_3498` `swap-sqr_binary64_3455` `associate-l_binary64_3429` `associate-r*_binary64_3428`
3×	`flip3--_binary64_3492` `flip--_binary64_3463` `associate-/r*_binary64_3432` `pow-plus_binary64_3551`
2×	`associate-/l/_binary64_3435` `associate-/r/_binary64_3434` `distribute-rgt-in_binary64_3438` `associate--l+_binary64_3425` `distribute-lft-in_binary64_3437` `pow2_binary64_3569` `associate-l/_binary64_3431` `associate-r/_binary64_3430` `*-commutative_binary64_3419`
1×	`div-exp_binary64_3539` `cbrt-undiv_binary64_3522` `frac-2neg_binary64_3499` `div-sub_binary64_3493` `clear-num_binary64_3487` `div-inv_binary64_3485` `diff-log_binary64_3580` `sub-neg_binary64_3481` `cancel-sign-sub-inv_binary64_3454` `unswap-sqr_binary64_3456`

Counts

4 → 120

Calls

4 calls:

21.0ms	(/.f64 (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 (.f64 a b) (.f64 a b))) (-.f64 (+.f64 (.f64 t z) (.f64 x y)) (*.f64 a b)))
17.0ms	(-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 (.f64 a b) (.f64 a b)))
11.0ms	(.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (*.f64 x y)))
7.0ms	(.f64 (.f64 a b) (*.f64 a b))

Compiler

Compiled 6648 to 659 computations (90.1% saved)

series2.8s (11.8%)

Error

0.0b

Counts

4 → 126

Calls

4 calls:

1.2s	(-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 (.f64 a b) (.f64 a b)))
1.1s	(/.f64 (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 (.f64 a b) (.f64 a b))) (-.f64 (+.f64 (.f64 t z) (.f64 x y)) (*.f64 a b)))
335.0ms	(.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (*.f64 x y)))
77.0ms	(.f64 (.f64 a b) (*.f64 a b))

Compiler

Compiled 12294 to 7186 computations (41.5% saved)

simplify115.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

246 → 246

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5032	6779

prune256.0ms (1.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	244	2	246
Fresh	0	1	1
Picked	1	0	1
Done	1	2	3
Total	246	5	251

Error

0.0b

Counts

251 → 5

Compiler

Compiled 9663 to 1567 computations (83.8% saved)

regimes1.8s (7.5%)

Accuracy

Total 0.0b remaining (65.9%)

Threshold costs 0.0b (65.9%)

Compiler

Compiled 35506 to 17468 computations (50.8% saved)

bsearch0.0ms (0%)

simplify85.0ms (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	22
1	23	22

Remove

(sort c i)

(sort a b)

(sort z t)

(sort x y)

Compiler

Compiled 120 to 120 computations (0% saved)

end0.0ms (0%)

sample2.5s (10.7%)

Algorithm

1×

intervals

Results

400.0ms	8000×	body	128	valid
275.0ms	5585×	body	128	invalid

Compiler

Compiled 2391 to 1185 computations (50.4% saved)

Details

analyze2.5s (10.6%)

sample85.0ms (0.4%)

simplify7.0ms (0%)

prune3.0ms (0%)

localize11.0ms (0%)

rewrite62.0ms (0.3%)

series929.0ms (3.9%)

simplify70.0ms (0.3%)

prune99.0ms (0.4%)

localize15.0ms (0.1%)

rewrite143.0ms (0.6%)

series1.5s (6.1%)

simplify72.0ms (0.3%)

prune220.0ms (0.9%)

localize20.0ms (0.1%)

rewrite183.0ms (0.8%)

series9.4s (39.5%)

simplify142.0ms (0.6%)

prune520.0ms (2.2%)

localize16.0ms (0.1%)

rewrite219.0ms (0.9%)

series2.8s (11.8%)

simplify115.0ms (0.5%)

prune256.0ms (1.1%)

regimes1.8s (7.5%)

bsearch0.0ms (0%)

simplify85.0ms (0.4%)

end0.0ms (0%)

sample2.5s (10.7%)

Profiling