Details

analyze1.5s (19.9%)

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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
7.8%	92%	0.2%	11
11.7%	88.1%	0.2%	12
17.9%	81.8%	0.2%	13
22.6%	77.2%	0.2%	14

Compiler

Compiled 19 to 14 computations (26.3% saved)

sample29.0ms (0.4%)

Algorithm

1×

intervals

Results

12.0ms	251×	body	128	valid
1.0ms	14×	body	128	invalid
0.0ms	1×	body	2048	valid
0.0ms	2×	body	256	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 42 to 32 computations (23.8% saved)

simplify122.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1714×	`fma-neg_binary64`
791×	`div-sub_binary64`
702×	`fma-def_binary64`
633×	`distribute-rgt-in_binary64`
427×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	19
1	23	17
2	46	17
3	90	17
4	173	17
5	320	17
6	671	17
7	1532	17
8	2980	17
9	3024	17
10	3167	17
11	3232	17
12	3299	17
13	3318	17
14	5334	17

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)))

Compiler

Compiled 51 to 36 computations (29.4% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 60 (-.f64 x y))
0.0b	(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)))
0.2b	(/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))

rewrite124.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`add-cube-cbrt_binary64`
19×	`pow1_binary64`
16×	`add-exp-log_binary64`
16×	`add-sqr-sqrt_binary64`
15×	`add-cbrt-cube_binary64`

Counts

3 → 130

Calls

3 calls:

19.0ms	(/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))
16.0ms	(*.f64 60 (-.f64 x y))
8.0ms	(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)))

Compiler

Compiled 2609 to 1098 computations (57.9% saved)

series166.0ms (2.3%)

Error

0.0b

Counts

3 → 68

Calls

3 calls:

78.0ms	(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)))
54.0ms	(/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))
13.0ms	(*.f64 60 (-.f64 x y))

Compiler

Compiled 2955 to 2048 computations (30.7% saved)

simplify99.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

723×	`fma-def_binary64`
508×	`distribute-rgt-in_binary64`
359×	`cancel-sign-sub-inv_binary64`
188×	`fma-neg_binary64`
179×	`distribute-rgt-neg-in_binary64`

Counts

198 → 104

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	225	2963
1	649	2674
2	2276	2584
3	4908	2584

prune68.0ms (0.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	96	8	104
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	96	9	105

Error

0.0b

Counts

105 → 9

Alt Table

Status	Error	Program
	30.3b	(fma.f64 a 120 (.f64 60 (-.f64 (.f64 (+.f64 (/.f64 t z) 1) (/.f64 x z)) (*.f64 (+.f64 (/.f64 t z) 1) (/.f64 y z)))))
	28.0b	(fma.f64 a 120 (.f64 60 (-.f64 (.f64 (+.f64 (/.f64 z t) 1) (/.f64 y t)) (*.f64 (+.f64 (/.f64 z t) 1) (/.f64 x t)))))
✓	0.1b	(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)))
	35.6b	(fma.f64 a 120 (/.f64 (.f64 60 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (.f64 (-.f64 z t) (fma.f64 y y (*.f64 x (+.f64 y x))))))
	32.5b	(fma.f64 a 120 (.f64 (sqrt.f64 (.f64 60 (/.f64 (-.f64 x y) (-.f64 z t)))) (sqrt.f64 (*.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))))))
	0.7b	(fma.f64 a 120 (.f64 (.f64 (cbrt.f64 (.f64 60 (/.f64 (-.f64 x y) (-.f64 z t)))) (cbrt.f64 (.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))))) (cbrt.f64 (*.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))))))
	19.4b	(fma.f64 a 120 (cbrt.f64 (*.f64 216000 (pow.f64 (/.f64 (-.f64 x y) (-.f64 z t)) 3))))
▶	0.5b	(fma.f64 a 120 (/.f64 (.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (*.f64 (-.f64 x y) (cbrt.f64 60))) (-.f64 z t)))
	30.2b	(fma.f64 a 120 (/.f64 (.f64 (sqrt.f64 (.f64 60 (-.f64 x y))) (sqrt.f64 (*.f64 60 (-.f64 x y)))) (-.f64 z t)))

