Details

analyze1.5s (9.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	75%	25%	3
0%	62.5%	37.5%	4
0%	56.2%	43.8%	5
3.1%	46.9%	50%	6
3.1%	45.3%	51.6%	7
3.1%	44.5%	52.4%	8
3.5%	44.1%	52.4%	9
3.7%	43.9%	52.4%	10
3.8%	43.8%	52.4%	11
3.8%	43.8%	52.4%	12
3.8%	43.8%	52.4%	13
3.8%	43.7%	52.4%	14

Compiler

Compiled 39 to 31 computations (20.5% saved)

sample357.0ms (2.2%)

Algorithm

1×

intervals

Results

91.0ms	136×	body	1024	valid
69.0ms	105×	body	1024	nan
57.0ms	13×	body	2048	valid
46.0ms	19×	body	128	valid
28.0ms	59×	body	512	nan
27.0ms	58×	body	512	valid
13.0ms	36×	body	256	nan
9.0ms	30×	body	256	valid
1.0ms	1×	body	2048	nan

Compiler

Compiled 78 to 62 computations (20.5% saved)

simplify76.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

520×	`sub-neg_binary64`
373×	`div-sub_binary64`
267×	`log-prod_binary64`
240×	`associate-/r*_binary64`
225×	`sqr-pow_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	64
1	49	61
2	117	59
3	292	55
4	689	55
5	1392	55
6	3381	55
7	4578	55
8	4212	55
9	4795	55

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

61.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	61.3b	(neg.f64 (.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))))))

Status

Error

Program

▶

61.3b

(neg.f64 (*.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))))))

Compiler

Compiled 109 to 84 computations (22.9% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 PI.f64 4) f)
0.3b	(*.f64 (/.f64 PI.f64 4) f)
1.0b	(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))))
4.6b	(-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f))))

rewrite294.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

1.5b

Rules

62×	`*-un-lft-identity_binary64`
58×	`add-sqr-sqrt_binary64`
50×	`times-frac_binary64`
34×	`add-cube-cbrt_binary64`
26×	`associate-l_binary64`

Counts

4 → 138

Calls

4 calls:

9.0ms	(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))))
5.0ms	(*.f64 (/.f64 PI.f64 4) f)
5.0ms	(*.f64 (/.f64 PI.f64 4) f)
4.0ms	(-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f))))

Compiler

Compiled 6069 to 4575 computations (24.6% saved)

series82.0ms (0.5%)

Error

1.5b

Counts

4 → 18

Calls

4 calls:

31.0ms	(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f)))))
16.0ms	(-.f64 (exp.f64 (.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (.f64 (/.f64 PI.f64 4) f))))
9.0ms	(*.f64 (/.f64 PI.f64 4) f)
8.0ms	(*.f64 (/.f64 PI.f64 4) f)

Compiler

Compiled 1538 to 1162 computations (24.4% saved)

simplify285.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

600×	`associate-r_binary64`
279×	`*-commutative_binary64`
256×	`unswap-sqr_binary64`
247×	`associate-*l/_binary64`
189×	`associate-/l*_binary64`

Counts

156 → 138

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	232	5834
1	526	5400
2	1392	5378
3	3730	5363
4	4954	5363
5	4852	5363

prune152.0ms (0.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	135	3	138
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	136	3	139

Error

1.5b

Counts

139 → 3

Alt Table

Status	Error	Program
▶	1.5b	(neg.f64 (.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))
	61.3b	(neg.f64 (.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 2 (/.f64 (-.f64 (exp.f64 (.f64 f (/.f64 PI.f64 4))) (exp.f64 (neg.f64 (.f64 f (/.f64 PI.f64 4))))) (cosh.f64 (.f64 f (/.f64 PI.f64 4))))))))
	2.3b	(neg.f64 (.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (+.f64 (/.f64 4 (.f64 f PI.f64)) (.f64 (.f64 f PI.f64) 1/12)))))

Compiler

Compiled 5157 to 3895 computations (24.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 PI.f64 4) f)
0.3b	(*.f64 f (/.f64 PI.f64 4))
0.4b	(.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
1.3b	(/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))

rewrite544.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

1.1b

Rules

119×	`times-frac_binary64`
102×	`add-sqr-sqrt_binary64`
80×	`*-un-lft-identity_binary64`
78×	`add-cube-cbrt_binary64`
60×	`associate-l_binary64`

Counts

4 → 194

Calls

4 calls:

15.0ms	(.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
7.0ms	(*.f64 (/.f64 PI.f64 4) f)
6.0ms	(*.f64 f (/.f64 PI.f64 4))
3.0ms	(/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))

Compiler

Compiled 6268 to 4801 computations (23.4% saved)

series145.0ms (0.9%)

Error

1.2b

Counts

4 → 18

Calls

4 calls:

60.0ms	(/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 (/.f64 PI.f64 4) f)))
57.0ms	(.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
7.0ms	(*.f64 (/.f64 PI.f64 4) f)
7.0ms	(*.f64 f (/.f64 PI.f64 4))

Compiler

Compiled 1183 to 876 computations (26% saved)

simplify320.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

722×	`times-frac_binary64`
482×	`div-sub_binary64`
313×	`associate-l_binary64`
309×	`associate-r_binary64`
175×	`*-commutative_binary64`

Counts

212 → 185

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	369	7157
1	841	6471
2	2766	6471
3	4310	6465
4	4910	6465

prune202.0ms (1.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	178	7	185
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	180	8	188

Error

1.1b

Counts

188 → 8

Alt Table

Status	Error	Program
	1.9b	(neg.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 4 PI.f64) (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 f (/.f64 PI.f64 4)))))) 3)))
	2.3b	(neg.f64 (-.f64 (+.f64 (.f64 4 (/.f64 (log.f64 (/.f64 4 PI.f64)) PI.f64)) (.f64 1/12 (.f64 f (.f64 f PI.f64)))) (*.f64 4 (/.f64 (log.f64 f) PI.f64))))
	1.5b	(neg.f64 (+.f64 (.f64 (/.f64 4 PI.f64) (log.f64 (sqrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))))) (.f64 (/.f64 4 PI.f64) (log.f64 (sqrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4)))))))))
	2.4b	(neg.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 4 PI.f64) (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))))) (cbrt.f64 (.f64 (/.f64 4 PI.f64) (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4)))))))) (cbrt.f64 (.f64 (/.f64 4 PI.f64) (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 f (/.f64 PI.f64 4)))))))))
	1.6b	(neg.f64 (+.f64 (.f64 (/.f64 4 PI.f64) (.f64 2 (log.f64 (cbrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4)))))))) (.f64 (/.f64 4 PI.f64) (log.f64 (cbrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 f (/.f64 PI.f64 4)))))))))
	2.3b	(neg.f64 (.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (+.f64 (/.f64 4 (.f64 f PI.f64)) (.f64 (.f64 f PI.f64) 1/12)))))
▶	1.5b	(neg.f64 (.f64 (sqrt.f64 (/.f64 1 (/.f64 PI.f64 4))) (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (sqrt.f64 (/.f64 4 PI.f64)))))
	1.5b	(neg.f64 (.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 1 (/.f64 (sinh.f64 (.f64 f (/.f64 PI.f64 4))) (cosh.f64 (*.f64 f (/.f64 PI.f64 4))))))))

Compiler

Compiled 4757 to 3575 computations (24.8% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sqrt.f64 (/.f64 1 (/.f64 PI.f64 4))) (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (sqrt.f64 (/.f64 4 PI.f64))))
0.3b	(*.f64 f (/.f64 PI.f64 4))
0.3b	(*.f64 f (/.f64 PI.f64 4))
1.3b	(/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))

rewrite273.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

1.1b

Rules

95×	`times-frac_binary64`
74×	`add-sqr-sqrt_binary64`
64×	`*-un-lft-identity_binary64`
64×	`add-cube-cbrt_binary64`
53×	`associate-l_binary64`

Counts

4 → 158

Calls

4 calls:

19.0ms	(.f64 (sqrt.f64 (/.f64 1 (/.f64 PI.f64 4))) (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (sqrt.f64 (/.f64 4 PI.f64))))
7.0ms	(*.f64 f (/.f64 PI.f64 4))
6.0ms	(*.f64 f (/.f64 PI.f64 4))
3.0ms	(/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))

Compiler

Compiled 5600 to 4339 computations (22.5% saved)

series121.0ms (0.7%)

Error

1.1b

Counts

4 → 18

Calls

4 calls:

56.0ms	(.f64 (sqrt.f64 (/.f64 1 (/.f64 PI.f64 4))) (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (sqrt.f64 (/.f64 4 PI.f64))))
33.0ms	(/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))
8.0ms	(*.f64 f (/.f64 PI.f64 4))
7.0ms	(*.f64 f (/.f64 PI.f64 4))

Compiler

Compiled 1351 to 1016 computations (24.8% saved)

simplify257.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

311×	`associate-*l/_binary64`
262×	`associate-/l*_binary64`
256×	`distribute-rgt-in_binary64`
246×	`associate-l_binary64`
246×	`distribute-lft-in_binary64`

Counts

176 → 118

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	278	5564
1	629	4780
2	1965	4735
3	4793	4735
4	4930	4735

prune137.0ms (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	114	4	118
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	117	9	126

Error

1.1b

Counts

126 → 9

Alt Table

Status	Error	Program
	1.9b	(neg.f64 (cbrt.f64 (pow.f64 (.f64 (/.f64 4 PI.f64) (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 f (/.f64 PI.f64 4)))))) 3)))
	2.3b	(neg.f64 (-.f64 (+.f64 (.f64 4 (/.f64 (log.f64 (/.f64 4 PI.f64)) PI.f64)) (.f64 1/12 (.f64 f (.f64 f PI.f64)))) (*.f64 4 (/.f64 (log.f64 f) PI.f64))))
	2.2b	(neg.f64 (.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (/.f64 PI.f64 4)))) (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (*.f64 (sqrt.f64 (/.f64 4 PI.f64)) (sqrt.f64 (sqrt.f64 (/.f64 4 PI.f64)))))))
	1.5b	(neg.f64 (+.f64 (.f64 (/.f64 4 PI.f64) (log.f64 (sqrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))))) (.f64 (/.f64 4 PI.f64) (log.f64 (sqrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4)))))))))
	1.6b	(neg.f64 (+.f64 (.f64 (/.f64 4 PI.f64) (.f64 2 (log.f64 (cbrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4)))))))) (.f64 (/.f64 4 PI.f64) (log.f64 (cbrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 f (/.f64 PI.f64 4)))))))))
▶	1.5b	(neg.f64 (.f64 (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (sqrt.f64 (/.f64 4 PI.f64))) (sqrt.f64 (/.f64 4 PI.f64))))
	2.2b	(neg.f64 (+.f64 (.f64 1/12 (.f64 f (.f64 f PI.f64))) (.f64 4 (/.f64 (-.f64 (log.f64 (/.f64 4 PI.f64)) (log.f64 f)) PI.f64))))
	2.2b	(neg.f64 (.f64 (sqrt.f64 (/.f64 1 (/.f64 PI.f64 4))) (.f64 (log.f64 (+.f64 (/.f64 4 (.f64 f PI.f64)) (.f64 (*.f64 f PI.f64) 1/12))) (sqrt.f64 (/.f64 4 PI.f64)))))
	1.5b	(neg.f64 (.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 1 (/.f64 (sinh.f64 (.f64 f (/.f64 PI.f64 4))) (cosh.f64 (*.f64 f (/.f64 PI.f64 4))))))))

Compiler

Compiled 3665 to 2790 computations (23.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (sqrt.f64 (/.f64 4 PI.f64))) (sqrt.f64 (/.f64 4 PI.f64)))
0.3b	(*.f64 f (/.f64 PI.f64 4))
0.3b	(*.f64 f (/.f64 PI.f64 4))
1.3b	(/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))

rewrite216.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

1.1b

Rules

46×	`add-sqr-sqrt_binary64`
42×	`associate-r_binary64`
38×	`times-frac_binary64`
36×	`*-un-lft-identity_binary64`
36×	`add-cube-cbrt_binary64`

Counts

4 → 127

Calls

4 calls:

14.0ms	(.f64 (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (sqrt.f64 (/.f64 4 PI.f64))) (sqrt.f64 (/.f64 4 PI.f64)))
6.0ms	(*.f64 f (/.f64 PI.f64 4))
6.0ms	(*.f64 f (/.f64 PI.f64 4))
5.0ms	(/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))

Compiler

Compiled 4137 to 3111 computations (24.8% saved)

series119.0ms (0.7%)

Error

1.1b

Counts

4 → 18

Calls

4 calls:

56.0ms	(.f64 (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (sqrt.f64 (/.f64 4 PI.f64))) (sqrt.f64 (/.f64 4 PI.f64)))
32.0ms	(/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))
8.0ms	(*.f64 f (/.f64 PI.f64 4))
7.0ms	(*.f64 f (/.f64 PI.f64 4))

Compiler

Compiled 1295 to 960 computations (25.9% saved)

simplify109.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

389×	`associate-*l/_binary64`
283×	`associate-/l*_binary64`
247×	`associate-l_binary64`
209×	`associate-r_binary64`
208×	`distribute-rgt-in_binary64`

Counts

145 → 87

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	258	3856
1	604	3455
2	1937	3435
3	4937	3435

prune152.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	4	4	8
Picked	0	1	1
Done	0	0	0
Total	89	7	96

Error

1.1b

Counts

96 → 7

Alt Table

Status	Error	Program
	1.5b	(neg.f64 (+.f64 (.f64 (/.f64 4 PI.f64) (log.f64 (sqrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))))) (.f64 (/.f64 4 PI.f64) (log.f64 (sqrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4)))))))))
	1.9b	(neg.f64 (.f64 (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (*.f64 (sqrt.f64 (/.f64 4 PI.f64)) (fabs.f64 (cbrt.f64 (/.f64 4 PI.f64))))) (sqrt.f64 (cbrt.f64 (/.f64 4 PI.f64)))))
	1.6b	(neg.f64 (+.f64 (.f64 (/.f64 4 PI.f64) (.f64 2 (log.f64 (cbrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4)))))))) (.f64 (/.f64 4 PI.f64) (log.f64 (cbrt.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (*.f64 f (/.f64 PI.f64 4)))))))))
	1.5b	(neg.f64 (.f64 (.f64 (log.f64 (/.f64 (cosh.f64 (.f64 f (/.f64 PI.f64 4))) (sinh.f64 (.f64 f (/.f64 PI.f64 4))))) (sqrt.f64 (/.f64 4 PI.f64))) (sqrt.f64 (/.f64 4 PI.f64))))
	2.3b	(neg.f64 (-.f64 (+.f64 (.f64 4 (/.f64 (log.f64 (/.f64 4 PI.f64)) PI.f64)) (.f64 1/12 (.f64 f (.f64 f PI.f64)))) (*.f64 4 (/.f64 (log.f64 f) PI.f64))))
	2.2b	(neg.f64 (.f64 (.f64 (log.f64 (+.f64 (/.f64 4 (.f64 f PI.f64)) (.f64 (*.f64 f PI.f64) 1/12))) (sqrt.f64 (/.f64 4 PI.f64))) (sqrt.f64 (/.f64 4 PI.f64))))
	1.5b	(neg.f64 (.f64 (/.f64 1 (/.f64 PI.f64 4)) (log.f64 (/.f64 1 (/.f64 (sinh.f64 (.f64 f (/.f64 PI.f64 4))) (cosh.f64 (*.f64 f (/.f64 PI.f64 4))))))))

Compiler

Compiled 2066 to 1517 computations (26.6% saved)

regimes1.9s (11.5%)

Accuracy

Total 0.4b remaining (22.4%)

Threshold costs 0.4b (22.4%)

Compiler

Compiled 49339 to 39875 computations (19.2% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
4×	`+-commutative_binary64`
4×	`distribute-lft-neg-in_binary64`
4×	`distribute-rgt-neg-in_binary64`
4×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	44
1	26	44
2	39	44
3	46	44
4	50	44
5	51	44
6	51	44

end1.0ms (0%)

Compiler: Compiled 26 to 21 computations (19.2% saved)

sample9.2s (55.7%)

Algorithm

1×

intervals

Results

2.7s	3879×	body	1024	valid
2.5s	3909×	body	1024	nan
996.0ms	2018×	body	512	valid
893.0ms	1862×	body	512	nan
697.0ms	515×	body	2048	valid
328.0ms	988×	body	256	valid
293.0ms	956×	body	256	nan
107.0ms	600×	body	128	valid
3.0ms	3×	body	2048	nan
1.0ms	5×	body	128	nan
1.0ms	4×	body	128	overflowed

Compiler

Compiled 282 to 224 computations (20.6% saved)

Details

analyze1.5s (9.1%)

sample357.0ms (2.2%)

simplify76.0ms (0.5%)

prune4.0ms (0%)

localize17.0ms (0.1%)

rewrite294.0ms (1.8%)

series82.0ms (0.5%)

simplify285.0ms (1.7%)

prune152.0ms (0.9%)

localize13.0ms (0.1%)

rewrite544.0ms (3.3%)

series145.0ms (0.9%)

simplify320.0ms (1.9%)

prune202.0ms (1.2%)

localize17.0ms (0.1%)

rewrite273.0ms (1.7%)

series121.0ms (0.7%)

simplify257.0ms (1.6%)

prune137.0ms (0.8%)

localize14.0ms (0.1%)

rewrite216.0ms (1.3%)

series119.0ms (0.7%)

simplify109.0ms (0.7%)

prune152.0ms (0.9%)

regimes1.9s (11.5%)

simplify5.0ms (0%)

end1.0ms (0%)

sample9.2s (55.7%)

Profiling