Details

analyze2.0s (11.2%)

Algorithm

1×

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%	74.7%	25.3%	8
0%	74.7%	25.3%	9
0%	65.4%	34.6%	10
0%	51.4%	48.6%	11
0%	51.4%	48.6%	12
0%	51.4%	48.6%	13
0%	51.4%	48.6%	14

Compiler

Compiled 30 to 21 computations (30% saved)

sample4.4s (24.8%)

Symmetry

(sort z t a)

Results

2.5s	11245×	body	128	invalid
1.7s	8251×	body	128	valid
2.0ms	3×	body	512	valid
1.0ms	2×	body	1024	valid

Compiler

Compiled 89 to 62 computations (30.3% saved)

simplify80.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

2664×	`associate-+l+_binary64`
1041×	`associate-+r+_binary64`
923×	`+-commutative_binary64`
750×	`fma-def_binary64`
5×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	30
1	41	26
2	109	26
3	376	26
4	1118	26
5	1592	26
6	1698	26
7	1698	26
8	1698	26
9	1698	26
10	2706	26
11	2958	26
12	2958	26
13	2910	26
14	2910	26
15	2540	26
16	2524	26

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

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

0.1b

(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))

0.1b

(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b 1/2) (log.f64 c))) (*.f64 y i))

Compiler

Compiled 157 to 101 computations (35.7% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.8s (10.1%)

Counts

4 → 276

Calls

4 calls:

789.0ms	(fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))
698.0ms	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))
179.0ms	(+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)
107.0ms	(fma.f64 x (log.f64 y) z)

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
9×	`add-log-exp_binary64`
5×	`add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`
4×	`distribute-lft-out_binary64`

Counts

4 → 51

Calls

4 calls:

4.0ms	(+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)
0.0ms	(fma.f64 x (log.f64 y) z)
0.0ms	(fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))
0.0ms	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))

simplify128.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

856×	`associate--l+_binary64`
642×	`fma-def_binary64`
591×	`distribute-rgt-in_binary64`
564×	`distribute-lft-in_binary64`
238×	`associate-+r+_binary64`

Counts

327 → 149

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	217	6904
1	527	6738
2	1686	6112
3	5359	6112

prune130.0ms (0.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	145	4	149
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	147	4	151

Error

0.1b

Counts

151 → 4

Alt Table

Status	Error	Program
	0.1b	(fma.f64 y i (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (fma.f64 x (log.f64 y) z) (+.f64 t a))))
