Details

analyze726.0ms (7.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	74.9%	25.1%	5
0%	74.9%	25.1%	6
0%	74.9%	25.1%	7
6.2%	56.2%	37.6%	8
7.8%	53%	39.2%	9
10.9%	45.6%	43.4%	10
18.3%	31.4%	50.3%	11
19.1%	29.5%	51.3%	12
21.4%	24.8%	53.8%	13
25.8%	16.7%	57.5%	14

Compiler

Compiled 28 to 21 computations (25% saved)

sample1.8s (18.9%)

Results

1.5s	8256×	body	128	valid
304.0ms	1938×	body	128	invalid

Compiler

Compiled 83 to 62 computations (25.3% saved)

simplify75.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

703×	`fma-def_binary64`
691×	`associate-/l*_binary64`
673×	`sub-neg_binary64`
568×	`fma-neg_binary64`
439×	`div-sub_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	32
1	43	32
2	99	31
3	223	30
4	529	30
5	1016	30
6	1917	30
7	3001	30
8	3396	30
9	4830	30
10	5110	30

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

5.6b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	5.6b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Status

Error

Program

▶

5.6b

(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Compiler

Compiled 102 to 73 computations (28.4% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)
✓	0.2b	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
✓	0.2b	(*.f64 (-.f64 x 1/2) (log.f64 x))
✓	5.2b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

series91.0ms (0.9%)

Counts

4 → 72

Calls

4 calls:

53.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)
15.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
14.0ms	(+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)
9.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))

rewrite42.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`*-un-lft-identity_binary64`
29×	`add-sqr-sqrt_binary64`
25×	`add-cube-cbrt_binary64`
18×	`log-prod_binary64`
13×	`associate-+l+_binary64`

Counts

4 → 120

Calls

4 calls:

12.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))
9.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)
8.0ms	(+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)
5.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)

simplify186.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

654×	`fma-neg_binary64`
646×	`times-frac_binary64`
406×	`cancel-sign-sub-inv_binary64`
197×	`exp-prod_binary64`
171×	`associate-l_binary64`

Counts

192 → 237

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	284	3766
1	654	3445
2	2312	3267
3	4222	3261
4	4970	3261
5	4899	3261

prune364.0ms (3.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	226	11	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	227	11	238

Error

1.8b

Counts

238 → 11

Alt Table

Status	Error	Program
	6.1b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (-.f64 x 1/2)) (cbrt.f64 (-.f64 x 1/2))) (.f64 (cbrt.f64 (-.f64 x 1/2)) (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	21.1b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (.f64 (/.f64 (*.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
	5.6b	(+.f64 (+.f64 (-.f64 (+.f64 (.f64 (+.f64 x -1/2) (.f64 2 (log.f64 (cbrt.f64 x)))) (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.9b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))))
	11.0b	(+.f64 (+.f64 (-.f64 (.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))
▶	5.5b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.6b	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 1 (/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000))))
	6.0b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 x 1/2) (.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 (log.f64 x)))) (cbrt.f64 (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	29.6b	(+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 x 1/2)) (.f64 (sqrt.f64 (-.f64 x 1/2)) (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	10.5b	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x))
	5.6b	(+.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))

Compiler

Compiled 8375 to 5524 computations (34% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (+.f64 y 7936500793651/10000000000000000) z)
✓	0.1b	(.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z)
✓	0.3b	(fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x))
	5.2b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

series23.0ms (0.2%)

Counts

3 → 60

Calls

3 calls:

11.0ms

(*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z)

8.0ms

(fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x))

4.0ms

(*.f64 (+.f64 y 7936500793651/10000000000000000) z)

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64`
7×	`associate-l_binary64`
7×	`add-cube-cbrt_binary64`
7×	`add-cbrt-cube_binary64`

Counts

3 → 55

Calls

3 calls:

6.0ms

(*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z)

4.0ms

(*.f64 (+.f64 y 7936500793651/10000000000000000) z)

0.0ms

(fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x))

simplify96.0ms (1%)

Algorithm

