Details

analyze287.0ms (4.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 30 to 26 computations (13.3% saved)

sample293.0ms (4.2%)

Algorithm

1×

intervals

Results

251.0ms	256×	pre	128	true
31.0ms	256×	body	128	valid

Compiler

Compiled 53 to 47 computations (11.3% saved)

simplify130.0ms (1.9%)

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 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	26
1	37	26
2	60	26
3	95	26
4	193	26
5	510	26
6	613	26
7	798	26
8	1384	26
9	1423	26
10	1454	26
11	1518	26
12	1524	26
13	1796	26
14	2019	26
15	2440	26
16	3048	26
17	3546	26
18	3979	26
19	4387	26
20	4696	26
21	4801	26

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.4b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 54 to 48 computations (11.1% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
0.1b	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
0.3b	(.f64 (.f64 2 PI.f64) u2)
0.4b	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))

rewrite422.0ms (6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

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 → 59

Calls

4 calls:

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

Compiler

Compiled 1319 to 1005 computations (23.8% saved)

series90.0ms (1.3%)

Error

0.2b

Counts

4 → 18

Calls

4 calls:

49.0ms	(+.f64 1/2 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
13.0ms	(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
10.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
6.0ms	(.f64 (.f64 2 PI.f64) u2)

Compiler

Compiled 954 to 816 computations (14.5% saved)

simplify89.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

488×	`unswap-sqr_binary64`
470×	`*-commutative_binary64`
439×	`cancel-sign-sub-inv_binary64`
283×	`sub-neg_binary64`
266×	`distribute-rgt-neg-in_binary64`

Counts

77 → 40

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	161	1474
1	381	1350
2	1164	1310
3	2163	1290
4	4164	1290
5	5215	1290

prune42.0ms (0.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	32	8	40
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	8	41

Error

0.0b

Counts

41 → 8

Alt Table

Status	Error	Program
	0.5b	(exp.f64 (log.f64 (+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))))
	0.4b	(+.f64 1/2 (.f64 (.f64 (sqrt.f64 1/6) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 1/6))) (cos.f64 (.f64 (.f64 2 PI.f64) u2))))
	2.1b	(+.f64 1/2 (.f64 (.f64 (.f64 (cbrt.f64 1/6) (cbrt.f64 1/6)) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cbrt.f64 1/6))) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
▶	0.3b	(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 PI.f64)))))))
	0.5b	(/.f64 (-.f64 1/4 (.f64 (.f64 (log.f64 u1) -1/18) (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))))) (-.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))))))
	1.0b	(/.f64 (+.f64 1/8 (pow.f64 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 PI.f64))))) 3)) (+.f64 1/4 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (+.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (.f64 (log.f64 u1) -1/18)) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) -1/12)))))
	0.6b	(.f64 (sqrt.f64 (+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 PI.f64))))))) (sqrt.f64 (+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))))
	1.3b	(.f64 (.f64 (cbrt.f64 (+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 PI.f64))))))) (cbrt.f64 (+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))))))) (cbrt.f64 (+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))))

Compiler

Compiled 1187 to 911 computations (23.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (neg.f64 (log.f64 u1)))
0.3b	(*.f64 u2 PI.f64)
0.4b	(.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))
0.5b	(.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))))

rewrite107.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`pow1_binary64`
24×	`sqrt-prod_binary64`
21×	`associate-l_binary64`
20×	`add-cbrt-cube_binary64`
20×	`add-exp-log_binary64`

Counts

4 → 91

Calls

4 calls:

9.0ms	(.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))
8.0ms	(.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))))
3.0ms	(*.f64 u2 PI.f64)
2.0ms	(sqrt.f64 (neg.f64 (log.f64 u1)))

Compiler

Compiled 1965 to 1171 computations (40.4% saved)

series117.0ms (1.7%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

48.0ms	(.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))
39.0ms	(.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))))
9.0ms	(sqrt.f64 (neg.f64 (log.f64 u1)))
5.0ms	(*.f64 u2 PI.f64)

Compiler

Compiled 1403 to 1140 computations (18.7% saved)

simplify115.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

