Details

analyze82.0ms (1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	6.2%	93.8%	0
0%	6.2%	93.8%	1
3.1%	3.1%	93.8%	2
3.1%	3.1%	93.8%	3
4.7%	1.6%	93.8%	4
4.7%	1.6%	93.8%	5
5.5%	0.8%	93.8%	6
5.5%	0.8%	93.8%	7
5.8%	0.4%	93.8%	8
5.8%	0.4%	93.8%	9
6%	0.2%	93.8%	10
6%	0.2%	93.8%	11
6.1%	0.1%	93.8%	12
6.1%	0.1%	93.8%	13
6.2%	0%	93.8%	14

Compiler

Compiled 36 to 30 computations (16.7% saved)

sample489.0ms (6%)

Algorithm

1×

intervals

Results

43.0ms	256×	body	128	valid
7.0ms	256×	pre	128	true

Compiler

Compiled 59 to 51 computations (13.6% saved)

simplify122.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

909×	`cube-prod_binary64`
818×	`unswap-sqr_binary64`
698×	`fabs-mul_binary64`
671×	`sqr-pow_binary64`
541×	`cube-mult_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	24
1	38	24
2	63	24
3	101	24
4	203	24
5	528	24
6	667	24
7	856	24
8	1442	24
9	1481	24
10	1512	24
11	1576	24
12	1582	24
13	1854	24
14	2077	24
15	2498	24
16	3106	24
17	3604	24
18	4037	24
19	4445	24
20	4754	24
21	4859	24

prune4.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.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.4b	(fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)

Compiler

Compiled 70 to 60 computations (14.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
✓	0.1b	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
✓	0.2b	(.f64 (.f64 2 (PI.f64)) u2)
✓	0.4b	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

series284.0ms (3.5%)

Counts

4 → 52

Calls

4 calls:

184.0ms	(fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
73.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
23.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
3.0ms	(.f64 (.f64 2 (PI.f64)) u2)

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`pow1_binary64`
11×	`add-cbrt-cube_binary64`
11×	`add-exp-log_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`associate-r_binary64`

Counts

4 → 64

Calls

4 calls:

5.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
4.0ms	(.f64 (.f64 2 (PI.f64)) u2)
2.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
0.0ms	(fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)

simplify109.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

621×	`unswap-sqr_binary64`
393×	`cancel-sign-sub-inv_binary64`
381×	`*-commutative_binary64`
263×	`fma-neg_binary64`
249×	`sub-neg_binary64`

Counts

116 → 104

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	161	2057
1	326	1932
2	949	1852
3	1807	1800
4	3478	1800
5	4916	1800
6	4917	1800

prune127.0ms (1.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

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

Error

Counts

105 → 9

Alt Table

Status	Error	Program
	0.7b	(.f64 (sqrt.f64 (fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)) (sqrt.f64 (fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2)) 1/2)))
	0.6b	(fma.f64 (.f64 (.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.6b	(cbrt.f64 (pow.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2) 3))
	1.2b	(fma.f64 (.f64 (.f64 1/6 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.5b	(fma.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
▶	0.3b	(fma.f64 (.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.6b	(fma.f64 (.f64 (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2)) 1/2)
	0.5b	(fma.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.6b	(fma.f64 (.f64 1/6 (.f64 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)

Compiler

Compiled 2701 to 2058 computations (23.8% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (neg.f64 (log.f64 u1)))
	0.2b	(.f64 (.f64 2 (PI.f64)) u2)
✓	0.4b	(.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2)))
✓	0.4b	(*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2))

series75.0ms (0.9%)

Counts

3 → 32

Calls

3 calls:

28.0ms	(.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2)))
25.0ms	(*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2))
22.0ms	(sqrt.f64 (neg.f64 (log.f64 u1)))

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`sqrt-prod_binary64`
24×	`add-sqr-sqrt_binary64`
18×	`associate-l_binary64`
17×	`pow1_binary64`
13×	`*-un-lft-identity_binary64`

Counts

3 → 86

Calls

3 calls:

7.0ms	(*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2))
6.0ms	(.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2)))
2.0ms	(sqrt.f64 (neg.f64 (log.f64 u1)))

simplify117.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

502×	`associate-l_binary64`
460×	`neg-sub0_binary64`
445×	`neg-mul-1_binary64`
380×	`associate-r_binary64`
355×	`distribute-rgt-neg-in_binary64`

Counts

118 → 119

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	113	1620
1	194	1566
2	496	1566
3	1396	1566
4	2549	1566
5	4114	1566
6	4381	1566
7	4851	1566

prune172.0ms (2.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	148	8	156

Error

Counts

156 → 8

Alt Table

Status	Error	Program
	0.7b	(.f64 (sqrt.f64 (fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)) (sqrt.f64 (fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2)) 1/2)))
	0.6b	(fma.f64 (.f64 (.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.6b	(cbrt.f64 (pow.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2) 3))
	1.2b	(fma.f64 (.f64 (.f64 1/6 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
▶	0.4b	(fma.f64 (.f64 1/6 (.f64 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
✓	0.3b	(fma.f64 (.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.6b	(fma.f64 (.f64 (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2)) 1/2)
	0.5b	(fma.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)

Compiler

Compiled 3693 to 2468 computations (33.2% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (.f64 2 (PI.f64)) u2)
✓	0.3b	(.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
✓	0.3b	(.f64 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))
✓	0.4b	(.f64 1/6 (.f64 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2))))

series397.0ms (4.8%)

Counts

3 → 36

Calls

3 calls:

337.0ms

(*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))

33.0ms

(*.f64 1/6 (*.f64 (*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2))))

27.0ms

(*.f64 (*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))

rewrite40.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`pow1_binary64`
31×	`add-exp-log_binary64`
19×	`associate-l_binary64`
19×	`cbrt-unprod_binary64`
19×	`add-cbrt-cube_binary64`

Counts

3 → 89

Calls

3 calls:

14.0ms

(*.f64 1/6 (*.f64 (*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2))))

12.0ms

(*.f64 (*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))

9.0ms

(*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))

simplify216.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

594×	`neg-sub0_binary64`
594×	`neg-mul-1_binary64`
453×	`*-commutative_binary64`
376×	`sqr-pow_binary64`
293×	`distribute-lft-neg-out_binary64`

Counts

125 → 129

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	140	2492
1	281	2163
2	934	2163
3	1634	2163
4	3551	2019
5	4671	2019
6	5096	2019

prune204.0ms (2.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	157	8	165

Error

Counts

165 → 8

Alt Table

Status	Error	Program
	0.7b	(.f64 (sqrt.f64 (fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)) (sqrt.f64 (fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2)) 1/2)))
	0.6b	(fma.f64 (.f64 (.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.6b	(cbrt.f64 (pow.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2) 3))
	1.2b	(fma.f64 (.f64 (.f64 1/6 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
✓	0.4b	(fma.f64 (.f64 1/6 (.f64 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
✓	0.3b	(fma.f64 (.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.6b	(fma.f64 (.f64 (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2)) 1/2)
▶	0.5b	(fma.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)

Compiler

Compiled 5279 to 3969 computations (24.8% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (*.f64 -2 (log.f64 u1))))
✓	0.4b	(.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1)))))
✓	0.5b	(.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (*.f64 -2 (log.f64 u1))))
✓	0.6b	(cbrt.f64 (.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1))))))

series248.0ms (3%)

Counts

4 → 48

Calls

4 calls:

92.0ms	(.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1)))))
76.0ms	(cbrt.f64 (.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1))))))
44.0ms	(.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (*.f64 -2 (log.f64 u1))))
36.0ms	(.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (*.f64 -2 (log.f64 u1))))

