Details

analyze3.1s (15.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	98.1%	1.9%	7
0%	98.1%	1.9%	8
0%	97.8%	2.2%	9
0%	96.8%	3.2%	10
0%	96.3%	3.7%	11
0%	94.3%	5.7%	12
0.4%	92.1%	7.5%	13
0.6%	90.8%	8.6%	14

Compiler

Compiled 35 to 24 computations (31.4% saved)

sample4.7s (24.5%)

Results

2.9s	14624×	body	128	invalid
1.7s	8256×	body	128	valid

Compiler

Compiled 104 to 71 computations (31.7% saved)

simplify26.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

515×	`fma-neg_binary64`
395×	`fma-def_binary64`
280×	`distribute-rgt-in_binary64`
276×	`distribute-lft-in_binary64`
245×	`associate-*r/_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	22	42
1	58	40
2	192	40
3	983	38
4	4416	37

Stop Event

1×	node limit

Counts

1 → 2

prune7.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

29.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	29.1b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	33.7b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (-.f64 t (.f64 2 (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U)))))

Status

Error

Program

▶

29.1b

(sqrt.f64 (*.f64 (*.f64 2 (*.f64 n U)) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))

33.7b

(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (-.f64 (-.f64 t (*.f64 2 (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U*)))))

Compiler

Compiled 189 to 119 computations (37% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.5b	(*.f64 n (/.f64 l Om))
✓	5.9b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	8.2b	(.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
✓	20.5b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))

series1.2s (6.1%)

Counts

4 → 216

Calls

4 calls:

810.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
312.0ms	(.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
33.0ms	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
12.0ms	(*.f64 n (/.f64 l Om))

rewrite41.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

223×	`add-sqr-sqrt_binary64`
211×	`log1p-expm1-u_binary64`
211×	`expm1-log1p-u_binary64`
210×	`add-cbrt-cube_binary64`
207×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	92
1	441	88

Stop Event

1×	node limit

Counts

4 → 85

Calls

4 calls:

39.0ms	(*.f64 n (/.f64 l Om))
39.0ms	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
39.0ms	(.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
39.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))

simplify163.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

734×	`fma-def_binary64`
405×	`*-commutative_binary64`
195×	`associate-r_binary64`
150×	`+-commutative_binary64`
147×	`associate-/l*_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	876	17039
1	3327	16151

Stop Event

1×	node limit

Counts

301 → 212

prune426.0ms (2.2%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	189	23	212
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	190	24	214

Error

17.0b

Counts

214 → 24

Alt Table

Status	Error	Program
	63.0b	(sqrt.f64 (log.f64 (pow.f64 (exp.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t)) (.f64 (*.f64 2 n) U))))
	62.2b	(sqrt.f64 (.f64 2 (/.f64 (.f64 n n) (/.f64 (.f64 Om Om) (.f64 (.f64 l l) (.f64 U* U))))))
	59.7b	(fma.f64 (sqrt.f64 2) (sqrt.f64 (.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)) (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 n (/.f64 (.f64 Om Om) (.f64 (.f64 l l) U))))))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (/.f64 n (/.f64 (-.f64 (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)) (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 n (/.f64 (.f64 Om Om) (.f64 (*.f64 l l) U))))) U))))))