565×	`neg-mul-1_binary64`
424×	`cancel-sign-sub-inv_binary64`
313×	`distribute-rgt-neg-in_binary64`
292×	`distribute-lft-neg-in_binary64`
278×	`associate-r_binary64`

Counts

115 → 76

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	178	2725
1	409	2472
2	1328	2360
3	2375	2335
4	4917	2335
5	5280	2335

prune66.0ms (1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	72	4	76
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	76	8	84

Error

0.0b

Counts

84 → 8

Alt Table

Status	Error	Program
	0.6b	(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (log.f64 u1)))) (.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (sqrt.f64 2)) (sqrt.f64 (sqrt.f64 (neg.f64 (log.f64 u1))))))))
	0.5b	(exp.f64 (log.f64 (+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))))
	1.2b	(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))) (cbrt.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))))) (cbrt.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))))))
▶	0.4b	(+.f64 1/2 (.f64 (.f64 (sqrt.f64 1/6) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 1/6))) (cos.f64 (.f64 (.f64 2 PI.f64) u2))))
	0.6b	(+.f64 1/2 (exp.f64 (log.f64 (.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))) 1/6))))
	0.5b	(/.f64 (-.f64 1/4 (.f64 (.f64 (log.f64 u1) -1/18) (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))))) (-.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))))))
	0.7b	(+.f64 1/2 (cbrt.f64 (.f64 (pow.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))) 3) 1/216)))
	1.0b	(/.f64 (+.f64 1/8 (pow.f64 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 PI.f64))))) 3)) (+.f64 1/4 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (+.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (.f64 (log.f64 u1) -1/18)) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) -1/12)))))

Compiler

Compiled 1787 to 1208 computations (32.4% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
0.2b	(.f64 (sqrt.f64 1/6) (.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (sqrt.f64 1/6)))
0.3b	(.f64 (.f64 2 PI.f64) u2)
0.3b	(.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 1/6))

rewrite108.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

31×	`pow1_binary64`
19×	`pow-prod-down_binary64`
16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
14×	`add-sqr-sqrt_binary64`

Counts

4 → 81

Calls

4 calls:

8.0ms	(.f64 (sqrt.f64 1/6) (.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (sqrt.f64 1/6)))
7.0ms	(.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 1/6))
4.0ms	(.f64 (.f64 2 PI.f64) u2)
2.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))

Compiler

Compiled 1801 to 1453 computations (19.3% saved)

series60.0ms (0.9%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

15.0ms	(sqrt.f64 (*.f64 -2 (log.f64 u1)))
15.0ms	(.f64 (sqrt.f64 1/6) (.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (sqrt.f64 1/6)))
13.0ms	(.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 1/6))
7.0ms	(.f64 (.f64 2 PI.f64) u2)

Compiler

Compiled 773 to 697 computations (9.8% saved)

simplify102.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

379×	`associate-*l/_binary64`
369×	`*-commutative_binary64`
239×	`associate-/l/_binary64`
236×	`associate-/l*_binary64`
205×	`sqr-pow_binary64`

Counts

93 → 58

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1334
1	259	1130
2	768	1130
3	1059	1122
4	1356	1122
5	2366	1122
6	4478	1122
7	4901	1122

prune56.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	57	1	58
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	59	7	66

Error

Counts

66 → 7

Alt Table

Status	Error	Program
▶	0.2b	(+.f64 1/2 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
	0.6b	(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (log.f64 u1)))) (.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (sqrt.f64 2)) (sqrt.f64 (sqrt.f64 (neg.f64 (log.f64 u1))))))))
	0.5b	(exp.f64 (log.f64 (+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))))
	1.2b	(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))) (cbrt.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))))) (cbrt.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))))))
✓	0.4b	(+.f64 1/2 (.f64 (.f64 (sqrt.f64 1/6) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 1/6))) (cos.f64 (.f64 (.f64 2 PI.f64) u2))))
	0.6b	(+.f64 1/2 (exp.f64 (log.f64 (.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))) 1/6))))
	1.0b	(/.f64 (+.f64 1/8 (pow.f64 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 PI.f64))))) 3)) (+.f64 1/4 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (+.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (.f64 (log.f64 u1) -1/18)) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) -1/12)))))

Compiler

