Details

analyze3.7s (19%)

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)

sample127.0ms (0.7%)

Algorithm

1×

intervals

Results

51.0ms	425×	body	128	nan
30.0ms	256×	body	128	valid
5.0ms	39×	body	128	invalid

Compiler

Compiled 75 to 53 computations (29.3% saved)

simplify57.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

716×	`neg-sub0_binary64`
716×	`neg-mul-1_binary64`
377×	`distribute-rgt-neg-out_binary64`
358×	`cancel-sign-sub-inv_binary64`
354×	`distribute-lft-neg-out_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	42
1	58	42
2	180	42
3	719	39
4	2459	39
5	3995	39
6	5181	39

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

30.1b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	32.6b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U))))))))
	33.9b	(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

▶

32.6b

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

33.9b

(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 164 to 106 computations (35.4% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.4b	(.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U* U)))))
9.2b	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U)))))))
10.5b	(.f64 (/.f64 l Om) (.f64 n (-.f64 U* U)))
19.8b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U))))))))

rewrite275.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

24.6b

Rules

30×	`add-cbrt-cube_binary64`
30×	`add-exp-log_binary64`
30×	`pow1_binary64`
29×	`add-sqr-sqrt_binary64`
27×	`associate-l_binary64`

Counts

4 → 131

Calls

4 calls:

11.0ms	(.f64 (/.f64 l Om) (.f64 n (-.f64 U* U)))
8.0ms	(.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U* U)))))
7.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U)))))))
5.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U))))))))

Compiler

Compiled 4890 to 1897 computations (61.2% saved)

series1.1s (5.5%)

Error

18.9b

Counts

4 → 115

Calls

4 calls:

414.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U)))))))
355.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U U))))))))
162.0ms	(.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (/.f64 l Om) (.f64 n (-.f64 U* U)))))
62.0ms	(.f64 (/.f64 l Om) (.f64 n (-.f64 U* U)))

Compiler

Compiled 11384 to 8069 computations (29.1% saved)

simplify200.0ms (1%)

Algorithm

1×	egg-herbie

Rules

576×	`*-commutative_binary64`
268×	`distribute-rgt-in_binary64`
260×	`associate-/l*_binary64`
254×	`associate-*l/_binary64`
248×	`distribute-lft-in_binary64`

Counts

246 → 222

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	542	8890
1	1658	8535
2	4747	8535
3	4985	8535

prune207.0ms (1.1%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	201	21	222
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	202	22	224

Error

16.6b

Counts

224 → 22

Alt Table

Status	Error	Program
▶	30.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U)))))))
	44.0b	(-.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 n (.f64 t U)))) (.f64 (/.f64 (.f64 (sqrt.f64 2) (.f64 l l)) Om) (sqrt.f64 (/.f64 (*.f64 n U) t))))
	61.9b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))
	39.8b	(cbrt.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)))))) 3))
	61.5b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	63.4b	(+.f64 (.f64 (.f64 n (sqrt.f64 2)) (sqrt.f64 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om)))))) (.f64 (sqrt.f64 (/.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om))))) (-.f64 (.f64 1/2 (.f64 t (sqrt.f64 2))) (/.f64 (.f64 (sqrt.f64 2) (.f64 l l)) Om))))
	55.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	41.7b	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 n (*.f64 t U))))
	57.3b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))
	62.4b	(neg.f64 (.f64 U (sqrt.f64 (.f64 -2 (/.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 Om Om))))))
	62.0b	(sqrt.f64 (log.f64 (pow.f64 (exp.f64 (.f64 2 (.f64 n U))) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2)))))))
	38.4b	(sqrt.f64 (.f64 n (-.f64 (.f64 2 (.f64 t U)) (.f64 4 (.f64 (/.f64 (.f64 l l) Om) U)))))
	32.8b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (.f64 l -2))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2))))))))
	33.4b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om))))))
	38.4b	(sqrt.f64 (-.f64 (.f64 2 (.f64 n (.f64 t U))) (.f64 4 (/.f64 (.f64 n (.f64 U (*.f64 l l))) Om))))
	36.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 -2 (/.f64 (*.f64 l l) Om)))))
	57.0b	(-.f64 (.f64 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 t (sqrt.f64 2)) l)) -1/2) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (.f64 (sqrt.f64 2) l)))
	58.4b	(+.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (.f64 (sqrt.f64 2) l)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 t (sqrt.f64 2)) l))))
	43.9b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2))))))
	33.9b	(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)))))
	39.2b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (.f64 n (-.f64 U U)) (*.f64 (/.f64 l Om) (/.f64 l Om))))))
	35.4b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)))))))

Compiler

Compiled 6252 to 2760 computations (55.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.9b	(*.f64 n (/.f64 l Om))
7.5b	(.f64 (.f64 n (/.f64 l Om)) (-.f64 U* U))
9.2b	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U))))))
19.8b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U)))))))

rewrite187.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

16.1b

Rules

30×	`pow1_binary64`
27×	`add-cbrt-cube_binary64`
27×	`add-exp-log_binary64`
23×	`add-sqr-sqrt_binary64`
21×	`associate-r_binary64`

Counts

4 → 107

Calls

4 calls:

9.0ms	(.f64 (.f64 n (/.f64 l Om)) (-.f64 U* U))
9.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U))))))
6.0ms	(*.f64 n (/.f64 l Om))
5.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U)))))))

Compiler

Compiled 3765 to 1527 computations (59.4% saved)

series899.0ms (4.6%)

Error

16.6b

Counts

4 → 97

Calls

4 calls:

396.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U))))))
372.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U)))))))
65.0ms	(.f64 (.f64 n (/.f64 l Om)) (-.f64 U* U))
22.0ms	(*.f64 n (/.f64 l Om))

Compiler

Compiled 10054 to 7137 computations (29% saved)

simplify126.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

733×	`associate-l_binary64`
676×	`associate-r_binary64`
235×	`associate-/l*_binary64`
194×	`*-commutative_binary64`
161×	`associate-*r/_binary64`

Counts

204 → 168

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	462	7053
1	1327	6539
2	5283	6539

prune132.0ms (0.7%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	166	2	168
Fresh	1	20	21
Picked	0	1	1
Done	0	0	0
Total	167	23	190

Error

15.3b

Counts

190 → 23

Alt Table

Status	Error	Program
✓	30.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U)))))))
	44.0b	(-.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 n (.f64 t U)))) (.f64 (/.f64 (.f64 (sqrt.f64 2) (.f64 l l)) Om) (sqrt.f64 (/.f64 (*.f64 n U) t))))
	61.9b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))
	39.8b	(cbrt.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)))))) 3))
	41.9b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 n (.f64 (-.f64 U* U) (/.f64 l Om))) (*.f64 l -2))))))
	61.5b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	63.4b	(+.f64 (.f64 (.f64 n (sqrt.f64 2)) (sqrt.f64 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om)))))) (.f64 (sqrt.f64 (/.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om))))) (-.f64 (.f64 1/2 (.f64 t (sqrt.f64 2))) (/.f64 (.f64 (sqrt.f64 2) (.f64 l l)) Om))))
	60.7b	(sqrt.f64 (.f64 2 (.f64 (/.f64 (.f64 (.f64 n n) (.f64 (.f64 l l) (-.f64 U* U))) Om) (/.f64 U Om))))
	55.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	41.7b	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 n (*.f64 t U))))
	57.3b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))
	62.4b	(neg.f64 (.f64 U (sqrt.f64 (.f64 -2 (/.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 Om Om))))))
	62.0b	(sqrt.f64 (log.f64 (pow.f64 (exp.f64 (.f64 2 (.f64 n U))) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2)))))))
	38.4b	(sqrt.f64 (.f64 n (-.f64 (.f64 2 (.f64 t U)) (.f64 4 (.f64 (/.f64 (.f64 l l) Om) U)))))
▶	32.8b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (.f64 l -2))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2))))))))
	33.4b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om))))))
	38.4b	(sqrt.f64 (-.f64 (.f64 2 (.f64 n (.f64 t U))) (.f64 4 (/.f64 (.f64 n (.f64 U (*.f64 l l))) Om))))
	36.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 -2 (/.f64 (*.f64 l l) Om)))))
	57.0b	(-.f64 (.f64 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 t (sqrt.f64 2)) l)) -1/2) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (.f64 (sqrt.f64 2) l)))
	58.4b	(+.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (.f64 (sqrt.f64 2) l)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 t (sqrt.f64 2)) l))))
	33.9b	(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)))))
	39.2b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (.f64 n (-.f64 U U)) (*.f64 (/.f64 l Om) (/.f64 l Om))))))
	35.4b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)))))))

Compiler

Compiled 4939 to 2301 computations (53.4% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

10.5b	(.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om))
10.5b	(.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om))
19.8b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2))))))
19.8b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2))))))

rewrite185.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

15.3b

Rules

34×	`pow1_binary64`
28×	`add-cbrt-cube_binary64`
28×	`add-exp-log_binary64`
26×	`associate-r_binary64`
18×	`times-frac_binary64`

Counts

4 → 104

Calls

4 calls:

11.0ms	(.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om))
9.0ms	(.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om))
6.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2))))))
5.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2))))))

Compiler

Compiled 6318 to 2387 computations (62.2% saved)

series970.0ms (5%)

Error

15.3b

Counts

4 → 100

Calls

4 calls:

368.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2))))))
359.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2))))))
76.0ms	(.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om))
72.0ms	(.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om))

Compiler

Compiled 19220 to 12212 computations (36.5% saved)

simplify225.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

356×	`associate-l_binary64`
350×	`associate-r_binary64`
292×	`*-commutative_binary64`
244×	`cancel-sign-sub-inv_binary64`
184×	`associate-/l*_binary64`

Counts

204 → 168

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	334	6826
1	950	6392
2	3599	6392
3	4839	6392
4	4998	6392
5	4973	6392

prune183.0ms (0.9%)

Pruning

23 alts after pruning (21 fresh and 2 done)

	Pruned	Kept	Total
New	168	0	168
Fresh	0	21	21
Picked	0	1	1
Done	0	1	1
Total	168	23	191

Error

15.3b

Counts

191 → 23

Alt Table

Status	Error	Program
✓	30.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U)))))))
	44.0b	(-.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 n (.f64 t U)))) (.f64 (/.f64 (.f64 (sqrt.f64 2) (.f64 l l)) Om) (sqrt.f64 (/.f64 (*.f64 n U) t))))
	61.9b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))
	39.8b	(cbrt.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)))))) 3))
	41.9b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 n (.f64 (-.f64 U* U) (/.f64 l Om))) (*.f64 l -2))))))
	61.5b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	63.4b	(+.f64 (.f64 (.f64 n (sqrt.f64 2)) (sqrt.f64 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om)))))) (.f64 (sqrt.f64 (/.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om))))) (-.f64 (.f64 1/2 (.f64 t (sqrt.f64 2))) (/.f64 (.f64 (sqrt.f64 2) (.f64 l l)) Om))))
	60.7b	(sqrt.f64 (.f64 2 (.f64 (/.f64 (.f64 (.f64 n n) (.f64 (.f64 l l) (-.f64 U* U))) Om) (/.f64 U Om))))
	55.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	41.7b	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 n (*.f64 t U))))
	57.3b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))
	62.4b	(neg.f64 (.f64 U (sqrt.f64 (.f64 -2 (/.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 Om Om))))))
	62.0b	(sqrt.f64 (log.f64 (pow.f64 (exp.f64 (.f64 2 (.f64 n U))) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2)))))))
	38.4b	(sqrt.f64 (.f64 n (-.f64 (.f64 2 (.f64 t U)) (.f64 4 (.f64 (/.f64 (.f64 l l) Om) U)))))
✓	32.8b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (.f64 l -2))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2))))))))
▶	33.4b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om))))))
	38.4b	(sqrt.f64 (-.f64 (.f64 2 (.f64 n (.f64 t U))) (.f64 4 (/.f64 (.f64 n (.f64 U (*.f64 l l))) Om))))
	36.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 -2 (/.f64 (*.f64 l l) Om)))))
	57.0b	(-.f64 (.f64 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 t (sqrt.f64 2)) l)) -1/2) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (.f64 (sqrt.f64 2) l)))
	58.4b	(+.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (.f64 (sqrt.f64 2) l)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 t (sqrt.f64 2)) l))))
	33.9b	(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)))))
	39.2b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (.f64 n (-.f64 U U)) (*.f64 (/.f64 l Om) (/.f64 l Om))))))
	35.4b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)))))))

Compiler

Compiled 8188 to 3564 computations (56.5% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.4b	(.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om)))
9.2b	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om)))))
10.5b	(.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om))
19.8b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om))))))

rewrite224.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

15.3b

Rules

82×	`add-exp-log_binary64`
52×	`add-cbrt-cube_binary64`
43×	`prod-exp_binary64`
33×	`pow1_binary64`
30×	`cbrt-unprod_binary64`

Counts

4 → 130

Calls

4 calls:

20.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om)))
9.0ms	(.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om))
8.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om))))))
8.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om)))))

Compiler

Compiled 6494 to 2456 computations (62.2% saved)

series1.3s (6.6%)

Error

15.3b

Counts

4 → 115

Calls

4 calls:

489.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om))))))
482.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om)))))
170.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om)))
70.0ms	(.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om))

Compiler

Compiled 12165 to 8652 computations (28.9% saved)

simplify223.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

366×	`associate-/l*_binary64`
363×	`times-frac_binary64`
248×	`*-commutative_binary64`
245×	`associate-*l/_binary64`
235×	`associate-/r*_binary64`

Counts

245 → 217

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	592	10439
1	1725	9697
2	4962	9697
3	5002	9697

prune194.0ms (1%)

Pruning

23 alts after pruning (20 fresh and 3 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	20	20
Picked	0	1	1
Done	0	2	2
Total	217	23	240

Error

15.3b

Counts

240 → 23

Alt Table

Status	Error	Program
	30.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 l -2) (.f64 (.f64 n (/.f64 l Om)) (-.f64 U U)))))))
	44.0b	(-.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 n (.f64 t U)))) (.f64 (/.f64 (.f64 (sqrt.f64 2) (.f64 l l)) Om) (sqrt.f64 (/.f64 (*.f64 n U) t))))
	61.9b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))
	39.8b	(cbrt.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)))))) 3))
	41.9b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 n (.f64 (-.f64 U* U) (/.f64 l Om))) (*.f64 l -2))))))
	61.5b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	63.4b	(+.f64 (.f64 (.f64 n (sqrt.f64 2)) (sqrt.f64 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om)))))) (.f64 (sqrt.f64 (/.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 U (.f64 l l)) (.f64 Om Om))))) (-.f64 (.f64 1/2 (.f64 t (sqrt.f64 2))) (/.f64 (.f64 (sqrt.f64 2) (.f64 l l)) Om))))
	60.7b	(sqrt.f64 (.f64 2 (.f64 (/.f64 (.f64 (.f64 n n) (.f64 (.f64 l l) (-.f64 U* U))) Om) (/.f64 U Om))))
	55.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	41.7b	(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 n (*.f64 t U))))
	57.3b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))
	62.4b	(neg.f64 (.f64 U (sqrt.f64 (.f64 -2 (/.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 Om Om))))))
	62.0b	(sqrt.f64 (log.f64 (pow.f64 (exp.f64 (.f64 2 (.f64 n U))) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2)))))))
	38.4b	(sqrt.f64 (.f64 n (-.f64 (.f64 2 (.f64 t U)) (.f64 4 (.f64 (/.f64 (.f64 l l) Om) U)))))
	32.8b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (.f64 l -2))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om)) (*.f64 l -2))))))))
	33.4b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) 1) (.f64 (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)) (/.f64 (cbrt.f64 l) Om))))))
	38.4b	(sqrt.f64 (-.f64 (.f64 2 (.f64 n (.f64 t U))) (.f64 4 (/.f64 (.f64 n (.f64 U (*.f64 l l))) Om))))
	36.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 -2 (/.f64 (*.f64 l l) Om)))))
	57.0b	(-.f64 (.f64 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 t (sqrt.f64 2)) l)) -1/2) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (.f64 (sqrt.f64 2) l)))
	58.4b	(+.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (.f64 (sqrt.f64 2) l)) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 t (sqrt.f64 2)) l))))
	33.9b	(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)))))
	39.2b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (.f64 n (-.f64 U U)) (*.f64 (/.f64 l Om) (/.f64 l Om))))))
	35.4b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (+.f64 (.f64 (.f64 n (-.f64 U* U)) (/.f64 l Om)) (*.f64 l -2)))))))

Compiler

Compiled 5905 to 2364 computations (60% saved)

regimes4.3s (22%)

Accuracy

Total 13.7b remaining (49.1%)

Threshold costs 0b (0%)

Compiler

Compiled 75106 to 44938 computations (40.2% saved)

bsearch194.0ms (1%)

Steps

Iters	Range		Point
7	9.352887782939977e+151	1.1796392628697908e+154	5.755855238385077e+152
8	-4.331740588724256e+188	-7.080175120115127e+183	-9.090648582417688e+183

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

25×	`*-commutative_binary64`
16×	`+-commutative_binary64`
13×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	177
1	75	177
2	99	177
3	122	177
4	141	177
5	149	177
6	152	177
7	153	177
8	152	177

end1.0ms (0%)

Compiler: Compiled 122 to 57 computations (53.3% saved)

sample4.4s (22.7%)

Algorithm

1×

intervals

Results

1.7s	13078×	body	128	nan
1.0s	8000×	body	128	valid
144.0ms	1186×	body	128	invalid

Compiler

Compiled 999 to 595 computations (40.4% saved)

Iter	Nodes	Cost
0	46	177
1	75	177
2	99	177
3	122	177
4	141	177
5	149	177
6	152	177
7	153	177
8	152	177

Iter	Nodes	Cost
0	46	177
1	75	177
2	99	177
3	122	177
4	141	177
5	149	177
6	152	177
7	153	177
8	152	177

Details

analyze3.7s (19%)

sample127.0ms (0.7%)

simplify57.0ms (0.3%)

prune4.0ms (0%)

localize16.0ms (0.1%)

rewrite275.0ms (1.4%)

series1.1s (5.5%)

simplify200.0ms (1%)

prune207.0ms (1.1%)

localize18.0ms (0.1%)

rewrite187.0ms (1%)

series899.0ms (4.6%)

simplify126.0ms (0.7%)

prune132.0ms (0.7%)

localize23.0ms (0.1%)

rewrite185.0ms (0.9%)

series970.0ms (5%)

simplify225.0ms (1.2%)

prune183.0ms (0.9%)

localize24.0ms (0.1%)

rewrite224.0ms (1.2%)

series1.3s (6.6%)

simplify223.0ms (1.1%)

prune194.0ms (1%)

regimes4.3s (22%)

bsearch194.0ms (1%)

simplify14.0ms (0.1%)

end1.0ms (0%)

sample4.4s (22.7%)

Profiling

Iter	Nodes	Cost
0	46	177
1	75	177
2	99	177
3	122	177
4	141	177
5	149	177
6	152	177
7	153	177
8	152	177