▶	29.3b	(pow.f64 (pow.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))) 1/4) 2)
	42.8b	(-.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 (.f64 n t) U))) (.f64 (/.f64 (*.f64 l l) (/.f64 Om (sqrt.f64 2))) (sqrt.f64 (/.f64 n (/.f64 t U)))))
	29.5b	(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t)))) 2)) (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))))))
	44.1b	(-.f64 (.f64 (sqrt.f64 (.f64 n (.f64 t U))) (sqrt.f64 2)) (.f64 (sqrt.f64 (/.f64 (.f64 n U) t)) (/.f64 (.f64 (pow.f64 l 2) (sqrt.f64 2)) Om)))
	60.7b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 (.f64 n (.f64 l l)) (-.f64 U* U))))) (/.f64 (sqrt.f64 2) Om))
	63.0b	(.f64 (sqrt.f64 (.f64 -2 (/.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 Om Om)))) (neg.f64 U))
	29.3b	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))))
	38.5b	(sqrt.f64 (-.f64 (.f64 2 (.f64 n (.f64 t U))) (.f64 4 (/.f64 (.f64 n (.f64 (pow.f64 l 2) U)) Om))))
	58.6b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (/.f64 2 Om)) (/.f64 n (/.f64 (.f64 Om Om) U)))))) (neg.f64 (.f64 (sqrt.f64 2) l)))
	63.2b	(-.f64 (.f64 2 (.f64 (/.f64 (.f64 l l) Om) (/.f64 U (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 l l) (/.f64 (.f64 Om Om) U)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))) (fma.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 l l) (/.f64 (.f64 Om Om) U)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)))))) (/.f64 (.f64 U t) (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 l l) (/.f64 (.f64 Om Om) U)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)))))))))
	47.2b	(.f64 (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))) t)) (sqrt.f64 (.f64 (*.f64 2 n) U)))
	39.6b	(sqrt.f64 (.f64 2 (.f64 (*.f64 n t) U)))
	58.4b	(sqrt.f64 (.f64 2 (.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)) (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 n (/.f64 (.f64 Om Om) (.f64 (.f64 l l) U))))))))
	58.9b	(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))))) (/.f64 (.f64 t (sqrt.f64 2)) l))) (.f64 (sqrt.f64 (.f64 n (.f64 (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))) U))) (.f64 l (sqrt.f64 2))))
	31.9b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (.f64 l U*)) Om))))))
	43.3b	(sqrt.f64 (.f64 (-.f64 (+.f64 (.f64 2 (.f64 n t)) (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) U)) (pow.f64 Om 2)))) (.f64 4 (/.f64 (*.f64 n (pow.f64 l 2)) Om))) U))
✓	29.1b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	35.2b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (.f64 U (neg.f64 l))) Om))))))
	41.3b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	60.1b	(-.f64 (.f64 (.f64 (sqrt.f64 (/.f64 n (/.f64 (-.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (/.f64 2 Om)) (/.f64 n (/.f64 (.f64 Om Om) U))) U))) (/.f64 t (/.f64 l (sqrt.f64 2)))) -1/2) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (/.f64 2 Om)) (/.f64 n (/.f64 (.f64 Om Om) U)))))) (.f64 (sqrt.f64 2) l)))
	59.5b	(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 n (/.f64 (-.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (/.f64 2 Om)) (/.f64 n (/.f64 (.f64 Om Om) U))) U))) (/.f64 t (/.f64 l (sqrt.f64 2)))) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (/.f64 2 Om)) (/.f64 n (/.f64 (.f64 Om Om) U)))))) (*.f64 (sqrt.f64 2) l)))

Compiler

Compiled 19972 to 10930 computations (45.3% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.5b	(*.f64 n (/.f64 l Om))
	5.9b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	8.2b	(.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))
✓	21.0b	(pow.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))) 1/4)

series778.0ms (4.1%)

Counts

2 → 144

Calls

2 calls:

567.0ms

(pow.f64 (*.f64 2 (*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))) 1/4)

209.0ms

(*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))

rewrite29.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

215×	`add-sqr-sqrt_binary64`
205×	`log1p-expm1-u_binary64`
205×	`expm1-log1p-u_binary64`
203×	`add-cbrt-cube_binary64`
201×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	66
1	433	66

Stop Event

1×	node limit

Counts

2 → 35

Calls

2 calls:

28.0ms

(*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))

27.0ms

(pow.f64 (*.f64 2 (*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))) 1/4)

simplify185.0ms (1%)

Algorithm

1×	egg-herbie

Rules