Compiled 1248 to 983 computations (21.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(+.f64 1/2 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
0.1b	(sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36))
0.3b	(.f64 (.f64 2 PI.f64) u2)
0.4b	(.f64 (.f64 -2 (log.f64 u1)) 1/36)

rewrite80.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`pow1_binary64`
14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
9×	`pow-prod-down_binary64`
6×	`associate-r_binary64`

Counts

4 → 59

Calls

4 calls:

4.0ms	(.f64 (.f64 -2 (log.f64 u1)) 1/36)
4.0ms	(.f64 (.f64 2 PI.f64) u2)
3.0ms	(sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36))
2.0ms	(+.f64 1/2 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))

Compiler

Compiled 1289 to 984 computations (23.7% saved)

series82.0ms (1.2%)

Error

Counts

4 → 18

Calls

4 calls:

40.0ms	(+.f64 1/2 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
10.0ms	(sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36))
9.0ms	(.f64 (.f64 2 PI.f64) u2)
9.0ms	(.f64 (.f64 -2 (log.f64 u1)) 1/36)

Compiler

Compiled 896 to 755 computations (15.7% saved)

simplify85.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

490×	`*-commutative_binary64`
378×	`cancel-sign-sub-inv_binary64`
235×	`associate-+l+_binary64`
235×	`associate-l_binary64`
214×	`distribute-rgt-neg-in_binary64`

Counts

77 → 54

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	170	1403
1	399	1162
2	1241	1132
3	2193	1115
4	4392	1115
5	4910	1115

prune53.0ms (0.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	3	2	5
Picked	0	1	1
Done	0	1	1
Total	55	6	61

Error

Counts

61 → 6

Alt Table

Status	Error	Program
	0.2b	(+.f64 1/2 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 PI.f64) u2))))
	0.5b	(exp.f64 (log.f64 (+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))))
	1.2b	(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))) (cbrt.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))))) (cbrt.f64 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))))))
	0.4b	(+.f64 1/2 (.f64 (.f64 (sqrt.f64 1/6) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (sqrt.f64 1/6))) (cos.f64 (.f64 (.f64 2 PI.f64) u2))))
	0.4b	(/.f64 (-.f64 1/4 (.f64 (.f64 -1/18 (log.f64 u1)) (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))))) (-.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 PI.f64))))))
	0.8b	(/.f64 (+.f64 1/8 (pow.f64 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))) 3)) (+.f64 1/4 (.f64 (cos.f64 (.f64 2 (.f64 u2 PI.f64))) (+.f64 (.f64 (.f64 -1/18 (log.f64 u1)) (cos.f64 (.f64 2 (.f64 u2 PI.f64)))) (.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))) -1/2)))))

Compiler

Compiled 1024 to 745 computations (27.2% saved)

regimes2.9s (41%)

Accuracy

Total 0.2b remaining (93.1%)

Threshold costs 0.2b (93.1%)

Compiler

Compiled 47642 to 40488 computations (15% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	32
1	26	32
2	26	32

end1.0ms (0%)

Compiler: Compiled 21 to 19 computations (9.5% saved)

sample1.7s (24%)

Algorithm

1×

intervals

Results

974.0ms	8000×	body	128	valid
234.0ms	8000×	pre	128	true

Compiler

Compiled 250 to 200 computations (20% saved)

Details

analyze287.0ms (4.1%)

sample293.0ms (4.2%)

simplify130.0ms (1.9%)

prune3.0ms (0%)

localize12.0ms (0.2%)

rewrite422.0ms (6%)

series90.0ms (1.3%)

simplify89.0ms (1.3%)

prune42.0ms (0.6%)

localize14.0ms (0.2%)

rewrite107.0ms (1.5%)

series117.0ms (1.7%)

simplify115.0ms (1.6%)

prune66.0ms (1%)

localize15.0ms (0.2%)

rewrite108.0ms (1.5%)

series60.0ms (0.9%)

simplify102.0ms (1.5%)

prune56.0ms (0.8%)

localize11.0ms (0.2%)

rewrite80.0ms (1.1%)

series82.0ms (1.2%)

simplify85.0ms (1.2%)

prune53.0ms (0.8%)

regimes2.9s (41%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample1.7s (24%)

Profiling