1×	egg-herbie

Rules

741×	`fma-neg_binary64`
435×	`distribute-rgt-in_binary64`
416×	`distribute-lft-in_binary64`
401×	`associate-l_binary64`
310×	`associate-r_binary64`

Counts

115 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	1524
1	342	1339
2	984	1311
3	3165	1297
4	4583	1297
5	4926	1297

prune312.0ms (3.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	184	5	189
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	189	11	200

Error

1.8b

Counts

200 → 11

Alt Table

Status	Error	Program
	21.1b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 (.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
	10.3b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 (+.f64 (*.f64 -13888888888889/5000000000000000 z) 83333333333333/1000000000000000) x))
	5.6b	(+.f64 (+.f64 (-.f64 (+.f64 (.f64 (+.f64 x -1/2) (.f64 2 (log.f64 (cbrt.f64 x)))) (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.9b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))))
	5.6b	(+.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	6.0b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 x 1/2) (.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 (log.f64 x)))) (cbrt.f64 (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	29.6b	(+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 x 1/2)) (.f64 (sqrt.f64 (-.f64 x 1/2)) (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	6.1b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (-.f64 x 1/2)) (cbrt.f64 (-.f64 x 1/2))) (.f64 (cbrt.f64 (-.f64 x 1/2)) (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
▶	5.5b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 1 (/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000))))
	10.5b	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x))
	11.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))

Compiler

Compiled 6407 to 4283 computations (33.2% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)
✓	0.2b	(/.f64 1 (/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)))
	0.3b	(fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x))
✓	5.2b	(/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000))

series232.0ms (2.4%)

Counts

3 → 96

Calls

3 calls:

176.0ms

(/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000))

47.0ms

(/.f64 1 (/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)))

9.0ms

(fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)

rewrite17.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`times-frac_binary64`
53×	`*-un-lft-identity_binary64`
53×	`add-sqr-sqrt_binary64`
53×	`add-cube-cbrt_binary64`
16×	`associate-/r*_binary64`

Counts

3 → 117

Calls

3 calls:

4.0ms

(/.f64 1 (/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)))

2.0ms

(/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000))

0.0ms

(fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)

simplify157.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

406×	`distribute-rgt-in_binary64`
390×	`cancel-sign-sub-inv_binary64`
206×	`unswap-sqr_binary64`
162×	`sub-neg_binary64`
161×	`fma-def_binary64`

Counts

213 → 213

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	308	6729
1	799	5976
2	2938	5787
3	5106	5787

prune453.0ms (4.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	240	1	241
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	241	11	252

Error

1.8b

Counts

252 → 11

Alt Table

Status	Error	Program
	21.1b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (/.f64 (.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
	5.6b	(+.f64 (+.f64 (-.f64 (+.f64 (.f64 (+.f64 x -1/2) (.f64 2 (log.f64 (cbrt.f64 x)))) (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.9b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))))
▶	5.6b	(+.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	6.0b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 x 1/2) (.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 (log.f64 x)))) (cbrt.f64 (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	29.6b	(+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 x 1/2)) (.f64 (sqrt.f64 (-.f64 x 1/2)) (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	6.1b	(+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (-.f64 x 1/2)) (cbrt.f64 (-.f64 x 1/2))) (.f64 (cbrt.f64 (-.f64 x 1/2)) (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
✓	5.5b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 1 (/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000))))
	10.5b	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x))
	10.2b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 1 (.f64 x (+.f64 1000000000000000/83333333333333 (.f64 z 2777777777777800000000000000/6944444444444388888888888889)))))
	11.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))

Compiler

Compiled 9307 to 6288 computations (32.4% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2))
✓	0.3b	(fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x))
✓	0.3b	(+.f64 (*.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x)))
	5.2b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

series56.0ms (0.6%)

Counts

3 → 0

Calls

3 calls:

27.0ms

(+.f64 (*.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x)))

15.0ms

(fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x))

14.0ms