697×	`*-commutative_binary64`
293×	`associate-r_binary64`
253×	`fma-def_binary64`
220×	`associate-/l*_binary64`
204×	`associate-*r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1444	28355

Stop Event

1×	node limit

Counts

179 → 198

prune662.0ms (3.4%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	235	12	247
Fresh	10	12	22
Picked	1	0	1
Done	0	1	1
Total	246	25	271

Error

9.0b

Counts

271 → 25

Alt Table

Status	Error	Program
	31.9b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (.f64 l U*)) Om))))))
	51.0b	(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 (-.f64 (+.f64 (.f64 2 (.f64 n t)) (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) U)) (pow.f64 Om 2)))) (.f64 4 (/.f64 (*.f64 n (pow.f64 l 2)) Om)))) (log.f64 U)))) 2)
	38.6b	(pow.f64 (pow.f64 (.f64 2 (.f64 n (+.f64 (.f64 t U) (.f64 -2 (/.f64 (*.f64 l l) (/.f64 Om U)))))) 1/4) 2)
	62.3b	(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 l l) (/.f64 (.f64 Om Om) U)) (/.f64 (.f64 l l) (/.f64 (.f64 Om Om) U)))))) (.f64 -2 (log.f64 (/.f64 -1 n))))) 2)
✓	29.1b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	62.2b	(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 (.f64 2 (.f64 U (-.f64 (/.f64 (.f64 l l) (/.f64 (.f64 Om Om) U)) (/.f64 (.f64 l l) (/.f64 (.f64 Om Om) U)))))) (.f64 -2 (neg.f64 (log.f64 n))))) 2)
	35.2b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (.f64 U (neg.f64 l))) Om))))))
	47.5b	(pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (log.f64 (.f64 -2 (.f64 n U))) (log.f64 (/.f64 -1 t)))) 2)
	41.3b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	47.0b	(pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (.f64 -2 (*.f64 n U))) (log.f64 (/.f64 -1 t))))) 2)
	49.7b	(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 n) (log.f64 (-.f64 (.f64 2 (.f64 t U)) (.f64 4 (/.f64 (*.f64 (pow.f64 l 2) U) Om))))))) 2)
	59.7b	(fma.f64 (sqrt.f64 2) (sqrt.f64 (.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)) (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 n (/.f64 (.f64 Om Om) (.f64 (.f64 l l) U))))))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (/.f64 n (/.f64 (-.f64 (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)) (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 n (/.f64 (.f64 Om Om) (.f64 (*.f64 l l) U))))) U))))))
	53.7b	(pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (log.f64 (.f64 2 (.f64 n U))) (neg.f64 (log.f64 t)))) 2)
	29.5b	(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t)))) 2)) (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))))))
	44.1b	(-.f64 (.f64 (sqrt.f64 (.f64 n (.f64 t U))) (sqrt.f64 2)) (.f64 (sqrt.f64 (/.f64 (.f64 n U) t)) (/.f64 (.f64 (pow.f64 l 2) (sqrt.f64 2)) Om)))
	60.7b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 (.f64 n (.f64 l l)) (-.f64 U* U))))) (/.f64 (sqrt.f64 2) Om))
	62.5b	(pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (log.f64 (.f64 2 (/.f64 (.f64 n n) (/.f64 (.f64 Om Om) (.f64 U (.f64 l l)))))) (neg.f64 (log.f64 U)))) 2)
▶	29.3b	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))))
	38.5b	(sqrt.f64 (-.f64 (.f64 2 (.f64 n (.f64 t U))) (.f64 4 (/.f64 (.f64 n (.f64 (pow.f64 l 2) U)) Om))))
	62.7b	(pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) U)) (pow.f64 Om 2)))) (log.f64 (/.f64 1 U*))))) 2)
	58.6b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (/.f64 2 Om)) (/.f64 n (/.f64 (.f64 Om Om) U)))))) (neg.f64 (.f64 (sqrt.f64 2) l)))
	47.3b	(pow.f64 (.f64 (pow.f64 (.f64 2 (.f64 n U)) 1/4) (pow.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 n (/.f64 Om l)))) t) 1/4)) 2)
	47.2b	(.f64 (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))) t)) (sqrt.f64 (.f64 (*.f64 2 n) U)))
	31.9b	(pow.f64 (.f64 (pow.f64 2 1/4) (pow.f64 (.f64 n (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 n (/.f64 Om l)))) t))) 1/4)) 2)
	58.9b	(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))))) (/.f64 (.f64 t (sqrt.f64 2)) l))) (.f64 (sqrt.f64 (.f64 n (.f64 (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))) U))) (.f64 l (sqrt.f64 2))))

Compiler

Compiled 37226 to 21886 computations (41.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.5b	(*.f64 n (/.f64 l Om))
	5.9b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
	8.2b	(.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))
✓	20.5b	(sqrt.f64 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t)))

series584.0ms (3%)

Counts

1 → 48

Calls

1 calls:

583.0ms

(sqrt.f64 (*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t)))

rewrite60.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

639×	`prod-diff_binary64`
184×	`add-sqr-sqrt_binary64`
172×	`log1p-expm1-u_binary64`
172×	`expm1-log1p-u_binary64`
171×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	32
1	362	32
2	4856	32

Stop Event

1×	node limit

Counts

1 → 27

Calls

1 calls:

59.0ms

(sqrt.f64 (*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t)))

simplify111.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

776×	`associate-/l*_binary64`
657×	`fma-def_binary64`
267×	`*-commutative_binary64`
149×	`+-commutative_binary64`
119×	`associate-+r+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	672	10928
1	2555	10175

