Details

analyze1.1s (14.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
0%	100%	0%	4
0%	100%	0%	5
0%	100%	0%	6
0%	100%	0%	7
0%	100%	0%	8
0%	100%	0%	9
0%	100%	0%	10
0%	100%	0%	11
0%	100%	0%	12
3%	46.9%	50%	13
3.1%	46.8%	50%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample3.8s (49.4%)

Results

2.2s	4083×	body	2048	valid
931.0ms	2082×	body	1024	valid
350.0ms	1087×	body	512	valid
109.0ms	507×	body	256	valid
60.0ms	497×	body	128	valid
1.0ms	6×	body	128	invalid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify68.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

686×	`div-sub_binary64`
546×	`sub-neg_binary64`
397×	`neg-mul-1_binary64`
344×	`neg-sub0_binary64`
311×	`associate-/r*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	31	19
2	72	17
3	203	17
4	532	17
5	1340	17
6	2710	17
7	3748	17
8	4643	17
9	4981	17

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.6b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

Compiler

Compiled 53 to 36 computations (32.1% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
✓	0.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

series5.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

3.0ms	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
2.0ms	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

rewrite4.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
4×	`add-cbrt-cube_binary64`

Counts

2 → 39

Calls

2 calls:

2.0ms	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
0.0ms	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

simplify67.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

667×	`times-frac_binary64`
628×	`fma-def_binary64`
405×	`fma-neg_binary64`
337×	`associate-/l*_binary64`
292×	`associate-/r*_binary64`

Counts

63 → 60

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	103	1379
1	209	1264
2	549	1261
3	1434	1259
4	4502	1259
5	5039	1259

prune46.0ms (0.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	56	4	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	4	61

Error

0.6b

Counts

61 → 4

Alt Table

Status	Error	Program
	0.8b	(acos.f64 (fma.f64 4 (fma.f64 v v (pow.f64 v 4)) -1))
	2.1b	(.f64 (.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
▶	0.6b	(expm1.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
	1.6b	(cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 3))

Compiler

Compiled 1327 to 960 computations (27.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
✓	0.0b	(log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
✓	0.0b	(expm1.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
	0.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

series389.0ms (5.1%)

Counts

2 → 24

Calls

2 calls:

387.0ms	(log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
2.0ms	(expm1.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`expm1-log1p-u_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 22

Calls

2 calls:

0.0ms	(log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
0.0ms	(expm1.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))

simplify105.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

862×	`fma-neg_binary64`
724×	`unswap-sqr_binary64`
466×	`times-frac_binary64`
417×	`unsub-neg_binary64`
335×	`fma-def_binary64`

Counts

46 → 33

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	36	950
1	40	873
2	50	873
3	66	873
4	91	873
5	133	873
6	225	873
7	462	873
8	1063	873
9	2763	873
10	3925	873
11	4716	873
12	4964	873

prune103.0ms (1.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	89	4	93
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	92	5	97

Error

0.6b

Counts

97 → 5

Alt Table

Status	Error	Program
▶	0.6b	(expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))
	3.3b	(expm1.f64 (.f64 (.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))
	0.6b	(-.f64 (exp.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) 1)
	1.6b	(cbrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 3))
	1.0b	(expm1.f64 (log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1))))

Compiler

Compiled 2210 to 1645 computations (25.6% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
✓	0.0b	(.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))
✓	0.0b	(expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))
	0.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

series316.0ms (4.1%)

Counts

2 → 24

Calls

2 calls:

314.0ms

(*.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))

2.0ms