Compiler

Compiled 1651 to 863 computations (47.7% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (*.f64 (-.f64 x y) (cbrt.f64 60))) (-.f64 z t))
0.2b	(.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (*.f64 (-.f64 x y) (cbrt.f64 60)))
0.3b	(*.f64 (-.f64 x y) (cbrt.f64 60))
1.0b	(*.f64 (cbrt.f64 60) (cbrt.f64 60))

rewrite235.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

34×	`add-exp-log_binary64`
25×	`add-cube-cbrt_binary64`
23×	`add-sqr-sqrt_binary64`
19×	`add-cbrt-cube_binary64`
18×	`pow1/3_binary64`

Counts

4 → 170

Calls

4 calls:

20.0ms	(/.f64 (.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (*.f64 (-.f64 x y) (cbrt.f64 60))) (-.f64 z t))
17.0ms	(.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (*.f64 (-.f64 x y) (cbrt.f64 60)))
14.0ms	(*.f64 (-.f64 x y) (cbrt.f64 60))
14.0ms	(*.f64 (cbrt.f64 60) (cbrt.f64 60))

Compiler

Compiled 3799 to 2481 computations (34.7% saved)

series172.0ms (2.3%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

98.0ms	(/.f64 (.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (*.f64 (-.f64 x y) (cbrt.f64 60))) (-.f64 z t))
32.0ms	(.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (*.f64 (-.f64 x y) (cbrt.f64 60)))
23.0ms	(*.f64 (-.f64 x y) (cbrt.f64 60))
0.0ms	(*.f64 (cbrt.f64 60) (cbrt.f64 60))

Compiler

Compiled 2514 to 1958 computations (22.1% saved)

simplify142.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

677×	`unswap-sqr_binary64`
542×	`fma-def_binary64`
283×	`log-prod_binary64`
256×	`fma-neg_binary64`
180×	`associate-r_binary64`

Counts

218 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	211	3408
1	540	2388
2	2255	2274
3	4210	2273
4	4946	2273
5	5009	2273

prune98.0ms (1.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	150	3	153
Fresh	4	3	7
Picked	0	1	1
Done	0	1	1
Total	154	8	162

Error

Counts

162 → 8

Alt Table

Status	Error	Program
	30.3b	(fma.f64 a 120 (.f64 60 (-.f64 (.f64 (+.f64 (/.f64 t z) 1) (/.f64 x z)) (*.f64 (+.f64 (/.f64 t z) 1) (/.f64 y z)))))
	0.5b	(fma.f64 a 120 (.f64 (cbrt.f64 (/.f64 (.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (.f64 (-.f64 x y) (cbrt.f64 60))) (-.f64 z t))) (.f64 (cbrt.f64 (/.f64 (.f64 60 (-.f64 x y)) (-.f64 z t))) (cbrt.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))))))
	23.1b	(fma.f64 a 120 (/.f64 -60 (/.f64 t (-.f64 x y))))
▶	0.5b	(fma.f64 a 120 (/.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (/.f64 (-.f64 z t) (.f64 (cbrt.f64 60) (-.f64 x y)))))
✓	0.1b	(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)))
	32.5b	(fma.f64 a 120 (.f64 (sqrt.f64 (.f64 60 (/.f64 (-.f64 x y) (-.f64 z t)))) (sqrt.f64 (*.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))))))
✓	0.5b	(fma.f64 a 120 (/.f64 (.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (*.f64 (-.f64 x y) (cbrt.f64 60))) (-.f64 z t)))
	30.2b	(fma.f64 a 120 (/.f64 (.f64 (sqrt.f64 (.f64 60 (-.f64 x y))) (sqrt.f64 (*.f64 60 (-.f64 x y)))) (-.f64 z t)))

Compiler

Compiled 2269 to 1355 computations (40.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (-.f64 z t) (*.f64 (cbrt.f64 60) (-.f64 x y)))
0.3b	(*.f64 (cbrt.f64 60) (-.f64 x y))
0.6b	(/.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (/.f64 (-.f64 z t) (.f64 (cbrt.f64 60) (-.f64 x y))))
1.0b	(*.f64 (cbrt.f64 60) (cbrt.f64 60))