Stop Event

1×	node limit

Counts

75 → 113

prune378.0ms (2%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	197	11	208
Fresh	9	14	23
Picked	1	0	1
Done	0	1	1
Total	207	26	233

Error

7.6b

Counts

233 → 26

Alt Table

Status	Error	Program
	61.3b	(.f64 (sqrt.f64 2) (.f64 n (sqrt.f64 (.f64 U (-.f64 (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) U) (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) U))))))
	35.2b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (.f64 U (neg.f64 l))) Om))))))
	47.5b	(pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (log.f64 (.f64 -2 (.f64 n U))) (log.f64 (/.f64 -1 t)))) 2)
	41.3b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	38.0b	(.f64 (sqrt.f64 2) (cbrt.f64 (pow.f64 (.f64 n (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (.f64 (-.f64 U U) (/.f64 l Om)) n)) t))) 3/2)))
	47.0b	(pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (.f64 -2 (*.f64 n U))) (log.f64 (/.f64 -1 t))))) 2)
	31.9b	(.f64 (sqrt.f64 2) (pow.f64 (pow.f64 (.f64 n (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (.f64 (-.f64 U U) (/.f64 l Om)) n)) t))) 1/4) 2))
	62.5b	(pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (log.f64 (.f64 2 (/.f64 (.f64 n n) (/.f64 (.f64 Om Om) (.f64 U (.f64 l l)))))) (neg.f64 (log.f64 U)))) 2)
	61.6b	(.f64 (sqrt.f64 2) (.f64 n (neg.f64 (sqrt.f64 (.f64 U (neg.f64 (-.f64 (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) U) (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) U))))))))
	38.5b	(sqrt.f64 (-.f64 (.f64 2 (.f64 n (.f64 t U))) (.f64 4 (/.f64 (.f64 n (.f64 (pow.f64 l 2) U)) Om))))
	44.1b	(.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 (.f64 n (.f64 t U))) (.f64 (sqrt.f64 (/.f64 (*.f64 n U) t)) (/.f64 (pow.f64 l 2) Om))))
	58.2b	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (.f64 (/.f64 n (.f64 Om Om)) U) (+.f64 (/.f64 2 Om) (/.f64 U (/.f64 (.f64 Om Om) n))))))) (neg.f64 l)))
	58.9b	(.f64 (sqrt.f64 2) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))))) (/.f64 t l))) (.f64 (sqrt.f64 (.f64 n (.f64 (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (*.f64 n U) (pow.f64 Om 2)))) U))) l)))
	58.6b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (/.f64 2 Om)) (/.f64 n (/.f64 (.f64 Om Om) U)))))) (neg.f64 (.f64 (sqrt.f64 2) l)))
	62.2b	(.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 (.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 U U)) (.f64 Om Om))))
	47.3b	(pow.f64 (.f64 (pow.f64 (.f64 2 (.f64 n U)) 1/4) (pow.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 n (/.f64 Om l)))) t) 1/4)) 2)
	43.8b	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 n) (sqrt.f64 (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (.f64 (-.f64 U U) (/.f64 l Om)) n)) t)))))
	59.6b	(.f64 (sqrt.f64 2) (fma.f64 1/2 (.f64 t (sqrt.f64 (/.f64 U (/.f64 (-.f64 (/.f64 (.f64 n (.f64 l l)) (/.f64 Om (/.f64 U* Om))) (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))) n)))) (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n (.f64 l l)) (/.f64 Om (/.f64 U Om))) (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (*.f64 Om Om)))))))))
	51.0b	(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 (-.f64 (+.f64 (.f64 2 (.f64 n t)) (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) U)) (pow.f64 Om 2)))) (.f64 4 (/.f64 (*.f64 n (pow.f64 l 2)) Om)))) (log.f64 U)))) 2)
	38.6b	(pow.f64 (pow.f64 (.f64 2 (.f64 n (+.f64 (.f64 t U) (.f64 -2 (/.f64 (*.f64 l l) (/.f64 Om U)))))) 1/4) 2)
✓	29.1b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	53.7b	(pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (log.f64 (.f64 2 (.f64 n U))) (neg.f64 (log.f64 t)))) 2)
	60.7b	(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 (.f64 n (.f64 l l)) (-.f64 U* U))))) Om))