▶	0.1b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	32.5b	(fma.f64 y i (*.f64 (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	1.2b	(fma.f64 y i (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))

Compiler

Compiled 3849 to 1364 computations (64.6% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
✓	0.0b	(+.f64 (*.f64 (log.f64 y) x) z)
✓	0.3b	(*.f64 (log.f64 y) x)
✓	0.3b	(*.f64 (log.f64 (/.f64 1 c)) b)

series1.8s (9.9%)

Counts

4 → 126

Calls

4 calls:

1.2s	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
258.0ms	(*.f64 (log.f64 (/.f64 1 c)) b)
205.0ms	(*.f64 (log.f64 y) x)
103.0ms	(+.f64 (*.f64 (log.f64 y) x) z)

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
11×	`pow1_binary64`
10×	`associate-l_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 69

Calls

4 calls:

4.0ms	(*.f64 (log.f64 (/.f64 1 c)) b)
3.0ms	(+.f64 (*.f64 (log.f64 y) x) z)
3.0ms	(*.f64 (log.f64 y) x)
0.0ms	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))

simplify113.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

779×	`fma-def_binary64`
599×	`fma-neg_binary64`
469×	`associate--l+_binary64`
466×	`+-commutative_binary64`
215×	`cancel-sign-sub-inv_binary64`

Counts

195 → 146

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	208	4352
1	500	3796
2	1460	3497
3	4167	3497
4	5045	3497

prune260.0ms (1.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	140	6	146
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	141	9	150

Error

0.0b

Counts

150 → 9

Alt Table

Status	Error	Program
	20.1b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 (/.f64 1 c)) (log.f64 (/.f64 1 c))) (log.f64 (/.f64 1 c))) (.f64 (*.f64 b b) b)))))
▶	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	32.5b	(fma.f64 y i (*.f64 (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	1.2b	(fma.f64 y i (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
✓	0.1b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	35.6b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (sqrt.f64 (log.f64 y)) (.f64 (sqrt.f64 (log.f64 y)) x)) z)))) (.f64 (log.f64 (/.f64 1 c)) b)))
	31.8b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (sqrt.f64 (log.f64 (/.f64 1 c))) (.f64 b (sqrt.f64 (neg.f64 (log.f64 c)))))))
	35.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (sqrt.f64 (neg.f64 (.f64 (log.f64 c) b))) (sqrt.f64 (neg.f64 (*.f64 (log.f64 c) b))))))

Compiler

Compiled 5182 to 2685 computations (48.2% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 (log.f64 (/.f64 1 c)) b)
✓	0.4b	(.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (*.f64 (cbrt.f64 (log.f64 y)) x))
✓	0.5b	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
✓	0.5b	(cbrt.f64 (log.f64 y))

series894.0ms (5.1%)

Counts

3 → 48

Calls

3 calls:

348.0ms	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
333.0ms	(cbrt.f64 (log.f64 y))
212.0ms	(.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (*.f64 (cbrt.f64 (log.f64 y)) x))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
28×	`cbrt-prod_binary64`
20×	`add-sqr-sqrt_binary64`
17×	`add-exp-log_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 85

Calls

3 calls:

7.0ms	(.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (*.f64 (cbrt.f64 (log.f64 y)) x))
4.0ms	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
1.0ms	(cbrt.f64 (log.f64 y))

simplify101.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

582×	`log-prod_binary64`
429×	`distribute-rgt-neg-out_binary64`
388×	`neg-mul-1_binary64`
357×	`distribute-lft-neg-out_binary64`
338×	`exp-prod_binary64`

Counts

133 → 107

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	99	1222
1	202	1065
2	654	1015
3	1391	997
4	3802	877
5	4821	877
6	5104	877

prune345.0ms (2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	179	4	183
Fresh	1	6	7
Picked	1	0	1
Done	1	0	1
Total	182	10	192

Error

0.0b

Counts

192 → 10

Alt Table

Status	Error	Program
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))))) (.f64 (cbrt.f64 (log.f64 y)) x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	32.5b	(fma.f64 y i (*.f64 (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
▶	0.1b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (pow.f64 (.f64 (log.f64 y) x) 1) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	1.2b	(fma.f64 y i (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (cbrt.f64 (log.f64 y)))) x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	35.6b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	31.8b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (sqrt.f64 (log.f64 (/.f64 1 c))) (.f64 b (sqrt.f64 (neg.f64 (log.f64 c)))))))
	35.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (sqrt.f64 (neg.f64 (.f64 (log.f64 c) b))) (sqrt.f64 (neg.f64 (*.f64 (log.f64 c) b))))))
	20.1b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 (/.f64 1 c)) (log.f64 (/.f64 1 c))) (log.f64 (/.f64 1 c))) (.f64 (*.f64 b b) b)))))

Compiler