rewrite142.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

364×	`pow1_binary64`
150×	`pow-prod-down_binary64`
140×	`sqrt-pow1_binary64`
125×	`pow-prod-up_binary64`
51×	`pow1/2_binary64`

Counts

4 → 211

Calls

4 calls:

46.0ms	(.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1)))))
46.0ms	(cbrt.f64 (.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1))))))
16.0ms	(.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (*.f64 -2 (log.f64 u1))))
7.0ms	(.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (*.f64 -2 (log.f64 u1))))

simplify124.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1022×	`fma-def_binary64`
564×	`unswap-sqr_binary64`
364×	`*-commutative_binary64`
296×	`distribute-rgt-in_binary64`
262×	`distribute-lft-in_binary64`

Counts

259 → 184

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	145	3060
1	266	2515
2	914	2459
3	1893	2365
4	4561	2351
5	5226	2351

prune293.0ms (3.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	182	2	184
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	184	8	192

Error

Counts

192 → 8

Alt Table

Status	Error	Program
	1.2b	(fma.f64 (.f64 (.f64 1/6 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.3b	(fma.f64 (.f64 (.f64 (cbrt.f64 1/216) (sqrt.f64 2)) (sqrt.f64 (neg.f64 (log.f64 u1)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
✓	0.4b	(fma.f64 (.f64 1/6 (.f64 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.6b	(fma.f64 (.f64 (.f64 1/6 (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
✓	0.3b	(fma.f64 (.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 2))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.4b	(fma.f64 (.f64 (cbrt.f64 1/216) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)
	0.6b	(fma.f64 (.f64 (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2)) 1/2)
✓	0.5b	(fma.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/6 1/6) 1/6) (.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2)) 1/2)

Compiler

Compiled 6401 to 4983 computations (22.2% saved)

regimes3.0s (36.8%)

Accuracy

Total 0.2b remaining (90.9%)

Threshold costs 0.2b (90.9%)

Counts

196 → 1

Compiler

Compiled 52617 to 46615 computations (11.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	30
1	26	30
2	28	30
3	29	30
4	29	30

end1.0ms (0%)

Compiler: Compiled 20 to 18 computations (10% saved)

sample1.9s (22.6%)

Algorithm

1×

intervals

Results

1.0s	8000×	body	128	valid
238.0ms	8000×	pre	128	true

Compiler

Compiled 261 to 225 computations (13.8% saved)

Details

analyze82.0ms (1%)

sample489.0ms (6%)

simplify122.0ms (1.5%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series284.0ms (3.5%)

rewrite15.0ms (0.2%)

simplify109.0ms (1.3%)

prune127.0ms (1.5%)

localize12.0ms (0.2%)

series75.0ms (0.9%)

rewrite19.0ms (0.2%)

simplify117.0ms (1.4%)

prune172.0ms (2.1%)

localize15.0ms (0.2%)

series397.0ms (4.8%)

rewrite40.0ms (0.5%)

simplify216.0ms (2.6%)

prune204.0ms (2.5%)

localize16.0ms (0.2%)

series248.0ms (3%)

rewrite142.0ms (1.7%)

simplify124.0ms (1.5%)

prune293.0ms (3.6%)

regimes3.0s (36.8%)

simplify3.0ms (0%)

end1.0ms (0%)

sample1.9s (22.6%)

Profiling