(expm1.f64 (*.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
18×	`sqrt-prod_binary64`
17×	`pow1_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

2 → 64

Calls

2 calls:

5.0ms

(*.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))

0.0ms

(expm1.f64 (*.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))

simplify128.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

485×	`fma-def_binary64`
446×	`unswap-sqr_binary64`
419×	`log-prod_binary64`
339×	`log-pow_binary64`
276×	`distribute-rgt-out_binary64`

Counts

88 → 80

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	69	2222
1	93	1983
2	200	1895
3	416	1755
4	827	1755
5	1882	1755
6	3798	1741
7	4889	1741
8	5082	1741

prune241.0ms (3.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	127	5	132
Fresh	3	1	4
Picked	1	0	1
Done	0	0	0
Total	131	6	137

Error

0.6b

Counts

137 → 6

Alt Table

Status	Error	Program
	1.6b	(cbrt.f64 (.f64 (.f64 (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))))
	3.3b	(expm1.f64 (.f64 (pow.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 5/2) (cbrt.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))))
	2.1b	(expm1.f64 (.f64 (.f64 (sqrt.f64 (.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (sqrt.f64 (.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (.f64 (sqrt.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) (sqrt.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))))
	2.8b	(expm1.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) (sqrt.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (.f64 (sqrt.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) (sqrt.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))))
▶	1.0b	(expm1.f64 (log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1))))
	2.1b	(.f64 (.f64 (cbrt.f64 (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (cbrt.f64 (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))))) (cbrt.f64 (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))))

Compiler

Compiled 5536 to 4135 computations (25.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1)))
✓	0.0b	(expm1.f64 (log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1))))
✓	0.6b	(acos.f64 (fma.f64 4 (*.f64 v v) -1))

series418.0ms (5.5%)

Counts

3 → 36

Calls

3 calls:

414.0ms	(log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1)))
2.0ms	(acos.f64 (fma.f64 4 (*.f64 v v) -1))
2.0ms	(expm1.f64 (log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1))))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`expm1-log1p-u_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`
3×	`add-cbrt-cube_binary64`

Counts

3 → 32

Calls

3 calls:

0.0ms	(acos.f64 (fma.f64 4 (*.f64 v v) -1))
0.0ms	(log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1)))
0.0ms	(expm1.f64 (log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1))))

simplify198.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1163×	`sqr-pow_binary64`
559×	`fabs-mul_binary64`
549×	`cube-prod_binary64`
516×	`pow-sqr_binary64`
458×	`unswap-sqr_binary64`

Counts

68 → 38

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	45	879
1	43	809
2	54	809
3	79	809
4	130	809
5	274	809
6	790	809
7	1285	809
8	1417	809
9	1605	809
10	1831	809
11	2074	809
12	2381	809
13	2626	809
14	3117	809
15	3806	809
16	4030	809
17	4268	809
18	4367	809
19	4406	809
20	4429	809
21	5045	809

prune29.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	38	6	44

Error

0.6b

Counts

44 → 6

Alt Table

Status	Error	Program
✓	1.0b	(expm1.f64 (log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1))))
	3.7b	(expm1.f64 (.f64 (.f64 (cbrt.f64 (log1p.f64 (acos.f64 (fma.f64 4 (.f64 v v) -1)))) (cbrt.f64 (log1p.f64 (acos.f64 (fma.f64 4 (.f64 v v) -1))))) (cbrt.f64 (log1p.f64 (acos.f64 (fma.f64 4 (*.f64 v v) -1))))))
	1.6b	(cbrt.f64 (.f64 (.f64 (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))))
	2.1b	(expm1.f64 (.f64 (.f64 (sqrt.f64 (.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (sqrt.f64 (.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (.f64 (sqrt.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) (sqrt.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))))
	2.8b	(expm1.f64 (.f64 (.f64 (sqrt.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) (sqrt.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))) (.f64 (sqrt.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) (sqrt.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))))
	2.1b	(.f64 (.f64 (cbrt.f64 (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (cbrt.f64 (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))))))) (cbrt.f64 (expm1.f64 (.f64 (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))))))

Compiler

Compiled 943 to 691 computations (26.7% saved)

regimes321.0ms (4.2%)

Accuracy

Total 0.0b remaining (2.7%)

Threshold costs 0.0b (2.7%)

Counts

72 → 1

Compiler

Compiled 9284 to 6961 computations (25% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	50
1	21	50
2	20	50

end279.0ms (3.6%)

Compiler: Compiled 457 to 343 computations (24.9% saved)

Details

analyze1.1s (14.3%)

sample3.8s (49.4%)

simplify68.0ms (0.9%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series5.0ms (0.1%)

rewrite4.0ms (0.1%)

simplify67.0ms (0.9%)

prune46.0ms (0.6%)

localize11.0ms (0.1%)

series389.0ms (5.1%)

rewrite1.0ms (0%)

simplify105.0ms (1.4%)

prune103.0ms (1.3%)

localize13.0ms (0.2%)

series316.0ms (4.1%)

rewrite12.0ms (0.2%)

simplify128.0ms (1.7%)

prune241.0ms (3.1%)

localize7.0ms (0.1%)

series418.0ms (5.5%)

rewrite2.0ms (0%)

simplify198.0ms (2.6%)

prune29.0ms (0.4%)

regimes321.0ms (4.2%)

simplify2.0ms (0%)

end279.0ms (3.6%)

Profiling