Details

analyze1.0s (40.8%)

Algorithm

1×

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
12.5%	87.3%	0.2%	10
15.6%	80.3%	4.1%	11
31.2%	63.9%	4.9%	12
39%	50.9%	10.1%	13
44.8%	44.4%	10.7%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample38.0ms (1.5%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
1.0ms	44×	body	128	invalid

Compiler

Compiled 27 to 19 computations (29.6% saved)

simplify11.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	11	10
2	11	10

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 22 to 14 computations (36.4% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite9.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64`
1×	`+-commutative_binary64`
1×	`flip-+_binary64`
1×	`*-un-lft-identity_binary64`
1×	`flip3-+_binary64`

Counts

1 → 11

Calls

1 calls:

3.0ms

(+.f64 (*.f64 x y) (*.f64 z t))

Compiler

Compiled 182 to 42 computations (76.9% saved)

series25.0ms (1%)

Error

0.0b

Counts

1 → 24

Calls

1 calls:

23.0ms

(+.f64 (*.f64 x y) (*.f64 z t))

Compiler

Compiled 365 to 235 computations (35.6% saved)

simplify96.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

750×	`unsub-neg_binary64`
663×	`distribute-rgt-in_binary64`
556×	`distribute-lft-in_binary64`
351×	`distribute-rgt-out_binary64`
334×	`*-commutative_binary64`

Counts

35 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	32	376
1	107	355
2	340	355
3	863	355
4	1788	355
5	3282	355
6	4056	355
7	4959	355
8	4831	355

prune5.0ms (0.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	19	1	20
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	2	21

Error

0.0b

Counts

21 → 2

Alt Table

Status	Error	Program
▶	1.2b	(.f64 (.f64 (cbrt.f64 (+.f64 (.f64 t z) (.f64 y x))) (cbrt.f64 (+.f64 (.f64 t z) (.f64 y x)))) (cbrt.f64 (+.f64 (.f64 t z) (.f64 y x))))
✓	0.0b	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 207 to 61 computations (70.5% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite51.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
18×	`cbrt-div_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`

Counts

4 → 87

Calls

4 calls:

8.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 t z) (.f64 y x))) (cbrt.f64 (+.f64 (.f64 t z) (*.f64 y x))))
2.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 y x)))
2.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 y x)))
2.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 y x)))

Compiler

Compiled 3223 to 330 computations (89.8% saved)

series325.0ms (12.7%)

Error

0.0b

Counts

4 → 96

Calls

4 calls:

78.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 t z) (.f64 y x))) (cbrt.f64 (+.f64 (.f64 t z) (*.f64 y x))))
71.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 y x)))
66.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 y x)))
65.0ms	(cbrt.f64 (+.f64 (.f64 t z) (.f64 y x)))

Compiler

Compiled 10464 to 6017 computations (42.5% saved)

simplify128.0ms (5%)

Algorithm

1×	egg-herbie

Rules

863×	`associate-/l*_binary64`
304×	`associate-/r/_binary64`
210×	`associate-r_binary64`
176×	`times-frac_binary64`
166×	`*-commutative_binary64`

Counts

183 → 166

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	270	5392
1	755	5100
2	2232	4804
3	4977	4804

prune46.0ms (1.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	166	2	168

Error

0.0b

Counts

168 → 2

Alt Table

Status	Error	Program
	1.2b	(.f64 (.f64 (cbrt.f64 (+.f64 (.f64 t z) (.f64 y x))) (cbrt.f64 (+.f64 (.f64 t z) (.f64 y x)))) (cbrt.f64 (+.f64 (.f64 t z) (.f64 y x))))
	0.0b	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 4149 to 891 computations (78.5% saved)

regimes86.0ms (3.3%)

Accuracy

Total 0.0b remaining (18.3%)

Threshold costs 0.0b (18.3%)

Compiler

Compiled 1658 to 822 computations (50.4% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	11	10
2	11	10

end20.0ms (0.8%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 55 to 35 computations (36.4% saved)

sample659.0ms (25.7%)

Algorithm

1×

intervals

Results

263.0ms	8000×	body	128	valid
43.0ms	1300×	body	128	invalid

Compiler

Compiled 68 to 36 computations (47.1% saved)

Details

analyze1.0s (40.8%)

sample38.0ms (1.5%)

simplify11.0ms (0.4%)

prune1.0ms (0%)

localize5.0ms (0.2%)

rewrite9.0ms (0.3%)

series25.0ms (1%)

simplify96.0ms (3.7%)

prune5.0ms (0.2%)

localize12.0ms (0.4%)

rewrite51.0ms (2%)

series325.0ms (12.7%)

simplify128.0ms (5%)

prune46.0ms (1.8%)

regimes86.0ms (3.3%)

simplify3.0ms (0.1%)

end20.0ms (0.8%)

sample659.0ms (25.7%)

Profiling