Details

analyze2.9s (22.1%)

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%	99.9%	0.1%	5
0%	99.9%	0.1%	6
3.1%	96.7%	0.1%	7
4.7%	95.2%	0.1%	8
11.7%	88.2%	0.1%	9
17.6%	82.3%	0.1%	10
20.5%	79.4%	0.1%	11
26.6%	73.2%	0.1%	12
31.1%	68.8%	0.1%	13
33.3%	66.6%	0.1%	14

Compiler

Compiled 32 to 18 computations (43.8% saved)

sample5.6s (42.8%)

Results

2.9s	2062×	body	1024	valid
1.4s	4568×	body	128	valid
943.0ms	1094×	body	512	valid
298.0ms	516×	body	256	valid
50.0ms	16×	body	2048	valid

Compiler

Compiled 64 to 36 computations (43.8% saved)

preprocess17.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

48×	`fma-def_binary64`
44×	`*-commutative_binary64`
24×	`associate-r_binary64`
24×	`associate-l_binary64`
4×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	176
1	105	176
2	193	176
3	241	176
0	3	3

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 31 to 17 computations (45.2% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`fma-def_binary64`
11×	`*-commutative_binary64`
6×	`associate-r_binary64`
6×	`associate-l_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	44
1	30	44
2	52	44
3	64	44

Stop Event

1×

saturated

Counts

1 → 2

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.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))

Compiler

Compiled 118 to 54 computations (54.2% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))
✓	0.1b	(*.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
✓	2.7b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	36.0b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series145.0ms (1.1%)

Counts

4 → 144

Calls

36 calls:

9.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))	eh	-inf
9.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))	t	-inf
9.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))	t	inf
8.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))	ew	-inf
8.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))	eh	inf

rewrite67.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

550×	`prod-diff_binary64`
168×	`add-sqr-sqrt_binary64`
154×	`add-log-exp_binary64`
154×	`log1p-expm1-u_binary64`
154×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	61
1	319	60
2	4486	60

Stop Event

1×	node limit

Counts

4 → 98

simplify68.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

840×	`fma-neg_binary64`
483×	`distribute-rgt-neg-in_binary64`
482×	`distribute-lft-neg-in_binary64`
299×	`associate-r_binary64`
292×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	2689
1	229	2584
2	745	2513
3	3034	2511

Stop Event

1×	node limit

Counts

242 → 128

prune147.0ms (1.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	172	7	179
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	173	7	180

Error

0.0b

Counts

180 → 7

Alt Table

Status	Error	Program
	26.7b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (pow.f64 (sqrt.f64 (.f64 (cos.f64 t) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) eh))) 2)))
	0.9b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (pow.f64 (cbrt.f64 (.f64 (cos.f64 t) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) eh))) 3)))
	0.1b	(fabs.f64 (fma.f64 ew (log1p.f64 (expm1.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t))))))) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
▶	0.1b	(fabs.f64 (fma.f64 ew (expm1.f64 (log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t))))))) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	4.8b	(fabs.f64 (fma.f64 ew (cbrt.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t))))) 3)) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	20.6b	(fabs.f64 (fma.f64 ew (pow.f64 (sqrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t)))))) 2) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	0.5b	(fabs.f64 (fma.f64 ew (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t)))))) 3) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))

Compiler

Compiled 6413 to 1814 computations (71.7% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 ew (tan.f64 t))
✓	0.2b	(log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t))))))
✓	1.8b	(/.f64 eh (*.f64 ew (tan.f64 t)))
	2.7b	(/.f64 (/.f64 eh ew) (tan.f64 t))

series978.0ms (7.5%)

Counts

3 → 96

Calls

24 calls:

414.0ms	(log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t))))))	t	-inf
398.0ms	(log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t))))))	t	inf
19.0ms	(log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t))))))	t	0
14.0ms	(log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t))))))	eh	0
13.0ms	(log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t))))))	ew	-inf

rewrite52.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

250×	`prod-diff_binary64`
221×	`expm1-udef_binary64`
221×	`log1p-udef_binary64`
202×	`log-pow_binary64`
144×	`log-div_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	34
1	243	34
2	3198	34

Stop Event

1×	node limit

Counts

3 → 76

simplify118.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

301×	`times-frac_binary64`
232×	`associate-r_binary64`
231×	`associate-/l*_binary64`
229×	`fma-neg_binary64`
214×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	276	3933
1	981	3846
2	4422	3792

Stop Event

1×	node limit

Counts

172 → 130

prune326.0ms (2.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	179	2	181
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	181	7	188

Error

0.0b

Counts

188 → 7

Alt Table

Status	Error	Program
	0.5b	(fabs.f64 (fma.f64 ew (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t)))))) 3) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	9.5b	(fabs.f64 (fma.f64 ew (expm1.f64 (-.f64 (log1p.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (log.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 2) (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	26.7b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (pow.f64 (sqrt.f64 (.f64 (cos.f64 t) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) eh))) 2)))
	0.9b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (pow.f64 (cbrt.f64 (.f64 (cos.f64 t) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) eh))) 3)))
▶	0.1b	(fabs.f64 (fma.f64 ew (log1p.f64 (expm1.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t))))))) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	4.8b	(fabs.f64 (fma.f64 ew (cbrt.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t))))) 3)) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	13.6b	(fabs.f64 (fma.f64 ew (expm1.f64 (-.f64 (exp.f64 (log1p.f64 (log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))))) 1)) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))

