Details

analyze506.0ms (3.4%)

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%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample2.4s (16.1%)

Symmetry

(sort x y)

Results

1.5s	8256×	body	128	valid
743.0ms	4491×	body	128	invalid

Compiler

Compiled 65 to 47 computations (27.7% saved)

simplify210.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

2140×	`distribute-rgt-in_binary64`
556×	`associate--r+_binary64`
551×	`associate-+l+_binary64`
551×	`unsub-neg_binary64`
546×	`associate-+r+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	29	23
2	72	23
3	160	23
4	426	23
5	1097	23
6	1994	23
7	1981	23
8	1956	23
9	1972	23
10	1987	23
11	2037	23
12	2044	23
13	2248	23
14	2651	23
15	2447	23
16	2459	23
17	2465	23
18	2465	23
19	2557	23
20	4649	23
21	4720	23
22	4802	23
23	4878	23
24	7643	23

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))

Compiler

Compiled 118 to 76 computations (35.6% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
✓	0.2b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
✓	0.5b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

series1.3s (9%)

Counts

3 → 144

Calls

3 calls:

694.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
358.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
275.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`*-un-lft-identity_binary64`
28×	`pow1_binary64`
25×	`distribute-lft-out_binary64`
25×	`log-pow_binary64`
21×	`prod-diff_binary64`

Counts

3 → 94

Calls

3 calls:

7.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
7.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))

simplify161.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

977×	`fma-neg_binary64`
440×	`associate--l+_binary64`
354×	`associate--r+_binary64`
345×	`associate-+l+_binary64`
318×	`unsub-neg_binary64`

Counts

238 → 234

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	362	5343
1	1090	4931
2	4053	4802
3	4581	4780
4	5237	4780

prune211.0ms (1.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	228	6	234
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	230	6	236

Error

0.1b

Counts

236 → 6

Alt Table

Status	Error	Program
	38.8b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	1.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	35.6b	(cbrt.f64 (.f64 (.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	53.3b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))
▶	0.2b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t))
	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t))

Compiler

Compiled 6307 to 2507 computations (60.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t)
✓	0.1b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t))
✓	0.1b	(*.f64 (log.f64 t) (-.f64 a 1/2))
✓	0.2b	(+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2)))

series2.2s (15.2%)

Counts

4 → 156

Calls

4 calls:

885.0ms	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t))
739.0ms	(+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2)))
540.0ms	(-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t)
71.0ms	(*.f64 (log.f64 t) (-.f64 a 1/2))

rewrite41.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`*-un-lft-identity_binary64`
59×	`add-sqr-sqrt_binary64`
54×	`prod-diff_binary64`
53×	`add-cube-cbrt_binary64`
40×	`associate-+r+_binary64`

Counts

4 → 173

Calls

4 calls:

11.0ms	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t))
6.0ms	(*.f64 (log.f64 t) (-.f64 a 1/2))
6.0ms	(+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2)))
5.0ms	(-.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))) t)

simplify193.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

436×	`fma-neg_binary64`
286×	`+-commutative_binary64`
254×	`associate--l+_binary64`
245×	`associate--r+_binary64`
231×	`fma-def_binary64`

Counts

329 → 322

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	430	6957
1	1072	5939
2	3840	5917
3	4964	5917
4	4949	5917

prune362.0ms (2.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	313	9	322
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	318	10	328

Error

0.0b

Counts

328 → 10

Alt Table

Status	Error	Program
	53.1b	(log.f64 (.f64 (+.f64 x y) (/.f64 (.f64 z (pow.f64 t (-.f64 a 1/2))) (exp.f64 t))))
	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 t) (-.f64 a 1/2))) (cbrt.f64 (.f64 (log.f64 t) (-.f64 a 1/2)))) (cbrt.f64 (*.f64 (log.f64 t) (-.f64 a 1/2))))) t))
	31.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (log.f64 t) (+.f64 (sqrt.f64 a) (sqrt.f64 1/2))) (-.f64 (sqrt.f64 a) (sqrt.f64 1/2)))) t))
	0.6b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (log.f64 t) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2)))) (cbrt.f64 (-.f64 a 1/2)))) t))
	33.3b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (sqrt.f64 (log.f64 t)) (.f64 (sqrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	14.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2))) t))
	19.2b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 t) (log.f64 t)) (log.f64 t)) (.f64 (*.f64 (-.f64 a 1/2) (-.f64 a 1/2)) (-.f64 a 1/2))))) t))
▶	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t))
	31.5b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (.f64 (sqrt.f64 (+.f64 (log.f64 z) (.f64 (log.f64 t) (-.f64 a 1/2)))) (sqrt.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))))) t))

Compiler

Compiled 9354 to 4448 computations (52.4% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t)
✓	0.2b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t))
✓	0.5b	(+.f64 (log.f64 (+.f64 y x)) (log.f64 z))

series1.6s (10.7%)

Counts

3 → 127

Calls

3 calls:

735.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t))
463.0ms	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t)
369.0ms	(+.f64 (log.f64 (+.f64 y x)) (log.f64 z))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`*-un-lft-identity_binary64`
28×	`pow1_binary64`
25×	`distribute-lft-out_binary64`
25×	`log-pow_binary64`
21×	`prod-diff_binary64`

Counts

3 → 94

Calls

3 calls:

7.0ms	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t)
6.0ms	(+.f64 (log.f64 (+.f64 y x)) (log.f64 z))
0.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t))

simplify195.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

977×	`fma-neg_binary64`
439×	`associate--l+_binary64`
356×	`associate--r+_binary64`
345×	`associate-+l+_binary64`
318×	`unsub-neg_binary64`

Counts

221 → 234

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	358	5214
1	1088	4711
2	4051	4576
3	4581	4554
4	5237	4554

prune327.0ms (2.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	234	0	234
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	234	10	244

Error

0.0b

Counts

244 → 10

Alt Table

Status	Error	Program
	53.1b	(log.f64 (.f64 (+.f64 x y) (/.f64 (.f64 z (pow.f64 t (-.f64 a 1/2))) (exp.f64 t))))
	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 t) (-.f64 a 1/2))) (cbrt.f64 (.f64 (log.f64 t) (-.f64 a 1/2)))) (cbrt.f64 (*.f64 (log.f64 t) (-.f64 a 1/2))))) t))
	31.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (log.f64 t) (+.f64 (sqrt.f64 a) (sqrt.f64 1/2))) (-.f64 (sqrt.f64 a) (sqrt.f64 1/2)))) t))
▶	0.6b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (log.f64 t) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2)))) (cbrt.f64 (-.f64 a 1/2)))) t))
	33.3b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (sqrt.f64 (log.f64 t)) (.f64 (sqrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	14.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2))) t))
	19.2b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 t) (log.f64 t)) (log.f64 t)) (.f64 (*.f64 (-.f64 a 1/2) (-.f64 a 1/2)) (-.f64 a 1/2))))) t))
✓	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t))
	31.5b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (.f64 (sqrt.f64 (+.f64 (log.f64 z) (.f64 (log.f64 t) (-.f64 a 1/2)))) (sqrt.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))))) t))

Compiler

Compiled 6451 to 2670 computations (58.6% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(cbrt.f64 (-.f64 a 1/2))
✓	0.3b	(.f64 (log.f64 t) (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))))
✓	0.4b	(.f64 (.f64 (log.f64 t) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2)))) (cbrt.f64 (-.f64 a 1/2)))
✓	0.7b	(*.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2)))

series604.0ms (4.1%)

Counts

4 → 72

Calls

4 calls:

428.0ms	(.f64 (log.f64 t) (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))))
82.0ms	(*.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2)))
81.0ms	(.f64 (.f64 (log.f64 t) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2)))) (cbrt.f64 (-.f64 a 1/2)))
13.0ms	(cbrt.f64 (-.f64 a 1/2))

rewrite60.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`cbrt-div_binary64`
44×	`associate-*r/_binary64`
40×	`flip--_binary64`
40×	`flip3--_binary64`
38×	`cbrt-prod_binary64`

Counts

4 → 159

Calls

4 calls:

17.0ms	(.f64 (.f64 (log.f64 t) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2)))) (cbrt.f64 (-.f64 a 1/2)))
11.0ms	(*.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2)))
10.0ms	(.f64 (log.f64 t) (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))))
3.0ms	(cbrt.f64 (-.f64 a 1/2))

simplify165.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

616×	`cancel-sign-sub-inv_binary64`
551×	`fma-neg_binary64`
452×	`associate-l_binary64`
408×	`associate-r_binary64`
360×	`distribute-rgt-neg-in_binary64`

Counts

231 → 299

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	351	5164
1	893	4681
2	2834	4444
3	4935	4444
4	5134	4444

prune586.0ms (4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	386	3	389
Fresh	3	5	8
Picked	0	1	1
Done	0	1	1
Total	389	10	399

Error

0.0b

Counts

399 → 10

Alt Table

Status	Error	Program
	49.2b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (log.f64 t) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 a 1/2))) (.f64 (cbrt.f64 (sqrt.f64 (-.f64 a 1/2))) (cbrt.f64 (-.f64 a 1/2))))) (cbrt.f64 (-.f64 a 1/2)))) t))
	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t))) (*.f64 (cbrt.f64 (log.f64 t)) (-.f64 a 1/2)))) t))
	53.1b	(log.f64 (.f64 (+.f64 x y) (/.f64 (.f64 z (pow.f64 t (-.f64 a 1/2))) (exp.f64 t))))
	0.7b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 t) (-.f64 a 1/2))) (cbrt.f64 (.f64 (log.f64 t) (-.f64 a 1/2)))) (cbrt.f64 (*.f64 (log.f64 t) (-.f64 a 1/2))))) t))
	31.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (log.f64 t) (+.f64 (sqrt.f64 a) (sqrt.f64 1/2))) (-.f64 (sqrt.f64 a) (sqrt.f64 1/2)))) t))
✓	0.6b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (log.f64 t) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2)))) (cbrt.f64 (-.f64 a 1/2)))) t))
	14.0b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (.f64 (.f64 (log.f64 t) (cbrt.f64 (pow.f64 (-.f64 a 1/2) 2))) (cbrt.f64 (-.f64 a 1/2)))) t))
	14.1b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (+.f64 (log.f64 z) (/.f64 (.f64 (.f64 (log.f64 t) (cbrt.f64 (pow.f64 (-.f64 a 1/2) 2))) (cbrt.f64 (fma.f64 a a -1/4))) (cbrt.f64 (+.f64 a 1/2)))) t))
✓	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 y x)) (log.f64 z)) t))
	31.5b	(+.f64 (log.f64 (+.f64 y x)) (-.f64 (.f64 (sqrt.f64 (+.f64 (log.f64 z) (.f64 (log.f64 t) (-.f64 a 1/2)))) (sqrt.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 t) (-.f64 a 1/2))))) t))

Compiler

Compiled 14874 to 9244 computations (37.9% saved)

regimes3.2s (21.9%)

Accuracy

Total 0.2b remaining (82.7%)

Threshold costs 0.2b (82.7%)

Counts

231 → 1

Compiler

Compiled 65664 to 46474 computations (29.2% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`mul-1-neg_binary64`
1×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	25
1	29	23
2	32	23
3	33	23
4	34	23
5	31	23

end243.0ms (1.7%)

Remove: (sort x y)
Compiler: Compiled 385 to 273 computations (29.1% saved)

Details

analyze506.0ms (3.4%)

sample2.4s (16.1%)

simplify210.0ms (1.4%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series1.3s (9%)

rewrite21.0ms (0.1%)

simplify161.0ms (1.1%)

prune211.0ms (1.4%)

localize14.0ms (0.1%)

series2.2s (15.2%)

rewrite41.0ms (0.3%)

simplify193.0ms (1.3%)

prune362.0ms (2.5%)

localize14.0ms (0.1%)

series1.6s (10.7%)

rewrite21.0ms (0.1%)

simplify195.0ms (1.3%)

prune327.0ms (2.2%)

localize17.0ms (0.1%)

series604.0ms (4.1%)

rewrite60.0ms (0.4%)

simplify165.0ms (1.1%)

prune586.0ms (4%)

regimes3.2s (21.9%)

simplify6.0ms (0%)

end243.0ms (1.7%)

Profiling