rewrite278.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

49×	`add-cube-cbrt_binary64`
32×	`add-exp-log_binary64`
21×	`add-sqr-sqrt_binary64`
21×	`add-cbrt-cube_binary64`
18×	`pow1/3_binary64`

Counts

4 → 191

Calls

4 calls:

46.0ms	(/.f64 (-.f64 z t) (*.f64 (cbrt.f64 60) (-.f64 x y)))
17.0ms	(*.f64 (cbrt.f64 60) (-.f64 x y))
15.0ms	(/.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (/.f64 (-.f64 z t) (.f64 (cbrt.f64 60) (-.f64 x y))))
15.0ms	(*.f64 (cbrt.f64 60) (cbrt.f64 60))

Compiler

Compiled 4722 to 2799 computations (40.7% saved)

series260.0ms (3.5%)

Error

Counts

4 → 69

Calls

4 calls:

117.0ms	(/.f64 (-.f64 z t) (*.f64 (cbrt.f64 60) (-.f64 x y)))
98.0ms	(/.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (/.f64 (-.f64 z t) (.f64 (cbrt.f64 60) (-.f64 x y))))
22.0ms	(*.f64 (cbrt.f64 60) (-.f64 x y))
0.0ms	(*.f64 (cbrt.f64 60) (cbrt.f64 60))

Compiler

Compiled 4468 to 3444 computations (22.9% saved)

simplify142.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

274×	`times-frac_binary64`
255×	`associate-/r*_binary64`
248×	`fma-neg_binary64`
217×	`associate-l_binary64`
215×	`associate-r_binary64`

Counts

260 → 155

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	313	5512
1	902	4426
2	4068	4387
3	4963	4387

prune95.0ms (1.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	3	2	5
Picked	0	1	1
Done	1	1	2
Total	157	6	163

Error

Counts

163 → 6

Alt Table

Status	Error	Program
▶	0.1b	(fma.f64 a 120 (fma.f64 (/.f64 60 (-.f64 z t)) x (/.f64 -60 (/.f64 (-.f64 z t) y))))
	0.5b	(fma.f64 a 120 (.f64 (cbrt.f64 (/.f64 (.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (.f64 (-.f64 x y) (cbrt.f64 60))) (-.f64 z t))) (.f64 (cbrt.f64 (/.f64 (.f64 60 (-.f64 x y)) (-.f64 z t))) (cbrt.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))))))
✓	0.5b	(fma.f64 a 120 (/.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (/.f64 (-.f64 z t) (.f64 (cbrt.f64 60) (-.f64 x y)))))
✓	0.1b	(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)))
	32.5b	(fma.f64 a 120 (.f64 (sqrt.f64 (.f64 60 (/.f64 (-.f64 x y) (-.f64 z t)))) (sqrt.f64 (*.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))))))
	0.2b	(fma.f64 a 120 (/.f64 (cbrt.f64 3600) (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 60) (-.f64 x y)))))

Compiler

Compiled 2427 to 1507 computations (37.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 z t) y)
0.0b	(fma.f64 a 120 (fma.f64 (/.f64 60 (-.f64 z t)) x (/.f64 -60 (/.f64 (-.f64 z t) y))))
0.1b	(fma.f64 (/.f64 60 (-.f64 z t)) x (/.f64 -60 (/.f64 (-.f64 z t) y)))
1.4b	(/.f64 -60 (/.f64 (-.f64 z t) y))

rewrite183.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

41×	`add-cube-cbrt_binary64`
20×	`add-cbrt-cube_binary64`
18×	`add-exp-log_binary64`
16×	`pow1_binary64`
16×	`add-sqr-sqrt_binary64`

Counts

4 → 164

Calls

4 calls:

14.0ms	(/.f64 (-.f64 z t) y)
12.0ms	(/.f64 -60 (/.f64 (-.f64 z t) y))
12.0ms	(fma.f64 (/.f64 60 (-.f64 z t)) x (/.f64 -60 (/.f64 (-.f64 z t) y)))
8.0ms	(fma.f64 a 120 (fma.f64 (/.f64 60 (-.f64 z t)) x (/.f64 -60 (/.f64 (-.f64 z t) y))))