Compiler

Compiled 8637 to 3839 computations (55.6% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))
	0.1b	(*.f64 ew (tan.f64 t))
	1.8b	(/.f64 eh (*.f64 ew (tan.f64 t)))
	2.7b	(/.f64 (/.f64 eh ew) (tan.f64 t))

prune253.0ms (1.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	153	7	160

Error

0.0b

Counts

160 → 7

Alt Table

Status	Error	Program
▶	0.5b	(fabs.f64 (fma.f64 ew (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t)))))) 3) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	9.5b	(fabs.f64 (fma.f64 ew (expm1.f64 (-.f64 (log1p.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (log.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 2) (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	26.7b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (pow.f64 (sqrt.f64 (.f64 (cos.f64 t) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) eh))) 2)))
	0.9b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (pow.f64 (cbrt.f64 (.f64 (cos.f64 t) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) eh))) 3)))
✓	0.1b	(fabs.f64 (fma.f64 ew (log1p.f64 (expm1.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t))))))) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	4.8b	(fabs.f64 (fma.f64 ew (cbrt.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t))))) 3)) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	13.6b	(fabs.f64 (fma.f64 ew (expm1.f64 (-.f64 (exp.f64 (log1p.f64 (log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))))) 1)) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))

Compiler

Compiled 5884 to 2295 computations (61% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t)))))) 3)
	1.8b	(/.f64 eh (*.f64 ew (tan.f64 t)))
	2.7b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	21.2b	(cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t))))))

series963.0ms (7.4%)

Counts

2 → 40

Calls

18 calls:

179.0ms	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t)))))) 3)	t	-inf
174.0ms	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t)))))) 3)	t	inf
173.0ms	(cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t))))))	t	inf
168.0ms	(cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t))))))	t	-inf
52.0ms	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (*.f64 ew (tan.f64 t)))))) 3)	t	0

rewrite55.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
214×	`log-pow_binary64`
151×	`log-div_binary64`
133×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	36
1	287	36
2	3521	36

Stop Event

1×	node limit

Counts

2 → 77

simplify42.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

582×	`associate-/l*_binary64`
519×	`associate-r_binary64`
458×	`associate-/r*_binary64`
408×	`associate-l_binary64`
253×	`associate-*r/_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	81	1899
1	250	1855
2	966	1831

Stop Event

1×	node limit

Counts

117 → 96

prune359.0ms (2.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	197	1	198
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	197	8	205

Error

0.0b

Counts

205 → 8

Alt Table

Status	Error	Program
✓	0.5b	(fabs.f64 (fma.f64 ew (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t)))))) 3) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	9.5b	(fabs.f64 (fma.f64 ew (expm1.f64 (-.f64 (log1p.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 3)) (log.f64 (+.f64 1 (-.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) 2) (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	0.5b	(fabs.f64 (fma.f64 ew (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2)) (.f64 (cbrt.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2))) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	26.7b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (pow.f64 (sqrt.f64 (.f64 (cos.f64 t) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) eh))) 2)))
	0.9b	(fabs.f64 (fma.f64 ew (.f64 (sin.f64 t) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (pow.f64 (cbrt.f64 (.f64 (cos.f64 t) (.f64 (sin.f64 (atan.f64 (/.f64 eh (.f64 ew (tan.f64 t))))) eh))) 3)))
✓	0.1b	(fabs.f64 (fma.f64 ew (log1p.f64 (expm1.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t))))))) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	4.8b	(fabs.f64 (fma.f64 ew (cbrt.f64 (pow.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 eh (.f64 ew (tan.f64 t))))) 3)) (.f64 eh (*.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))
	13.6b	(fabs.f64 (fma.f64 ew (expm1.f64 (-.f64 (exp.f64 (log1p.f64 (log1p.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))))) 1)) (.f64 eh (.f64 (cos.f64 t) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))))

Compiler

Compiled 7786 to 2959 computations (62% saved)

regimes672.0ms (5.1%)

Accuracy

Total 0.1b remaining (49.7%)

Threshold costs 0.1b (49.7%)

Counts

105 → 1

Compiler

Compiled 17416 to 11074 computations (36.4% 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	20	47
1	24	47

Stop Event

1×

saturated

end224.0ms (1.7%)

Stop Event

1×

fuel

Compiler

Compiled 390 to 238 computations (39% saved)

Details

analyze2.9s (22.1%)

sample5.6s (42.8%)

preprocess17.0ms (0.1%)

simplify9.0ms (0.1%)

prune3.0ms (0%)

localize18.0ms (0.1%)

series145.0ms (1.1%)

rewrite67.0ms (0.5%)

simplify68.0ms (0.5%)

prune147.0ms (1.1%)

localize23.0ms (0.2%)

series978.0ms (7.5%)

rewrite52.0ms (0.4%)

simplify118.0ms (0.9%)

prune326.0ms (2.5%)

localize24.0ms (0.2%)

prune253.0ms (1.9%)

localize24.0ms (0.2%)

series963.0ms (7.4%)

rewrite55.0ms (0.4%)

simplify42.0ms (0.3%)

prune359.0ms (2.7%)

regimes672.0ms (5.1%)

simplify2.0ms (0%)

end224.0ms (1.7%)

Profiling