Compiled 8339 to 3845 computations (53.9% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (pow.f64 (.f64 (log.f64 y) x) 1) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
✓	0.0b	(+.f64 (pow.f64 (*.f64 (log.f64 y) x) 1) z)
	0.3b	(*.f64 (log.f64 y) x)
	0.3b	(*.f64 (log.f64 (/.f64 1 c)) b)

series1.3s (7.2%)

Counts

2 → 132

Calls

2 calls:

1.2s

(fma.f64 y i (-.f64 (+.f64 a (+.f64 (*.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (pow.f64 (*.f64 (log.f64 y) x) 1) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))

97.0ms

(+.f64 (pow.f64 (*.f64 (log.f64 y) x) 1) z)

rewrite44.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64`
5×	`fma-def_binary64`
4×	`add-log-exp_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`

Counts

2 → 29

Calls

2 calls:

38.0ms

(fma.f64 y i (-.f64 (+.f64 a (+.f64 (*.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (pow.f64 (*.f64 (log.f64 y) x) 1) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))

4.0ms

(+.f64 (pow.f64 (*.f64 (log.f64 y) x) 1) z)

simplify122.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

895×	`fma-neg_binary64`
598×	`fma-def_binary64`
462×	`associate--l+_binary64`
444×	`+-commutative_binary64`
179×	`associate-r_binary64`

Counts

161 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	154	3907
1	377	3481
2	1163	3174
3	3755	3174
4	4957	3174
5	5005	3174

prune323.0ms (1.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	154	10	164

Error

0.0b

Counts

164 → 10

Alt Table

Status	Error	Program
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))))) (.f64 (cbrt.f64 (log.f64 y)) x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	32.5b	(fma.f64 y i (*.f64 (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (sqrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
✓	0.1b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (pow.f64 (.f64 (log.f64 y) x) 1) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	1.2b	(fma.f64 y i (.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))) (cbrt.f64 (fma.f64 (-.f64 b 1/2) (log.f64 c) (+.f64 (+.f64 (fma.f64 x (log.f64 y) z) t) a)))))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (cbrt.f64 (log.f64 y)))) x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	0.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (log.f64 y) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	35.6b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) (.f64 (cbrt.f64 (log.f64 y)) x)) z)))) (*.f64 (log.f64 (/.f64 1 c)) b)))
	31.8b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (sqrt.f64 (log.f64 (/.f64 1 c))) (.f64 b (sqrt.f64 (neg.f64 (log.f64 c)))))))
	35.3b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (.f64 (sqrt.f64 (neg.f64 (.f64 (log.f64 c) b))) (sqrt.f64 (neg.f64 (*.f64 (log.f64 c) b))))))
	20.1b	(fma.f64 y i (-.f64 (+.f64 a (+.f64 (.f64 1/2 (log.f64 (/.f64 1 c))) (+.f64 t (+.f64 (.f64 (log.f64 y) x) z)))) (cbrt.f64 (.f64 (.f64 (.f64 (log.f64 (/.f64 1 c)) (log.f64 (/.f64 1 c))) (log.f64 (/.f64 1 c))) (.f64 (*.f64 b b) b)))))

Compiler

Compiled 5379 to 3005 computations (44.1% saved)

regimes3.5s (20.1%)

Accuracy

Total 0.1b remaining (56%)

Threshold costs 0.1b (56%)

Counts

195 → 1

Compiler

Compiled 89361 to 58774 computations (34.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	39
1	36	39
2	45	39
3	51	39
4	55	39
5	56	39
6	55	39

end283.0ms (1.6%)

Remove: (sort z t a)
Compiler: Compiled 613 to 386 computations (37% saved)

Details

analyze2.0s (11.2%)

sample4.4s (24.8%)

simplify80.0ms (0.5%)

prune5.0ms (0%)

localize19.0ms (0.1%)

series1.8s (10.1%)

rewrite7.0ms (0%)

simplify128.0ms (0.7%)

prune130.0ms (0.7%)

localize18.0ms (0.1%)

series1.8s (9.9%)

rewrite13.0ms (0.1%)

simplify113.0ms (0.6%)

prune260.0ms (1.5%)

localize24.0ms (0.1%)

series894.0ms (5.1%)

rewrite17.0ms (0.1%)

simplify101.0ms (0.6%)

prune345.0ms (2%)

localize19.0ms (0.1%)

series1.3s (7.2%)

rewrite44.0ms (0.2%)

simplify122.0ms (0.7%)

prune323.0ms (1.8%)

regimes3.5s (20.1%)

simplify3.0ms (0%)

end283.0ms (1.6%)

Profiling