(*.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`add-sqr-sqrt_binary64`
36×	`prod-diff_binary64`
35×	`*-un-lft-identity_binary64`
33×	`add-cube-cbrt_binary64`
26×	`distribute-lft-in_binary64`

Counts

3 → 104

Calls

3 calls:

8.0ms

(*.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2))

7.0ms

(+.f64 (*.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x)))

0.0ms

(fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x))

simplify110.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

402×	`cancel-sign-sub-inv_binary64`
384×	`fma-def_binary64`
373×	`fma-neg_binary64`
326×	`distribute-rgt-in_binary64`
320×	`associate-l_binary64`

Counts

104 → 149

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	161	2199
1	266	1834
2	695	1585
3	2645	1580
4	4304	1580
5	4994	1580

prune431.0ms (4.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	217	3	220
Fresh	3	6	9
Picked	1	0	1
Done	0	1	1
Total	221	10	231

Error

1.8b

Counts

231 → 10

Alt Table

Status	Error	Program
	10.5b	(+.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (/.f64 83333333333333/1000000000000000 x))
	10.5b	(+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x))
	5.6b	(+.f64 (fma.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2) (fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	29.6b	(+.f64 (+.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 x 1/2)) (.f64 (sqrt.f64 (-.f64 x 1/2)) (log.f64 x))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
	5.6b	(+.f64 (+.f64 (-.f64 (+.f64 (.f64 (+.f64 x -1/2) (.f64 2 (log.f64 (cbrt.f64 x)))) (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) x) 91893853320467/100000000000000) (/.f64 (+.f64 (.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))
✓	5.5b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 1 (/.f64 x (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000))))
	5.9b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000) x))))
	10.2b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (/.f64 1 (.f64 x (+.f64 1000000000000000/83333333333333 (.f64 z 2777777777777800000000000000/6944444444444388888888888889)))))
	21.2b	(+.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 x)) (-.f64 x 1/2)) (fma.f64 (+.f64 x -1/2) (log.f64 (sqrt.f64 x)) (-.f64 91893853320467/100000000000000 x))) (.f64 (/.f64 (*.f64 z z) x) (+.f64 7936500793651/10000000000000000 y)))
	11.0b	(+.f64 (fma.f64 (log.f64 x) (+.f64 x -1/2) (-.f64 91893853320467/100000000000000 x)) (*.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 z (+.f64 7936500793651/10000000000000000 y) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x)))

Compiler

Compiled 9804 to 6095 computations (37.8% saved)

regimes4.1s (42.5%)

Accuracy

Total 1.3b remaining (39.2%)

Threshold costs 0b (0%)

Counts

220 → 3

Compiler

Compiled 57000 to 40987 computations (28.1% saved)

bsearch11.0ms (0.1%)

Compiler: Compiled 12 to 9 computations (25% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary64`
9×	`*-commutative_binary64`
9×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	136
1	72	136
2	84	136
3	92	136
4	98	136
5	101	136
6	102	136
7	99	136

end242.0ms (2.5%)

Compiler: Compiled 501 to 355 computations (29.1% saved)

Details

analyze726.0ms (7.5%)

sample1.8s (18.9%)

simplify75.0ms (0.8%)

prune4.0ms (0%)

localize19.0ms (0.2%)

series91.0ms (0.9%)

rewrite42.0ms (0.4%)

simplify186.0ms (1.9%)

prune364.0ms (3.7%)

localize21.0ms (0.2%)

series23.0ms (0.2%)

rewrite16.0ms (0.2%)

simplify96.0ms (1%)

prune312.0ms (3.2%)

localize17.0ms (0.2%)

series232.0ms (2.4%)

rewrite17.0ms (0.2%)

simplify157.0ms (1.6%)

prune453.0ms (4.7%)

localize22.0ms (0.2%)

series56.0ms (0.6%)

rewrite24.0ms (0.2%)

simplify110.0ms (1.1%)

prune431.0ms (4.4%)

regimes4.1s (42.5%)

bsearch11.0ms (0.1%)

simplify9.0ms (0.1%)

end242.0ms (2.5%)

Profiling