Compiler

Compiled 3481 to 1537 computations (55.8% saved)

series264.0ms (3.6%)

Error

Counts

4 → 83

Calls

4 calls:

80.0ms	(fma.f64 a 120 (fma.f64 (/.f64 60 (-.f64 z t)) x (/.f64 -60 (/.f64 (-.f64 z t) y))))
69.0ms	(fma.f64 (/.f64 60 (-.f64 z t)) x (/.f64 -60 (/.f64 (-.f64 z t) y)))
65.0ms	(/.f64 (-.f64 z t) y)
23.0ms	(/.f64 -60 (/.f64 (-.f64 z t) y))

Compiler

Compiled 3957 to 2695 computations (31.9% saved)

simplify179.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

663×	`fma-def_binary64`
405×	`fma-neg_binary64`
362×	`cancel-sign-sub-inv_binary64`
270×	`distribute-rgt-in_binary64`
178×	`distribute-rgt-neg-in_binary64`

Counts

247 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	241	3768
1	670	3529
2	2293	3431
3	4981	3431
4	5134	3431

prune107.0ms (1.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	130	6	136

Error

Counts

136 → 6

Alt Table

Status	Error	Program
	0.1b	(fma.f64 a 120 (fma.f64 (/.f64 60 (-.f64 z t)) x (/.f64 -60 (/.f64 (-.f64 z t) y))))
	0.5b	(fma.f64 a 120 (.f64 (cbrt.f64 (/.f64 (.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (.f64 (-.f64 x y) (cbrt.f64 60))) (-.f64 z t))) (.f64 (cbrt.f64 (/.f64 (.f64 60 (-.f64 x y)) (-.f64 z t))) (cbrt.f64 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))))))
	0.1b	(fma.f64 a 120 (*.f64 60 (-.f64 (/.f64 x (-.f64 z t)) (/.f64 y (-.f64 z t)))))
	0.5b	(fma.f64 a 120 (/.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (/.f64 (-.f64 z t) (.f64 (cbrt.f64 60) (-.f64 x y)))))
	0.1b	(fma.f64 a 120 (/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t)))
	32.5b	(fma.f64 a 120 (.f64 (sqrt.f64 (.f64 60 (/.f64 (-.f64 x y) (-.f64 z t)))) (sqrt.f64 (*.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))))))

Compiler

Compiled 2123 to 865 computations (59.3% saved)

regimes2.1s (28.7%)

Accuracy

Total 0.4b remaining (96.4%)

Threshold costs 0.4b (96.4%)

Compiler

Compiled 33500 to 24220 computations (27.7% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
4×	`sub-neg_binary64`
3×	`*-commutative_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	17
1	18	17
2	26	17
3	30	17
4	32	17
5	32	17

end1.0ms (0%)

Compiler: Compiled 17 to 12 computations (29.4% saved)

sample963.0ms (13.1%)

Algorithm

1×

intervals

Results

415.0ms	7878×	body	128	valid
31.0ms	637×	body	128	invalid
10.0ms	51×	body	1024	valid
6.0ms	25×	body	2048	valid
6.0ms	28×	body	512	valid
2.0ms	16×	body	256	valid
1.0ms	2×	body	4096	valid

Compiler

Compiled 201 to 136 computations (32.3% saved)

Details

analyze1.5s (19.9%)

sample29.0ms (0.4%)

simplify122.0ms (1.7%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite124.0ms (1.7%)

series166.0ms (2.3%)

simplify99.0ms (1.3%)

prune68.0ms (0.9%)

localize12.0ms (0.2%)

rewrite235.0ms (3.2%)

series172.0ms (2.3%)

simplify142.0ms (1.9%)

prune98.0ms (1.3%)

localize13.0ms (0.2%)

rewrite278.0ms (3.8%)

series260.0ms (3.5%)

simplify142.0ms (1.9%)

prune95.0ms (1.3%)

localize11.0ms (0.1%)

rewrite183.0ms (2.5%)

series264.0ms (3.6%)

simplify179.0ms (2.4%)

prune107.0ms (1.5%)

regimes2.1s (28.7%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample963.0ms (13.1%)

Profiling