▶	29.5b	(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t)))) 2)) (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))))))
	47.2b	(.f64 (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))) t)) (sqrt.f64 (.f64 (*.f64 2 n) U)))
	58.9b	(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))))) (/.f64 (.f64 t (sqrt.f64 2)) l))) (.f64 (sqrt.f64 (.f64 n (.f64 (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))) U))) (.f64 l (sqrt.f64 2))))

Compiler

Compiled 19546 to 10332 computations (47.1% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.9b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	8.2b	(sqrt.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t)))) 2))
	8.2b	(.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))
✓	21.3b	(cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))))

series1.9s (9.8%)

Counts

2 → 144

Calls

2 calls:

940.0ms

(sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t)))) 2))

935.0ms

(cbrt.f64 (*.f64 2 (*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))))

rewrite35.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

212×	`add-sqr-sqrt_binary64`
199×	`log1p-expm1-u_binary64`
199×	`expm1-log1p-u_binary64`
198×	`add-cbrt-cube_binary64`
196×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	70
1	443	70

Stop Event

1×	node limit

Counts

2 → 58

Calls

2 calls:

33.0ms

(sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t)))) 2))

33.0ms

(cbrt.f64 (*.f64 2 (*.f64 (*.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))))

simplify297.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

493×	`associate-r_binary64`
290×	`fma-def_binary64`
253×	`associate-/l*_binary64`
227×	`associate-*r/_binary64`
218×	`associate-+r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1695	50865

Stop Event

1×	node limit

Counts

202 → 166

prune1.3s (6.8%)

Pruning

26 alts after pruning (24 fresh and 2 done)

	Pruned	Kept	Total
New	483	0	483
Fresh	0	24	24
Picked	0	1	1
Done	0	1	1
Total	483	26	509

Error

7.6b

Counts

509 → 26

Alt Table

Status	Error	Program
	61.3b	(.f64 (sqrt.f64 2) (.f64 n (sqrt.f64 (.f64 U (-.f64 (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) U) (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) U))))))
	35.2b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (.f64 U (neg.f64 l))) Om))))))
	47.5b	(pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (log.f64 (.f64 -2 (.f64 n U))) (log.f64 (/.f64 -1 t)))) 2)
	41.3b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	38.0b	(.f64 (sqrt.f64 2) (cbrt.f64 (pow.f64 (.f64 n (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (.f64 (-.f64 U U) (/.f64 l Om)) n)) t))) 3/2)))
	47.0b	(pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (.f64 -2 (*.f64 n U))) (log.f64 (/.f64 -1 t))))) 2)
	31.9b	(.f64 (sqrt.f64 2) (pow.f64 (pow.f64 (.f64 n (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (.f64 (-.f64 U U) (/.f64 l Om)) n)) t))) 1/4) 2))
	62.5b	(pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (log.f64 (.f64 2 (/.f64 (.f64 n n) (/.f64 (.f64 Om Om) (.f64 U (.f64 l l)))))) (neg.f64 (log.f64 U)))) 2)
	61.6b	(.f64 (sqrt.f64 2) (.f64 n (neg.f64 (sqrt.f64 (.f64 U (neg.f64 (-.f64 (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) U) (.f64 (/.f64 (.f64 l l) (.f64 Om Om)) U))))))))
	38.5b	(sqrt.f64 (-.f64 (.f64 2 (.f64 n (.f64 t U))) (.f64 4 (/.f64 (.f64 n (.f64 (pow.f64 l 2) U)) Om))))
	44.1b	(.f64 (sqrt.f64 2) (-.f64 (sqrt.f64 (.f64 n (.f64 t U))) (.f64 (sqrt.f64 (/.f64 (*.f64 n U) t)) (/.f64 (pow.f64 l 2) Om))))
	58.2b	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (.f64 (/.f64 n (.f64 Om Om)) U) (+.f64 (/.f64 2 Om) (/.f64 U (/.f64 (.f64 Om Om) n))))))) (neg.f64 l)))
	58.9b	(.f64 (sqrt.f64 2) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))))) (/.f64 t l))) (.f64 (sqrt.f64 (.f64 n (.f64 (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (*.f64 n U) (pow.f64 Om 2)))) U))) l)))
	58.6b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (/.f64 2 Om)) (/.f64 n (/.f64 (.f64 Om Om) U)))))) (neg.f64 (.f64 (sqrt.f64 2) l)))
	62.2b	(.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 (.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 U U)) (.f64 Om Om))))
	47.3b	(pow.f64 (.f64 (pow.f64 (.f64 2 (.f64 n U)) 1/4) (pow.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 n (/.f64 Om l)))) t) 1/4)) 2)
	43.8b	(.f64 (sqrt.f64 2) (.f64 (sqrt.f64 n) (sqrt.f64 (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (.f64 (-.f64 U U) (/.f64 l Om)) n)) t)))))
	59.6b	(.f64 (sqrt.f64 2) (fma.f64 1/2 (.f64 t (sqrt.f64 (/.f64 U (/.f64 (-.f64 (/.f64 (.f64 n (.f64 l l)) (/.f64 Om (/.f64 U* Om))) (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))) n)))) (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n (.f64 l l)) (/.f64 Om (/.f64 U Om))) (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (*.f64 Om Om)))))))))
	51.0b	(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 (-.f64 (+.f64 (.f64 2 (.f64 n t)) (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) U)) (pow.f64 Om 2)))) (.f64 4 (/.f64 (*.f64 n (pow.f64 l 2)) Om)))) (log.f64 U)))) 2)
	38.6b	(pow.f64 (pow.f64 (.f64 2 (.f64 n (+.f64 (.f64 t U) (.f64 -2 (/.f64 (*.f64 l l) (/.f64 Om U)))))) 1/4) 2)
✓	29.1b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	53.7b	(pow.f64 (pow.f64 (exp.f64 1/4) (-.f64 (log.f64 (.f64 2 (.f64 n U))) (neg.f64 (log.f64 t)))) 2)
	60.7b	(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 (.f64 n (.f64 l l)) (-.f64 U* U))))) Om))
✓	29.5b	(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t)))) 2)) (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 n U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))))))
	47.2b	(.f64 (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))) t)) (sqrt.f64 (.f64 (*.f64 2 n) U)))
	58.9b	(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))))) (/.f64 (.f64 t (sqrt.f64 2)) l))) (.f64 (sqrt.f64 (.f64 n (.f64 (-.f64 (/.f64 (.f64 n U) (pow.f64 Om 2)) (+.f64 (.f64 2 (/.f64 1 Om)) (/.f64 (.f64 n U) (pow.f64 Om 2)))) U))) (.f64 l (sqrt.f64 2))))

Compiler

Compiled 88815 to 48710 computations (45.2% saved)

regimes2.7s (14.3%)

Accuracy

Total 17.0b remaining (64%)

Threshold costs 0b (0%)

Counts

186 → 3

Compiler

Compiled 55642 to 36098 computations (35.1% saved)

bsearch10.0ms (0.1%)

Compiler: Compiled 33 to 22 computations (33.3% saved)

simplify44.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

225×	`distribute-rgt-neg-in_binary64`
148×	`cancel-sign-sub-inv_binary64`
146×	`distribute-lft-neg-in_binary64`
132×	`distribute-lft-neg-out_binary64`
122×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	210
1	102	210
2	140	210
3	173	210
4	210	210
5	243	210
6	286	210
7	334	210
8	376	210
9	409	210
10	450	210
11	554	210
12	705	210
13	830	210
14	952	210
15	1076	210
16	1214	210
17	1316	210
18	1371	210
19	1396	210
20	1408	210
21	1428	210
22	1454	210
23	1477	210
24	1499	210
25	1507	210

Stop Event

1×

saturated

end446.0ms (2.3%)

Compiler: Compiled 1231 to 766 computations (37.8% saved)

Details

analyze3.1s (15.9%)

sample4.7s (24.5%)

simplify26.0ms (0.1%)

prune7.0ms (0%)

localize16.0ms (0.1%)

series1.2s (6.1%)

rewrite41.0ms (0.2%)

simplify163.0ms (0.8%)

prune426.0ms (2.2%)

localize19.0ms (0.1%)

series778.0ms (4.1%)

rewrite29.0ms (0.1%)

simplify185.0ms (1%)

prune662.0ms (3.4%)

localize20.0ms (0.1%)

series584.0ms (3%)

rewrite60.0ms (0.3%)

simplify111.0ms (0.6%)

prune378.0ms (2%)

localize21.0ms (0.1%)

series1.9s (9.8%)

rewrite35.0ms (0.2%)

simplify297.0ms (1.5%)

prune1.3s (6.8%)

regimes2.7s (14.3%)

bsearch10.0ms (0.1%)

simplify44.0ms (0.2%)

end446.0ms (2.3%)

Profiling